dc.contributor.author | Wolter, Uwe Egbert | |
dc.contributor.author | König, Harald | |
dc.date.accessioned | 2023-02-09T12:22:27Z | |
dc.date.available | 2023-02-09T12:22:27Z | |
dc.date.created | 2023-01-23T23:40:18Z | |
dc.date.issued | 2022 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | https://hdl.handle.net/11250/3049701 | |
dc.description.abstract | 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. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Springer | en_US |
dc.title | Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach | en_US |
dc.type | Journal article | en_US |
dc.type | Peer reviewed | en_US |
dc.description.version | acceptedVersion | en_US |
dc.rights.holder | Copyright 2022 Springer Nature Switzerland AG | en_US |
cristin.ispublished | true | |
cristin.fulltext | postprint | |
cristin.qualitycode | 1 | |
dc.identifier.doi | 10.1007/978-3-031-10363-6_21 | |
dc.identifier.cristin | 2113652 | |
dc.source.journal | Lecture Notes in Computer Science (LNCS) | en_US |
dc.source.pagenumber | 308-325 | en_US |
dc.identifier.citation | Lecture Notes in Computer Science (LNCS). 2022, 13299, 308-325. | en_US |
dc.source.volume | 13299 | en_US |