AN APPROACH TO OBJECT SYSTEM MODELING BY STATE-BASED OBJECT PETRI NETS
نویسندگان
چکیده
منابع مشابه
An Approach to Object System Modeling by State-Based Object Petri Nets
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavior of concurrent systems, it is still the case that net models do not easily capture some important structural aspects of a system, such as modularity. In terms of software systems for distributed applications, the obj...
متن کاملObject Oriented Modeling with Object Petri Nets
This paper informally introduces Object Petri Nets (OPNs) with a number of examples. OPNs support a thorough integration of object-oriented concepts into Petri Nets, including inheritance and the associated polymorphism and dynamic binding. They have a single class hierarchy which includes both token types and subnet types, thereby allowing multiple levels of activity in the net. The paper disc...
متن کاملModelling an Object Based System with Coloured Petri Nets
The Reference Model for Open Distributed Processing (RM–ODP) defines an architecture which allows heterogeneous software components to interact, where entities in the system are Objects. In RM–ODP, entire applications may be considered to be Objects. In order to allow dynamic location of services/resources, a Trading function has been defined which is performed by a Trader instance. In this pap...
متن کاملPetri Nets for Object-Oriented Modeling
Ensuring the correctness of concurrent programs is difficult, since common approaches for program design do not provide appropriate methods. This paper gives a brief introduction to Object Colored Petri Nets, which can be used for modeling the control flow of concurrent programs, for their simulation, and for deriving and proving specific properties. Emphasis will not rely upon the precise form...
متن کامل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 N...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Circuits, Systems and Computers
سال: 1998
ISSN: 0218-1266,1793-6454
DOI: 10.1142/s0218126698000031