This repository contains supplementary material for the ACSOS 2020 full paper (REACT: A Model-Based Runtime Environment for Adapting Communication Systems) and demo (Enhancing a Communication System with Adaptive Behavior using REACT) submissions presenting REACT (Runtime Environment for Adapting Communication SysTems).
REACT allows domain experts to make their systems adaptive in an easy-to-use manner. REACT uses Clafer in version 0.4.5 available here. A documentation wiki of Clafer can be found here.
Here you can find all available configration file options of REACT.
Everything has been executed and tested using Ubuntu 18.04.