Algebraic Semantics of OCL-constrained Metamodel Specifications

Boronat, Artur; Meseguer, José

Permalink

https://hdl.handle.net/2142/11483 Copy

Description

Title

Algebraic Semantics of OCL-constrained Metamodel Specifications

Author(s)

• Boronat, Artur
• Meseguer, José

Issue Date

2008-08

Keyword(s)

numerical analysis

Abstract

In the denition of domain-specic languages a MOF metamodel is used to dene the main types of its abstract syntax, and OCL invariants are used to add semantic constraints. The semantics of a metamodel denition 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 dened in the MOF standard. In this work, the concept of OCL-constrained metamodel conformance is formally dened and used for dening style-preserving software architecture congurations. This concept is supported in MOMENT2, an algebraic framework for MOF metamodeling, where OCL constraints can be used for both static and dynamic analysis.

Type of Resource

text

Permalink

http://hdl.handle.net/2142/11483

Copyright and License Information

You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format, BUT this permission is only for a period of 45 (forty-five) days from the most recent time that you verified that this technical report is still available from the University of Illinois at Urbana-Champaign Computer Science Department under terms that include this permission. All other rights are reserved by the author(s).

Owning Collections