An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework

Boronat, Artur; Oriente, Joaquín; Gómez, Abel; Ramos, Isidro; Carsí, José A.

doi:10.1007/11787044_24

Cited by 7 publications

(13 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this section, we introduce the algebraic, executable specification of OCL available in MOMENT2, which is based on [8,3]. OCL permits defining expressions that are useful to perform queries upon models M that conform to a given metamodel M .…”

Section: Algebraic Semantics Of Ocl Expressionsmentioning

confidence: 99%

“…We build on previous experience on encoding OCL expressions as equationallydefined functions [8]. The main new contributions of this work are: (i) the notion of metamodel specification as a pair (M , C ), where M is a MOF metamodel and C is a set of OCL constraints that are meaningful for M ; (ii) algebraic semantics for metamodel specifications, so that the structural conformance relation is enriched with the satisfaction of OCL constraints and characterized by equational axioms; (iii) the use of OCL expressions for dynamic analysis using Maude-based verification techniques [9]; and (iv) the implementation of these new concepts in the MOMENT2 framework by enabling the validation of OCL constraints over models in the Eclipse Modeling Framework (EMF) [10].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Algebraic Semantics of OCL-Constrained Metamodel Specifications

Boronat

Meseguer

2009

Objects, Components, Models and Patterns

Self Cite

View full text Add to dashboard Cite

Abstract. In the definition of domain-specific languages a MOF metamodel is used to define the main types of its abstract syntax, and OCL invariants are used to add 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.

show abstract

Section: Algebraic Semantics Of Ocl Expressionsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Algebraic Semantics of OCL-Constrained Metamodel Specifications

Boronat

Meseguer

2009

Objects, Components, Models and Patterns

Self Cite

View full text Add to dashboard Cite

show abstract

“…The formal definition of the reflect function, based on the getExpTheory and getExpTerm functions, which has been provided in this Section, is based on the experience with a previous prototype that provides OCL constraint validation by using Maude as a functional programming language [11]. The mathematical definition of the reflect function permits using the MOF reflection mechanism for theoretical purposes.…”

Section: Cqmentioning

confidence: 99%

“…• (10): Maude applies the ModelGen operator through its equational deduction mechanism, obtaining a term of the RDBMS theory (11). Thus, Maude constitutes the runtime engine for the MOMENT transformation mechanism.…”

Section: Overview Of a Model Transformation In Moment-qvtmentioning

confidence: 99%

“…In future work, we will consider the complete definition of the reflect function, providing support for the constrained conformance relation. This function has been mathematically defined in this work based on the experience in a previous prototype for OCL constraint validation [11]. However, the support for OCL expressions is already available in the algebraic framework, although the concrete syntax for the OCL language is still not supported.…”

Section: Future Workmentioning

confidence: 99%

See 1 more Smart Citation

A formal framework for model management

Moll¹

View full text Add to dashboard Cite

An Algebraic Semantics for MOF

Boronat

Meseguer

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

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.

show abstract

An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework

Cited by 7 publications

References 7 publications

Algebraic Semantics of OCL-Constrained Metamodel Specifications

Algebraic Semantics of OCL-Constrained Metamodel Specifications

A formal framework for model management

An Algebraic Semantics for MOF

Contact Info

Product

Resources

About