284 search results - page 1 / 57 » WSAT: A Tool for Formal Analysis of Web Services |
CAV
2004
Springer
13 years 9 months ago
2004
Springer
ISOLA
2010
Springer
13 years 2 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
ISSTA
2004
ACM
13 years 9 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
WECWIS
2007
IEEE
13 years 10 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
CSAC
2006
13 years 5 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...