A methodology for mapping live sequence chart to coloured Petri net

Author

Amorim, Leonardo ; Maciel, Paulo ; Nogueira, Meuse ; Barreto, Raimundo ; Tavares, Eduardo

Author_Institution

Pernambuco Fed. Univ., Recife, Brazil

Volume

4

fYear

2005

fDate

10-12 Oct. 2005

Firstpage

2999

Abstract

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.

Keywords

Petri nets; formal verification; specification languages; systems analysis; coloured Petri net; live sequence chart language; live sequence mapping; risk reduction; system analysis; system development process; system specification; system verification; Analytical models; Computer languages; Cost function; Embedded system; Failure analysis; Humans; Petri nets; Risk analysis; System analysis and design; Analysis; CPN; LSC; Modeling;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man and Cybernetics, 2005 IEEE International Conference on

Print_ISBN

0-7803-9298-1

Type

conf

DOI

10.1109/ICSMC.2005.1571606

Filename

1571606