Process DSL

Bx Examples Repository

Title: ProcessDSL

Version: 0.1

Type: Sketch


This example is a simple tree (XML) to typed graph transformation.
The challenges here include (1) going from implicit references (via naming conventions, IDs, etc. in the tree) to explicit links in the target model, and (2) inducing explicit types in the target model from the generic tree structure (labelled nodes with children).


As depicted in the diagram below, source models represent (build) processes expressed in a declarative language (similar to make or ANT) consisting of Tasks and their requirements (as invoked Tasks). As an additional language feature, Tasks are grouped into Modules (an XML files is a module), and Tasks from a different Module can only be invoked if the module has been imported.

Target models represent the exact same information but with explicit links and types for the concepts in the language (showing the graph structure and interconnectivity clearly).



Consistency Restoration

Properties [optional section]

Variants [optional section]


References [optional section]

This example was used in the practical session (organized and held by Andy Schürr and his research group) of the Modelling Wizards summer school 2012 [1]


Anthony Anjorin



Artefacts [optional section]

A virtual machine hosted on Share is available with a workspace containing both (Ecore) metamodels, the concrete example used above, and a TGG formalizing the consistency relation as a set of rules:

1. Ileana Ober. 2012. Modeling Wizards 2012 2nd International Master Class on Model-Driven Engineering. In Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards (MW '12). ACM, New York, NY, USA, , Article 1 , 2 pages. DOI=10.1145/2448076.2448077
Unless otherwise stated, the content of this page is licensed under GNU Free Documentation License.