A framework of a visual language with dynamic specification

The behavior of complex software may be changed depending on the external environment such as user profile, available resources, input data, time, and so on. Design of such dynamic software in conventional languages needs extra effort to keep consistency among behaviors for all states. We propose an object oriented visual language for dynamic software and its visualized specification with dynamics presentation. The language supports dynamic behavior according to both time-dependent and time-independent external states based on dynamic objects. In the visualized specification, we present uniform dynamics presentation for all elements in the language based on three concepts of snapshot, overlap and sweep.