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