next up previous contents
suivant: C.2 Définitions préalables monter: C. Exécution d'une configuration précédent: C. Exécution d'une configuration   Table des matières

C.1 Introduction

Nous décrivons ici la partie exécution du modèle ICOM, c'est-à-dire le comportement des configurations d'entrée lors de la phase de lancement et d'exécution. Notre algorithme d'exécution est de type réactif ce qui signifie que chaque modification des entrées est répercutée et propagée dans la configuration en un temps conceptuellement nul (voir 3.3). La plupart des notions abordées ici s'appuient sur les structures décrites dans l'annexe A.



Pierre Dragicevic 2005-07-22