Consistent integration between object oriented and coloured petri nets models
Joint Authors
Lee, Sai Peck
Rajabi, Bassam Atiyyah
Source
The International Arab Journal of Information Technology
Issue
Vol. 11, Issue 4 (31 Jul. 2014)10 p.
Publisher
Publication Date
2014-07-31
Country of Publication
Jordan
No. of Pages
10
Main Subjects
Information Technology and Computer Science
Topics
Abstract EN
Unified Modeling Language (UML) is easier to understand and communicate using graphical notations, but lacks techniques for model validation and verification especially if these diagrams are updated.
Formal approaches like Coloured Petri Nets (CPNs) are based on strong mathematical notations and proofs as basis for executable modeling languages.
Transforming UML diagrams to executable models that are ready for analysis is significant, and providing an automated technique that can transform these diagrams to a mathematical model such as CPNs avoids the redundancy of writing specifications.
The use of UML diagrams in modeling Object Oriented Diagrams (OODs) leads to a large number of interdependent diagrams.
It is necessary to preserve the diagrams consistency since they are updated continuously.
This research proposes a new structure for the mutual integration between OODs and CPNs modeling languages to support model changes, the proposed integration suggest a new structure (Object Oriented Coloured Petri Nets (OOCPN)) to include set of rules to check and maintain the consistency and integrity of the OOCPN model based on OODs relations.
American Psychological Association (APA)
Rajabi, Bassam Atiyyah& Lee, Sai Peck. 2014. Consistent integration between object oriented and coloured petri nets models. The International Arab Journal of Information Technology،Vol. 11, no. 4.
https://search.emarefa.net/detail/BIM-334385
Modern Language Association (MLA)
Rajabi, Bassam Atiyyah& Lee, Sai Peck. Consistent integration between object oriented and coloured petri nets models. The International Arab Journal of Information Technology Vol. 11, no. 4 (Jul. 2014).
https://search.emarefa.net/detail/BIM-334385
American Medical Association (AMA)
Rajabi, Bassam Atiyyah& Lee, Sai Peck. Consistent integration between object oriented and coloured petri nets models. The International Arab Journal of Information Technology. 2014. Vol. 11, no. 4.
https://search.emarefa.net/detail/BIM-334385
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-334385