The DReAM framework: a logic-inspired approach to reconfigurable system modeling

Modern systems evolve in unpredictable environments andhave to continuously adapt their behavior to changing conditions.The DReAM (Dynamic Reconfigurable ArchitectureModeling) framework has been designed to address these requirementsby offering the tools for modeling reconfigurabledynamic systems effectively.At its core, the framework allows component-based architecturedesign leveraging a rule-based language, inspired fromInteraction Logic. The expressiveness of the language allowsus to define the behavior of both components and componentsaggregates encompassing all aspects of dynamicity, includingparametric multi-modal coordination of components and reconfigurationof their structure and population.DReAM allows the description of both endogenous/modularand exogenous/centralized coordination styles and soundtransformations from one style to the other, while adopting afamiliar and intuitive syntax. To better model dynamic mobilesystems, the framework is further extended with two structuringconcepts: motifs - independent dynamic architecturescoordinating components assigned to them - and maps - graphlikedata structures modeling the topology of the environmentand parametrizing coordination between components.The jDReAM Java project has been developed to provide anexecution engine with an associated library of classes and methods that support system specifications conforming to the DReAM syntax. It allows to develop runnable systems combining the expressiveness of the rule-based notation with the flexibility of this widespread programming language.