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.},


Publication Sections

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 831935