SDF to Sense

Bx Examples Repository

Title: SDFToSense

Version: 0.1

Type: Sketch

Overview

This is another example of a tree to model bx transformation, which can be used to establish an incremental import and export for a textual or XML-based format.

Models

The diagram below depicts a concrete example of an XML file (above) and the corresponding "Sense" model below.
Sense models consist essentially of Actors connected by Channels. There are also certain Capabilities and ProcessorTypes of the model, where Capabilities can be performed by Actors and are connected to ProcessorTypes.

To store such a model in an XML file (which is a tree without any linking conventions), (1) some form of referencing (via certain attributes that are unique in a certain scope) must be used, and (2) types have to be encoded using names and attributes.
This is all captured by the bx transformation, which should be able to propagate changes (import/export) incrementally.

sdf2sense.pdf

Consistency

Consistency Restoration

Properties [optional section]

Variants [optional section]

Discussion

This example was posed as a challenge by Arend Rensink at a bx seminar in Banf Canada 2013.
On one of the evenings we got together and sketched the required TGG rules for the transformation, which I later on implemented (digitalized) with eMoflon (cf. provided implementation in the Artefacts section).

Arend also has a forward and backward implementation in Epsilon, so this might be interesting for a comparison of some sorts one day.

References [optional section]

Author(s)

Anthony Anjorin, Arend Rensink

Reviewer(s)

Comments

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:

Unless otherwise stated, the content of this page is licensed under GNU Free Documentation License.