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 graduateRequirementOptional
Year1Semestersummer
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
Part-time 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

Other requirements

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

Full-time form (validity from: 2012/2013 Winter semester, validity until: 2014/2015 Summer semester)
Task nameType of taskMax. number of points
(act. for subtasks)
Min. number of pointsMax. počet pokusů
Exercises evaluation and Examination Credit and Examination 100 (100) 51
        Exercises evaluation Credit 40 (40) 20
                Prezentace Other task type 8  0
                IDEF Written test 8  0
                EPC Written test 8  0
                Stav dosažitelnosti Written test 8  0
                Písemka BPMN Written test 8  0
        Examination Examination 60 (60) 30 3
                Písemná zkouška Written examination 60  30 3
Mandatory attendence participation:

Show history

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

Show history

Occurrence in study plans

Academic yearProgrammeBranch/spec.Spec.Zaměření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

Assessment of instruction



2013/2014 Summer
2012/2013 Summer
2011/2012 Summer
2010/2011 Summer