An algebraic specification of generic OCL queries within the eclipse modeling framework

Authors:
Artur Boronat;Joaquín Oriente;Abel Gómez;Isidro Ramos;José Á. Carsí
Affiliations:
Department of Information Systems and Computation, Technical University of Valencia, Valencia, Spain;Department of Information Systems and Computation, Technical University of Valencia, Valencia, Spain;Department of Information Systems and Computation, Technical University of Valencia, Valencia, Spain;Department of Information Systems and Computation, Technical University of Valencia, Valencia, Spain;Department of Information Systems and Computation, Technical University of Valencia, Valencia, Spain
Venue:
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Year:
2006

Citing 11
Cited 3

Model-Integrated Computing

Computer
Rewriting logic: roadmap and bibliography

Theoretical Computer Science - Rewriting logic and its applications
Maude: specification and programming in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
The KeY System: Integrating Object-Oriented Design and Formal Methods

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
MDA Explained: The Model Driven Architecture: Practice and Promise

MDA Explained: The Model Driven Architecture: Practice and Promise
The Object Constraint Language: Getting Your Models Ready for MDA

The Object Constraint Language: Getting Your Models Ready for MDA
Eclipse Modeling Framework

Eclipse Modeling Framework
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools

Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Associative-commutative rewriting on large terms

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Automatic support for traceability in a generic model management framework

ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Algebraic specification of a model transformation engine

FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering

Formal Model Merging Applied to Class Diagram Integration

Electronic Notes in Theoretical Computer Science (ENTCS)
Snapshot Generation in a Constructive Object-Oriented Modeling Language

Logic-Based Program Synthesis and Transformation
An algebraic semantics for MOF

FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the Model-Driven Architecture initiative, software artefacts are represented by means of models that can be manipulated. Such manipulations can be performed by means of transformations and queries. The standard Query/Views/Transformations and the standard language OCL are becoming suitable languages for these purposes. This paper presents an algebraic specification of the operational semantics of part of the OCL 2.0 standard, focusing on queries. This algebraic specification of OCL can be used within the Eclipse Modeling Framework to represent models in an algebraic setting and to perform queries or transformations over software artefacts that can be represented as models: model instances, models, metamodels, etc. In addition, a prototype for executing such OCL queries and invariants over EMF models is presented. This prototype provides a compiler of the OCL standard language that targets an algebraic specification of OCL, which runs on the term rewriting system Maude.