Choreography automata represent global views of choreographies . The projections of well-formed globalviews are live as well as lock- and deadlock-free . The composition operation enables for a flexible modular mechanism at the design level . We show that under mildconditions the composition of choreographyautomata is well-formed . We also show that the composition operation under mild conditions the composition is well formed. We also say that the compositional operation of the composition enables for

Author(s) : Franco Barbanera, Ivan Lanese, Emilio Tuosto

Links : PDF - Abstract

Code :
Coursera

Keywords : composition - formed - operation - enables - automata -

Leave a Reply

Your email address will not be published. Required fields are marked *