Compositional Transformation of Message Sequence Charts into 
High-level Petri Boxes



Daniel Gurovic und Wolfgang Fengler
Department of Computer Science and automation University of Ilmenau, Germany




Abstract

The concern of this paper consist in utilizing the theoretical findings on the field of 
formal compositional semantics, in particular those of high level Petri nets, for the 
specification of communicating embedded systems. Transformation of these 
approaches and their evaluation in practice occurs with the aid of one of the formal 
rotation of the UML namely the Message Sequence Charts, particularly the MSC'96. 
Communication requirements of embedded systems are graphically specified and 
then transformed into an executable class of high level Petri nets.