Skip to Main content Skip to Navigation
New interface
Conference papers

Empirical evaluation of the conjunct use of MOF and OCL

Juan Cadavid 1, * Benoit Baudry 1 Benoit Combemale 1 
* Corresponding author
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Benoit Combemale Connect in order to contact the contributor
Submitted on : Thursday, March 22, 2012 - 3:06:39 PM
Last modification on : Friday, February 4, 2022 - 3:15:07 AM
Long-term archiving on: : Wednesday, December 14, 2016 - 5:40:17 PM


Publisher files allowed on an open archive


  • 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⟩



Record views


Files downloads