Calcul des etats atteignables de programmes Esterel partitionne ...

4.3. UNE RELATION D’ORDRE POUR LES FRONTIÈRES DU GRAPHE 59Si nous notons G(P i ) = (I i , O i , N i , E i , F i ) pour i ∈ [1, 2], alors un noeud de séquence dansl’arbre syntaxique de la forme :(seq L P 1 P 2 end L′ )induit les relations d’ordre suivantes :N 1 Î N 2 (4.23)La préemption. De la même manière, dans une instruction abort, toutes les frontières situéesà l’intérieur du bloc doivent être ouvertes avant n’importe quelle frontière menant à la fin dubloc.Si nous notons G(P ) = (I , O , N , E , F) alors un noeud de l’arbre de la forme :induit les relations d’ordre suivantes :(abort L s P end L′ )N Î { L ′} (4.24)L’opérateur parallèle. L’opérateur parallèle n’induit aucune relation d’ordre. Il se peut enrevanche que le point d’entrée de l’instruction parallèle soit aussi le noeud de destination d’unefrontière.Par conséquent, si nous notons G(P i ) = (I i , O i , N i , E i , F i ) pour i ∈ [1, 2], alors un noeudparallèle de la forme :(par L P 1 P 2 end L′ )induit les relations d’ordre suivantes :{L} Î N 1 ∪ N 2 (4.25)L’opérateur de choix. L’instruction present n’induit aucune relation d’ordre entre ses deuxbranches. Pour les mêmes raisons que précédemment, le point d’entrée et le point de sortiedoivent être pris en compte par notre relation d’ordre.Par conséquent, si nous notons G(P i ) = (I i , O i , N i , E i , F i ) pour i ∈ [1, 2], alors un noeudpresent de la forme :(present L s P 1 P 2 end L′ )induit les relations d’ordre suivantes :{L} Î N 1 ∪ N 2N 1 ∪ N 2 Î { L ′} (4.26)En réalité, les relations d’ordre induites par l’opérateur de choix sont plus compliquées qu’il n’yparait. En effet, elles n’interdisent pas d’alterner l’ouverture de frontières dans P 1 et dans P 2 .Ainsi, dans un programme de la forme :present S then P else Q end