Choreography-based Consolidation of Multi-instance BPEL Processes

Sebastian Wagner, Oliver Kopp, Frank Leymann

2014

Abstract

Interaction behavior between processes of different organizational units such as an enterprise and its suppliers can be modeled by choreographies. When organizations decide, for instance, to gain more control about their suppliers to minimize transaction costs, they may decide to insource these companies. This especially includes the integration of the partner processes into the organization’s processes. Existing works are able to merge single-instance BPEL process interactions where each process model is only instantiated once during choreography execution. However, there exist different interaction scenarios where one process interacts with several instances of another process and where the number of instances involved is not known at design time but determined during runtime of the choreography. In this work we investigate these interaction scenarios and extend the process consolidation approach in a way that we can emulate the multi-instance interaction scenarios in the merged process model.

References

  1. Aalst, W. M. P. v. d., Lohmann, N., Massuthe, P., Stahl, C., and Wolf, K. (2008). Multiparty contracts: Agreeing and implementing interorganizational processes. Comput. J., 53(1):90-106.
  2. Barros, A., Decker, G., Dumas, M., and Weber, F. (2007). Correlation patterns in service-oriented architectures. In FASE, volume 4422. Springer.
  3. Barros, A., Dumas, M., and ter Hofstede, A. (2005). Service Interaction Patterns. In BPM. Springer.
  4. Börger, E. (2012). Approaches to modeling business processes: a critical analysis of bpmn, workflow patterns and yawl. Softw. Syst. Model., 11(3):305-318.
  5. Dadashov, E. (2013). Choreography-based Business Process Consolidation in One-To-Many interactions. Master thesis, University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany.
  6. Debicki, P. (2013). Choreographie-basierte Konsoliedierung von BPEL Prozessmodellen. Diploma thesis, University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany.
  7. Decker, G., Kopp, O., and Barros, A. (2008). An Introduction to Service Choreographies. Information Technology, 50(2):122-127.
  8. Decker, G., Kopp, O., Leymann, F., and Weske, M. (2009). Interacting services: From specification to execution. Data & Knowledge Engineering, 68(10):946-972.
  9. DeRemer, F. and Kron, H. (1976). Programming-in-the-large versus programming-in-the-small. Software Engineering, IEEE Transactions on, SE-2(2):80 - 86.
  10. Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath, F. T., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., et al. (2011). Introducing the guardstage-milestone approach for specifying business entity lifecycles. In 7th International Workshop, WS-FM 2010, LNCS. Springer-Verlag.
  11. Khalaf, R. and Leymann, F. (2006). Role-based Decomposition of Business Processes using BPEL. In ICWS 2006. IEEE.
  12. Khalaf, R. and Leymann, F. (2010). Coordination for Fragmented Loops and Scopes in a Distributed Business Process. In BPM. Springer.
  13. Kopp, O., Eberle, H., Leymann, F., and Unger, T. (2010). The Subprocess Spectrum. In Proceedings of the Business Process and Services Computing Conference: BPSC 2010. GI e.V.
  14. Kopp, O., Martin, D., Wutke, D., and Leymann, F. (2009). The Difference Between Graph-Based and BlockStructured Business Process Modelling Languages. Enterprise Modelling and Information Systems, 4(1):3- 13.
  15. Kossak, F., Illibauer, C., and Geist, V. (2012). Eventbased gateways: Open questions and inconsistencies. In Mendling, J. and Weidlich, M., editors, Business Process Model and Notation, volume 125 of Lecture Notes in Business Information Processing, pages 53- 67. Springer Berlin Heidelberg.
  16. K üster, J., Gerth, C., Förster, A., and Engels, G. (2008). A tool for process merging in business-driven development. In Proceedings of the Forum at the CAiSE.
  17. Leymann, F. (2010). Bpel vs. bpmn 2.0: Should you care? In BPMN, pages 8-13.
  18. Lohmann, N. (2007). A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. In WS-FM.
  19. Lohmann, N. and Kleine, J. (2008). Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes. In Modellierung. GI e.V.
  20. Mendling, J. and Simon, C. (2006). Business process design by view integration. In BPM Workshops. Springer.
  21. OASIS (2007). Web Services Business Process Execution Language Version 2.0 - OASIS Standard.
  22. Object Management Group (OMG) (2011). Business Process Model and Notation (BPMN) Version 2.0. OMG Document Number: formal/2011-01-03.
  23. Scheer, A.-W., Thomas, O., and Adam, O. (2005). Process Aware Information Systems: Bridging People and Software Through Process Technology, chapter Process Modeling Using Event-Driven Process Chains. WileyInterscience.
  24. van Breugel, F. and Koshkina, M. (2006). Models and Verification of BPEL. http://www.cse.yorku.ca/ franck/research/drafts/tutorial.pdf.
  25. van der Aalst, W. M. P., ter Hofstede, A. H. M., Kiepuszewski, B., and Barros, A. P. (2003). Workflow Patterns. Distributed and Parallel Databases, 14(1):5- 51.
  26. Wagner, S., Fehling, C., Karastoyanova, D., and Schumm, D. (2012a). State Propagation-based Monitoring of Business Transactions. In Proceedings of the 2012 IEEE International Conference on Service-Oriented Computing and Applications. IEEE Xplore.
  27. Wagner, S., Kopp, O., and Leymann, F. (2011). Towards Choreography-based Process Distribution In The Cloud. In CCIS.
  28. Wagner, S., Kopp, O., and Leymann, F. (2012b). Towards Verification of Process Merge Patterns with Allen's Interval Algebra. In ZEUS. CEUR.
  29. Wagner, S., Kopp, O., and Leymann, F. (2013a). Consolidation of Interacting BPEL Process Models with Fault Handlers. In Proceedings of the 5th Central-European Workshop on Services and their Composition (ZEUS 2013), pages 1-7, Rostock. CEUR Workshop Proceedings.
  30. Wagner, S., Roller, D., Kopp, O., Unger, T., and Leymann, F. (2013b). Performance optimizations for interacting business processes. In IC2E. IEEE.
  31. Wohed, P., van der Aalst, W. M. P., Dumas, M., ter Hofstede, A. H. M., and Russell, N. (2006). On the suitability of bpmn for business process modelling. In Business Process Management, pages 161-176.
Download


Paper Citation


in Harvard Style

Wagner S., Kopp O. and Leymann F. (2014). Choreography-based Consolidation of Multi-instance BPEL Processes . In Proceedings of the 4th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER, ISBN 978-989-758-019-2, pages 287-298. DOI: 10.5220/0004857902870298


in Bibtex Style

@conference{closer14,
author={Sebastian Wagner and Oliver Kopp and Frank Leymann},
title={Choreography-based Consolidation of Multi-instance BPEL Processes},
booktitle={Proceedings of the 4th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,},
year={2014},
pages={287-298},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004857902870298},
isbn={978-989-758-019-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,
TI - Choreography-based Consolidation of Multi-instance BPEL Processes
SN - 978-989-758-019-2
AU - Wagner S.
AU - Kopp O.
AU - Leymann F.
PY - 2014
SP - 287
EP - 298
DO - 10.5220/0004857902870298