23 search results - page 2 / 5 » Composable Message Semantics in Oberon |
ICWS
2004
IEEE
13 years 6 months ago
2004
IEEE
Web Services are emerging technologies that enable application-to-application communication and reuse of autonomous services over the Web. Recent efforts, OWL-S, model the semanti...
JCDL
2004
ACM
13 years 10 months ago
2004
ACM
This paper describes a Web-services-based system which we have developed to enable organizations to semi-automatically preserve their digital collections by dynamically discoverin...
WECWIS
2008
IEEE
13 years 11 months ago
2008
IEEE
Integrating service description, discovery, and invocation functionalities presents several fundamental problems in the management of web services and is a basic problem for compo...
SIGSOFT
2008
ACM
14 years 6 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...
SEMWEB
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. OWL-S allows selecting, composing and invoking Web Serdifferent levels of abstraction: selection uses high level abstract descriptions, invocation uses low level groundi...