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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/hal-01186015
Contributor : Benoit Combemale <>
Submitted on : Sunday, August 23, 2015 - 2:16:00 PM
Last modification on : Thursday, November 15, 2018 - 11:58:48 AM
Long-term archiving on : Wednesday, April 26, 2017 - 10:19:14 AM

File

metamodelingpractices-comlan20...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives 4.0 International License

Identifiers

Citation

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/j.cl.2015.02.002⟩. ⟨hal-01186015⟩

Share

Metrics

Record views

2327

Files downloads

1322