Skip to Main Content
Correct and efficient Dynamic Interactive Systems (DISs) are very difficult to conceptualize, model, implement, and maintain due to their dynamism and multiple concurrent interactive processes. As a result construction of DISs is time-consuming and implemented DISs are error-prone and difficult to comprehend and analyze. In this paper we describe an intuitive and systematic process by which models for DISs can be incrementally conceptualized from ideas or specifications and then used to generate concrete DIS programs in a target language/platform. The models constructed and the generated DIS programs are mathematically comprehensible; are amenable to Formal Methods; and can be reasoned about and rigorously analyzed.