Sciweavers

CAV
2006
Springer

Ticc: A Tool for Interface Compatibility and Composition

13 years 7 months ago
Ticc: A Tool for Interface Compatibility and Composition
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component, and the component's assumptions on the environment's behavior. Ticc can check the compatibility of such interfaces, and analyze their emergent behavior, via a symbolic implementation of game-theoretic algorithms. 1 Overview Open systems are systems whose behavior is jointly determined by their internal structure, and by the inputs that they receive from their environment. A component of a larger system is, therefore, an open system, as its behavior depends on the inputs it receives from the other system components. In previous work, it has been argued that games constitute a natural model for open systems [1, 7, 8, 5, 2]. We use games to represent the interaction between the behavior originating within a component, and the behavior originating from the component's environment. In particular, ...
B. Thomas Adler, Luca de Alfaro, Leandro Dias da S
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where CAV
Authors B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy
Comments (0)