Abstract
We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model based on two isomorphic description models: Contract Definition Language (XML) and abstract machines (formal notation). Composition operators (patterns) are used to perform composition which is then formally verified with respect to properties described in service contracts. We also describe Java-based implementation of the system, concentrated around Sun’s Java Web Services Development Pack (JWSDP).
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
Abrial, J.R.: The B Book. Cambridge University Press, Cambridge (1996)
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Springer, Heidelberg (2004)
Berardi, D., Calvanese, D., Giuseppe, D.G., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003, vol. 2910, pp. 43–58. Springer, Heidelberg (2003)
Bultan, T., Fu, X., Hull, R., Su, J.: Conversation Specification: A New Approach to Design and Analysis of E-Service Composition. In: Proceedings of WWW 2003 (2003)
Curbera, F., Khalaf, R., Mukhi, N., Tai, S., Weerawarana, S.: The Next Step in Web Services. Communications of the ACM (October 2003)
Ankolekar, A., et al.: DAML-S: Web Service Description for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002, vol. 2342, p. 348. Springer, Heidelberg (2002)
Foster, I., et al.: Modeling stateful resources with web services (2004), http://www.ibm.com/developerworks/library/ws-resource/ws-modelingresources.pdf
Czajkowski, K., et al.: The WS-Resource Framework (2004), http://www.globus.org/wsrf/specs/ws-wsrf.pdf
Fu, X., Bultan, T., Su, J.: Formal Verification of E-Services and Workflows. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol. 2512, pp. 188–202. Springer, Heidelberg (2002)
Hamadi, R., Benatallah, B.: A Petri Net-based model for Web Service Composition. In: Proceedings of the Fourteenth Australasian database conference on Database technologies (2003)
McIlraith, S., Son, T.C.: Adapting Golog for Composition of Semantic Web Services. In: Proceedings of the International Conference on the Principles of Knowledge Representation and Reasoning, (KRR 2002) (2002)
Meredith, L.G., Bjorg, S.: Contracts and Types. Communications of the ACM 46(10), 41–47 (2003)
Meyer, B.: Applying Design by Contract. IEEE Computer 25(10) (October 1992)
Sun Microsystems. The Java Web Services Developer Pack (2004), http://java.sun.com/webservices/downloads/webservicespack.html
Milanovic, N., Malek, M.: Current Solutions for Web Service Composition. IEEE Internet Computing (November/December 2004)
Milanovic, N., Malek, M.: Extracting Functional and Non-functional Contracts From Java Classes and Enterprise Java Beans. In: Proceedings of the Workshop on Architecting Dependable Systems (WADS 2004), Florence, Italy (2004)
Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proceedings of the International WWW 2002 Conference (2002)
Vogels, W.: Web Services are not Distributed Objects: Common Misconceptions about the Fundamentals of Web Service Technology. IEEE Internet Computing (November/December 2003)
Yang, J., Papazoglou, M.P.: Web Component: A Substrate for Web Service Reuse and Composition. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002, vol. 2348, p. 21. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Milanovic, N. (2005). Contract-Based Web Service Composition Framework with Correctness Guarantees. In: Malek, M., Nett, E., Suri, N. (eds) Service Availability. ISAS 2005. Lecture Notes in Computer Science, vol 3694. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11560333_5
Download citation
DOI: https://doi.org/10.1007/11560333_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29103-9
Online ISBN: 978-3-540-32018-0
eBook Packages: Computer ScienceComputer Science (R0)