License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CALCO.2023.7
URN: urn:nbn:de:0030-drops-188048
URL: https://drops.dagstuhl.de/opus/volltexte/2023/18804/
König, Harald ;
Wolter, Uwe ;
Kräuter, Tim
Structural Operational Semantics for Heterogeneously Typed Coalgebras
Abstract
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.
BibTeX - Entry
@InProceedings{konig_et_al:LIPIcs.CALCO.2023.7,
author = {K\"{o}nig, Harald and Wolter, Uwe and Kr\"{a}uter, Tim},
title = {{Structural Operational Semantics for Heterogeneously Typed Coalgebras}},
booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)},
pages = {7:1--7:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-287-7},
ISSN = {1868-8969},
year = {2023},
volume = {270},
editor = {Baldan, Paolo and de Paiva, Valeria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2023/18804},
URN = {urn:nbn:de:0030-drops-188048},
doi = {10.4230/LIPIcs.CALCO.2023.7},
annote = {Keywords: Coalgebra, Bialgebra, Structural operational semantics, Compositionality}
}
Keywords: |
|
Coalgebra, Bialgebra, Structural operational semantics, Compositionality |
Collection: |
|
10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023) |
Issue Date: |
|
2023 |
Date of publication: |
|
02.09.2023 |