Abstract
The Business Process Execution Language for Web Services provides an technology to aggregate encapsulated functionalities for defining high-value Web services. For a distributed application in a B2B interaction, the partners simply need to expose their behavior as BPEL processes and compose them. Still, modeling and composing BPEL processes can be complex and error-prone. With formal methods like Petri nets, it is possible to analyze crucial properties (e.g. compatibility) effectively. In this paper, we present a method that automatically generates compatible partner BPEL processes for a given BPEL processes. Our hybrid approach makes use of formal methods, but also incorporates the structure of the original BPEL process model, such that the generated partner process is easier to understand and manage.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)
Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: WSDL – Web Services Description Language. W3C, Standard, Version 1.1 (March 2001)
Häbich, M.: Reverse Transformation of Petri Net-Based Communication Graphs to BPEL4WS in Distributed Web Service Environments. Master’s thesis (2005)
Haddad, S., Melliti, T., Moreaux, P., Rampacek, S.: Modelling Web Services Interoperability. In: Proc. of ICEIS 2004 (2004)
Hamadi, R., Benatallah, B.: A Petri Net based Model for Web Service Composition. In: Proc. of ADC 2003. Australian Computer Society, Inc. (2003)
Martens, A., Moser, S., Gerhardt, A., Funk, K.: Analyzing Compatibility of BPEL Processes (February 2006)
Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: BPEL4WS – Business Process Execution Language for Web Services. Version 1.1 (July 2002)
van der Aalst, W.M.P.: Modeling and Analyzing Interorganizational Workflows. In: Proc. of CSD 1998. IEEE Computer Society Press, Los Alamitos (1998)
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
Moser, S., Martens, A., Häbich, M., Mülle, J. (2006). A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes. 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_39
Download citation
DOI: https://doi.org/10.1007/11841760_39
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)