← Back to VOLUME 2, ISSUE 5, MAY 2013
This work is licensed under a Creative Commons Attribution 4.0 International License.
Verification of Interaction Overview Diagrams Using Colored Petrinets
VINAI G. BIJU, VINOD. K. AGRAWAL Assistant Prof. Dept. of CSE, Christ University, Bangalore, India Professor, Dept. of Information Science, PESIT, Bangalore, India
Downloads: Download PDF
👁 41 views📥 0 downloads
Abstract: The UML 2 Interaction Overview Diagram (IOD) provides a visual representation of system‟s overall interactions. The UML 2 IOD visualizes the behaviour of a system only for the interaction among the components and also a partial order between send and receive message events; however the semantics of communication among the interaction occurrences and process execution policy remains vague. It does not provide formal approach of specification and has a weak support for the validation. So, it is extremely important to improve the „quality‟ of the design model using formal description and thereby validating the highest level of abstraction of design. An attempt has been made in this paper towards formalizing the IOD Sequence diagrams by mapping it into Colored Petri nets (CPNs). This approach of formal translation allows a designer using UML 2.0 to verify and validate models using CPN tools.
Keywords: Colored Petri net (CPN), Unified Modeling Language (UML), and Interaction Overview Diagram (IOD).
Keywords: Colored Petri net (CPN), Unified Modeling Language (UML), and Interaction Overview Diagram (IOD).
How to Cite:
[1] VINAI G. BIJU, VINOD. K. AGRAWAL Assistant Prof. Dept. of CSE, Christ University, Bangalore, India Professor, Dept. of Information Science, PESIT, Bangalore, India , “Verification of Interaction Overview Diagrams Using Colored Petrinets,” International Journal of Advanced Research in Computer and Communication Engineering (IJARCCE)
This work is licensed under a Creative Commons Attribution 4.0 International License.