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	1	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

Extent of instruction for forms of study
Form of study	Way of compl.	Extent
Distance	Credit and Examination	0+6

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

Distance form (validity from: 1960/1961 Summer semester)

Task name	Type of task	Max. number of points (act. for subtasks)	Min. number of points	Max. počet pokusů
Exercises evaluation and Examination	Credit and Examination	100 (100)	51	3
Exercises evaluation	Credit	45 (45)	0	3
Written exam	Written test	45	0	3
Examination	Examination	55 (55)	0	3
Written examination	Written examination	55	0	3

Mandatory attendence participation:

Show history

Conditions for subject completion and attendance at the exercises within ISP:

Show history

Occurrence in study plans

Academic year	Programme	Branch/spec.	Form	Study language	Tut. centre	Year	Type of duty
2009/2010	(N6207) Quantitative Methods in Management	(6207T018) Quantitative management support	D	Czech	Ostrava	1	Choice-compulsory	study plan
2009/2010	(N6207) Quantitative Methods in Management	(6207T018) Quantitative management support	D	Czech	Ostrava	2	Choice-compulsory	study plan
2008/2009	(N6207) Quantitative Methods in Management	(6207T018) Quantitative management support	D	Czech	Ostrava	1	Choice-compulsory	study plan
2008/2009	(N6207) Quantitative Methods in Management	(6207T018) Quantitative management support	D	Czech	Ostrava	2	Choice-compulsory	study plan
2007/2008	(N6207) Quantitative Methods in Management	(6207T018) Quantitative management support	D	Czech	Ostrava	1	Choice-compulsory	study plan
2007/2008	(N6207) Quantitative Methods in Management	(6207T018) Quantitative management support	D	Czech	Ostrava	1	Choice-compulsory	study plan

Occurrence in special blocks

Block name	Academic year	Form of study	Study language	Year	W	S	Type of block	Block owner

Assessment of instruction

Předmět neobsahuje žádné hodnocení.