Sciweavers

258 search results - page 26 / 52
» Monotony in Service Orchestrations
Sort
View
TGC
2010
Springer
14 years 7 months ago
A Tool for Checking Probabilistic Properties of COWS Services
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
Igor Cappello, Paola Quaglia
WWW
2005
ACM
15 years 10 months ago
Advanced fault analysis in web service composition
Currently, fault management in Web Services orchestrating multiple suppliers relies on a local analysis, that does not span across individual services, thus limiting the effective...
Anna Goy, Claudia Picardi, Daniele Theseider Dupr&...
AINA
2007
IEEE
15 years 4 months ago
Middleware for Ubiquitous Service-Oriented Spaces on the Web
Web services are todays preferred vehicle for creating service-oriented architectures (SOA). Due to the boom of personal networked devices, the Web also found its way to the mobil...
Geert Vanderhulst, Kris Luyten, Karin Coninx
LAWEB
2006
IEEE
15 years 3 months ago
Policy Support for Business-oriented Web Service Management
Policies have been adopted for many reasons within web services and Service-oriented Architecture in general. However, while they are a favoured method of management, this only oc...
Stephen Gorton, Stephan Reiff-Marganiec
ENTCS
2006
146views more  ENTCS 2006»
14 years 9 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...