MINOR THESIS
Design and Prototypical Implementation of a Pivot Model
as Exchange Format for Models and Metamodels
in a QVT/OCL Development Environment
Chair for Software Technology
Student: 
Matthias Bräuer
Supervisor: Dr.-Ing. Birgit Demuth
Professor: Prof. Dr. rer. nat. habil. Uwe Aßmann
TASK DESCRIPTION
During the last years, the importance of domain-specific languages (DSL), which build on a
simple meta-metamodel such as EMOF or EMF Ecore, has strongly increased. This development
poses new challenges for the use of OCL as constraint and query language, because a standardized
metamodel, such as the one of the UML, can no longer be assumed. In addition to that, OCL
has become part of the model transformation language QVT (Query/View/Transformation)
which also can be applied to different metamodels. An idea for managing the complexity is
the design of a so-called Pivot Model as an exchange format for models and metamodels in
an OCL/QVT development environment. Furthermore, a mechanism is required that either
statically or dynamically describes respectively realizes the mapping between the Pivot Model
and the metamodels to be supported.
The goal of the work is therefore the design of an adequate Pivot Model as well as a proposal
for realizing the pivot principle including prototypical investigations. The pivot principle should
facilitate the integration and reuse of components of the Dresden OCL Toolkit in a future
OCL/QVT development environment.
To this end, the following partial tasks are to be solved:
- Study of current and relevant research
literature
- Analysis of metamodel relationships
between UML/MOF and OCL
- Requirements analysis regarding the
future integration of the Dresden OCL Toolkit into the OCL/QVT
development environment
- Design of the Pivot Model
- Research into concepts for realizing the
pivot mechanism (e.g., composition technologies, “model weaving”,
package merge in UML 2.0, model transformations)
- Experiments to prototypically implement the proposed mechanism (preferably within the
bounds of the Eclipse Modeling Framework (EMF))
RESULT
The document with the complete thesis is available in two versions. In the print version, hyperlinks are not marked
with a blue text color to improve legibility in a print-out.
PRESENTATIONS
Following are the two presentations I have given in the course of this project:
- Progress Report:
PDF
- Final Presentation:
PDF
SCREENCASTS
The next couple of links lead to the Flash screencasts shown during my final presentation.
They highlight some aspects of the practical results of my work:
CODE
The sources for the plug-ins developed in this project are part of the
Dresden OCL2 Toolkit and are released in the SVN of the Dresden OCL2 Toolkit.
|
