ITU Z.120:2011
ITU Z.120:2011 Formal Semantics Of Message Sequence Charts Gives a trace language for the specification and description of the communication behaviour of system components and their environment by means of message interchange.
Table of Contents
1Introduction2GeneralRules
3MessageSequenceChartdocument
4BasicMSC
5Dataconcepts
6Timeconcepts
7Structuralconcepts
8MessageSequenceChartDocument
9SimpleMessageSequenceCharts
10Data
11Time
12Creatingandterminatingprocesses
13Coregion
14Generalordering
15Inlineexpressions
16MSCreferences
17High-levelMSC(HMSC)
AppendixI-ApplicationofMSC
Bibliography