Date Added: Jul 2011
Motivated by the need to combine systems and logics, the authors develop a modular approach to the Model eXpansion (MX) problem, a task which is common in applications such as planning, scheduling, computational biology, formal verification. They develop a modular framework where parts of a modular system can be written in different languages. They start the development from a previous work, but modify and extend that framework significantly. In particular, they use a model-theoretic setting and introduce a feedback (loop) operator on modules. They study the expressive power of the framework and demonstrate that adding the feedback operator increases the expressive power considerably.