Enforcing Feature Set Correctness for Dynamic Reconfiguration with Symbiotic Logic Programming
Kris Gybels · 2003
We propose here to enforce the correct configuration of generic components when dynamically reconfiguring them by encoding the rules governing the correctness using logic programming. Additionally, rather than using a classic logic language such as Prolog "as is", we want to use a logic language that allows the correctness rules to easily interact with the components. To achieve this we propose to use the concept of linguistic symbiosis and present a logic language that has such symbiosis with a component implementation language. The motivation for this proposal lies in the work on Generative Programming (GP) in which generic components are delivered as a set of ready features which can be put together to form an actual component [3]. The actual component, usually simply a class, is composed by a generator which also checks that the selected features meet certain inclusion requirements documented in a feature diagram. As GP is usually used in a context in which components are...