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