Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach
Journal article, Peer reviewed
Accepted version
View/ Open
Date
2022Metadata
Show full item recordCollections
- Department of Informatics [922]
- Registrations from Cristin [9580]
Original version
Lecture Notes in Computer Science (LNCS). 2022, 13299, 308-325. 10.1007/978-3-031-10363-6_21Abstract
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.