Académique Documents
Professionnel Documents
Culture Documents
Solution TD Lotos
Solution TD Lotos
Exercice 1
rdp1: lire; traiter; écrire; stop
Exercice 2
PROCESS Two Buffers[in, out]:=
WHERE ...
ENDPROC
hide int2, int3 in (entité1[int1, int2] ||| entité2[int3, int4]) |[int2, int3]| service[int2, int3]
WHERE ...
ENDPROC
Exercice 3
1) SYSTEM ProducteurConsommateur [produire, consommer, in, out]:=
WHERE
ENDPROC
1
out; cosommer; Consommateur[consommer, out]
ENDPROC
ENDPROC
ENDSYSTEM
2
consommer S0 produire
S3 S1
out
produire
in
consommer
S5
in S2
out
produire
S6 produire
S7 consommer
S4
consommer
Figure 4: STE Système Global