A Semantics for MSC Based on Petri Net Components.
Stefan Heymer · 2000
In this paper, we develop a non--interleaving semantics based on Petri net components for MSC'96 and MSC--2000. These semantics are defined using a transformational approach, closely following the lines of [3] apart from giving a direct translation. Keywords MSC2000, MSC'96, petri--nets, semantics 1 MOTIVATION Recently, ITU--T released the revision of [4], MSC--2000, with a number of extensions with respect to MSC '96. With these extensions, among which are the inclusion of data and performance aspects, Message Sequence Charts are a very sophisticated formal description technique for the specification of distributed and reactive systems. Thus, one has a fully developed specification language for a constraint oriented specification of systems. But there is only a tentative semantics for full MSC'96 given in [6]. This semantics is an interleaving semantics, i. e. the behavior of a system is modeled by sequences of transitions. The intuition behind this approach is that actions are atom...