329 search results - page 2 / 66 » Design for verification for asynchronously communicating Web... |
WWW
2004
ACM
14 years 5 months ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
ECOWS
2006
Springer
13 years 8 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
ICWS
2003
IEEE
13 years 6 months ago
2003
IEEE
Abstract Asynchronous invocations are an important functionality in the context of distributed object frameworks, because in many situations clients should not block during remote ...
HUC
2011
Springer
12 years 4 months ago
2011
Springer
We describe the design and field evaluation of the Serendipitous Family Stories system, a web and mobile service that allows for videos to be saved in user-specified real-world lo...
AICT
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...