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