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|
|Depositing User:||Mr Adam Field|
|Date Deposited:||27 May 2010 14:46|
|Last Modified:||23 Sep 2013 18:36|
Actions (login required)
Downloads per month over past year