Component Simulation-based Substitutivity Managing QoS and Composition Issues

Pierre-Cyrille Heam 1 Olga Kouchnarenko 2 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, 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.
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2010, 75 (10), pp.898-917. 〈10.1016/j.scico.2010.02.004〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00511466
Contributeur : Pierre-Cyrille Heam <>
Soumis le : mercredi 25 août 2010 - 11:06:41
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00

Identifiants

Citation

Pierre-Cyrille Heam, Olga Kouchnarenko, Jérôme Voinot. Component Simulation-based Substitutivity Managing QoS and Composition Issues. Science of Computer Programming, Elsevier, 2010, 75 (10), pp.898-917. 〈10.1016/j.scico.2010.02.004〉. 〈inria-00511466〉

Partager

Métriques

Consultations de la notice

139