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

Znovupoužitie návrhových vzorov na úrovni modelu 137
rov, verifikácii ich implementácii a ich vyhadávaní v existujúcich systémov za úelom ich
porozumenia a zdokumentovania. Aby bolo možné zautomatizova tieto aktivity, je potrebné
podrobne zachyti opakujúcu sa štruktúru a správanie vzorov, ktoré sú asto ozna-
ované ako leitmotif vzoru [8]. Leitmotify vzoru možno chápa ako abstraktné návrhové
modely v návrhárovej mysli. Zachytávajú najdôležitejšie invarianty, ktoré generujú konkrétne
riešenia špecifického návrhového problému. Štruktúra vzoru nepredstavuje riešenie,
ale generuje riešenia [3]. Práve táto flexibilita oddeuje vzory od návrhových modelov,
šablón tried i OO frameworkov. Nanešastie modelovací jazyk, ktorý by dokázal presne
špecifikova nemenné asti leitmotifov vzorov, zatia neexistuje.
V nasledujúcich kapitolách budú podrobnejšie opísané vybrané prístupy opisu leitmotifov
návrhových vzorov.
5.2.1 Metamodelovací jazyk založený na roliach
Práca [10] predstavuje jazyk urený na špecifikáciu vzorov: Metamodelovací jazyk založený
na roliach (Role Based Metamodeling Language – RBML). RBML umožuje autorom
špecifikova návrhové vzory z viacerých perspektív: statickej štruktúry, interakcie, stavového
správania sa. RBML používa na špecifikáciu vlastností vzorov vizuálnu notáciu založenú
na UML [33] a textové obmedzenia zaznamenané v jazyku OCL [26]. Ide
o špecifikaný jazyk opisujúci skupiny UML modelov. Samotná špecifikácia vzorov je
založená na báze rolí, ktoré sú asociované s UML metatriedami. Role špecifikujú vlastnosti,
ktoré musia spa elementy modelu hrajúce danú rolu. To znamená, že model, ktorý
zodpovedá špecifikácií vzoru, pozostáva z elementov hrajúcich role tejto špecifikácie. Môže
obsahova aj iné aplikane špecifické elementy, ak sa tým nedostáva do konfliktu
s metamodelovou špecifikáciou vzoru.
Základným modelom RBML je Statická špecifikácia vzoru (Static Pattern Specification
– SPS) predstavujúca obmedzenia UML metamodelu, ktoré spresujú priestor riešenia
vzoru zo štrukturálneho aspektu. SPS pozostáva z klasifikátorov (classifier) a vzahov (relationship),
ktoré vychádzajú z metatried Classifier a Relationship UML metamodelu. Rola
definovaná v rámci SPS môže by asociovaná s obmedzeniami definovanými pomocou
OCL. Príklad SPS špecifikácie vzoru Visitor sa nachádza na obrázku 5-9.
Na zachytenie dynamického správania sa úastníkov vzoru slúži Interakná špecifikácia
vzoru (Interaction Pattern Specifications – IPS). IPS pozostáva z interaknej role, ktorá
je špecializáciou triedy Interaction UML metamodelu. Interakná rola je štruktúrou lifeline
a správy (message), ktoré sú založené na metatriedach Lifeline a Message UML metamodelu.
Z vizuálneho hadiska sa IPS je obdobou sekvenného diagramu UML.
Na opis stavového správania sa úastníkov vzoru RBML definuje Stavovú špecifikáciu
vzoru (StateMachine Pattern Specifications – SMPS), ktorá vychádza zo stavového diagramu
UML.
5.2.2 Precízne modelovanie vzorov na základe UML metamodelu
Alternatívu k predchádzajúcemu prístupu predstavuje práca [21]. Jej hlavným cieom je
opä podrobne zachyti leitmotif vzoru do modelu pozostávajúceho z navzájom spolupracujúcich
rolí pomocou UML metamodelu.