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

148 Štúdie vybraných tém programových a informaných systémov
Výhodou tohto prístupu je použitie štandardných riešení pre opis OO softvéru, oho
dôsledkom by mohla by dostupnos nástrojov umožujúca pracova s takto uchovanými
informáciami, podobne ako existencia pridružených štandardov, napr. štandard XMI [36]
urený na výmenu a zdieanie takto uložených znalostí.
Nevýhoda prístupu rovnako tkvie v použití UML. UML je totiž vemi komplikovaný
a elementy jeho metamodelu komplexne prepojené, o výrazne znižuje jeho pochopitenos
a rozširovatenos. Problém nastáva, ak by sme potrebovali uloži do leitmotifu znalosti,
ktoré sa pomocou štandardnej kombinácie UML+OCL zachyti nedajú. V tomto prípade
sa javia dve možnosti: použi vstavané rozšírenie UML, ím dôjde k vytvoreniu
vlastného UML Profilu (také riešenie využíva jeden z prístupov) alebo rozšíri samotný
UML metamodel v prípade, ak by sme ani UML Profilom nedokázali zachyti naše požiadavky.
Vzhadom na komplexnos UML metamodelu je však jeho rozšírenie vemi problematické,
takže takéto riešenie možno považova za jedno z krajných. Za mierny problém
možno považova aj výmenu takto uložených informácií. Síce existuje štandard XMI definovaný
skupinou OMG, ktorý je založený na štvorvrstvovej MOF [23] architektúre, existuje
a používa sa však už aj jej klon v podobe Ecore od skupiny Eclipse. To by mohlo by
varovaním pred možným hroziacim efektom Babylonskej veže, ke by napriek jednému
štandardu existovalo niekoko paralelných, o by výrazne zredukovalo možnosti znovupoužitia
takto uložených znalostí.
Ako alternatívu k UML prístupu možno uvažova prístupy založené na iniciatíve
Webu so sémantikou a formálnych logických metódach. Tie poskytujú väšiu vonos pri
definovaní spôsobu uchovávanie znalostí, ktorá môže by užitoná pri pokusoch
o zachytenie atypických znalostí. Obe techniky so sebou prinášajú aj nástroje schopné odvodzova
nad definovanou bázou znalostí, ktoré možno využi pri operáciách s danými
znalosami. V prípade formálnych logických metód je vhodným nástrojom jazyk Prolog,
v prípade Webu so sémantikou možno použi odvodzovacie nástroje vytvorené v rámci
tejto iniciatívy, akými sú napr. Racer alebo FaCT++. Jedným z primárnych cieov iniciatívy
Webu so sémantikou je umožni zdieanie znalostí v strojovo spracovatenej forme, takže
túto schopnos je možné plne využi aj v tomto prípade.
Poslednú skupinu tvorí isto grafický prístup. Tým, že sa neoperia o žiadny štandard
alebo technológiu, sa síce otvárajú možnosti zachytenia vekého množstva znalostí, na
druhej strane je však použitenos takto uložených znalostí z pohadu možností strojového
spracovania vemi nízka.
Porovnanie z hadiska obsahu
Z hadiska množstva znalostí, ktoré je množné pomocou opísaných prístupov zaznamena,
možno medzi nimi identifikova rozdiely. Vekým prínosom prístupu Precízne modelovanie
vzorov na základe UML metamodelu je podrobné rozpracovanie problematiky
rolí, v rámci ktorej došlo okrem iného k zavedeniu pojmu dimenzia role. Kladom iných
prístupov je zase opis nielen z hadiska statickej štruktúry, ale aj dynamického správania
sa vzoru z pohadu interakcie jeho úastníkov a stavového opisu. Prístup založený
na formálnych metódach so sebou prináša nielen uchovanie informácií o vzore ale aj možnosti
zachytenia konkrétnych inštancií, o mu následne umožuje vykonáva zmeny pod-
a evoluných pravidiel nad týmito inštanciami a verifikova ich štruktúru.