Speaker / Predavač :

Hugo Torres Vieira

Title / Naslov:

Modeling and Analyzing Multiparty Conversations

Abstract / Abstrakt:

Distributed applications such as Web Apps and Web Services often rely upon the collaboration between multiple parties to carry out their intended tasks. This communication model raises several challenges that call for new ideas, specialized models and dedicated analysis techniques. This talk covers some contributions that address such challenges, namely a specification language based on a novel notion of conversation, and static analysis techniques that allow to check crucial properties of service-oriented systems --- safety and fidelity of communication protocols and liveness. Our approach addresses systems that involve several simultaneous conversations between multiple parties, including conversations with a dynamic and unpredicted number of participants, scenarios found in real systems and that are out of reach of previous works.