Visual OCL

TU-Berlin | Faculty IV | Institute ISTI | Research group TFS

A converter to OCL for the Eclipse VOCL-Editor

small logo
section: < previous | next >
| |
chapter: << previous | next >>

Introduction

The VOCL Editor enables us to create visual constraint diagrams more quickly than with general drawing tools due to the diagram parts templates and aiding dialogs for creating them provided by the editor.

But even with these features it may become difficult even for the Visual OCL apprentice used to OCL to determine if the resulting diagram represents the intended constraint.

For this reason, and to motivate the students to deal with the relations between OCL and Visual OCL, the task of implementing a converter for the Visual OCL diagrams created with the editor became part of the whole Visual OCL Editor project. So the editors that have arisen from this project contain natively a tool for translating the diagrams into the probably more common OCL.

The implementation of the converter was done in pure java in summer 2004 by group one and two and is described on the folowing pages.

In 2005 the transformation was realized by using the attributed graph transformation tool AGG in the following steps:

  1. XSLT (file format of the editor) ==> GXL (standard format for graph transformation systems)
  2. Import of GXL into the AGG engine
  3. Graph transformation into an OCL-string by AGG
  4. Import of the OCL-string into the editor

Therefore the transformation needs on the one hand more time, but on the other hand delivers a better possibility to analyse the correctness of this model transformation.


  section: < previous | next >
| |
chapter: << previous | next >>
©2005 TFS