Abstract
The accuracy of interface description is very important to service composition and dynamic selection of service-oriented systems. It is desirable to describe Web service formally so as to improve the ability of service orchestration. This paper presents a formal interface theory for specifying Web service by extending the existing with the ability to model interface behaviour with transactions at the levels of signature, conversation and protocol. Signature interface and conversation interface model the static invocation relations in Web service interfaces, and protocol interface describes the temporal invocation information. A formal semantics of protocol interface is presented. Based on the semantics, the protocol interface can be transformed into a Labeled Transition System (LTS). Additionally, the compatibility and substitutivity relation conditions between Web services are also proposed.
Supported by the National Natural Science Foundation of China under Grant No.60233020, 60303013, 90612009, 60673118; the National High-Tech Research and Development Plan of China under Grant No.2005AA113130; the National Grand Fundamental Research 973 Program of China under Grant No.2005CB321802; Program for New Century Excellent Talents in University under Grant No.NCET-04-0996.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Humberto, C., Richard, S.H.: Technical Concepts of Service Orientation. Service-Oriented Software System Engineering: Challenges and Practices, 1–47 (2005)
Curbera, F., et al.: Business Process Execution Language For Web Services Version 1.1, ftp://www6.software.ibm.com/software/developer/library/ws-bpel.pdf
de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. of ESEC/FSE 2001, pp. 109–120 (2001)
Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web Service Interfaces. In: Proc. of WWW 2005, pp. 148–159. ACM Press, New York (2005)
Little, M.: Transactions and Web Services. Communication of the ACM 46(10), 49–54 (2003)
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
Chen, Z.B., Wang, J., Dong, W., Qi, Z.C., Yeung, W.L.: An Interface Theory Based Approach to Verification of Web Services. In: Proc. of COMPSAC 2006, pp. 139–144. IEEE Press, Los Alamitos (2006)
Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: Proc. of ADC 2003, pp. 191–200. IEEE Press, Los Alamitos (2003)
Verbeek, H.M.W., van der Aalst, W.M.P.: Analyzing BPEL Processes using Petri Nets. In: Proc. of the 2th International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management at the Petri Nets 2005, pp. 59–78 (2005)
Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility for Web Service Choreography. In: Proc. of ICWS 2004, pp. 738–741. IEEE Press, Los Alamitos (2004)
Kavantzas, N., et al.: Web Services Choreography Description Language Version 1.0, http://www.w3.org/TR/ws-cdl-10/
Koshkina, M.: Verification of Business Processes for Web Services. [MS. Thesis]. York University (2003)
Fu, X., Bultan, T., Su, J.W.: Analysis of Interacting BPEL Web Services. In: Proc. of WWW 2004, pp. 621–630. ACM Press, New York (2004)
Betin-Can, A., Bultan, T.: Verifiable Web Services with Hierarchical Interfaces. In: Proc. of ICWS 2005, pp. 85–94. IEEE Press, Los Alamitos (2005)
Beyer, D., Chakrabarti, A., Henzinger, T.A.: An Interface Formalism for Web Services. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653. Springer, Heidelberg (2005)
Butler, M., Ripon, S.: Executable semantics for compensating CSP. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 243–256. Springer, Heidelberg (2005)
Bruni, R., Melgratti, H., Montanari, U.: Theoretical Foundations for Compensations in Flow Composition Languages. In: Proc. of POPL 2005, pp. 209–220. ACM Press, New York (2005)
Chen, Z.B., Wang, J., Dong, W., Qi, Z.C.: Interface Theory based Formalization and Verification of Orchestration in BPEL4WS. International Journal of Business Process Integration and Management 2(4), 262–281 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, Z., Wang, J., Dong, W., Qi, Z. (2009). Towards Formal Interfaces for Web Services with Transactions. In: Damiani, E., Yetongnon, K., Chbeir, R., Dipanda, A. (eds) Advanced Internet Based Systems and Applications. SITIS 2006. Lecture Notes in Computer Science, vol 4879. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01350-8_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-01350-8_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01349-2
Online ISBN: 978-3-642-01350-8
eBook Packages: Computer ScienceComputer Science (R0)