11 citations · 34 across the 6 of their papers we have counts for
6 papers
Research Challenges in Orchestration Synthesis
Davide Basile, Maurice H. ter Beek
Contract automata allow to formally define the behaviour of service contracts in terms of service offers and requests, some of which are moreover optional and some of which are nec…
A Runtime Environment for Contract Automata
Davide Basile, Maurice H. ter Beek
Contract automata have been introduced for specifying applications through behavioural contracts and for synthesising their orchestrations as finite state automata. This paper addr…
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design
Alessio Ferrari, Franco Mazzanti, Davide Basile +1
Formal methods and supporting tools have a long record of success in the development of safety-critical systems. However, no single tool has emerged as the dominant solution for sy…
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services
Davide Basile, Maurice H. ter Beek, Rosario Pugliese
We present a number of contributions to bridging the gap between supervisory control theory and coordination of services in order to explore the frontiers between coordination and…
Automata for Specifying and Orchestrating Service Contracts
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari
An approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of…
From Orchestration to Choreography through Contract Automata
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari +1
We study the relations between a contract automata and an interaction model. In the former model, distributed services are abstracted away as automata - oblivious of their partners…