Caos: A Reusable Scala Web Animator of Operational Semantics

José Proença; Luc Edixhoven

doi:10.1007/978-3-031-35361-1_9

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 proceeding › Conference Article in proceeding › Academic › peer-review

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.

Original language	English
Title of host publication	Coordination 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
Editors	Sung-Shik Jongmans, Antónia Lopes
Place of Publication	Cham
Publisher	Springer
Pages	163-171
Number of pages	9
Volume	13908
ISBN (Electronic)	978-3-031-35361-1
ISBN (Print)	978-3-031-35360-4
DOIs	https://doi.org/10.1007/978-3-031-35361-1_9
Publication status	Published - Jun 2023
Event	COORDINATION 2023: International Conference on Coordination Languages and Models - Lisbon, Portugal Duration: 19 Jun 2023 → 23 Jun 2023 https://link.springer.com/conference/coordination

Publication series

Series	Lecture Notes in Computer Science
Volume	13908
ISSN	0302-9743

Conference

Conference	COORDINATION 2023
Country/Territory	Portugal
City	Lisbon
Period	19/06/23 → 23/06/23
Internet address	https://link.springer.com/conference/coordination

Access to Document

10.1007/978-3-031-35361-1_9

Cite this

Proença, J., & Edixhoven, L. (2023). Caos: A Reusable Scala Web Animator of Operational Semantics. In S.-S. Jongmans, & A. Lopes (Eds.), Coordination 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 (Vol. 13908, pp. 163-171). Springer. https://doi.org/10.1007/978-3-031-35361-1_9

Proença, José ; Edixhoven, Luc. / Caos : A Reusable Scala Web Animator of Operational Semantics. Coordination 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. editor / Sung-Shik Jongmans ; Antónia Lopes. Vol. 13908 Cham : Springer, 2023. pp. 163-171 (Lecture Notes in Computer Science, Vol. 13908).

@inproceedings{013ab6f242f94e2b8749d6f12a625448,

title = "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.",

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.; COORDINATION 2023 : International Conference on Coordination Languages and Models ; Conference date: 19-06-2023 Through 23-06-2023",

year = "2023",

month = jun,

doi = "10.1007/978-3-031-35361-1\_9",

language = "English",

isbn = "978-3-031-35360-4",

volume = "13908",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "163--171",

editor = "Sung-Shik Jongmans and Ant{\'o}nia Lopes",

booktitle = "Coordination 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",

address = "United States",

url = "https://link.springer.com/conference/coordination",

}

Proença, J & Edixhoven, L 2023, Caos: A Reusable Scala Web Animator of Operational Semantics. in S-S Jongmans & A Lopes (eds), Coordination 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. vol. 13908, Springer, Cham, Lecture Notes in Computer Science, vol. 13908, pp. 163-171, COORDINATION 2023, Lisbon, Portugal, 19/06/23. https://doi.org/10.1007/978-3-031-35361-1_9

Caos: A Reusable Scala Web Animator of Operational Semantics. / Proença, José; Edixhoven, Luc.
Coordination 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. ed. / Sung-Shik Jongmans; Antónia Lopes. Vol. 13908 Cham: Springer, 2023. p. 163-171 (Lecture Notes in Computer Science, Vol. 13908).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - Caos

T2 - COORDINATION 2023

AU - Proença, José

AU - Edixhoven, Luc

N1 - 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.

PY - 2023/6

Y1 - 2023/6

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-031-35361-1_9

DO - 10.1007/978-3-031-35361-1_9

M3 - Conference Article in proceeding

SN - 978-3-031-35360-4

VL - 13908

T3 - Lecture Notes in Computer Science

SP - 163

EP - 171

BT - Coordination 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

A2 - Jongmans, Sung-Shik

A2 - Lopes, Antónia

PB - Springer

CY - Cham

Y2 - 19 June 2023 through 23 June 2023

ER -

Proença J, Edixhoven L. Caos: A Reusable Scala Web Animator of Operational Semantics. In Jongmans SS, Lopes A, editors, Coordination 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. Vol. 13908. Cham: Springer. 2023. p. 163-171. (Lecture Notes in Computer Science, Vol. 13908). doi: 10.1007/978-3-031-35361-1_9

Caos: A Reusable Scala Web Animator of Operational Semantics

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this