Component simulation-based substitutivity managing QoS and composition issues

Several scientic bottlenecks have been identied in existing component-based approaches. em, we focus on the identication of a relevant abstraction for the component expression and verication 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 denes 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. Key words: Substitutivity, Component, Simulation, weighted automata, Quality of Service 1

• Type: Journal
• Year: 2010
• Where: SCP
• Authors: Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot
• Keywords: Composition Operators, Integer Weighted Automata, Parallel Composition, SCP 2010