Algebraic semantics of ocl-constrained metamodel specifications

Artur Boronat, José Meseguer

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


In the definition of domain-specific modeling languages a MOF metamodel is used to define the main types of its abstract syntax, and OCL invariants are used to add static semantic constraints. The semantics of a metamodel definition can be given as a model type whose values are well-formed models. A model is said to conform to its metamodel when it is a value of the corresponding model type. However, when OCL invariants are involved, the concept of model conformance has not yet been formally defined in the MOF standard. In this work, the concept of OCL-constrained metamodel conformance is formally defined and used for defining style-preserving software architecture configurations. This concept is supported in MOMENT2, an algebraic framework for MOF metamodeling, where OCL constraints can be used for both static and dynamic analysis.

Original languageEnglish (US)
Title of host publicationObjects, Components, Models and Patterns - 47th International Conference, TOOLS EUROPE 2009, Proceedings
Number of pages20
ISBN (Print)9783642025709
StatePublished - 2009
Event47th International Conference - TOOLS EUROPE 2009 - Zurich, Switzerland
Duration: Jun 29 2009Jul 3 2009

Publication series

NameLecture Notes in Business Information Processing
Volume33 LNBIP
ISSN (Print)1865-1348


Other47th International Conference - TOOLS EUROPE 2009


  • MOF metamodel
  • Membership equational logic
  • OCL invariants
  • Static and dynamic analysis of models

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Management Information Systems
  • Business and International Management
  • Information Systems
  • Modeling and Simulation
  • Information Systems and Management


Dive into the research topics of 'Algebraic semantics of ocl-constrained metamodel specifications'. Together they form a unique fingerprint.

Cite this