Empirical evaluation of the conjunct use of MOF and OCL - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Empirical evaluation of the conjunct use of MOF and OCL


MOF and OCL are commonly used for metamodeling: MOF to model the domain structure, and OCL for the well-formedness rules. Thus, metamodelers have to master both formalisms and understand how to articulate them in order to build metamodels that accurately capture domain knowledge. A systematic empirical analysis of the conjunct use of MOF and OCL in existing metamodels could help metamodelers un- derstand how to use these formalisms. However, existing metamodels usually present anomalies that prevent automatic analysis without prior fixing. In particular, it often happens that both parts of the metamodel (MOF and OCL) are inconsistent. In this paper, we propose a process for analyzing metamodels and we report on the pre-processing phase we went through on 52 metamodels in order to get them ready for automatic empirical analysis.
Fichier principal
Vignette du fichier
eessmod2011-final.pdf (376.06 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

hal-00647347 , version 1 (01-12-2011)
hal-00647347 , version 2 (22-03-2012)


  • HAL Id : hal-00647347 , version 2


Juan Cadavid, Benoit Baudry, Benoit Combemale. Empirical evaluation of the conjunct use of MOF and OCL. Experiences and Empirical Studies in Software Modelling (EESSMod 2011), Oct 2011, Wellington, New Zealand. ⟨hal-00647347v2⟩
276 View
147 Download


Gmail Facebook X LinkedIn More