Integrating System Dynamics with Object-Role Modeling and Petri Nets
نویسندگان
چکیده
The art of System Dynamics (SD) modeling lies in discovering and representing the feedback processes and other elements that determine the dynamics of a system. However, SD shows a lack of means for discovering and expressing precise, language-based concepts in domains. Therefore, we choose to use Object-Role Modeling (ORM) to add high quality formal conceptualization to SD modeling and Petri Nets (PNs) to bridge the gap between static ORM and Dynamic, flow-like aspects of SD. To achieve the integration of these methods, we take a step by step approach where we first identify the conceptual link between SD and ORM, then the key concepts used in these methods, which we later use to derive mappings, transition statements and elements. This helps us to better understand the underlying concepts, the connections between the model structure, and behavior in a sequential manner.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملFrom UML Towards Petri Nets to Specify and Verify
UML nowadays, has emerged as the industry standard for object-oriented modeling. However, it still lacks a well-defined semantic base enabling it to perform formal verification and validation tasks. Our goal being to provide system designers a life cycle of software development integrating conviviality and rigor, we propose a methodology to specify, verify and validate using UML. This methodolo...
متن کاملIntegrating System Dynamics with Conceptual and Process Modeling
The purpose of this research is to provide a basis on which stakeholders make their decisions, to improve System Dynamics (SD) modeling by deploying methods and techniques from system development, and to support in the creation of SD models where, static and dynamic methods are applied together to achieve a common goal. To achieve this we will take a stepwise approach: identify the key concepts...
متن کامل