Component Simulation-based Substitutivity Managing QoS and Composition Issues - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Science of Computer Programming Année : 2010

Component Simulation-based Substitutivity Managing QoS and Composition Issues

Résumé

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.

Mots clés

Dates et versions

inria-00511466 , version 1 (25-08-2010)

Identifiants

Citer

Pierre-Cyrille Heam, Olga Kouchnarenko, Jérôme Voinot. Component Simulation-based Substitutivity Managing QoS and Composition Issues. Science of Computer Programming, 2010, 75 (10), pp.898-917. ⟨10.1016/j.scico.2010.02.004⟩. ⟨inria-00511466⟩
133 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More