Table of Contents

�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���� 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���� ActivityFinalNode��������
������� 9.4���� AddStructuralFeatureValueAction�������
������� 9.5���� AddVariableValueAction����������
������� 9.6���� Break
������� 9.7���� CallOperationAction���
������� 9.8���� ConditionalNode����������
������� 9.9���� Continue���������
������ 9.10���� CreateObjectAction��
������ 9.11���� ExpressionAction��������
������ 9.12���� LoopNode�����
������ 9.13���� OpaqueAction�������������
������ 9.14���� ResetAction��
������ 9.15���� Return�������������
������ 9.16���� SequenceNode�����������
������ 9.17���� SendSignalAction��������
������ 9.18���� SetAction�������
������ 9.19���� Stop�
������ 9.20���� TimerConstraint����������
������ 9.21���� 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��������������
����� Page
������ 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���� ValueReturningCallNode�������
����� 10.25���� 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����
Bibliography����