Withdraw
Loading…
Algebraic Semantics of OCL-constrained Metamodel Specifications
Boronat, Artur; Meseguer, José
Content Files

Loading…
Download Files
Loading…
Download Counts (All Files)
Loading…
Edit File
Loading…
Permalink
https://hdl.handle.net/2142/10952
Description
- Title
- Algebraic Semantics of OCL-constrained Metamodel Specifications
- Author(s)
- Boronat, Artur
- Meseguer, José
- Issue Date
- 2008-08
- Keyword(s)
- Computer Science
- Date of Ingest
- 2009-04-17T15:51:08Z
- 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/10952
Owning Collections
Manage Files
Loading…
Edit Collection Membership
Loading…
Edit Metadata
Loading…
Edit Properties
Loading…
Embargoes
Loading…