Conceptual modeling of dynamic interactive systems using the equivalent transformation framework

Conceptualizing, visualizing, reasoning about and implementing Dynamic Interactive Systems (DISs) are difficult and error-prone activities. To conceptualize and reason about the sorts of properties expected of any DIS, a framework that most naturally models DISs is essential. The declarative paradigm is closer than any other to the abstract behavior of DISs. In this paper we propose and explain why the Equivalent Transformation Framework (with its declarative roots) is an ideal framework for conceptually modeling DIS. The benefits to be derived from using this framework include guaranteed system correctness, high level abstraction, clarity, granular modularity, and an integrated framework for reasoning about, manipulating, and optimizing the various aspects of DISs.