Component Simulation-based Substitutivity Managing QoS and Composition Issues

Pierre-Cyrille Héam 1 Olga Kouchnarenko 2, 1 Jérôme Voinot 1, 2
2 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 Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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 integer weighted 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 integer weighted automata are investigated. Furthermore, the paper defines composition operators: sequential, strict-sequential and parallel compositions, bringing path costs into the analysis. New results on the compatibility of proposed substitutivity notions w.r.t. sequential and parallel composition operators are established.
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00561275
Contributor : Jean-Michel Caricand <>
Submitted on : Monday, January 31, 2011 - 10:03:28 PM
Last modification on : Friday, April 12, 2019 - 10:20:07 AM
Long-term archiving on : Tuesday, November 6, 2012 - 1:00:52 PM

File

hkv10a_ij.pdf
Files produced by the author(s)

Identifiers

Citation

Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot. Component Simulation-based Substitutivity Managing QoS and Composition Issues. Electronic Notes in Theoretical Computer Science, Elsevier, 2010, 260, pp.109--123. ⟨10.1016/j.entcs.2009.12.034⟩. ⟨hal-00561275⟩

Share

Metrics

Record views

441

Files downloads

220