Abstract
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Given two services whose interface invocation constraints are described by Business Process Execution Language for Web Services (BPEL4WS, or BPEL), we analyze their compatibility and adopt mediation as a light weight approach, to make partial compatible services work together more adaptively, without changing their internal logic. We transform BPEL into service workflow net which is a kind of colored Petri net. Based on this formalism we first analyze the compatibility of two services, and then devise an approach to check whether there exists any message mediation so that their mediation-aided composition will not violate the constraints imposed by either side. Later the method for mediation generation is also introduced. Our approach is validated through a real life case and further research directions are pointed out.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Fensel, D., Bussler, C.: The Web Service Modeling Framework WSMF. Electronic Commerce Research and Applications 1(2), 113–137 (2002)
Benatallah, B., Casati, F., Grigori, D., Nezhad, H.R.M., Toumani, F.: Developing Adapters for Web Services Integration. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 415–429. Springer, Heidelberg (2005)
Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems 19(2), 292–333 (1997)
eBay. Third Party Checkout (2006), http://developer.ebay.com/DevZone/XML/docs/WebHelp/Checkout-Third_Party_Checkout.html
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tan, W., Rao, F., Fan, Y., Zhu, J. (2007). Compatibility Analysis and Mediation-Aided Composition for BPEL Services. In: Kotagiri, R., Krishna, P.R., Mohania, M., Nantajeewarawat, E. (eds) Advances in Databases: Concepts, Systems and Applications. DASFAA 2007. Lecture Notes in Computer Science, vol 4443. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71703-4_105
Download citation
DOI: https://doi.org/10.1007/978-3-540-71703-4_105
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71702-7
Online ISBN: 978-3-540-71703-4
eBook Packages: Computer ScienceComputer Science (R0)