setup of translation page UML -> Common Logic

[tillmo]

please set up a web page (e.g. using a simple PHP script or whatever) that read in an xmi file (containing some UML class diagram) and calls hets (branch UML) to translate it to Common Logic, and outputs the translation.

[tillmo]

A test file can be obtained at http://develop.ontohub.org/uml/simplelibrary.xmi
Hets needs to be called this way:

hets -v2 -t UML2CommonLogic -o clif simplelibrary.xmi 
### Warning: set HETS_MAGIC to a proper magic file
Reading file simplelibrary.xmi
Analyzing library simplelibrary
logic UML
Analyzing spec <simplelibrary?simplelibrary>
### Warning:
signature difference could not be computed using full one
Translated using comorphism UML2CommonLogic : UML -> CommonLogic
Writing file: ./simplelibrary_simplelibrary.clif

The last line of the output indicates where the translation to CLIF is stored. This file should be displayed.
The Hets version to be used is that of the UML branch, here is a binary for 64bit Linux: http://iws.cs.uni-magdeburg.de/~mossakow/hets