DescriptionAllows the user to define global views in terms of global choreographies, (2) verifies realisability of the global view and identifies all possible misbehaviors that could arise from a message-passing based implementation, (3) enables the analysis of the counterexamples as patches of the original global choreography via edit-distance heuristics on graphs, (4) projects realisable global choreographies to local views in order to generate executable implementations.

Developed at: GSSI

Contacts: emilio.tuosto@gssi.it

 

Leave a Reply