Static semantics of message sequence charts
Michel A. Reniers · TU/e Research Portal · 1996
The purpose of this document is to formally define the syntax requirements of Message Sequence Charts. The description of the syntax requirements as presented in Recommendation Z.120 [IT93] is open to ambiguous interpretation and should therefore be reconsidered. A new set of syntax requirements is formulated and their formalization is presented. This formalization is based on