Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Chebbi, I., Dustdar, S., Tata, S.: The view-based approach to dynamic inter-organizational workflow cooperation. Data and Knowledge Engineering 56(2), 139–173 (2006)
Grossmann, G., Ren, Y., Schrefl, M., Stumptner, M.: Behavior Based Integration of Composite Business Processes. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 186–204. Springer, Heidelberg (2005)
Grossmann, G., Schrefl, M., Stumptner, M.: Classification of business process correspondences and associated integration operators. In: Wang, S., Tanaka, K., Zhou, S., Ling, T.-W., Guan, J., Yang, D.-q., Grandi, F., Mangina, E.E., Song, I.-Y., Mayr, H.C. (eds.) ER Workshops 2004. LNCS, vol. 3289, pp. 653–666. Springer, Heidelberg (2004)
Guerra, E., de Lara, J.: A Framework for the Verification of UML Models. Examples Using Petri Nets. In: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), pp. 325–334 (November 2003)
Special Issue on Enterprise Modelling and System Support. Advanced Engineering Informatics 18(4), 191–253 (October 2004)
Honeywell Inc. Domain Modeling Environment (DoME), http://www.htc.honeywell.com/dome2
MetaCase. MetaEdit+ (last access 07/03/2006), http://www.metacase.com/mep/
Object Management Group (OMG). UML Superstructure Version 2.0 (August 2005) (2005-07-04), http://www.omg.org/uml
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn., Object Technology Series. Addison-Wesley, Reading (2004)
Sadiq, W., Orlowska, M.E.: On Correctness Issues in Conceptual Modeling of Workflows. In: Proc. of ECIS 1997 (June 1997)
Snoeck, M.: Sequence constraints in business modelling and business process modelling. Enterprise Information Systems 4, 194–201 (2003)
Stumptner, M., Schrefl, M., Grossmann, G.: On the road to behavior-based integration. In: Proc. of APCCM 2004, pp. 15–22. Australian Computer Society (2004)
van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)
van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers 8(1), 21–66 (1998)
van der Aalst, W.M.P.: Loosely coupled interorganizational workflows: modeling and analyzing workflows crossing organizational boundaries. Information Management 37(2), 67–75 (2000)
van Hee, K., Sidorova, L.S.N., Voorhoeve, M.: Consistency in model integration. Data and Knowledge Engineering 56(1), 4–22 (2006)
Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes using Woflan. The Computer Journal 44(4), 246–279 (2001)
Wombacher, A., Mahleko, B., Neuhold, E.: Ipsi-pf: A business process matchmaking engine. In: Int’l. IEEE Conference on E-Commerce Technology (CEC 2004), pp. 137–145 (2004)
Woodman, S.J., Palmer, D.J., Shrivastava, S.K., Wheater, S.M.: Notations for the Specification and Verification of Composite Web Services. In: Proc. of EDOC 2004. IEEE Computer Society Press, Los Alamitos (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grossmann, G., Schrefl, M., Stumptner, M. (2006). Verification of Business Process Integration Options. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds) Business Process Management. BPM 2006. Lecture Notes in Computer Science, vol 4102. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841760_35
Download citation
DOI: https://doi.org/10.1007/11841760_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38901-9
Online ISBN: 978-3-540-38903-3
eBook Packages: Computer ScienceComputer Science (R0)