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 metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/hal-00647347
Contributor : Benoit Combemale <>
Submitted on : Thursday, March 22, 2012 - 3:06:39 PM
Last modification on : Friday, November 16, 2018 - 1:21:47 AM
Long-term archiving on : Wednesday, December 14, 2016 - 5:40:17 PM

File

eessmod2011-final.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-00647347, version 2

Citation

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⟩

Share

Metrics

Record views

785

Files downloads

147