Extending the equivalent transformation framework to model dynamic interactive systems

Conceptualizing, visualizing, analyzing, 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 formal framework that most naturally facilitates conceptualization and modelling of DISs is essential. In this paper we propose and explain why extending the Equivalent Transformation Framework to conceptually model DISs satisfies this ideal. The benefits to be derived from using this framework include a simplified and intuitive conceptualization process, mathematically sound models, guaranteed system correctness, high level abstraction, clarity, granular modularity, and an integrated framework for reasoning about, manipulating, and optimizing the various aspects of DISs.