OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Preserving the Global Consistency of Dynamic Reconfiguration

Charaf Eddin, Mohammad and Mammeri, Zoubir Preserving the Global Consistency of Dynamic Reconfiguration. (2013) In: IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing - SNPD 2013, 1 July 2013 - 3 July 2013 (Honolulu, United States).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1109/SNPD.2013.82


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

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to IEEE editor. The definitive version is available at http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6598447
HAL Id:hal-01151014
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:06 May 2015 06:38

Repository Staff Only: item control page