Methods for Business Modeling

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