@inproceedings{0d97f3dcf29640858b21068c87264081,
title = "Formally Characterizing the Effect of Model Transformations on System Properties",
abstract = "In Model-Driven Software Development, models and model transformations are the primary artefacts to develop software in a structured way. Models have been subjected to formal verification for a long time, but the field of formal model transformation verification is relatively young. Existing techniques, when they focus on the effect transformations have on the system components they are applied on, limit their analysis to checking for the preservation of semantics or particular properties, but it is not always the intention of a transformation to preserve these. We propose an approach to characterize the effect of applying a (formal description of a) model transformation when applied on a component that satisfies a given functional property. The given functional property is formalized in Action-based LTL, and our characterization is captured by a system of modal μ -calculus equations.",
keywords = "B{\"u}chi automata, Labeled transition systems, Linear temporal logic, Model transformations, system evolution, μ -calculus",
author = "Rikayan Chaki and Anton Wijs",
year = "2022",
month = nov,
day = "2",
doi = "10.1007/978-3-031-20872-0\_3",
language = "English",
isbn = "978-3-031-20871-3",
series = "Lecture Notes in Computer Science (LNCS)",
publisher = "Springer",
pages = "39--58",
editor = "\{Tapia Tarifa\}, \{Silvia Lizeth\} and Jos{\'e} Proen{\c c}a",
booktitle = "Formal Aspects of Component Software",
address = "Germany",
note = "18th International Conference on Formal Aspects of Component Software, FACS 2022 ; Conference date: 10-11-2022 Through 11-11-2022",
}