Resources

This page offers secondary information for the paper 'MDA-based Re-Engineering with Object-Z'.

The Ecore/EMF to Object-Z/PDF transformation
Consists of ...
- An Ecore/EMF to Object-Z/EMF Tefkat Tefkat transformation based on
  - The Ecore/EMF Metamodel (implicit)
  - The Object-Z/EMF Metamodel (.ecore) (.pdf)
  - The Ecore to Object-Z Tefkat transformation program (.qvt)
- Followed by an Object-Z/EMF to Object-Z/PDF transformation
  - Two Example files for this Transformation:
    - SIFA
    - A Firewall metamodel
The Example used in the paper:
- Input: Sifa as Instance of Ecore/EMF (Use this to try Ecore/EMF-based services)
- Output: Sifa as an Instance of Object-Z/Latex
Additional material
- CZT Project
- Slides and Graphics used in the paper (pdf) (ppt)