Abstract
It is evidenced that formal analyses are helpful for web services interactions. However, most current web services choreography proposals, such as BPEL4WS or WSCI, only provide notations for describing the message flows in web service collaboration, lacking of reasoning mechanisms to verify the process of interacting among them. In this paper, we present a formalization of web services interaction based on WSCI using the approach of automata. The method can check whether two or more web services are compatible or not in their collaboration.
This work is partially supported by the National Basic Research Program (973) under grant No. 2005CB321905, the Chinese Hi-tech (863) Projects under the grant No. 2002AA4Z3430, and No. 2002AA231041
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
BPEL4WS Specification: Version 1.1 (2003), http://www-106.ibm.com/developerworks/library/ws-bpel
W3C, “Web Service Choreography Interface (WSCI) 1.0,” World Wide Web Consortium (2002), available at http://www.w3.org/TR/wsci
Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of web service compositions. In: Proc. 18th IEEE Int. Conf. on Automated Software Engineering, ASE (2003)
Fu, X., Bultan, T., Su, J.: Conversation protocols: A formalism for specification and verification of reactive electronic services. In: Proc. Int. Conf. on Implementation and Application of Automata, CIAA (2003)
Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: A new approach to design and analysis of e-service composition. In: Proc. Int. World Wide Web Conf. (WWW) (May 2003)
Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL Web Services. In: Proceedings of 13th International Conference on World Wide Web, WWW (2004)
Davulcu, H., Kifer, M., Ramakrishnan, I.V.: CTR-S: A Logic for Specifying Contracts in Semantic Web Services. In: Proceedings of 13th International Conference on World Wide Web, WWW (2004)
Schlingloff, H.: Modeling and Model Checking Web Services. Electronic Notes in Theoretical Computer Science, vol. 126, pp. 3–26 (2005)
Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Service Choreographies. Electronic Notes in Theoretical Computer Science, vol. 105, pp. 73–94 (2004)
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
Shi, Y., Zhang, L., Liu, F., Lin, L., Shi, B. (2005). Web Service Collaboration Analysis via Automata. In: Fan, W., Wu, Z., Yang, J. (eds) Advances in Web-Age Information Management. WAIM 2005. Lecture Notes in Computer Science, vol 3739. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11563952_93
Download citation
DOI: https://doi.org/10.1007/11563952_93
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29227-2
Online ISBN: 978-3-540-32087-6
eBook Packages: Computer ScienceComputer Science (R0)