TABLE DES MATIÈRES

 1     Domaine d'application      
 
2     Références 
 
3     Définitions et abréviations 
        3.1     Définitions 
        3.2     Abréviations          
 
4     Introduction      
 
5     Structure de la présente Recommandation
 
6     Restrictions
 
7     Remplacement des formes abrégées         
        7.1     Ordre des étapes de remplacement
        7.2     Remplacement des constantes globales et des paramètres de module          
        7.3     Imbrication des simples opérations de réception dans des instructions alt     
        7.4     Imbrication des appels de variante autonomes dans des instructions alt        
        7.5     Remplacement des instructions interleave    
        7.6     Remplacement des opérations trigger         
 
8     Sémantique de la notation TTCN‑3 sur la base de graphes de flux
        8.1     Graphes de flux     
        8.2     Représentation du comportement TTCN‑3 sous forme de graphes de flux  
        8.3     Définition des états concernant les modules TTCN‑3          
        8.4     Messages, appels de procédure, réponses et exceptions     
        8.5     Enregistrements d'appel pour les fonctions, les variantes et les tests élémentaires      
        8.6     Procédure d'évaluation d'un module TTCN‑3         
 
9     Segments de graphe de flux pour les constructions TTCN‑3         
        9.1     Instruction action   
        9.2     Instruction activate 
        9.3     Instruction alt         
        9.4     Appel de variante  
        9.5     Instruction assignment        
        9.6     Opération call        
        9.7     Opération catch     
        9.8     Opération check    
        9.9     Opération clear applicable aux ports          
       9.10     Opération connect
       9.11     Définition d'une constante  
       9.12     Opération create   
       9.13     Instruction deactivate        
       9.14     Opération disconnect        
       9.15     Instruction do-while          
       9.16     Opération done applicable aux composants           
       9.17     Instruction execute
       9.18     Expression
      9.18b     Segment de graphe de flux <dynamic-error>        
       9.19     Segment de graphe de flux <finalize-component-init>         
       9.20     Segment de graphe de flux <init-component-scope>          
       9.21     Segment de graphe de flux <parameter-handling>  
       9.22     Segment de graphe de flux <statement-block>      
       9.23     Instruction for       
       9.24     Appel de fonction 
       9.25     Opération getcall  
       9.26     Opération getreply
       9.27     Opération getverdict         
       9.28     Instruction goto     
       9.29     Instruction if-else  
       9.30     Instruction label    
       9.31     Instruction log       
       9.32     Opération map     
       9.33     Opération mtc      
       9.34     Déclaration de port           
       9.35     Opération raise     
       9.36     Opération read applicable aux temporisations        
       9.37     Opération receive 
       9.38     Instruction repeat  
       9.39     Opération reply    
       9.40     Instruction return   
       9.41     Opération running applicable aux composants        
       9.42     Opération running applicable aux temporisations    
       9.43     Opération self       
       9.44     Opération send     
       9.45     Opération setverdict         
       9.46     Opération start applicable aux composants
       9.47     Opération start applicable aux ports          
       9.48     Opération start applicable aux temporisations        
       9.49     Opération stop applicable aux composants
       9.50     Instruction stop applicable à l'exécution     
       9.51     Opération stop applicable aux ports          
       9.52     Opération stop applicable aux temporisations        
       9.53     Opération system  
       9.54     Déclaration d'une temporisation     
       9.55     Opération timeout applicable aux temporisations    
       9.56     Opération unmap  
       9.57     Déclaration d'une variable 
       9.58     Instruction while    
10     Listes des composantes de la sémantique opérationnelle  
       10.1     Fonctions et états  
       10.2     Mots clés spéciaux           
       10.3     Graphes de flux des descriptions de comportement TTCN‑3         
       10.4     Segments de graphe de flux