Interaction mechanisms are one of the key aspects in concurrency and steadily gain relevance in modern distributed systems. Indeed, the complexity of the real-life systems ranging from embedded industrial systems, such as aeroplane cabin control, through sensor to peer-to-peer networks, as well as the paradigm shift in the underlying hardware towards multi- and many-core platforms underline the importance of good understanding of interaction and coordination among concurrent actors. Theoretical models, design and verification of interaction protocols and programming practice must take interaction into account for specifying, implementing and reasoning on systems where computations are spread across possibly many actors.

High penetration of various aspects of everyday life by distributed systems imposes new increased requirements for such systems:
 Mission-critical distributed systems must be qualified as guaranteeing safety before being deployed in the real-life environment;
 Component-based development and deployment of open systems require individual components to specify their behavioural interface and, in particular, guarantee certain reactions to given stimuli;
 Commercial use of applications such as peer-to-peer networks or Voice over IP requires that Quality of Service guarantees be provided for services involving interaction among multiple actors of the underlying networks;
 Verification and analysis of distributed systems is based on hypotheses on the interaction mechanisms used for their construction. The validity of the obtained results in real-life applications relies on the implementation of these interaction mechanisms guaranteeing their conformance to these hypotheses.

In order to provide such guarantees, a number of directions are being explored to develop appropriate models, methodologies and tools, like, for instance, behavioural types, component-based model checking, assume-guarantee and, recently, “by construction” techniques such as glue synthesis.

Considering interaction as a first class entity is crucial for overcoming complexity issues of distributed systems, such as state space explosion. In this context, coordination can be viewed as imposing constraints on the interaction among the actors. Such constraints and guarantees of their satisfaction play an important role in the analysis of distributed systems, suggesting Guaranteed Interaction as a logical sequel to the topics of ICE’08 and ICE’09.

Réalisation Axome - Création de sites Internet