Georg Grossmann, Michael Schrefl, Markus Stumptner,
"Verification of Business Process Integration Options"
, in Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth (Eds.): Proceedings of the 4th International Conference on Business Process Management (BPM 2006) Vienna, Austria, Sep. 5-7, 2006, Serie Lecture Notes in Computer Science (LNCS), Vol. 4102, Springer Verlag, Seite(n) 432-438, 9-2006, ISBN: 3-540-38901-9
Verification of Business Process Integration Options
Sprache des Titels:
Proceedings of the 4th International Conference on Business Process Management (BPM 2006) Vienna, Austria, Sep. 5-7, 2006
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
Sprache der Kurzfassung:
Lecture Notes in Computer Science (LNCS), Vol. 4102
Anzahl der Seiten:
Notiz zur Publikation:
If you are interested in the paper, you may receive a copy (PDF) by sending an e-mail to our office (email@example.com). Please include the paper-no. (Schr06b) and agree to use the paper for scientific purposes and private use only!