A Business Process Modelling Tool with Continuous Validation Support

Abstract

In this article, we want to present the prototype of a modelling tool that applies graph-based rules for identifying problems in business process models. The advantage of our approach is twofold. Firstly, it is unnecessary to compute the complete state space of the model in order to find errors. Secondly, our technique can be applied to incomplete business process models. Thus, the modeller can be supported by direct feedback during the model construction. This feedback does not only report problems, but it also identifies their reasons and makes suggestions for improvement.