1 Scope and objective
1.1 Objective
1.2 Application
2 References
3 Definitions
3.1 Terms defined elsewhere
3.2 Terms defined in this Recommendation
4 Abbreviations and acronyms
5 Conventions
6 General rules
7 Organization of Specification and Description Language specifications
7.1 Framework
7.2 Package
7.3 Referenced definition
8 Structural concepts
8.1 Types, instances and gates
8.2 Type references and operation references
8.3 Context parameters
8.4 Specialization
9 Agents
10 Communication
10.1 Channel
10.2 Connection
10.3 Signal
10.4 Signal list area
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
12 Data
12.1 Data definitions
12.2 Use of data
12.3 Active use of data
13 Generic system definition
14 Package Predefined
14.1 Boolean sort
14.2 Character sort
14.3 String sort
14.4 Charstring sort
14.5 Integer sort
14.6 Natural syntype
14.7 Real sort
14.8 Array sort
14.9 Vector
14.10 Powerset sort
14.11 Duration sort
14.12 Time sort
14.13 Bag sort
14.14 ASN.1 Bit and Bitstring sorts
14.15 ASN.1 Octet and Octetstring sorts
14.16 Pid sort
14.17 Encoding sort
14.18 Support for ASN.1 character, symbol string and NULL types
14.19 Predefined exceptions
Annex A – Abstract data types and axioms
A.1 Introduction
A.2 Notation
Annex B – Specification of the set of text encoding rules
B.1 Boolean
B.2 Character
B.3 String
Page
B.4 Charstring, IA5String, NumericString, PrintableString,
VisibleString
B.5 Integer
B.6 Natural
B.7 Real
B.8 Array
B.9 Vector
B.10 Powerset
B.11 Duration
B.12 Time
B.13 Bag
B.14 Bit, Bitstring
B.15 Octet, Octetstring
B.16 Pid, pid sorts
B.17 Null
B.18 Enumerated (literal list)
B.19 Structures
B.20 Choice
B.21 Inherits and syntype
Annex C – Language binding