�1���
�Scope�
�2��� �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�������
�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.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
<finalise-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.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��
����� �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���������
���� �Page
����� �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.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���
�