1 Scope
1.1 Use of encode and decode
2 References
3 Definitions
4 Abbreviations
5 Conventions
6 General rules
6.1 Lexical rules
7 Organization of SDL specifications
7.1 Framework
7.2 Package
8 Structural Concepts
8.1 Types, instances and gates
8.2 Context parameters
8.3 Specialization
8.4 Type references
8.5 Associations
9 Agents
10 Communication
10.1 Channel
10.2 Connection
10.3 Signal
10.4 Signal list definition
10.5 Remote procedures
10.6 Remote variables
10.7 Communication path encoding rules, encode and decode
11 Behaviour
11.1 Start
11.2 State
11.3 Input
11.4 Priority Input
11.5 Continuous signal
11.6 Enabling condition
11.7 Save
11.8 Implicit transition
11.9 Spontaneous transition
11.10 Label
11.11 State machine and Composite state
11.12 Transition
11.13 Action
11.14 Statement list
11.15 Timer
11.16 Exception
12 Data
12.1 Data definitions
12.2 Passive use of data
12.3 Active use of data
13 Generic system definition
Annex A – Specification of the set
of text encoding rules
A.1 Boolean
A.2 Character
A.3 String
A.4 Charstring, IA5String, NumericString, PrintableString, VisibleString
A.5 Integer
A.6 Natural
A.7 Real
A.8 Array
A.9 Vector
A.10 Powerset
A.11 Duration
A.12 Time
A.13 Bag
A.14 Bit, Bitstring
A.15 Octet, Octetstring
A.16 Pid, pid sorts
A.17 Null
A.18 Enumerated (literal list)
A.19 Structures
A.20 Choice
A.21 Inherits and syntype