Advertisement

Web Service Collaboration Analysis via Automata

  • Yuliang Shi
  • Liang Zhang
  • Fangfang Liu
  • Lili Lin
  • Baile Shi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3739)

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.

Keywords

Web services WSCI Automata 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    BPEL4WS Specification: Version 1.1 (2003), http://www-106.ibm.com/developerworks/library/ws-bpel
  2. 2.
    W3C, “Web Service Choreography Interface (WSCI) 1.0,” World Wide Web Consortium (2002), available at http://www.w3.org/TR/wsci
  3. 3.
    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)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL Web Services. In: Proceedings of 13th International Conference on World Wide Web, WWW (2004)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Schlingloff, H.: Modeling and Model Checking Web Services. Electronic Notes in Theoretical Computer Science, vol. 126, pp. 3–26 (2005)Google Scholar
  9. 9.
    Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Service Choreographies. Electronic Notes in Theoretical Computer Science, vol. 105, pp. 73–94 (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Yuliang Shi
    • 1
  • Liang Zhang
    • 1
  • Fangfang Liu
    • 1
  • Lili Lin
    • 1
  • Baile Shi
    • 1
  1. 1.Department of Computing and Information TechnologyFudan UniversityChina

Personalised recommendations