Message Sequence Charts (MSC) are a popular and intuitive specification language for describing scenarios. Especially the hierarchical composition of single diagrams make it very powerful. However, the process algebra based formal semantics is complicated and renders it difficult to analyse MSC specifications. Furthermore, no tool support for the employed process algebra is up to now available. This paper proposes to employ Petri nets as a semantic model for MSC. By applying a transformation a Petri net can be derived from every MSC and MSC specification. Depending on the MSCs and the applied analysis techniques even a low-level Petri net is sufficient in order to represent the correct behaviour. However, in general high-level Petri nets are necessary to represent the correct behaviour as described in the MSC specification. In the following section some more details on MSCs are given. The transformation of an MSC specification into a Petri net is outlined in Section 3. An example is employed to demonstrate how an MSC specification is transformed into a Petri net. Finally, some properties of MSC specifications and how this specification can be analysed by means of the derived Petri net are discussed.
Integration of message sequence charts and Petri nets in the system design process
2003
10 Seiten, 6 Bilder, 10 Quellen
Aufsatz (Konferenz)
Englisch
Integration of Message Sequence Charts and Petri Nets in the System Design Process
British Library Conference Proceedings | 2003
|Modeling train control systems: from message sequence charts to Petri nets
Tema Archiv | 2000
|Logic control design with Petri nets
British Library Conference Proceedings | 1993
|Controlled Time Petri Nets and Modeling of Batch Process System
British Library Online Contents | 2000
|Modeling the Design Process of Product Variants With Timed Colored Petri Nets
Online Contents | 2009
|