Skip to Main content Skip to Navigation
New interface
Conference papers

Component Simulation-based Substitutivity Managing QoS Aspects

Pierre-Cyrille Heam 1 Olga Kouchnarenko 1 Jérôme Voinot 1 
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Several scientific bottlenecks have been identified in existing component-based approaches. Among them, we focus on the identification of a relevant abstraction for the component expression and verification of properties like substitutivity: When is it possible to formally accept or reject the substitution of a component in a composition? This paper suggests max/plus automata to tackle this problem when considering a new factor -- Quality of Service (QoS). Four notions of simulation-based substitutivity managing QoS aspects are proposed, and related complexity issues on max/plus automata are investigated.
Document type :
Conference papers
Complete list of metadata
Contributor : Olga Kouchnarenko Connect in order to contact the contributor
Submitted on : Monday, October 13, 2008 - 3:56:18 PM
Last modification on : Friday, January 21, 2022 - 3:09:38 AM

Links full text



Pierre-Cyrille Heam, Olga Kouchnarenko, Jérôme Voinot. Component Simulation-based Substitutivity Managing QoS Aspects. Formal Aspects On Component Softwre - FACS'08, Sep 2008, Malaga, Spain. pp.109-123, ⟨10.1016/j.entcs.2009.12.034⟩. ⟨inria-00329909⟩



Record views