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

Gurantor departmentDepartment of Computer ScienceCredits4
Subject guarantorIng. Svatopluk Štolfa, Ph.D.Subject version guarantorIng. Svatopluk Štolfa, Ph.D.
Study levelundergraduate or graduate
Study languageCzech
Year of introduction2010/2011Year of cancellation2014/2015
Intended for the facultiesFEIIntended for study typesFollow-up Master
Instruction secured by
LoginNameTuitorTeacher giving lectures
STO03 Ing. Svatopluk Štolfa, Ph.D.
Extent of instruction for forms of study
Form of studyWay of compl.Extent
Full-time Credit and Examination 2+2
Combined 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:

Ivo Vondrák: Metody business modelování - textbook

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

Další požadavky na studenta

Additional requirements are placed on the student.

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

Conditions for completion are defined only for particular subject version and form of study

Occurrence in study plans

Academic yearProgrammeField of studySpec.FormStudy language Tut. centreYearWSType of duty
2014/2015 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Optional study plan
2014/2015 (N2647) Information and Communication Technology (2612T059) Mobile Technology P Czech Ostrava 1 Optional study plan
2014/2015 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Optional study plan
2014/2015 (N2647) Information and Communication Technology (2612T059) Mobile Technology K Czech Ostrava 1 Optional study plan
2013/2014 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Optional study plan
2013/2014 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Optional study plan
2013/2014 (N2647) Information and Communication Technology (2612T059) Mobile Technology P Czech Ostrava 1 Optional study plan
2013/2014 (N2647) Information and Communication Technology (2612T059) Mobile Technology K Czech Ostrava 1 Optional study plan
2012/2013 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Optional study plan
2012/2013 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Optional study plan
2012/2013 (N2647) Information and Communication Technology (2612T059) Mobile Technology P Czech Ostrava 1 Optional study plan
2012/2013 (N2647) Information and Communication Technology (2612T059) Mobile Technology K Czech Ostrava 1 Optional study plan
2011/2012 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Optional study plan
2011/2012 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Optional study plan
2011/2012 (N2647) Information and Communication Technology (2612T059) Mobile Technology P Czech Ostrava 1 Optional study plan
2011/2012 (N2647) Information and Communication Technology (2612T059) Mobile Technology K Czech Ostrava 1 Optional study plan
2010/2011 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology P Czech Ostrava 1 Optional study plan
2010/2011 (N2647) Information and Communication Technology (2612T025) Computer Science and Technology K Czech Ostrava 1 Optional study plan
2010/2011 (N2647) Information and Communication Technology (2612T059) Mobile Technology P Czech Ostrava 1 Optional study plan
2010/2011 (N2647) Information and Communication Technology (2612T059) Mobile Technology K Czech Ostrava 1 Optional study plan

Occurrence in special blocks

Block nameAcademic yearForm of studyStudy language YearWSType of blockBlock owner