An Analysis of Metamodeling Practices for MOF and OCL

Juan Cadavid 1 Benoit Combemale 1 Benoit Baudry 1
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : The definition of a metamodel that precisely captures domain knowledge for effective know-how capitalization is a challenging task. A major obstacle for domain experts who want to build a metamodel is that they must master two radically different languages: an object-oriented, MOF-compliant, modeling language to capture the domain structure and first order logic (the Object Constraint Language) for the definition of well-formedness rules. However, there are no guidelines to assist the conjunct usage of both paradigms, and few tools support it. Consequently, we observe that most metamodels have only an object-oriented domain structure, leading to inaccurate metamodels. In this paper, we perform the first empirical study, which analyzes the current state of practice in metamodels that actually use logical expressions to constrain the structure. We analyze 33 metamodels including 995 rules coming from industry, academia and the Object Management Group, to understand how metamodelers articulate both languages. We implement a set of metrics in the OCLMetrics tool to evaluate the complexity of both parts, as well as the coupling between both. We observe that all metamodels tend to have a small, core subset of concepts, which are constrained by most of the rules, in general the rules are loosely coupled to the structure and we identify the set of OCL constructs actually used in rules.
Type de document :
Article dans une revue
Computer Languages, Systems and Structures, Elsevier, 2015, 41, pp.46. 〈10.1016/〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger
Contributeur : Benoit Combemale <>
Soumis le : dimanche 23 août 2015 - 14:16:00
Dernière modification le : mercredi 2 août 2017 - 10:11:15
Document(s) archivé(s) le : mercredi 26 avril 2017 - 10:19:14


Fichiers produits par l'(les) auteur(s)


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License



Juan Cadavid, Benoit Combemale, Benoit Baudry. An Analysis of Metamodeling Practices for MOF and OCL. Computer Languages, Systems and Structures, Elsevier, 2015, 41, pp.46. 〈10.1016/〉. 〈hal-01186015〉



Consultations de
la notice


Téléchargements du document