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 [9], and then implemented in a tool called TICC [2]. While the primary goal of TICC 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 TICC. It discusses the improvements that have been brought to previous versions of the model and the tool, and investigates future directions of research