Caos: A Reusable Scala Web Animator of Operational Semantics - Coordination Models and Languages Access content directly
Conference Papers Year : 2023

Caos: A Reusable Scala Web Animator of Operational Semantics

Abstract

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.
Embargoed file
Embargoed file
1 4 7
Year Month Jours
Avant la publication
Thursday, January 1, 2026
Embargoed file
Thursday, January 1, 2026
Please log in to request access to the document

Dates and versions

hal-04673808 , version 1 (20-08-2024)

Licence

Identifiers

Cite

José Proença, Luc Edixhoven. Caos: A Reusable Scala Web Animator of Operational Semantics. 25th International Conference on Coordination Languages and Models (COORDINATION), Jun 2023, Lisbon, Portugal. pp.163-171, ⟨10.1007/978-3-031-35361-1_9⟩. ⟨hal-04673808⟩
0 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More