289 search results - page 17 / 58 » Using a Rigorous Approach for Engineering Web Service Compos... |
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Creating effective test cases is a difficult problem, especially for web applications. To comprehensively test a web application’s functionality, test cases must test complex a...
SAC
2009
ACM
14 years 8 days ago
2009
ACM
The future of service-centric environments suggests that organizations will dynamically discover and utilize web services for new business processes particularly those that span m...
ASWEC
2006
IEEE
14 years 1 months ago
2006
IEEE
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...
SDL
2007
13 years 9 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
SIGSOFT
2008
ACM
14 years 8 months 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...