456-0342/02 – Methods for Business Modeling (MBM)
Gurantor department | Department of Computer Science | Credits | 3 |
Subject guarantor | Ing. Jan Kožusznik, Ph.D. | Subject version guarantor | Ing. Svatopluk Štolfa, Ph.D. |
Study level | undergraduate or graduate | Requirement | Choice-compulsory |
Year | 2 | Semester | winter |
| | Study language | Czech |
Year of introduction | 2006/2007 | Year of cancellation | 2009/2010 |
Intended for the faculties | EKF | Intended for study types | Follow-up Master |
Subject aims expressed by acquired skills and competences
The goal of the course Methods for Business Modeling is to show what methods and tools can be used to specify business process.
Teaching methods
Lectures
Tutorials
Experimental work in labs
Project work
Other activities
Summary
The course is devided into two parts. The first one deals with informal or semi-formal methods like IDEF, EPC and UML. The second part is dedicated to formal methods like Petri Nets and how these formal methods can be applied to specify a verify business models.
Compulsory literature:
Ivo Vondrák: Metody business modelování - textbook
Recommended literature:
Way of continuous check of knowledge in the course of semester
Podmínky udělení zápočtu:
Podmínkou udělení zápočtu je získat min. 20 bodů ze 40 možných.
E-learning
Other requirements
Prerequisities
Subject has no prerequisities.
Co-requisities
Subject has no co-requisities.
Subject syllabus:
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
Conditions for subject completion
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction
Předmět neobsahuje žádné hodnocení.