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...
| Main Author: | |
|---|---|
| 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 |