@techreport{60469c0c32c741689a5353bab60ff3ae,
title = "Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)",
abstract = "This tool paper presents Caos: 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. Caos 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 Caos 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 Caos' 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 Caos in their own analysis and Scala tools.",
author = "Jos{\'e} Proen{\c c}a and Luc Edixhoven",
note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",
year = "2023",
month = apr,
day = "28",
doi = "10.48550/arXiv.2304.14901",
language = "English",
series = "CoRR",
publisher = "Cornell University - arXiv",
address = "United States",
type = "WorkingPaper",
institution = "Cornell University - arXiv",
}