• Publications
  • Influence
A pi-calculus based semantics for WS-BPEL
TLDR
It is advocated that three different mechanisms for error handling are not necessary and a novel orchestration language is formalized based on the idea of event notification as the unique error handling mechanism to define the three BPEL mechanisms in terms of the authors' calculus. Expand
SOCK : A calculus for service oriented computing
TLDR
This paper proposes SOCK, a three-layered calculus equipped with a formal semantics, for addressing all the basic mechanisms of service communication and composition, and develops a formal framework where the service design is decomposed into three fundamental parts. Expand
Quantitative information in the tuple space coordination model
TLDR
This work investigates, from an expressiveness viewpoint, the impact of the introduction of quantitative information in the tuple space coordination model in order to quantify the relevance or importance of each tuple. Expand
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents
TLDR
A novel coordination model is presented which provides mechanisms to manage tuple access control and supports the possibility to define access control policies based on the kind of operations an agent performs on a tuple, thus discriminating between (destructive) input and (non-destructively) read operations. Expand
Choreography and Orchestration Conformance for System Design
TLDR
This paper introduces the notion of state variables to the formal model at the orchestration level, moving from synchronous to asynchronous communication as the latter is the communication modality of the ordinary communication infrastructures. Expand
: A Calculus for Service Oriented Computing
TLDR
This paper proposes SOCK, a three-layered calculus equipped with a formal semantics, for addressing all the basic mechanisms of service communication and composition, and develops a formal framework where the service design is decomposed into three fundamental parts. Expand
JOLIE: a Java Orchestration Language Interpreter Engine
TLDR
JOLIE, an interpreter and engine for orchestration programs that provides an easy to use development environment and it is based on a solid mathematical underlying model, which was developed in previous works of the authors. Expand
Service chaining architectures for applications implementing distributed geographic information processing
TLDR
This paper introduces a basic architecture and building blocks for building DGIP applications based on service chains, and investigates the issues arising from the composition of OGC services into such service chains. Expand
A Formal Framework for Web Services Coordination
TLDR
This paper formally address Web Services Coordination with particular attention to Web transactions, and enhances the past work - the Event Calculus - introducing two main novelties: a multicast event notification mechanism, and event scope names binding. Expand
A Rule-Based Description Framework for the Composition of Geographic Information Services
TLDR
A rule-based description framework and an associated discovery and composition method that helps service developers to create service chains from existing services, which is illustrated using an example from the domain of risk management. Expand
...
1
2
3
4
...