Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2012

Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices

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 or tools to assist the conjunct usage of both paradigms. 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 1262 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.
La définition d'un métamodèle qui capture précisément la connaissance d'un domaine est une tâche ardue. Les experts de domaine qui souhaitent construire un métamodèle doivent obligatoirement maîtriser deux langages différents: un langage de modélisation orienté-objets, conforme à MOF, pour capturer la structure de domaine, et un langage de logique du premier ordre (le Object Constraint Language) pour la définition de règles de bonne formation. Malgré cette difficulté, il n'existe ni de conseils de bonnes pratiques ni d'outils pour assister l'utilisation conjointe des deux langages. Nous présentons la première étude empirique qui analyse l'état actuel de la pratique de construction de métamodèles qui utilisent des expressions logiques pour contraindre la structure. Nous analysons 33 métamodèles, incluant 1262 règles de bonne formation, venant de l'industrie, de l'académie et de l'Object Management Group, pour comprendre comment les métamodeleurs articulent les deux langages. Nous proposons un ensemble de métriques dans l'outil OCLMetrics pour évaluer la complexité des deux parties, ainsi que le couplage entre les deux. Nous constatons que tous les métamodèles ont tendance à avoir un ensemble central de concepts qui sont contraints par la majorité de règles, que les règles sont en général faiblement couplées à la structure et nous identifions le sous-ensemble d'OCL réellement utilisé dans les règles.
Fichier principal
Vignette du fichier
RR-7882.pdf (1.32 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00670652 , version 1 (15-02-2012)
hal-00670652 , version 2 (20-02-2012)

Identifiers

  • HAL Id : hal-00670652 , version 2

Cite

Juan Cadavid, Benoit Combemale, Benoit Baudry. Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices. [Research Report] RR-7882, INRIA. 2012. ⟨hal-00670652v2⟩
491 View
806 Download

Share

Gmail Facebook X LinkedIn More