@inproceedings{GGM+06,
title = { Ensuring Properties of Interaction Systems by Construction },
author = {Goessler, Gregor and Graf, Susanne and Majster-Cederbaum, Mila and Martens, Moritz and Sifakis, Joseph},
year = {2006},
booktitle = {Program Analysis and Compilation, Theory and Practice},
series = {LNCS},
volume = {4444},
team = {DCS, RSD},
abstract = {We propose results ensuring correctness by construction of a system from properties of its interaction model and of its components. The considered properties include deadlock-freedom, local progress of subsystems and robustness of these properties with respect to failure of components. This is done in a framework for component based modelling described in a previous paper. A component is the superposition of two models: a behaviour model and an interaction model. 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.},
}
