Asynchronous semantics and anti-patterns for interacting web services
Zheng, Y, Krause, P and Mei, H (2006) Asynchronous semantics and anti-patterns for interacting web services In: 6th International Conference on Quality Software, 2006-10-27 - 2006-10-28, Beijing, PEOPLES R CHINA.
Web service is an emerging paradigm for distributed computing. First, in order to verify Web services rigorously, it is important to provide a formal semantics for the flow-based Web service language (WS). A suitable formal model should cover most features of the WS. The existing formal models either abstract from data, cover a simple subset of WS, or omit the interactions between certain components. This paper presents a Web service automaton, an extension of Mealy machine, to fulfill the formal model requirements of the Web service domain. Second, semantic compatibility checking between Web services is another important issue. The existing checking approaches are post-checking, where the compatibility is checked after composition. As a complement to post-checking, we proposes anti-patterns for Web service interactions as a pre-checking, so that certain incompatible Web services can be modified or re-selected in the earliest stages.
|Item Type:||Conference or Workshop Item (UNSPECIFIED)|
|Uncontrolled Keywords:||Science & Technology, Technology, Computer Science, Software Engineering, Computer Science|
|Divisions:||Faculty of Engineering and Physical Sciences > Computing Science|
|Deposited By:||Mr Adam Field|
|Deposited On:||27 May 2010 15:46|
|Last Modified:||08 Jun 2013 15:19|
Repository Staff Only: item control page