Methods for Business Modeling

Přednášky:

ÚVOD DO PROBLEMATIKY
Úloha byznys modelování
Základní pojmy

ZÁKLADNÍ PŘÍSTUPY K BYZNYS MODELOVÁNÍ
Abstraktní rámec specifikace modelu
Funkční specifikace pomocí IDEF
Specifkace procesu s využitím EPC
Strukturální modelování pomocí obektově orientované přístupu
Byznys modelování pomocí UML
Specifikace meta-modelu

FORMALNÍ METODY SPECIFIKACE A ANALÝZY
Formální metody
Petriho sítě a jejich vlastnosti
Modelování procesů pomocí WF-sítí
Analýza vlastností byznys procesů
Formalizace a verifikace neformálně definovaných metod

ZÁVĚR

Softwarové nástroje pro specifikaci a analýzu byznys modelů
Několik slov závěrem