The document presents a formal semantics of Message Sequence Charts using techniques from process algebra. The semantic constructions are introduced incrementally. This means that first the semantics of Basic Message Sequence Charts is given, and that subsequently additional features are added until the complete language is covered. Examples are added which explain the use of the semantic functions.
|Title of host publication||Annex B to ITU Recommendation Z.120|
|Number of pages||50|
|Publication status||Published - 1995|