A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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 flowbased 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 thedoi:10.1109/qsic.2006.14 dblp:conf/qsic/ZhengK06 fatcat:jqozqrvlffap5jd6hkmm5x7e7m