Universität Karlsruhe
Validation of Business Process Models


[SpPuHe03]Andreas Speck, Elke PulvermĂĽller, Dirk Heuzeroth, Validation of Business Process Models, Proceedings of the Workshop on Correctness of Model-Based Software Composition (CMC), In Association with the 17th European Conference on Object-Oriented Programming (ECOOP) 2003, Report No. 2003-13, Universitaet Karlsruhe, Fakultaet fuer Informatik, p. 75 - 83, Universitaet Karlsruhe, Fakultaet fuer Informatik, July 2003.


The eCommerce system development of Intershop is based on different models on various levels of abstraction. The software engineering tool %{\textit{ARIS}} ARIS represents most of these models. In this paper we focus on the validation of the business process models on an intermediate abstraction level of the %{\textit{ARIS}} ARIS model. The business processes may be derived from process patterns and have to follow specific rules (best practices). The validation of the compliance with these rules and the consistency with the original business process pattern is the focus of this paper.

[Erzeuge bibTeX Eintrag]




Dr. Dirk Heuzeroth
Dr. Elke PulvermĂĽller
Andreas Speck