Caos: A Reusable Scala Web Animator of Operational Semantics

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2023

Autores

Proença, J (Autor) FCUP; Edixhoven, L (Autor) Outra

Ata de Conferência Internacional

Título: COORDINATION MODELS AND LANGUAGES, COORDINATION 2023

Páginas: 163-171

25th International Conference on Coordination Models and Language (COORDINATION)

Lisbon, PORTUGAL, JUN 19-23, 2023

Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 1 Citação

Outras Informações

ID Authenticus: P-00Y-HNC

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

Abstract (EN): 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 9