On the Design and the Implementation of a Game-based Model for Open
Systems: Current Status and Perspectives
-------------------------------------------------------------------

Sociable interfaces are a game-based model with rich
communication primitives that facilitate the modeling of software and
distributed systems. The first model of sociable interfaces has been
introduced in \cite{FROCOS05}, and then implemented in a tool called
{\tcc} \cite{CAV06}. While the primary goal of {\tcc} was to perform
the composition of two or more sociable interfaces, it has now
evolved into a complete specification and verification tool.
This paper presents the current status of the
sociable interfaces model and of {\tcc}. It discusses the
improvements that have been brought to previous versions of the model
and the tool, and investigates future directions of research.