Davide Ancona, Luca Franceschini, Angelo Ferrando and Viviana Mascardi: A SWI-Prolog based implementation of RML

Runtime verification (RV) consists in dynamically checking event traces generated by single runs of a system against a formal specification; such a technique can be used after deployment to monitor and properly handle misbehavior.

We report on the implementation of RML, an expressive rewriting-based domain specific language for RV, where from specifications, monitors are automatically generated in SWI-Prolog; the LP paradigm and some advanced features of SWI-Prolog are particularly suited to adopt Prolog as a target language for RML.

Forum Full Abstract

Leave a comment