Using Temporal Logic for Dynamic Reconfigurations of Components - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Using Temporal Logic for Dynamic Reconfigurations of Components


Dynamic recongurations increase the availability and the reliability of component-based systems by allowing their architectures to evolve at run-time. This paper deals with the formal specication and verication of dynamic recongurations of those systems using architectural constraints and temporal logic patterns. The proposals of the paper are applied to the Fractal component model. Given a Fractal reference implementation of a component-based system, we specify its dynamic recongurations using a temporal pattern logic for Fractal, called FTPL, characterizing the correct behaviour of the system under some architectural constraints. We study system recongurations on which we verify these requirements, in particular by reusing the FPath and FScript tools.
Fichier principal
Vignette du fichier
DormoyKL2010.pdf (502.08 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00541613 , version 1 (30-11-2010)


  • HAL Id : inria-00541613 , version 1


Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix. Using Temporal Logic for Dynamic Reconfigurations of Components. 7th International Workshop on Formal Aspects of Component Software - FACS'2010, Oct 2010, Guimaraes, Portugal. ⟨inria-00541613⟩
145 View
294 Download


Gmail Facebook X LinkedIn More