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

144 Štúdie vybraných tém programových a informaných systémov
Štrukturálny kontrakt
V rámci Štrukturálneho kontraktu vzoru je definovaná štruktúra vzoru a operácie umož-
ujúce vykonáva inštanciáciu a evolúciu inštancie vzoru a integráciu viacerých inštancií
vzorov. Opis štruktúry komponentu pozostáva z týchto astí :
Konštanty – predstavujú množinu tried C, množinu atribútov tried AV, množinu metód M,
množinu typov T a množinu prístupových práv AR.
Predikáty
− Predikáty rolí RP (Role predicates) tvoria množinu informácií o roliach.
− Predikáty vzahov CP (Connection predicates) tvoria množinu definícií vzahov medzi
jednotlivými rolami a spôsob ich prepojenia.
− Predikáty akcií AP (Action predicates) tvoria množinu obsahujúcu opisy akcií, ktoré
môže vykonáva rola návrhového vzoru.
− Množinové predikáty SP (Set predicates) tvoria množinu prezentujúcu informácie
o ubovonom pote inštancií role.
− Kvantifikané predikáty QP (Quantification predicates) tvoria množinu definujúcu
spôsob kvantifikácie množiny elementov.
Príklad Štrukturálneho kontraktu vzoru Observer:
C = {Subject, Observer, ConcreteObserver, ConcreteSubject}
AV = {subject, observers, subjectState, observerState}
M = {attach, detach, getState, update, notify, append, remove}
T = {void, DataType}
AR = {public, protected, private}
RP = {
abstractclass(Subject),
abstractclass(Observer),
class(ConcreteObserver),
class(ConcreteSubject),
variable(Subject, private, observers, Observer),
variable( ConcreteObserver, private, subject, Subject),
variable(ConcreteSubject, private, subjectState, DataType),
variable(ConcreteObserver, private, observerState, DataType),
method(Subject, public, attach, void),
method(Subject, public, detach, void),
method(Subject, public, notify, void),
method(ConcreteSubject, public, GetState, DataType),
method(Observer, public, update, void),
method(ConcreteObserver, public, update, void)
}
CP = {
inherit(Observer, ConcreteObserver),
inherit(Subject, ConcreteSubject)
}
AP = {
invoke(Subject, attach, observers, append),
invoke(Subject, detach, observers, remove),
invoke(Subject, notify, Observer, update),
invoke(ConcreteObserver, update, subject, GetState),
return(ConcreteSubject, GetState, subjectState)
}