The assurance of quality and reliability of process models and workflows is essential for model driven software development. There are numerous ways to achieve these objectives. One is model checking, through which it can be verified that a model satisfies specific logical rules. The model to be checked is usually given as a finite state machine. Rules have to be specified at the level required by the model checker.In this paper, we develop a visual notation for logical rules at the level of processes and workflows. This enables the business process engineer to use model checking techniques and to produce higher quality business models for subsequent software development. The approach is demonstrated by validating event-driven process chains (EPCs).

No abstract

The assurance of quality and reliability is essential for success in the ebusiness. However, missing validation mechanisms are a serious problem in web page development. Most web based programming languages do not support validation and other security features. Furthermore, the usage of different languages increases the complexity. We present an approach to integrating different programming languages in one homogeneous language and further in a formal model, which may be transferred to the specific model used by verification tools. Our concept enables the single analysis and validation of heterogeneous web based languages as well as in combination and interaction.

No abstract