�1���� Scope��������
�2���� References�������������
������� 2.1���� Normative references������������
������� 2.2���� Informative references����������
�3���� Definitions and abbreviations����������
������� 3.1���� Definitions���
������� 3.2���� Abbreviations������������
�4���� Introduction�����������
�5���� Structure of this Recommendation��
�6���� Restrictions������������
�7���� Replacement of short forms������������
������� 7.1���� Order of replacement steps����
������� 7.2���� Replacement of global constants
and module parameters����������
������� 7.3���� Embedding single receiving
operations into alt statements��������
������� 7.4���� Embedding stand-alone altstep
calls into alt statements������������
������� 7.5���� Replacement of interleave
statements�
������� 7.6���� Replacement of trigger operations������
������� 7.7���� Replacement of select-case
statements�������������
������� 7.8���� Replacement of simple break statements�������
������� 7.9���� Replacement of continue
statements���
������ 7.10���� Adding default parameters to
disconnect and unmap operations without parameters�����
������ 7.11���� Adding default values of
parameters�
�8���� Flow graph semantics of TTCN-3�����
������� 8.1���� Flow graphs�
������� 8.2���� Flow graph representation of
TTCN-3 behaviour����������
������� 8.3���� State definitions for TTCN-3
modules�������������
������� 8.4���� Messages, procedure calls,
replies and exceptions���������
������� 8.5���� Call records for functions,
altsteps and test cases���������
������� 8.6���� The evaluation procedure for a
TTCN-3 module�����������
�9���� Flow graph segments for TTCN-3 constructs
������� 9.1���� Action statement�������
������� 9.2���� Activate statement���
����� �9.2a���� Alive component operation���
������� 9.3���� Alt statement������������
������� 9.4���� Altstep call���
������� 9.5���� Assignment statement������������
������ 9.5a���� Break statements in altsteps��
������� 9.6���� Call operation������������
������� 9.7���� Catch operation���������
������� 9.8���� Check operation��������
������� 9.9���� Clear port operation�
������ 9.10���� Connect operation����
������ 9.11���� Constant definition��
������ 9.12���� Create operation�������
������ 9.13���� Deactivate statement�������������
������ 9.14���� Disconnect operation������������
������ 9.15���� Do-while statement��
������ 9.16���� Done component operation���
������ 9.17���� Execute statement����
������ 9.18���� Expression��
������ 9.19���� Flow graph segment <finalize-component-init>����������
������ 9.20���� Flow graph segment
<init-component-scope>
���� �9.20a���� Flow graph segment
<init-scope-with-runs-on>����������
����� 9.20b���� Flow graph segment
<init-scope-without-runs-on>�����
������ 9.21���� Flow graph segment
<parameter-handling>����
������ 9.22���� Flow graph segment
<statement-block>���������
������ 9.23���� For statement�����������
������ 9.24���� Function call������������
������ 9.25���� Getcall operation������
������ 9.26���� Getreply operation���
������ 9.27���� Getverdict operation
������ 9.28���� Goto statement��������
����� 9.28a���� Halt port operation��
������ 9.29���� If-else statement������
��� ��9.29a���� Kill component operation�����
����� 9.29b���� Kill execution statement������
����� 9.29c���� Killed component operation�
������ 9.30���� Label statement��������
������ 9.31���� Log statement����������
������ 9.32���� Map operation����������
������ 9.33���� Mtc operation�����������
����� �9.34���� Port declaration��������
������ 9.35���� Raise operation��������
������ 9.36���� Read timer operation�������������
������ 9.37���� Receive operation����
������ 9.38���� Repeat statement�����
����� Page
������ 9.39���� Reply operation��������
������ 9.40���� Return statement������
������ 9.41���� Running component operation�����������
������ 9.42���� Running timer operation�������
������ 9.43���� Self operation�����������
������ 9.44���� Send operation���������
������ 9.45���� Setverdict operation�
������ 9.46���� Start component operation����
������ 9.47���� Start port operation��
������ 9.48���� Start timer operation
������ 9.49���� Stop component operation����
������ 9.50���� Stop execution statement������
������ 9.51���� Stop port operation��
������ 9.52���� Stop timer operation
������ 9.53���� System operation�����
����� 9.53a���� Test case stop operation�������
������ 9.54���� Timer declaration�����
������ 9.55���� Timeout timer operation��������
������ 9.56���� Unmap operation�����
������ 9.57���� Variable declaration�
������ 9.58���� While statement�������
10���� Lists of operational semantic components��
������ 10.1���� Functions and states
������ 10.2���� Special keywords�����
������ 10.3���� Flow graphs of TTCN-3 behaviour
descriptions����������
������ 10.4���� Flow graph segments����