Sciweavers

197 search results - page 3 / 40
» A Calculus for Orchestration of Web Services
Sort
View
SEFM
2007
IEEE
13 years 11 months ago
Disciplining Orchestration and Conversation in Service-Oriented Computing
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
Ivan Lanese, Francisco Martins, Vasco Thudichum Va...
ECSA
2008
Springer
13 years 7 months ago
Web Services Orchestrations Evolution: A Merge Process for Behavioral Evolution
Abstract. Services Oriented Architectures preach loosely-coupled services and high
Sébastien Mosser, Mireille Blay-Fornarino, ...
CSFW
2006
IEEE
13 years 9 months ago
Types and Effects for Secure Service Orchestration
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...
WETICE
2007
IEEE
13 years 11 months ago
Context Adaptation of Web Service Orchestrations
With orchestrations, one service may be realized through the cooperation of several services. This cooperation has to be formally described. In this paper, we propose to describe ...
Frédérick Seyler, Chantal Taconet, G...
ISPW
2009
IEEE
13 years 12 months ago
Distributed Orchestration Versus Choreography: The FOCAS Approach
Web service orchestration is popular because the application logic is defined from a central and unique point of view, but it suffers from scalability issues. In choreography, the ...
Gabriel Pedraza, Jacky Estublier