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�������������
������� 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����