Behavior of complex software may be changed depending on external environment such as user pro le, available resources, input data, time, and so on. Design of such dynamic software in conventional languages needs extra e ort to keep consistency among behaviors for all states. In this paper, we propose an object oriented visual language for dynamic software and its visualized speci cation with d...