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 >>

Further features

If our converter is given a diagram that it cannot transform due to for example type incompatibilities or ambiguous start classifier roles it will compose and return an error message instead of the result of the “convert2OclString()” method. This message reports the container in which the converter has failed and the reason for that. If the converter has further useful information like the clashing type or classifier names it will insert this in the message. So the part of the diagram causing the error should easily be found. Unfortunately the converter has not been translated into English yet.

The OCL meta-model is not capable of storing an alternative start classifier role name in the context even though OCL offers this feature. To repair this deficit a constraint with the variable “p” in the context like “context p:Person inv…” will be transformed to a constraint with the variable “self” by replacing all occurrences of “p” by “self”. In this case, the result looks like “context Person inv…” with every occurrence of “p” changed to “self”.


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