2023-06-15
Caos: A reusable scala web animator of operational semantics
Publication
Publication
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.
| Additional Metadata | |
|---|---|
| doi.org/10.1007/978-3-031-35361-1_9 | |
| Lecture Notes in Computer Science | |
| 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 | |
| Organisation | Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands |
|
Proença, J., & Edixhoven, L. (2023). Caos: A reusable scala web animator of operational semantics. In Proceedings of the 25th IFIP WG 6.1 International Conference, COORDINATION 2023. Coordination Models and Languages (pp. 163–171). doi:10.1007/978-3-031-35361-1_9 |
|
