Abstract
Service choreography has become an emerging and promising technology to design and build complex cross-enterprise business applications. Dynamic composition of services on the fly requires mechanisms for ensuring that the component services in the composition are compatible with each other. Current service composition languages provide notations for describing the interactions among component services. However, they focus only on the compatibility at the syntax and semantic level in an informal way, yet ignoring the dynamic behavior within services. This paper emphasizes the importance of the behavior in the compatibility verification between services and utilizes the π-calculus to model the service behavior and the interaction in a formal way. Based on the formalization, it proposes a method based on the operational semantics of the π-calculus to automate the verification of compatibility between two services and presents an algorithm to measure the compatibility degree quantitatively.
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
Benatallah, B., Casati, F., Toumani, F.: Web Service Conversation Modeling: A Corner-stone for E-Business Automation. IEEE Internet Computing 8(1), 46–54 (2004)
Dustdar, S., Schreiner, W.: A survey on web services composition. International Journal of Web and Grid Services 1(1), 1–30 (2005)
BEA Systems, IBM, Microsoft, SAP, Siebel Systems: Business Process Execution Language for Web Services Version 1.1 (2003)
W3C. The Web Services Choreography Description Language (WS-CDL) Version 1.0, World Wide Web Consortium (2005), available at: http://www.w3.org/TR/ws-cdl-10/
Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
Martens, A.: On compatibility of web services. Petri Net Newsletter 65 (2003)
Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: 13th International World Wide Web Conference (WWW) (2004)
Wombacher, A., Fankhauser, P., Mahleko, B., Neuhold, E.: Matchmaking for Business Processes based on Choreographies. International Journal of Web Services Research 1(4), 14–32 (2004)
Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility verification for web service choreography. In: Proc. International Conference on Web Service (ICWS) (2004)
Bordeaux, L., Salaun, G., Berardi, D., Mecella, M.: When Are Two Web Services Com-patible? In: Proc. of the 5th VLDB International Workshop on Technologies for e-Services (VLDB-TES) (2004)
Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Service Choreographies. In: Proc. Of First International Workshop on Web Services and Formal Methods (WS-MF) (2004)
Li, Y., Jagadish, H.V.: Compatibility determination in web services. In: Proc. of ICEC eGovernment Services WS (2003)
De Antonellis, V., Melchiori, M., Pernici, B., Plebani, P.: A methodology for e-service substitutability in a virtual district environment. In: Proc. of Conference on Advanced Information Systems Engineering (CAiSE) (2003)
Overdick, H., Puhlmann, F., Weske, M.: Towards a Formal Model for Agile Service Discovery and Integration. In: Proc. of the Workshop on Dynamic Web Processes (ICSOC-DWP) (2005)
Bordeaux, L., Salaün, G.: Using Process Algebra for Web Services: Early Results and Perspectives. In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol. 3324, pp. 54–68. Springer, Heidelberg (2005)
Deng, S., Wu, Z., et al.: Management of Serviceflow in a Flexible Way. In: Zhou, X., Su, S., Papazoglou, M.P., Orlowska, M.E., Jeffery, K. (eds.) WISE 2004. LNCS, vol. 3306, pp. 428–438. Springer, Heidelberg (2004)
Wu, Z., Tang, S., Deng, S.: DartGrid II: A Semantic Grid Platform for ITS. IEEE Intelligent Systems 20(3), 12–15 (2005)
Victor, B., Moller, F.: The Mobility Workbench - A Tool for the pi-Calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol. 818. Springer, Heidelberg (1994)
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
Deng, S., Wu, Z., Zhou, M., Li, Y., Wu, J. (2006). Modeling Service Compatibility with Pi-calculus for Choreography. In: Embley, D.W., Olivé, A., Ram, S. (eds) Conceptual Modeling - ER 2006. ER 2006. Lecture Notes in Computer Science, vol 4215. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11901181_4
Download citation
DOI: https://doi.org/10.1007/11901181_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-47224-7
Online ISBN: 978-3-540-47227-8
eBook Packages: Computer ScienceComputer Science (R0)