Details

Autor(en) / Beteiligte

• Maggi, Alessandro
• De Nicola, Rocco
• Sifakis, Joseph

Titel

A Logic-Inspired Approach to Reconfigurable System Modelling

Ist Teil von

• From Reactive Systems to Cyber-Physical Systems, p.181-201

Ort / Verlag

Cham: Springer International Publishing

Link zum Volltext

Quelle

Alma/SFX Local Collection

Beschreibungen/Notizen

• Software systems have reached a level of complexity that demands new approaches to software design in order to support continuous adaptation to the changes in their internal and external environment. This implies the capability of capturing at design-time the dynamic features of systems that are composed of large numbers of interacting components in order to reduce the risks of undesirable interferences and unpredictable outcomes. The L-DReAM framework (“Light Dynamic Reconfigurable Architecture Modelling”) relies on a logic-based modelling language that is expressive enough to capture different approaches to systems coordination, reconfiguration and dynamicity. L-DReAM components have a “loose” structure that, combined with the flexibility of the adopted coordination language, results in a framework that can be used to model many different computational paradigms while offering a readable syntax easy to understand.