Web service collaboration analysis via automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3739 LNCS, Issue , 2005, Pages 858-863

  Shi, Yuliang ^a   Zhang, Liang ^a   Liu, Fangfang ^a   Lin, Lui ^a   Shi, Baile ^a  

^a FUDAN UNIVERSITY   (China)

Author keywords

Automata; Web services; WSCI

Indexed keywords

AUTOMATA THEORY; INFORMATION DISSEMINATION; QUALITY OF SERVICE;

AUTOMATA; WEB SERVICES; WSCI;

WORLD WIDE WEB;

EID: 33646523119     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11563952_93     Document Type: Conference Paper

References (9)

1. BPEL4WS Specification: Version 1.1 2003 http://www-106.ibm.com/ developerworks/library/ws-bpel
2. W3C, "Web Service Choreography Interface (WSCI) 1.0," World Wide Web Consortium (2002), available at http://www.w3.org/TR/wsci.
3. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. In Proc. 18th IEEE Int. Conf. on Automated Software Engineering (ASE), 2003.
4. X. Fu, T. Bultan, and J. Su. Conversation protocols: A formalism for specification and verification of reactive electronic services. In Proc. Int. Conf. on Implementation and Application of Automata (CIAA),2003.
5. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: A new approach to design and analysis of e-service composition. In Proc. Int. World Wide Web Conf. (WWW), May 2003.
6. X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL Web Services. Proceedings of 13th International Conference on World Wide Web (WWW), 2004.
7. H. Davulcu, M. Kifer and I.V. Ramakrishnan. CTR-S: A Logic for Specifying Contracts in Semantic Web Services. In Proceedings of 13th International Conference on World Wide Web (WWW),2004.
8. Holger Schlingloff. Modeling and Model Checking Web Services. Electronic Notes in Theoretical Computer Science 126 (2005) 3-26
9. Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo. Formalizing Web Service Choreographies. Electronic Notes in Theoretical Computer Science 105 (2004) 73-94.