• Publications
  • Influence
Bridging the Gap between Interaction- and Process-Oriented Choreographies
TLDR
This work considers several interpretations for interaction-oriented choreographies spanning from synchronous to asynchronous communication, and formalizes the notion of equivalence between the initial interaction- oriented choreography and the corresponding process-oriented one. 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
Service-Oriented Programming with Jolie
TLDR
This chapter presents Jolie, a fully-fledged service-oriented programming language that combines computation and composition primitives in an intuitive and concise syntax and addresses the aforementioned heterogeneity in two ways. Expand
Composing Services with JOLIE
TLDR
JOLIE inherits all the formal semantics of SOCK and provides a C-like syntax which allows the programmer to design the service behaviour and the service deployment information separately. 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
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
Towards a New Paas Architecture Generation
In this paper we present our vision for a next-generation Cloud Computing PaaS layer intended for openness and federation. We base our vision on the principles of the Service Oriented ArchitectureExpand
Choreography and Orchestration: A Synergic Approach for System Design
TLDR
A notion of conformance between choreography and orchestration is defined which allows to state when an orchestrated system is conformant to a given choreography. Expand
...
1
2
3
4
5
...