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