1
Scope and objectives
1.1
Conformance
1.2
Restrictions on SDL‑2010 and UML
1.3
Mapping
2
References
3
Definitions
3.1
Terms defined elsewhere
3.2
Terms defined in this Recommendation
4
Abbreviations and acronyms
5
Conventions
5.1
Conventions
5.2
Names and name resolution: NamedElement
5.3
Transformation
6
Summary of stereotypes and metaclasses
6.1
Stereotype summary
6.2
Metaclass summary
7
Structure
7.1
Structure metamodel diagrams
7.2
ActiveClass
7.3
ChoiceType
7.4
Classifier
7.5
Connector
7.6
DataTypeDefinition
7.7
Interface
7.8
LiteralType
7.9
Operation
7.10
Package
7.11
Parameter
7.12
Port
7.13
Property
7.14
Signal
7.15
Specification
7.16
StructureType
7.17
Syntype
7.18
Timer
8
State machines
8.1
State machine metamodel diagrams
8.2
FinalState
8.3
Pseudostate
8.4
Region
8.5
State
8.6
StateMachine
8.7
Transition
9
Actions and activities
9.1
Action and activity metamodel diagrams
9.2
Activity
9.3
AssignValueAction
9.4
Break
9.5
CallOperationAction
9.6
ConditionalNode
9.7
Continue
9.8
CreateObjectAction
9.9
ExpressionAction
9.10
LoopNode
9.11
ResetAction
9.12
Return
9.13
SequenceNode
9.14
SendSignalAction
9.15
SetAction
9.16
Stop
9.17
Variable
10
ValueSpecification
10.1
ValueSpecification metamodel diagrams
10.2
ActiveAgentsExpression
10.3
AnyExpression
10.4
ClosedRange
10.5
ConditionalExpression
10.6
ConditionItem
10.7
EqualityExpression
10.8
ImperativeExpression
10.9
LiteralValue
10.10
NowExpression
10.11
OpenRange
10.12
OperationApplication
10.13
PidExpression
10.14
PidExpressionKind
Page
10.15
RangeCheckExpression
10.16
RangeCondition
10.17
SdlExpression
10.18
SizeConstraint
10.19
StateExpression
10.20
TimerActiveExpression
10.21
TimerRemainingDuration
10.22
TypeCheckExpression
10.23
TypeCoercion
10.24
Undefined
10.25
ValueReturningCallNode
10.26
VariableAccess
11
Context parameters
11.1
Context parameter metamodel diagrams
11.2
ActualContextParameter
11.3
AgentContextParameter
11.4
AgentTypeContextParameter
11.5
CompositeStateTypeContextParameter
11.6
FormalContextParameter
11.7
GateContextParameter
11.8
GateConstraint
11.9
InterfaceContextParameter
11.10
ProcedureContextParameter
11.11
SignalContextParameter
11.12
SortContextParameter
11.13
SynonymContextParameter
11.14
TimerContextParameter
11.15
VariableContextParameter
12
Predefined data
12.1
Non-parameterized data types
12.2
Parameterized data types
12.3
Pid
12.4
UndefinedVariable
Appendix I – Example language specification
I.1
Conventions
I.2
Lexical rules and names
I.3
Organization
I.4
Basic concepts
I.5 Structure
I.6 Communication
I.7
State machine
I.8
Sequential behaviour
I.9
Data
I.10
Exceptions
I.11
Generic system definition
Bibliography