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. Key-Words: Conceptual Modelling, Dynamic Interactive Systems, Equivalent Transformation, Correctness, Formal Methods.
منابع مشابه
An Interactive Possibilistic Programming Approach to Designing a 3PL Supply Chain Network Under Uncertainty
The design of closed-loop supply chain networks has attracted increasing attention in recent decades with environmental concerns and commercial factors. Due to the rapid growth of knowledge and technology, the complexity of the supply chain operations is increasing daily and organizations are faced with numerous challenges and risks in their management. Most organizations with limited resources...
متن کاملComponentwise Modelling and Synthesis of Dynamic Interactive Systems Using the Equivalent Transformation Framework
The development and maintenance of Concurrent Systems, Reactive Systems and Dynamic Systems, remain fraught with challenges attributable to factors such as: 1) the tendency of concurrently executing processes to interact in unforeseen ways; 2) the necessity for Reactive Systems to facilitate continuous interactions with their environments and; 3) the constantly changing internal states of Dynam...
متن کاملNew model for ranking DMUs in DDEA as a special case
The purpose of this paper is to offer the equitable method for ranking Decision Making Units(DMUs) based on the Dynamic Data Envelopment Analysis (DDEA) concept, where quasi-fixed inputs or intermediate products are the source of inter-temporal dependence between consecutive periods. In fact, this paper originally makes the use of an approach extending the ranking of DMUs in DEA by Khodabakhsh...
متن کاملDynamic configuration and collaborative scheduling in supply chains based on scalable multi-agent architecture
Due to diversified and frequently changing demands from customers, technological advances and global competition, manufacturers rely on collaboration with their business partners to share costs, risks and expertise. How to take advantage of advancement of technologies to effectively support operations and create competitive advantage is critical for manufacturers to survive. To respond to these...
متن کاملSolution of fuzzy differential equations
Hybrid system is a dynamic system that exhibits both continuous and discrete dynamic behavior. The hybrid differential equations have a wide range of applications in science and engineering. The hybrid systems are devoted to modeling, design, and validation of interactive systems of computer programs and continuous systems. Hybrid fuzzy differential equations (HFDEs) is considered by ...
متن کامل