This paper is concerned with the interplay of the expressiveness of model and graph transformation languages,of assertion formalisms making correctness statements about transformations,and the decidability of the resulting verification problems. We put a particular focus on transformations arising in graph-based knowledge bases and model-driven engineering. We then identify requirements that should be satisfied by logics dedicated to reasoning about model transformations,and investigate two promising instances which are decidable fragments of first-order logic.
CITATION STYLE
Brenas, J. H., Echahed, R., & Strecker, M. (2016). Ensuring correctness of model transformations while remaining decidable. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9965 LNCS, pp. 315–332). Springer Verlag. https://doi.org/10.1007/978-3-319-46750-4_18
Mendeley helps you to discover research relevant for your work.