19 search results - page 4 / 4 » Contract-Based Web Service Composition Framework with Correc... |
ISORC
2005
IEEE
13 years 10 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
ICSOC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Current composite web service development and management solutions, e.g. BPEL, do not cater for flexible and adaptive business collaborations due to their pre-defined a...
OTM
2007
Springer
13 years 11 months ago
2007
Springer
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...
ICSOC
2010
Springer
13 years 3 months ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...