English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

This tool paper presents Caos: a methodology and a programming framework forcomputer-aided design of structural operational semantics for formal models.This framework includes a set of Scala libraries and a workflow to producevisual and interactive diagrams that animate and provide insights over thestructure and the semantics of a given abstract model with operational rules.Caos follows an approach in which theoretical foundations and a practical toolare built together, as an alternative to foundations-first design ("tooljustifies theory") or tool-first design ("foundations justify practice"). Theadvantage of Caos is that the tool-under-development can immediately be used toautomatically run numerous and sizeable examples in order to identify subtlemistakes, unexpected outcomes, and unforeseen limitations in thefoundations-under-development, as early as possible. We share two successstories of Caos' methodology and framework in our own teaching and researchcontext, 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 Scalatools.

Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)