Ensuring Correctness of Model Transformations While Remaining Decidable - Université Toulouse 1 Capitole Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Ensuring Correctness of Model Transformations While Remaining Decidable

Résumé

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.
Fichier principal
Vignette du fichier
paper61-procversion.pdf (517.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01403585 , version 1 (26-11-2016)

Identifiants

Citer

Jon Haël Brenas, Rachid Echahed, Martin Strecker. Ensuring Correctness of Model Transformations While Remaining Decidable. Theoretical Aspects of Computing - ICTAC, Oct 2016, Taipei, Taiwan. pp.315 - 332, ⟨10.1007/978-3-319-46750-4_18⟩. ⟨hal-01403585⟩
378 Consultations
180 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More