Web service collaboration analysis via automata
Y Shi, L Zhang, F Liu, L Lin, B Shi - … , October 11–13, 2005. Proceedings 6, 2005 - Springer
Y Shi, L Zhang, F Liu, L Lin, B Shi
Advances in Web-Age Information Management: 6th International Conference, WAIM …, 2005•SpringerIt 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 …
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 …
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.
Springer
Showing the best result for this search. See all results