754 search results - page 58 / 151 » Web Service Engineering with DIWE |
144
click to vote
SIGSOFT
2008
ACM
16 years 4 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...
154
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
125
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Web service may be unable to interact with each other because of incompatibilities between their interfaces. In this paper, we present an event driven approach which aims at adapt...
144
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
Loose coupling is often quoted as a desirable property of systems architectures. One of the main goals of building systems using Web technologies is to achieve loose coupling. How...
176
click to vote
ISSRE
2008
IEEE
15 years 10 months ago
2008
IEEE
Reliability is a key issue of the Service-Oriented Architecture (SOA) which is widely employed in critical domains such as e-commerce and e-government. Redundancy-based fault tole...