Browsing Bergen Open Research Archive by Author "König, Harald"
Now showing items 1-3 of 3
-
Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach
Wolter, Uwe Egbert; König, Harald (Journal article; Peer reviewed, 2022)Systematic and formally underpinned consistency checking of heterogeneously typed interdependent behavioural models requires a common metamodel, into which the involved models can be translated. And, if additional system ... -
A General Methodology for Internalising Multi-level Model Typing
König, Harald; Wolter, Uwe Egbert (Chapter, 2021)Multilevel Modelling approaches allow for an arbitrary number of abstraction levels in typing chains. In this paper, a transformation of a multi-level typing chain into a single all-covering representing model is proposed. ... -
Structural Operational Semantics for Heterogeneously Typed Coalgebras
König, Harald; Wolter, Uwe Egbert; Kräuter, Tim Oliver (Journal article; Peer reviewed, 2023)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 ...