Detail

A Typed Model for Multiparty Conversations

Service-oriented computing (SOC) is one of todays hot research topics, mostly due to the widespread
use of web-service technology. In this talk we present our contributions in modeling and analyzing
service-oriented applications, namely:
First, we present the Conversation Calculus, a process calculus model for expressing and analyzing
service-based systems. Distinguishing aspects of our model are the notion of conversation context and
the adoption of a context sensitive, message-passing based communication.
Second, we present a type theory for analyzing concurrent multiparty interactions as found in SOC,
using the Conversation Calculus as underlying model. Our theory introduces a novel and flexible type
structure, able to uniformly describe both the internal and the interface behavior of systems, referred
respectively as choreographies and contracts in web-services terminology. Conversation types discipline
interactions in conversations while accounting for dynamical join and leave of an unanticipated number
of participants. We prove that well-typed systems never violate the prescribed conversation constraints.
Third, we present techniques to ensure progress of systems involving several interleaved conversations.