An algebraic semantics for MOF

Artur Boronat, José Meseguer

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost effectiveness. In this field, the Meta-Object Facility (MOF) standard plays a crucial role by providing a generic framework where the abstract syntax of different modeling languages can be defined. In this work, we present a formal, algebraic semantics of the MOF standard in membership equational logic (mel). By using the Maude language, which directly supports mel specifications, this formal semantics is furthermore executable, and can be used to perform useful formal analyses. The executable algebraic framework for MOF obtained this way has been integrated within the Eclipse Modeling Framework as a plugin. In this way, formal analyses, such as semantic consistency checks, become available within Eclipse to provide formal support for model-driven development processes.

Original languageEnglish (US)
Title of host publicationFundamental Approaches to Software Engineering - 11th International Conference, FASE 2008 - Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Proceedings
Number of pages15
StatePublished - 2008
Event"11th International Conferenceon Fundamental Approaches to Software Engineering, FASE 2008" - Budapest, Hungary
Duration: Mar 29 2008Apr 6 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4961 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other"11th International Conferenceon Fundamental Approaches to Software Engineering, FASE 2008"


  • MOF
  • Membership equational logic
  • Metamodeling semantics
  • Model-driven development
  • Reflection

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'An algebraic semantics for MOF'. Together they form a unique fingerprint.

Cite this