A Methodology for Mapping Live Sequence Chart to Coloured Petri Net
Leonardo Amorim, Paulo Romero Martins Maciel, Meuse Nogueira, Raimundo Barreto, Eduardo Tavares · 2006
This paper presents a methodology for mapping the live sequence chart (LSC) language to an equivalent coloured Petri net (CPN) model LSC is a language for system specification, allowing one to specify what should happen for all execution of the system as well as the modeling of anti-scenarios. However, analysis and verification of system properties are not possible. In order to allow diagnosis of inconsistent specifications, besides simulation, verification and analysis should be considered. Therefore, the proposition of a CPN model for LSC allows verification and analysis of system described in LSC, hence, contributing for increasing designers' confidence on the system development process and reducing risk that may lead to project failure.