Using Model-Checking Techniques for Component-Based Systems with Reconfigurations
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 te...
Main Author: | Jean-Michel Hufflen |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2015-03-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1503.04915v1 |
Similar Items
-
Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems
by: Jean-Michel Hufflen
Published: (2017-03-01) -
Fonctions et généricité dans un langage de programmation parallèle
by: Hufflen, Jean-Michel
Published: (1989) -
Component-based Systems Reconfigurations Using Graph Grammars
by: O. Kouchnarenko, et al.
Published: (2016-12-01) -
A Calculus for Reconfigurable Component-Based Systems
by: Cidcley Teixeira de Souza, et al.
Published: (2004-12-01) -
OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models
by: Xi Lin, et al.
Published: (2013-01-01)