735 search results - page 14 / 147 » Equivalence of Web Services in Process-Aware Service Composi... |
ICWS
2003
IEEE
15 years 1 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
BPM
2008
Springer
15 years 1 months ago
2008
Springer
Novel trends in Web services technology challenge the assumptions made by current standards for process-based service composition. Most RESTful Web service APIs, which do not rely ...
ISAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
INTERNET
2010
14 years 10 months ago
2010
— Software as a Service (SaaS) and the possibility to compose Web services provisioned over the Internet are important assets for a service-oriented architecture (SOA). However, ...
ENTCS
2010
14 years 11 months ago
2010
Abstract. Web services composition is the interleaving of action sequences executed by elementary components in accordance with a client specification. We consider Web services as ...