DocumentCode
1793634
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
fYear
2014
fDate
20-21 Aug. 2014
Firstpage
243
Lastpage
248
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Advanced Informatics: Concept, Theory and Application (ICAICTA), 2014 International Conference of
Conference_Location
Bandung
Print_ISBN
978-1-4799-6984-5
Type
conf
DOI
10.1109/ICAICTA.2014.7005948
Filename
7005948
Link To Document