42 search results - page 3 / 9 » Specification and Verification of Data-driven Web Services |
SIGMOD
2005
ACM
14 years 5 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 9 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 6 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
13 years 11 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 5 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...