Structural Operational Semantics for Heterogeneously Typed Coalgebras
Journal article, Peer reviewed
Published version
![Thumbnail](/bora-xmlui/bitstream/handle/11250/3089431/LIPIcs-CALCO-2023-7.pdf.jpg?sequence=6&isAllowed=y)
Åpne
Permanent lenke
https://hdl.handle.net/11250/3089431Utgivelsesdato
2023Metadata
Vis full innførselSamlinger
- Department of Informatics [927]
- Registrations from Cristin [9746]
Originalversjon
Leibniz International Proceedings in Informatics. 2023, 270, 7:1-7:17. 10.4230/LIPIcs.CALCO.2023.7Sammendrag
Concurrently interacting components of a modular software architecture are heterogeneously structured behavioural models. We consider them as coalgebras based on different endofunctors. We formalize the composition of these coalgebras as specially tailored segments of distributive laws of the bialgebraic approach of Turi and Plotkin. The resulting categorical rules for structural operational semantics involve many-sorted algebraic specifications, which leads to a description of the components together with the composed system as a single holistic behavioural system. We evaluate our approach by showing that observational equivalence is a congruence with respect to the algebraic composition operation.