735 search results - page 105 / 147 » Equivalence of Web Services in Process-Aware Service Composi... |
WWW
2008
ACM
16 years 14 days ago
2008
ACM
Web service processes currently lack monitoring and dynamic (runtime) adaptation mechanisms. In highly dynamic processes, services frequently need to be exchanged due to a variety...
ELPUB
2006
ACM
15 years 5 months ago
2006
ACM
Electronic publishing exploits numerous possibilities to present or exchange information and to communicate via most current media like the Internet. By utilizing modern Web techn...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
Web services offer a number of valuable features towards supporting the development of open distributed systems, built out of the composition of autonomous services. Nonetheless, ...
SIGSOFT
2008
ACM
16 years 16 days ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
CASCON
2007
15 years 1 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...