Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach
Journal article, Peer reviewed
Accepted version
Permanent lenke
https://hdl.handle.net/11250/3049701Utgivelsesdato
2022Metadata
Vis full innførselSamlinger
- Department of Informatics [924]
- Registrations from Cristin [9615]
Originalversjon
Lecture Notes in Computer Science (LNCS). 2022, 13299, 308-325. 10.1007/978-3-031-10363-6_21Sammendrag
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 properties are imposed on the behavioural models by modal logic formulae, the question arises, whether these formulae are faithfully translated, as well.
In this paper, we propose a formal methodology based on natural transformations between coalgebraic specifications, which enables state-space preserving translations into a category of homogeneously typed systems, and we determine mild assumptions for the transformations to guarantee preservation and reflection of truth of translated formulae.