Examples
Languages
| Name | Description | Preview |
| FSM | This example contains the complete definition of a Finite State Machine language |  |
| SBP | This example contains the definition of a Structure Business Process language (a kind of Control Flow Diagram) |  |
| Turing Machine | This example contains the complete definition of a turing machine language |  |
| PetriNet | This example contains the complete definition of a PetriNet language |  |
Exogenous Transformations
| Name | Description | Preview |
| CD2RDBMS | This example contains the definition of two languages : Class Diagram (CD) and Relational Database Management System (RDBMS). It also feature a transformation from CD to RDBMS. |  |
| SBP2Pnet | This example contains the definition of two languages : Structured Business Process (SBP) and PetriNet (Pnet). It also feature a transformation from SBP to its semantically equivalent Pnet. |  |
Endogenous Transformations
| Name | Description | Preview |
| Repotting Geraniums | An implementation of the "repotting the geraniums case study" introduced by Arend Rensink and Jan-Hendrik Kuperus in this paper |  |
| Class Diagram Refinements | The implementation of a class diagram refinement consisting of replacing association classes by regular classes and by removing the abstract modifier of non-inherited abstract classes. |  |
| Kleppe's OO language semantics | The implementation of the semantics of the object oriented language Kleppe introduce in her book, software language engineering in chapter 9. |  |