Sciweavers

697 search results - page 103 / 140
» Self-healing web service compositions
Sort
View
EPEW
2005
Springer
14 years 3 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
ICWS
2008
IEEE
13 years 11 months ago
A Theory of Role Composition
We study the access control integration problem for web services. Organizations frequently use many services, each with its own access control policies, that must interoperate whi...
Jeffrey Fischer, Rupak Majumdar
HICSS
2005
IEEE
111views Biometrics» more  HICSS 2005»
14 years 3 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
CCGRID
2003
IEEE
14 years 3 months ago
Merging the CCA Component Model with the OGSI Framework
The most important recent development in Grid systems is the adoption of the Web services model as a basic architecture for Grid services. The result is called the Open Grid Servi...
Madhusudhan Govindaraju, Sriram Krishnan, Kenneth ...
SIGSOFT
2008
ACM
14 years 11 months ago
Modular verification of web services using efficient symbolic encoding and summarization
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...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan