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 and
names
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 DashNextstate
8.3 CompositeStateGraph
8.4 CompositeStateTypeDefinition
8.5 DecisionNode
8.6 FinalState
8.7 JoinNode
8.8 ProcedureDefinition
8.9 ProcedureGraph
8.10 Pseudostate
8.11 Region
8.12 ReturnNode
8.13 State
8.14 StartNode
8.15 StateAggregationArea
8.16 StateMachine
8.17 StopNode
8.18 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
Page
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
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