CONTENTS

 

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