1 Introduction
1.2 Objectives of MSC
1.2 Organization of the Recommendation
1.3 Meta-language for textual grammar
1.4 Meta-language for graphical grammar
2 General Rules
2.1 Lexical Rules
2.2 Visibility and Naming Rules
2.3 Comment
2.4 Drawing Rules
2.5 Paging of MSCs
3 Message Sequence Chart document
4 Basic MSC
4.1 Message Sequence Chart
4.2 Instance
4.3 Message
4.4 Control Flow
4.5 Environment and gates
4.6 General ordering
4.7 Condition
4.8 Timer
4.9 Action
4.10 Instance creation
4.11 Instance stop
5 Data concepts
5.1 Introduction
5.2 Syntax interface to external data languages
5.3 Semantic interface to external data languages
5.4 Declaring data
5.5 Static data
5.6 Dynamic data
5.7 Bindings
5.8 Data in message and timer parameters
5.9 Data in instance creation parameters
5.10 Data in action boxes
5.11 Required data types
6 Time concepts
6.1 Timed semantics
6.2 Relative timing
6.3 Absolute timing
6.4 Time domain
6.5 Static and dynamic time variables
6.6 Time offset
6.7 Time points, measurements, and intervals
6.8 Time points
6.9 Measurements
6.10 Time interval
7 Structural concepts
7.1 Coregion
7.2 Inline expression
7.3 MSC reference
7.4 Instance decomposition
7.5 High-level MSC (HMSC)
8 Message Sequence Chart Document
8.1 MSC Documents
8.2 Instance decomposition
8.3 Instance inheritance
9 Simple Message Sequence Charts
9.1 Basic MSC
9.2 Message overtaking
9.3 MSC basic concepts
9.4 MSC-composition through labelled conditions
9.5 MSC with time supervision
9.6 MSC with message loss
9.7 Local conditions
10 Data
11 Time
12 Creating and terminating processes
13 Coregion
14 General ordering
14.1 Generalized ordering within a coregion
14.2 Generalized ordering between different instances
Page
15 Inline expressions
15.1 Inline expression with alternative composition
15.2 Inline expression with gates
15.3 Inline expression with parallel composition
16 MSC references
16.1 MSC reference
16.2 MSC reference with gate
17 High-level MSC (HMSC)
17.1 High-level MSC with free loop
17.2 High-level MSC with loop
17.3 High-level MSC with alternative composition
17.4 High-level MSC with parallel composition
Appendix I – Application of MSC
I.1 Introduction
I.2 Problems
I.3 General undecidable results
I.4 Syntactical description of MSC subclasses
I.5 Summary of results
I.6 Recommendations
Bibliography