Algebraic semantics of ocl-constrained metamodel specifications

Artur Boronat, José Meseguer

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

Abstract

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
PublisherSpringer-Verlag
Pages96-115
Number of pages20
ISBN (Print)9783642025709
DOIs
StatePublished - Jan 1 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

Other

Other47th International Conference - TOOLS EUROPE 2009
CountrySwitzerland
CityZurich
Period6/29/097/3/09

    Fingerprint

Keywords

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

ASJC Scopus subject areas

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

Cite this

Boronat, A., & Meseguer, J. (2009). Algebraic semantics of ocl-constrained metamodel specifications. In Objects, Components, Models and Patterns - 47th International Conference, TOOLS EUROPE 2009, Proceedings (pp. 96-115). (Lecture Notes in Business Information Processing; Vol. 33 LNBIP). Springer-Verlag. https://doi.org/10.1007/978-3-642-02571-6_7