@inproceedings{GGM+07,
title = { An Approach to Modeling and Verification of Component Based Systems },
author = {Goessler, Gregor and Graf, Susanne and Majster-Cederbaum, Mila and Martens, Moritz and Sifakis, Joseph},
year = {2007},
booktitle = {Current Trends in Theory and Practice of Computer Science, SOFSEM'07},
series = {LNCS},
volume = {4362},
team = {DCS, RSD},
abstract = {We propose results ensuring correctness by construction of a system from properties of its interaction model and of its components. We use a modelling framework based on an abstract layered model for components described in a previous paper. A component is the superposition of two models: a behavior model and an interaction model. Interaction models describe architectural constraints induced by connectors between components. We study conditions guaranteeing global or individual deadlock freedom for a system of interacting deadlock-free components depending only on its interaction model. We also provide examples illustrating the application of the results.},
}
