elektronická verzia publikácie - FIIT STU - Slovenská technická ...

146 Štúdie vybraných tém programových a informaných systémov
P ::= 0 | a.P | P + P | P|P |P \ A | P[f] | x
kde P predstavuje proces, a.P sekvennú kompozíciu, P + P nedeterministickú vobu, P|P
paralelné spracovanie, P \ A obmedzenie, P[f] preznaenie, 0 prázdny proces a x premennú.
Pri definovaní kontraktu správania je potrebné definova:
− P – konenú množinu procesov,
− IP – konenú množinu vstupných portov pripojených k procesom. Proces prijíma
vstupné správy cez svoje vstupné porty,
− OP – konenú množinu výstupných portov pripojených k procesom. Proces vysiela
výstupné správy cez svoje výstupné porty,
− IM – konenú množinu vstupných správ procesov,
− OM – konenú množinu výstupných správ procesov,
− IMI – konenú množinu vstupných správ procesov pochádzajúcich mimo komponentu.
− OMI – konenú množinu výstupných správ procesov smerovaných mimo komponentu.
− A – konenú množinu akcií, ktoré môžu by vykonané procesom.
Príklad Kontraktu správania návrhového vzoru Observer:
P = {aConcreteSubject, ConcreteObserverA, ConcreteObserverB}
IP = {O2S, S2O, Ntfy, Input}
OP = {O2S, S2O, Ntfy}
IM = {Attach, Detach, SetState, GetState, Update, Notify, Change}
OM = {Attach, Detach, SetState, GetState, Update, Notify}
IM I = {Change}
OM I = { }
CCS opis vzoru:
OberverBehavior ::= Subject(aConcreteSubject) |
Observer(ConcreteObserverA) |
Observer(ConcreteObserverB)
Observer(Name) ::= out(O2S, Attach).Observer
out(O2S, Detach).Observer +
in(Input, Change).action(Change).
out(O2S, SetState).Observer +
in(S2O, Update).action(Update).
out(O2S, GetState).Observer
Subject(Name) ::= in(O2S, Attach).action(Attach).Subject +
in(O2S, Detach).action(Detach).Subject +
in(O2S, SetState).action(SetState).
out(Ntfy, Notify).Notifying
Notifying ::= in(Ntfy, Notify).action(Notify).
out(S2O, Update).Updating
Updating ::= in(O2S, GetState).action(GetState).Subject
Podobne ako pri Štrukturálnom kontrakte, aj pri Kontrakte správania sú definované operácie
inštanciácie, evolúcie a integrácie. V rámci kontextu tejto kapitoly sa nimi nebudeme
podrobnejšie zaobera.