 Imported metamodel of MATLAB/Simulink in MOFLON |  Design guideline as OCL 2.0 constraint in MOFLON | Repair action as example of a graph transformation rule |
Schema for the specification of TGG rules | Example of a declarative TGG rule | Example of an operational integration rule |
Specification of the STaX Editor | Consistency rule for all included header files | Example for a temporal graph query |