9 citations · 10 across the 2 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2023★ 1 cited
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…
cs.FL2014★ 9 cited
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…