Towards Functional Model Transformations with OCL

Abstract : Several model transformation approaches such as QVT and ATL use OCL as expression language for its model-querying capabilities. However, they need to add specific and incompatible syntactic constructs for pattern matching as well as model element creation and mutation. In this paper, we present an exploratory approach to enable the expression of whole model transformations in OCL. This approach leverages some OCL extensions proposed for inclusion in the upcoming OCL 2.5: pattern matching and shadow objects. It also relies on a specific execution layer to enable traceability and side effects on models. With model transformations as OCL functions, it becomes possible to use a single, standard, well-known, functional, and formalized model querying language to perform tasks traditionally assigned to model transformation languages. Thus, functional techniques such as function composition and higher-order become directly applicable to model transformations.
Type de document :
Communication dans un congrès
ICMT 2015 - 8th International Conference on Model Transformation, Jul 2015, L'Aquila, Italy. Springer, LNCS, 9152, pp.111-120, ICMT 2015: Theory and Practice of Model Transformations. 〈10.1007/978-3-319-21155-8_9〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01179294
Contributeur : Nathalie Renois <>
Soumis le : samedi 27 janvier 2018 - 05:15:04
Dernière modification le : mardi 3 juillet 2018 - 17:52:01
Document(s) archivé(s) le : vendredi 25 mai 2018 - 15:20:35

Fichier

FJOB.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickaël Clavreul, Guillaume Savaton. Towards Functional Model Transformations with OCL. ICMT 2015 - 8th International Conference on Model Transformation, Jul 2015, L'Aquila, Italy. Springer, LNCS, 9152, pp.111-120, ICMT 2015: Theory and Practice of Model Transformations. 〈10.1007/978-3-319-21155-8_9〉. 〈hal-01179294〉

Partager

Métriques

Consultations de la notice

428

Téléchargements de fichiers

17