Evoluce softwaroveho inženýrstvi v poslednich desetiletich přivedla na svět mnoho sofistikovaných metod, ktere slouži jako zakladna vývoje v softwarových spolecnostech. Tyto metody, ktere spolecnostem umožňuji udržet se na vysoke urovni v silně konkurencnim prostředi, jsou založeny na specializaci byznys procesů, zname jako softwarový proces. Tato prace prezentuje kombinaci visualniho modelovani softwarových procesů s formalni znalostni podporou spolecně s takzvanou organizacni integraci procesnich modelů. Prace prezentuje ucelený přehled existujicich metod, ramců, jazyků a metod a srovnava je s navrhovaným postupem. V praci navržený postup zaklada procesni modelovani na terminologicky silnem procesnim meta-modelu, jeho instanciaci v podobě formalniho modelu a visualnich modelů vychazejicich z výse jmenovaných formalnich zakladů. Řeseni je zavrseno navrhem metodiky, ktera na zakladě připadových studii navrhuje jakým způsobem aplikovat výsledný ramec do organizaci s minimalizaci třecich ploch. Navržena metodika zahrnuje kromě zakladnich pravidel a konvenci take komplexni popis kompetenci, odpovědnosti a procedur, ktere umožňuji uchopit formalni modelovaci ramec a aplikovat jej v organizacich. Připadove studie byly primarně zaměřeny na sběr požadavků v oblasti zdravotnických informacnich systemů.
[1]
Hector J. Levesque,et al.
Knowledge Representation and Reasoning
,
2004
.
[2]
Timo Varkoi,et al.
Implementation of a Software Process Standard as an Electronic Process Guide
,
2008
.
[3]
Vladan Devedzic,et al.
Model driven architecture and ontology development
,
2006
.
[4]
T. Makinen,et al.
Assessment driven process modeling for software process improvement
,
2008,
PICMET '08 - 2008 Portland International Conference on Management of Engineering & Technology.
[5]
Marie Duzí,et al.
Functional Programming Based on Transparent Intensional Logic
,
2007,
RASLAN.
[6]
Marie Duzí,et al.
The TIL-Script Language
,
2009,
EJC.
[7]
Michal Kosinár,et al.
TIL in Knowledge-Based Multi-Agent Systems
,
2008,
RASLAN.