DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)

05/09/2018
by   Rocco De Nicola, et al.
0

Modern systems evolve in unpredictable environments and have to continuously adapt their behavior to changing conditions. The "DReAM" (Dynamic Reconfigurable Architecture Modeling) framework, has been designed for modeling reconfigurable dynamic systems. It provides a rule-based language, inspired from Interaction Logic, which is expressive and easy to use encompassing all aspects of dynamicity including parametric multi-modal coordination with creation/deletion of components as well as mobility. Additionally, it allows the description of both endogenous/modular and exogenous/centralized coordination styles and sound transformations from one style to the other. The DReAM framework is implemented in the form of a Java API bundled with an execution engine. It allows to develop runnable systems combining the expressiveness of the rule-based notation together with the flexibility of this widespread programming language.

READ FULL TEXT
research
07/31/2017

Coordination of Dynamic Software Components with JavaBIP

JavaBIP allows the coordination of software components by clearly separa...
research
09/10/2021

Combining Event Calculus and Description Logic Reasoning via Logic Programming

The paper introduces a knowledge representation language that combines t...
research
08/28/2015

Virtualization Architecture for NoC-based Reconfigurable Systems

We propose a virtualization architecture for NoC-based reconfigurable sy...
research
02/03/2022

On expressive rule-based logics

We investigate a family of rule-based logics. The focus is on very expre...
research
08/15/2021

Enterprise Architecture Model Transformation Engine

With increasing linkage within value chains, the IT systems of different...
research
05/10/2019

Horn Clauses in Hybrid-Dynamic First-Order Logic

We propose a hybrid-dynamic first-order logic as a formal foundation for...
research
11/16/2021

A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems

Petri Nets (PN) are a central, theoretically sound model for concurrent ...

Please sign up or login with your details

Forgot password? Click here to reset