Sciweavers

197 search results - page 33 / 40
» A Calculus for Orchestration of Web Services
Sort
View
ECOWS
2010
Springer
15 years 4 months ago
Shepherd: node monitors for fault-tolerant distributed process execution in OSIRIS
OSIRIS is a middleware for the composition and orchestration of distributed web services that follows a P2P decentralized approach to process execution, providing already some deg...
Diego Milano, Nenad Stojnic
ICDCSW
2007
IEEE
15 years 10 months ago
A Concept for Flexible Event-Driven Invocation of Distributed Service Compositions
Currently, flexible service compositions are invoked in a centralised manner by process execution engines. Although this approach is widely used for orchestrating web services, it...
Karen Walzer, Jürgen Anke, Alexander Lös...
EMISA
2006
Springer
15 years 10 months ago
On Design Principles for Realizing Adaptive Service Flows with BPEL
Abstract: Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Langua...
Manfred Reichert, Stefanie Rinderle
CORR
2004
Springer
120views Education» more  CORR 2004»
15 years 6 months ago
Validating a Web Service Security Abstraction by Typing
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
Andrew D. Gordon, Riccardo Pucella
FMCO
2003
Springer
121views Formal Methods» more  FMCO 2003»
15 years 12 months ago
TulaFale: A Security Tool for Web Services
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
Karthikeyan Bhargavan, Cédric Fournet, Andr...