460-8101/01 – Methods for Business Modeling (MBM)

Gurantor department	Department of Computer Science	Credits	4
Subject guarantor	Ing. Jan Kožusznik, Ph.D.	Subject version guarantor	Ing. Jan Kožusznik, Ph.D.
Study level	undergraduate or graduate	Requirement	Choice-compulsory
Year	2	Semester	winter
		Study language	Czech
Year of introduction	2010/2011	Year of cancellation	2010/2011
Intended for the faculties	EKF	Intended for study types	Follow-up Master

Instruction secured by
Login	Name	Tuitor	Teacher giving lectures
KOS305	Ing. Michael Alexander Košinár
KOZ01	Ing. Jan Kožusznik, Ph.D.
KUC275	Ing. Štěpán Kuchař, Ph.D.
STO03	Ing. Svatopluk Štolfa, Ph.D.

Extent of instruction for forms of study
Form of study	Way of compl.	Extent
Full-time	Credit and Examination	2+2
Part-time	Credit and Examination	8+0
Distance	Credit and Examination	8+0

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

Credit tests and semester project. Terms of the credit: A condition for granting credit to obtain min. 20 points from 40 possible points.

E-learning

Other requirements

Prerequisities

Subject has no prerequisities.

Co-requisities

Subject has no co-requisities.

Subject syllabus:

Lectures: INTRODUCTION The role of business modeling Basic terms BASIC APPROACHES TO BUSINESS MODELLING Abstract model specification framework Functional specifications using the IDEF Specifkace process using EPC Structural modeling obektově oriented approach Business modeling with UML Specification meta-model FORMAL SPECIFICATION AND ANALYSIS METHODS Formal Methods Petri nets and their properties Modeling Processes with WF-nets Analysis of business processes Formalization and verification methods defined informally CONCLUSION Software tools for specification and analysis of business models A few words in conclusion

Conditions for subject completion

Distance form (validity from: 2009/2010 Winter 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	51
Exercises evaluation	Credit
Examination	Examination	(100)		3
Zkouška	Written examination	100	51

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.	Spec.	Zaměření	Form	Study language	Tut. centre	Year	W	S	Type of duty
2010/2011	(N6207) Quantitative Methods in Management	(6207T018) Quantitative management support			D	Czech	Ostrava	2			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í.