TR 101 873-3 : 1.2.1

Intellectual Property Rights
Foreword
Introduction
1 Scope
2 References
3 Abbreviations
4 Overview
5 GFT language concepts
6 Mapping between GFT and TTCN-3 Core Notation
7 Module structure
8 GFT symbols
9 GFT diagrams
   9.1 Common properties
       9.1.1 Diagram area
       9.1.2 Diagram heading
       9.1.3 Paging
   9.2 Control diagram
   9.3 Test case diagram
   9.4 Function diagram
   9.5 Altstep diagram
10 Instances in GFT diagrams
   10.1 Control instance
   10.2 Test component instances
   10.3 Port instances
11 Elements of GFT diagrams
   11.1 General drawing rules
         11.1.1 Usage of semicolons
         11.1.2 Usage of action symbols
         11.1.3 Comments
   11.2 Invoking GFT diagrams
         11.2.1 Execution of test cases
         11.2.2 Invocation of functions
         11.2.3 Invocation of altsteps
   11.3 Declarations
         11.3.1 Declaration of timers, constants and variables
                in action symbols
         11.3.2 Declaration of constants and variables within
                inline expression symbols
         11.3.3 Declaration of constants and variables within
                create symbols
         11.3.4 Declaration of constants and variables within
                default symbols
         11.3.5 Declaration of constants and variables within
                reference symbols
         11.3.6 Declaration of constants and variables within
                execute test case symbols
   11.4 Basic program statements
         11.4.1 The Log statement
         11.4.2 The Label statement
         11.4.3 The Goto statement
         11.4.4 The If-else statement
         11.4.5 The For statement
         11.4.6 The While statement
         11.4.7 The Do-while statement
   11.5 Behavioural Program Statements
         11.5.1 Sequential behaviour
         11.5.2 Alternative Behaviour
                11.5.2.1 Selecting/Deselecting an Alternative
                11.5.2.2 Else branch in alternatives
         11.5.3 The Repeat statement
         11.5.4 Interleaved Behaviour
         11.5.5 The Return statement
   11.6 Default handling
         11.6.1 Default references
         11.6.2 The activate operation
         11.6.3 The deactivate operation
   11.7 Configuration operations
         11.7.1 The Create operation
         11.7.2 The Connect and Map operations
         11.7.3 The Disconnect and Unmap operations
         11.7.4 The Start test component operation
         11.7.5 The Stop execution and Stop test component
                operations
         11.7.6 The Done operation
   11.8 Communication operation
         11.8.1 General format of the sending operations
         11.8.2 General format of the receiving operations
         11.8.3 Message-based communication
                11.8.3.1 The Send operation
                11.8.3.2 The Receive operation
                11.8.3.3 The Trigger operation
         11.8.4 Procedure-based communication
                11.8.4.1 The Call operation
                11.8.4.2 The Getcall operation
                11.8.4.3 The Reply operation
                11.8.4.4 The Getreply operation
                11.8.4.5 The Raise operation
                11.8.4.6 The Catch operation
         11.8.5 The Check operation
                11.8.5.1 The Check any operation
                11.8.5.2 Check on any port
         11.8.6 Controlling communication ports
                11.8.6.1 The Clear port operation
                11.8.6.2 The Start port operation
                11.8.6.3 The Stop port operation
                11.8.6.4 Use of any and all with ports
   11.9 Timer operations
         11.9.1 The Start timer operation
         11.9.2 The Stop timer operation
         11.9.3 The Timeout operation
         11.9.4 The Read timer operation
         11.9.5 Use of any and all with timers
   11.10 Test verdict operations
   11.11 External actions
   11.12 Specifying attributes
Annex A: GFT BNF
      A.1 Meta-Language for GFT
      A.2 Conventions for the syntax description
      A.3 The GFT Grammar
          A.3.1 Diagrams
          A.3.2 Instances
          A.3.3 Timer
          A.3.4 Action
          A.3.5 Invocation
          A.3.6 Activation/Deactivation of Defaults
          A.3.7 Test Components
          A.3.8 Inline Expressions
          A.3.9 Condition
          A.3.10 Message-based Communication
          A.3.11 Signature-based Communication
          A.3.12 Trigger and Check
          A.3.13 Handling of Communication from Any Port
          A.3.14 Labelling
Annex B: Reference Guide for GFT
Annex C: Mapping GFT to TTCN-3 core notation
      C.1 Approach
          C.1.1 Void
          C.1.2 Overview of SML/NJ
      C.2 Modelling GFT graphical grammar in SML
          C.2.1 SML modules
          C.2.2 Function naming and references
          C.2.3 Given functions
          C.2.4 GFT and core SML types
          C.2.5 GFT to CN mapping functions
Annex D: Mapping TTCN-3 core notation to GFT
      D.1 Approach
          D.1.1 Void
          D.1.2 Overview of SML/NJ
      D.2 Modelling GFT graphical grammar in SML
          D.2.1 SML modules
          D.2.2 Function naming and references
          D.2.3 Given functions
          D.2.4 Core and GFT SML types
          D.2.5 Core to GFT mapping functions
Annex E: Examples
      E.1 The Restaurant example
      E.2 The INRES Example
History