business modelling, formal methods, process wizard, process modeling tool

Today?s information systems increasingly use explicit process models to drive workflow of business processes. For this reason are mainly Workflow Management Systems or proprietary vendor notations used. However, such systems integrate or define notation with poor semantics. This problem causes lack of agreed standards on this field and a lot of different notations with different scope and quality. Poor semantics introduce confusion for people and also disallow exchange of models. Thus, we have defined methodical and application framework integrated to QI information system with sound formal background to allow model and analyze (not only) business processes.

Today?s information systems increasingly use explicit process models to drive workflow of business processes. For this reason are mainly Workflow Management Systems or proprietary vendor notations used. However, such systems integrate or define notation with poor semantics. This problem causes lack of agreed standards on this field and a lot of different notations with different scope and quality. Poor semantics introduce confusion for people and also disallow exchange of models. Thus, we have defined methodical and application framework integrated to QI information system with sound formal background to allow model and analyze (not only) business processes.