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