Le langage Basic LOTOS ● g : ensemble des portes .

Présentation au sujet: "Le langage Basic LOTOS ● g : ensemble des portes ."— Transcription de la présentation:

1 Le langage Basic LOTOS ● g : ensemble des portes .
● g U {δ}: ensemble de toutes les actions observable ; 0 désigne une action observable arbitraire . ● Act = g U {δ,i} : Ensemble de toutes les actions il est parcouru par a,b,c,... ● β : Ensemble de toutes les expréssions du langage . chaque expression du langage decrit un « Processus » ou comportemeent , β est parcouru par E , F , ... L’environnement est un processus particulier qui se s’ynchronise sur toutes les ports .

2 Opérateur du langage : ● Stop : Processus qui ne fait rien .
● exit : Processus de terminaison avec succés ; son comportement se résume en une interaction sur la porte δ avant de se transformer en le processue Stop . ● ; : Préfixage d’action ; étant donnée une expression E O;E : avec O ∈ g ; représente le comportement d’un processus qui interagit sur la porte observable O et qui se comporte comme E .

3 E |[L]| F représente la composition parallèle de
O;E : Préfixage par l’action interne i ● hide L in E : L ≤ g et E ∈ β : opération intériorisation . Représente le comportement de E dont lequel toutes les interaction sur les portes L sont rendues invisibles . ● [ ] : Opération de choix , E[ ]F représente le processus qui se comporte soit comme E soit comme F . ● Composition Parallèle : |[-]| E |[L]| F représente la composition parallèle de E et F avec synchronisation sur les portes qui

4 E ||| F <=> E |[Ø]| F
sont dans L . E ||| F <=> E |[Ø]| F E || F <=> E |[g]| F ● » : Opérateur de séquencement de processus . E » F dénote un processus qui se comporte d’abord comme E , et qui désque B s’est terminé avec succés se comporte ensuite comme F .

5 ● [> : Opérateur d’interruption , E [> F dénote un
processus qui se comporte comme E , mais qui peut à tout moment , tant que E ne s’est pas terminé avec succés , être interrompu par F , ce dernier prenant la main et continuant à s’exécuter . Renommage de portes : E[ b1/a1 , … , bnan ] represente un comportement identique à E sauf pour les occurrences des actions a1 , … , an qui sont renommées respectivement par les action b1 , … , bn .

6 Instanciation de processus : PN désigne
l’ensemble desnoms de processus . Une instanciation de processus est fait pour les occurences des noms de processus dans une expréssion de comportement. Définition de processus : P := E dénote la définition d’un processus P dont le comportement est decrit par l’expréssion de comportement E .

7 b b c d a P1 P2 a c P1 P2 δ P[a,b,c,d] ≡ P1[a,b] ||| P2[c,d] P[a,b,c] ≡ P1[a,b] ||| P2[b,c] b b a P1 P2 c P1 P2 c a δ P[a,b,c] ≡ P1[a,b] |[b]| P2[b,c] P[a,c] ≡ hide b in P1[a,b] |[b]| P2[b,c]

8  P1 P2 P1 P2  P1 P2 b c b c d c a a P[a,b,c] ≡ P1[a,b] » P2[c,d]
P[a,b,c,d] ≡ P1[a,b] [> P2[c,d]

9 Sémantique opérationnelle d’entrelacement
1- 2- 4- a E E’ (a) δ a Exit stop E [ ] F E’ 3- a E E’ (b) a a a ; E E F [ ] E E’ a E E’ a ∈ L U { δ} ( i ) a E |[ L ]| F E’ |[ L ]| F (a) a E E’ a ∈ L U { δ} ( ii ) a F |[ L ]| E F |[ L ]| E’

10 5- 6- (b) (a) (b) (a) (b) a a E E’ F F’ a ∈ L U { δ} a
F |[ L ]| E F’ |[ L ]| E’ a E E’ a ∈ L (a) a hide L in E hide L in E’ 5- a E E’ a ∈ L (b) a hide L in E hide L in E’ a E E’ a ≠ δ (a) E » F E’ » F a 6- δ E E’ (b) E » F F i

11 7- (a) (b) (c) a E E’ a ≠ δ E [> F E’ [> F a δ E E’ E [> F E’
F F’ (c) E [> F F’ a