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

Znovupoužitie návrhových vzorov na úrovni modelu 145
SP = {
element(ConcreteSubject, ConcreteSubjectSet),
element(ConcreteObserver, ConcreteObserverSet)
}
QP = {
forall(element(ConcreteSubject, ConcreteSubjectSet), CS),
forall(element(ConcreteObserver, ConcreteObserverSet), CO)
}
CS = {
class(ConcreteSubject),
inherit(Subject, ConcreteSubject),
variable(ConcreteSubject, private, subjectState),
method(ConcreteSubject, public, GetState),
return(ConcreteSubject, GetState, subjectState)
}
CO = {
class(ConcreteObserver),
inherit(Observer, ConcreteObserver),
variable(ConcreteObserver, private, subject, Subject),
variable(ConcreteObserver, private, observerState, DataType),
method(ConcreteObserver, public, update, void),
invoke(ConcreteObserver, update, subject, GetState),
invoke(ConcreteObserver, ConcreteObserver, subject, attach),
invoke(ConcreteObserver, destructor, subject, detach)
}
Tabuka 5-3 obsahuje opisuje spôsob realizácie operácií, ktoré sú definované nad opísaným
modelom Štrukturálneho kontraktu.
Tabuka 5-3. Operácie vykonávané nad Štrukturálnym kontraktom.
Operácia
Inštanciácia
Evolúcia
Integrácia
Spôsob realizácie operácie
Inštancie definovaných návrhových vzorov sa vytvárajú nahradením všeobecných
konštánt reprezentujúcich role vzoru názvami konkrétnych
inštancií.
Evolúcie definovaných inštancií návrhových vzorov sa realizujú doplnením
alebo odstránením konštánt a predikátov.
Integrácia inštancií je realizovaná zjednotením množín všetkých konštánt
a predikátov integrovaných inštancií. Na to, aby mala integrácia zmysel je
potrebné, aby prienik týchto množín nebol prázdny.
Kontrakt správania
Kontrakt správania opisuje dynamické informácie ako kooperácia medzi objektmi zúastnenými
v návrhovom vzore i vytváranie nových objektov. Modeluje sa pomocou kolaborácií
skupín objektov hrajúcich rôzne role a pracujúcich na vykonaní spolonej innosti.
Na vytváranie formálneho sémantického modelu Kontraktu správania autori zvolili
procesný kalkulus pre jeho možnosti modelova správanie a súbežné spracovanie. Procesný
kalkulus umožuje hierarchický opis procesov, ktorý je možné verifikova, analyzova
a odvodzova nad ním. Ako konkrétny procesný kalkulus bol zvolený CCS [24], pre silu
jeho modelovacieho jazyka a dobrú podporu nástrojov urených na kontrolu modelov.
Pre potreby prístupu je CCS syntax nasledovná: