A pattern-based approach for the verification of business process descriptions
Information and Software Technology
Modeling and executing ConcurTaskTrees using a UML and SOIL-based metamodel
Proceedings of the 12th Workshop on OCL and Textual Modelling
Hi-index | 0.00 |
In this article, we present the prototype of a modeling tool that applies graph-based rules for identifying problems in business process models. The advantage of our approach is twofold. First, it is unnecessary to compute the complete state space of the model to find errors. Second, our technique can even be applied to incomplete business process models. Thus, the modeler can be supported by direct feedback during the model construction. This feedback not only reports problems, but also identifies their reasons and gives suggestions for improvement. Copyright © 2010 John Wiley & Sons, Ltd. In this article, we demonstrate the prototype of a modeling tool that applies graph-based validation rules for identifying errors and weaknesses in business process models. The validation approach works on incomplete business process models and without computing the complete state space of process models. Thus, the modeler can be supported by direct feedback during the model construction, including error reasons and improvement suggestions. Copyright © 2010 John Wiley & Sons, Ltd.