%0 Journal Article
%T Using Model-Checking Techniques for Component-Based Systems with Reconfigurations
%A Jean-Michel Hufflen
%J Computer Science
%D 2015
%I arXiv
%R 10.4204/EPTCS.178.4
%X Within a component-based approach allowing dynamic reconfigurations, sequences of successive reconfiguration operations are expressed by means of reconfiguration paths, possibly infinite. We show that a subclass of such paths can be modelled by finite state automata. This feature allows us to use techniques related to model-checking to prove some architectural, event, and temporal properties related to dynamic reconfiguration. Our method is proved correct w.r.t. these properties' definition.
%U http://arxiv.org/abs/1503.04915v1