Transformation of UML 2.0 Sequence Diagram into Coloured Petri Nets
Transformation of UML 2.0 Sequence Diagram into Coloured Petri Nets
Author : ADITYA BAGOES SAPUTRA; JIMMY TIRTAWANGSA; Thomas Anung Basuki Published on : ICAICTA 2014 (Institut Teknologi Telkom - 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.
