Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems

Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems

Reconfiguration paths express sequences of successive reconfiguration operations within a component-based approach allowing dynamic reconfigurations. We use constructs from regular expressions–in particular, alternatives–to introduce multiple reconfiguration paths. We show how to put into action pro...

Full description

Bibliographic Details
Main Author: Jean-Michel Hufflen
Format: Article
Language:English
Published: Open Publishing Association 2017-03-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1703.07036v1
id doaj-badc79abd5ef45efa33dd19ee9f08260
record_format Article
spelling doaj-badc79abd5ef45efa33dd19ee9f082602020-11-25T01:20:22ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802017-03-01245Proc. FESCA 2017526610.4204/EPTCS.245.5:6Checking Properties along Multiple Reconfiguration Paths for Component-Based SystemsJean-Michel Hufflen0 FEMTO-ST/DISC Reconfiguration paths express sequences of successive reconfiguration operations within a component-based approach allowing dynamic reconfigurations. We use constructs from regular expressions–in particular, alternatives–to introduce multiple reconfiguration paths. We show how to put into action procedures allowing architectural, event, and temporal properties to be proved. Our method, related to finite state automata and using marking techniques, generalises what we did within previous work, where the regular expressions we processed were more restricted. But we can only deal with a subset of first-order logic formulas.http://arxiv.org/pdf/1703.07036v1
collection DOAJ
language English
format Article
sources DOAJ
author Jean-Michel Hufflen
spellingShingle Jean-Michel Hufflen
Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems
Electronic Proceedings in Theoretical Computer Science
author_facet Jean-Michel Hufflen
author_sort Jean-Michel Hufflen
title Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems
title_short Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems
title_full Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems
title_fullStr Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems
title_full_unstemmed Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems
title_sort checking properties along multiple reconfiguration paths for component-based systems
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2017-03-01
description Reconfiguration paths express sequences of successive reconfiguration operations within a component-based approach allowing dynamic reconfigurations. We use constructs from regular expressions–in particular, alternatives–to introduce multiple reconfiguration paths. We show how to put into action procedures allowing architectural, event, and temporal properties to be proved. Our method, related to finite state automata and using marking techniques, generalises what we did within previous work, where the regular expressions we processed were more restricted. But we can only deal with a subset of first-order logic formulas.
url http://arxiv.org/pdf/1703.07036v1
work_keys_str_mv AT jeanmichelhufflen checkingpropertiesalongmultiplereconfigurationpathsforcomponentbasedsystems
_version_ 1725134702043463680

Similar Items