Caos: A Reusable Scala Web Animator of Operational Semantics

José Proença*, Luc Edixhoven

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review


This tool paper presents : a methodology and a programming framework for computer-aided design of structural operational semantics for formal models. This framework includes a set of Scala libraries and a workflow to produce visual and interactive diagrams that animate and provide insights over the structure and the semantics of a given abstract model with operational rules. follows an approach in which theoretical foundations and a practical tool are built together, as an alternative to foundations-first design (“tool justifies theory”) or tool-first design (“foundations justify practice”). The advantage of is that the tool-under-development can immediately be used to automatically run numerous and sizeable examples in order to identify subtle mistakes, unexpected outcomes, and unforeseen limitations in the foundations-under-development, as early as possible. We share two success stories of methodology and framework in our own teaching and research context, where we analyse a simple while-language and a choreographic language, including their operational rules and the concurrent composition of such rules. We further discuss how others can include in their own analysis and Scala tools.

Original languageEnglish
Title of host publicationCoordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings
EditorsSung-Shik Jongmans, Antónia Lopes
Place of PublicationCham
Number of pages9
ISBN (Electronic)978-3-031-35361-1
ISBN (Print)978-3-031-35360-4
Publication statusPublished - Jun 2023
EventCOORDINATION 2023: International Conference on Coordination Languages and Models - Lisbon, Portugal
Duration: 19 Jun 202323 Jun 2023

Publication series

SeriesLecture Notes in Computer Science


ConferenceCOORDINATION 2023
Internet address


Dive into the research topics of 'Caos: A Reusable Scala Web Animator of Operational Semantics'. Together they form a unique fingerprint.

Cite this