Sciweavers

COORDINATION
2008
Springer
13 years 6 months ago
How to Infer Finite Session Types in a Calculus of Services and Sessions
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
Leonardo Gaetano Mezzina
COORDINATION
2006
Springer
13 years 8 months ago
Choreography and Orchestration Conformance for System Design
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
ICSOC
2005
Springer
13 years 10 months ago
Dynamo: Dynamic Monitoring of WS-BPEL Processes
Abstract. Dynamo advocates that pre-deployment validation and testing are intrinsically inadequate for tackling the ephemeral and rapidly changing context in which service oriented...
Luciano Baresi, Sam Guinea