On the Use of an Internal DSL for Enriching EMF Models

Abstract : The Object Constraint Language (OCL) is widely used to enrich modeling languages with structural constraints, side effect free query operations implementation and contracts. OCL was designed to be small and compact language with appealing short "to-the-point" expressions. When trying to apply it to larger EMF models some shortcomings appear in the language expressions, the invariant constructs as well as in the supporting tools. In this paper we argue that some of these shortcomings are mainly related to the scalability of the OCL language and its trade-offs be-tween domain-specificity and general-purpose. We present an alternative approach based on an internal DSL in Scala. By using this modern multi-paradigm programing language we can realize an internal DSL with similar features found in OCL while taking full advantage of the host language including state-of-the-art tool support. In particular, we discuss the mapping between the OCL and Scala concepts together with some additional constructs for better scalability in both expressiveness and reusability of the expressions.
Type de document :
Communication dans un congrès
Proceedings of the 2012 International Workshop on OCL and Textual Modelling, 2012, Innsbruck, Austria. pp.25 - 30, 2012, <10.1145/2428516.2428521>
Liste complète des métadonnées


https://hal.inria.fr/hal-01117778
Contributeur : Krikava Filip <>
Soumis le : jeudi 19 février 2015 - 11:31:21
Dernière modification le : dimanche 12 avril 2015 - 17:54:30
Document(s) archivé(s) le : jeudi 28 mai 2015 - 15:57:25

Fichier

ocl12-paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Filip Křikava, Philippe Collet. On the Use of an Internal DSL for Enriching EMF Models. Proceedings of the 2012 International Workshop on OCL and Textual Modelling, 2012, Innsbruck, Austria. pp.25 - 30, 2012, <10.1145/2428516.2428521>. <hal-01117778>

Partager

Métriques

Consultations de
la notice

126

Téléchargements du document

96