Preserving the Global Consistency of Dynamic Reconfiguration - Université Toulouse 1 Capitole Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Preserving the Global Consistency of Dynamic Reconfiguration

Résumé

Many component-based systems need to modify their behavior or structure at run time in order to adapt the continuous change of user requirements or working environments. Change management is an essential part of reconfigurable systems. Dynamic reconfiguration helps these systems to evolve incrementally for one configuration to another at execution time. Many approaches have been proposed to support dynamic reconfiguration in various kinds of systems. This paper introduces a new approach for preserving the global consistency of dynamic reconfiguration using Alloy specification language. Alloy is a powerful language for modeling and describing the structure and the behavior of a system by expressing its constraints. The approach starts by modeling the structure of a reconfigurable system, and then a set of predicates are proposed to describe the dynamic behavior of a reconfigurable system. Finally, an analysis is done to analyze the previous specifications using Alloy Analyzer
Fichier principal
Vignette du fichier
Charaf-Eddin_12442.pdf (345.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01151014 , version 1 (12-05-2015)

Identifiants

  • HAL Id : hal-01151014 , version 1
  • OATAO : 12442

Citer

Mohammad Charaf Eddin, Zoubir Mammeri. Preserving the Global Consistency of Dynamic Reconfiguration. IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing - SNPD 2013, Jul 2013, Honolulu, United States. pp. 71-76. ⟨hal-01151014⟩
147 Consultations
137 Téléchargements

Partager

Gmail Facebook X LinkedIn More