This page allows you to execute a model transformations on Object-Z files encoded according to Soon-Kyeong Kim's metamodel, available at http://itee.uq.edu.au/~mdavv/oz/1.0.1/oz.ecore. Serialisation is in EMF XMI 2.0. After specifying the necessary input, the service will return a zip archive file, which contains the result as a TeX file, the associated Object-Z style file and the compiled pdf .
Please be aware that this service is an α-Quality implementation. Error handling at the current time is limited. Expect problems, exceptions and-hang ups.
By pressing the submit button below, the transformation is executed. It will return a zip archive file, which contains the result as a TeX file (result.tex), the associated Object-Z style file (oz.sty) and the compiled pdf (result.pdf) of the service execution. The reaction of your browser depends on the behaviour specified for handling the Mime-type "application/zip". Here are a few browser behaviour specifications: Firefox, Internet Explorer, Konqueror, Opera.