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

Znovupoužitie návrhových vzorov na úrovni modelu 143
zené v kosoštvorcoch. Okrem pomenovania vzahu obsahuje opis vzahu aj definíciu minimálnej
a maximálnej kardinality vzahu, ím dochádza k definícií poetnosti zúastnených
rolí. Príklad metaschémy zachytávajúcej štruktúru vzoru Observer sa nachádza na
obrázku 5-15.
Súasou opisu vzoru sú aj textovo definované pravidlá. Príklad takého pravidla pre
vzor Observer je:
for each ConcreteObserver
cardinality_of(Subject.observer) =
cardinality_of(ConcreteObserver.implements)
Obrázok 5-15. Metaschéma vzoru Observer [31].
5.2.5 Prístup založený na formálnych metódach
Práca [6] predstavuje prístup zahajúci formálnu špecifikáciu a verifikáciu návrhových
komponentov a vzorov (prístup pracuje so vzormi ako s komponentmi na úrovni návrhu).
Poskytuje systematický prostriedok konštrukcie formálnych modelov návrhových vzorov,
ktoré sú generické (nezávislé od aplikanej domény) a vo vhodnej forme pre strojové odvodzovanie.
Okrem toho definuje vlastnosti týkajúce sa ako jednotlivých vzorov tak aj
celých systémov strojovo spracovateným spôsobom, ím otvára možnosti formálnej verifikácii.
V rámci prístupu sa pre návrhové vzory definujú Štrukturálne kontrakty zachytávajúce
štruktúru vzoru, Kontrakty správania zachytávajúce správanie vzoru a vlastnosti
zachytávajúce pravidlá, ktoré identifikujú problémy v rámci celkového návrhu.
V nasledujúcich podkapitolách budú tieto asti opisu návrhových komponentov podrobnejšie
opísané.