Web service collaboration analysis via automata

Authors:
Yuliang Shi;Liang Zhang;Fangfang Liu;Lili Lin;Baile Shi
Affiliations:
Department of Computing and Information Technology, Fudan University, China;Department of Computing and Information Technology, Fudan University, China;Department of Computing and Information Technology, Fudan University, China;Department of Computing and Information Technology, Fudan University, China;Department of Computing and Information Technology, Fudan University, China
Venue:
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Year:
2005

Citing 6
Cited 0

Conversation specification: a new approach to design and analysis of e-service composition

WWW '03 Proceedings of the 12th international conference on World Wide Web
Analysis of interacting BPEL web services

Proceedings of the 13th international conference on World Wide Web
CTR-S: a logic for specifying contracts in semantic web services

Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Modeling and Model Checking Web Services

Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing Web Service Choreographies

Electronic Notes in Theoretical Computer Science (ENTCS)
Conversation protocols: a formalism for specification and verification of reactive electronic services

CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata

Quantified Score

Hi-index	0.00

Visualization

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.