42 search results - page 3 / 9 » Specification and Verification of Data-driven Web Services |
SIGMOD
2005
ACM
14 years 7 months ago
2005
ACM
Web Service Technology has been developing rapidly as it provides a flexible application-to-application interaction mechanism. Several ongoing research efforts focus on various as...
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
IEEESCC
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
PODS
2006
ACM
14 years 7 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...