Title :
Transformation of UML 2.0 sequence diagram into Coloured Petri Nets
Author :
Saputra, Aditya Bagoesr ; Basuki, Thomas Anung ; Tirtawangsa, Jimmy
Author_Institution :
Sch. of Comput., Telkom Univ., Bandung, Indonesia
Abstract :
UML is populer tool for modeling a system., but this tool cannot be evaluated directly. On the other hand., Coloured Petri Nets (CPN) is a simulation tool which has rich features for analysis. The capability to analyze the UML diagrams is important to help evaluating a system design. In this paper., we propose a set of transformation rules to transform UML 2.0 sequence diagram into CPN. To show the implementation of the rules., we provide a case study of chocolate machine.
Keywords :
Petri nets; Unified Modeling Language; graph colouring; systems analysis; CPN; UML 2.0 sequence diagram transformation; chocolate machine; coloured Petri nets; system design; transformation rules; Color; Informatics; Optimized production technology; Petri nets; Semantics; Transforms; Unified modeling language; Coloured Petri Nets; UML; sequence diagram; transformation rules;
Conference_Titel :
Advanced Informatics: Concept, Theory and Application (ICAICTA), 2014 International Conference of
Conference_Location :
Bandung
Print_ISBN :
978-1-4799-6984-5
DOI :
10.1109/ICAICTA.2014.7005948
