SCSC 2007 START Conference Manager    

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.


  
START Conference Manager (V2.54.4)
Maintainer: sbranch@scs.org