Structural Refinement of Components Keeps Temporal Properties over Reconfigurations - Archive ouverte HAL
Communication Dans Un Congrès Année : 2012

Structural Refinement of Components Keeps Temporal Properties over Reconfigurations

Résumé

Dynamic reconfigurations increase the availability and the reliability of component-based systems by allowing their architecture to evolve at runtime. Recently, a linear temporal pattern logic, called FTPL, has been defined to express desired---architectural, event and temporal--- properties over dynamic reconfigurations of component systems. This paper is dedicated to the preservation of the FTPL properties when refining components and introducing new reconfigurations. To this end, we use architectural reconfiguration models giving the semantics of component-based systems with reconfigurations, on which we define a new refinement relation. This relation combines: (i) a \emph{structural} refinement which respects the component encapsulation within the architectures at two levels of refinement, and (ii) a \emph{behavioural} refinement which links dynamic reconfigurations of a refined component-based system with their abstract counterparts that were possible before the refinement. The main advantage of the new refinement is that this relation \emph{preserves} the FTPL properties. The main contributions are illustrated on the example of an HTTP server architecture.
Fichier principal
Vignette du fichier
fm2012_submission_12.pdf (994.15 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00700007 , version 1 (22-05-2012)

Identifiants

  • HAL Id : hal-00700007 , version 1

Citer

Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix. Structural Refinement of Components Keeps Temporal Properties over Reconfigurations. 18th International Symposium on Formal Methods (FM 2012), Aug 2012, Paris, France. 15 p. ⟨hal-00700007⟩
170 Consultations
92 Téléchargements

Partager

More