|
|
Modelování cílů podniku a informačního systému
Kovářová, Renáta ; Panuška, Martin (vedoucí práce) ; Šalamon, Tomáš (oponent)
Tato bakalářské práce se zabývá modelováním cílů podniku a informačního systému. Cílem tohoto modelování je zjistit, jaké jsou dlouhodobé cíle podniku a informačního systému; modeluje cíle v současném stavu (podniku, či informačního systému) "as-is" a cíle v budoucím stavu "to-be". Nejedná se o modelování cílů transformace mezi těmito stavy, protože ty nemají dlouhodobý charakter. Toto modelování cílů patří k technikám analýzy systémových požadavků. Protože se jedná o poměrně mladou a zároveň velice přínosnou techniku analýzy systémových požadavků, je potřeba jí věnovat náležitou pozornost a představit ji od základů. Velmi důležité je samotné vymezení pojmu cíl a jeho souvislostí, aby bylo zřejmé, co vlastně modelujeme a proč. Pro modelování cílů se používá několik modelovacích jazyků, mezi které patří framework i* a metodika KAOS. Tato práce se věnuje oběma těmto jazykům a porovnává jejich připravenost pro cílové modelování na praktickém příkladu.
|
|
|
Modelování podnikových procesů
Panuška, Martin ; Řepa, Václav (vedoucí práce) ; Svatoš, Oleg (oponent)
V diplomové práci se zabýváme modelováním podnikových procesů z pohledu logiky. Tento pohled má několik výhod. Za prvé, protože logika prvního řádu je formálním logickým systémem, umožňuje nám důkladně pochopit základy procesního modelování. Za druhé, poté, co porozumíme logickým základům modelování podnikových procesů, můžeme vytvořit jazyk pro takové modelování postavený výhradně na logice nebo vyjádřit existující jazyk za použití logiky. Obojí pak může být využitelné pro usuzování umělé inteligence. Za třetí, model podnikových procesů, u kterého existuje vyjádření pomocí logiky (nebo jiného deklarativního jazyka), může být snadno uložen v deklarativní znalostní bázi. Za čtvrté, procesní modely založené na logice můžou být využity ve firmách jako základ pro znalostní management. A za páté, věda o logice nabízí množství různých sémantických rozšíření, které můžou být využity za účelem rozšíření výrazových prostředků jazyka pro modelování podnikových procesů. Prvním cílem práce je vypracování důkladného přehledu literatury, týkající se obou našich ob-lastí -- modelování podnikových procesů a temporální logiky. Souvisejícím druhým cílem je pro-zkoumání možností logiky reprezentovat procesy a obecně pojem času a poskytnout techniky k logické reprezentaci procesů. Následně by měly být poskytnuty příklady, které dokážou, že vy-brané techniky jsou schopné poskytnout výhody vyjmenované v prvním odstavci. Třetím cílem je navržení vylepšení současného přístupu k modelování podnikových procesů a poskytnutí re-levantních příkladů. Nakonec je možné navrhnout i způsoby zlepšení prezentovaných technik. Hlavním přínosem práce je, že představuje slušný základ pro další výzkum předmětné oblasti. Pro začátečníky, ale i pokročilé je práce dobrým odrazovým můstkem.
|
host ::
RSS.