|[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
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
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.