44 search results - page 6 / 9 » Composing aggregate web services in BPEL |
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...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
ICWS
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
ICWS
2009
IEEE
14 years 4 months ago
2009
IEEE
Environments in which Web service compositions (WSC) operate are often dynamic. We address the problem of which service to query for up-to-date information in order to adapt a hie...
WISE
2007
Springer
14 years 1 months ago
2007
Springer
One of the fundamental ideas of services and service oriented architecture is the possibility to develop new applications by composing existing services into business processes. Ho...