Transformation of Live Sequence Charts to Colored Petri Nets
Boleslaw Mikolajczak and Binsan Khadka
Summer Computer Simulation Conference 2007 (SCSC 2007)
San Diego, California (USA), July 15-18, 2007
Abstract
A Tool called LSC2CPN has been developed to reduce the gap between informal and formal methods of distributed software specification. This tool reads the Live Sequence Chart (LSC) model as an input and transforms the system into a Colored Petri Nets model. LSC is a richer construct than UML Sequence Diagram. The resulting Colored Petri net model can be analyzed using CPNTools to identify whether the model satisfies desired behavioral properties of the system under development. The paper presents transformation steps required to map Live Sequence Charts into Colored Petri nets.