Sciweavers

285 search results - page 42 / 57
» Introducing Compositionality in Web Service Descriptions
Sort
View
IS
2006
13 years 7 months ago
A proof markup language for Semantic Web services
The Semantic Web is being designed to enable automated reasoners to be used as core components in a wide variety of Web applications and services. In order for a client to accept ...
Paulo Pinheiro da Silva, Deborah L. McGuinness, Ri...
EPEW
2005
Springer
14 years 1 months ago
A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
Barry Norton, Simon Foster, Andrew Hughes
HICSS
2005
IEEE
111views Biometrics» more  HICSS 2005»
14 years 1 months ago
Specifying Web Service Recovery Support with Conversations
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, ...
Ferda Tartanoglu, Valérie Issarny
30
Voted
EON
2008
13 years 9 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria
JNCA
2008
95views more  JNCA 2008»
13 years 7 months ago
Techniques to support Web Service selection and consumption with QoS characteristics
This work proposes a Web Service (WS) discovery model in which the functional and nonfunctional requirements are taken into account during service discovery. The proposed infrastr...
Vassiliki Diamadopoulou, Christos Makris, Yannis P...