Ensuring Properties of Interaction Systems

Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and local progress of subsystems. This is done in the framework of interaction systems, a model for component based modelling described in [9]. An interaction system is the superposition of two models: a behavior model and an interaction model. The behavior model describes the behavior of individual components. The interaction model describes the way the components may interact by introducing connectors that relate actions from different components. We illustrate our concepts and results with examples.

• Type: Conference
• Year: 2006
• Where: BIRTHDAY
• Authors: Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
• Keywords: Applied Computing, Behavior Model, BIRTHDAY 2006, Interaction Model, Interaction Systems