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-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Shi, Y., Zhang, L., Liu, F., Lin, L., & Shi, B. (2005). Web service collaboration analysis via automata. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3739 LNCS, pp. 858–863). https://doi.org/10.1007/11563952_93
Mendeley helps you to discover research relevant for your work.