HomePublicationsPaper

Reactive graphs in action
Ref: CISTER-TR-240905       Publication Date: 10, Sep, 2024

Abstract:
Reactive graphs are transition structures whereas edges become active and inactive during its evolution, that were introduced by Dov Gabbay from a mathematical’s perspective. This paper presents [inline-graphic not available: see fulltext] (https://fm-dcc.github.io/MARGe), a web-based tool to visualise and analyse reactive graphs enriched with labels. [inline-graphic not available: see fulltext] animates the operational semantics of reactive graphs and offers different graphical views to provide insights over concrete systems. We motivate the applicability of reactive graphs for adaptive systems and for featured transition systems, using [inline-graphic not available: see fulltext] to tighten the gap between the existing theoretical models and their usage to analyse concrete systems.

David Tinoco

,

Manuel A. Martins

,

Alexandre Madeira

,

José Proença

Document:

View
PDF Download
PDF