Table of Contents

�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 the present document���������
�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.8a���� Checkstate port 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����������
����� Page
������ 9.38���� Repeat statement�����������
������ 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����