Verification of Business Process Integration Options

G. Grossmann, M. Schrefl, M. Stumptner
Schr06b (2006)
Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth (Eds.): Proceedings of the 4th International Conference on Business Process Management (BPM 2006), Vienna, Austria, September 5-7, 2006, Springer Verlag, Lecture Notes in Computer Science (LNCS) Vol. 4102, ISBN 3-540-38901-9, pp. 432-438, 2006.
Copy  (In order to obtain the copy please send an email with subject  Schr06b  to


We propose a meta framework architecture for supporting the behaviour based integration of two business processes. The meta level provides basic integration operators to the domain engineer to create integration options for specific domains. Based on semantic relationships between nodes of two business processes these integration options are executed and transform parts of the business processes. The outcome of the model transformation is an integrated business process. Because of the arbitrary combination of basic integration operators, a potentially infinite set of integration options may be applicable, and some of these may lead to an incorrect business process. We analyse our framework according to a set of consistency criteria and propose verification and validation mechanisms to keep the integrated model consistent. This research was partially supported by the Australian Research Council under Discovery Grant DP0210654.

Keywords:Business process management, Workflow, Nets