1.Software Introduction

The aim of this project is to solve this problem by proposing a linguistic framework for bidirectional model transformations. The framework includes (1) a new model transformation language with clear bidirectional semantics, being equipped with a powerful bidirectionality inference mechanism and a virtual machine on which bidirectional model transformation can be efficiently realized; (2) an environment for supporting programming, debugging and maintaining bidirectional model transformations; and (3) a set of application examples and domain-specific libraries that can be used in practice.

Click the icons button under the following map to link to display the corresponding details.

2.Operation Process Overview

The following is the software for the operational use pictures to indicate flow.


2-1: Right transformations and operational processes (the initial state, edit and Right transformation)

step2-1-1:Open a uncal file ,click uopen button


step2-1-2:Select a uncal file.


The result of step2-1-1 and step2-1-2


step2-1-3:Open a unql file ,click uopen button.


step2-1-4:Select a unql file.


step2-1-5:Click submit button,and show a new image in the right result panel.then select "d" label in left panel, Click "Edit Label".

right trans

step2-1-6:modify label name (such as "d" to "ww").


step2-1-7:Click submit button,and show a new image in the right result panel.


2-2:Left transformations and operational processes (edit and Left transformation)

step2-2-1:select "b" label in right panel, Click "Edit Label".


step2-2-2:modify label name (such as "b" to "x").


step2-2-3:Click submit-left button,and show a new image in the left panel.


step2-2-4:Hold down the Shift key, click the left mouse button to add a node(n6) in right panel,then once again hold down the Shift key, and draw an arrow line from N1 to N6.


step2-2-5:select " " label which from n1028 to n6 and click "Edit Label" to add label name("q"), then Click reLayout button.


step2-2-6:Click submit-left button.


2-3: Trancing function display map.

2-3-1: Occasions of select all the elements in left panel.

2-3-2: Occasions of hold down the Ctrl key, select nodes and edges in left panel.

Occasions of hold down the Alt key, select nodes and edges in right panel.

2-4: When right-click in panel, display menu options are described below.

PrintPrint select image.

Clear SelectionCancel the selection area.

Select Siblings in Subgraph:Select the all element in the case of selecting one of the sub element,such as one nodes etc.

Perform Deletion:Delete select element.

Edit Label:Edit select label.

Zoom In:Change to enlarge the selected pictures.

Zoom OutChange to narrow the selected pictures.

Reset ZoomTo restore the picture to the original size.

Scale to FitCenter show the selected pictures

step2-5:Undo undo and Redo undo button.

Select nodes or edages in graph,

Then click the (delete) button.

Click the undo button to cancel the deletion.

Click the redo buttonto resume the deletion.

Setp2-6 Group nodes.
Click the node grouping button.

Select elements in group by click the boundary of group.

Click the node grouping button again to cancel the grouping mode.

Step2-7 Search edges.
Input  keywordes into keyword area,then click the search button. The retrieved edges will be displayed in green.

Clear the keyword area and click the search button to clear the retrieved edges.

Step2-8 Insert nodes continuity.
Click the "Insert Node" button to start the node insertion mode, then click panel to insert nodes continuity(Such as n6,n7).

Click the "Insert Node" button to cancel node insertion mode.

Setp2-9 Insert edges continuity.
Click the "Insert Edge" button to start the edge insertion mode,then drag between 2 node to creat edge contintity.

Click the "Insert Edge" button to cancel edge insertion mode.

Step2-10 Lasso selection of elements.
Click the "Lasso Selection" button to start Lasso-Selection mode.Click in the panel to specify vertices of Lasso-Selection area.

Right click mouse to close the Lasso-Selection area.

Step2-11 Select nodes below.
Select a node in graph.

Click "Select Nodes Below" button .

Step2-12 Enumeration insertion.
Select a node in the result graph.

Click the "Enumeration Insertion" button  to start enumertion.

Click the "Next" button   and "Previous" button  to show anothor selection.

Click the "OK" button  to confirm the enumeration selection.

Step2-13 Validating input data.
Open the schema file in input tab.

Click the validation button  in the input data tab.The check result will be shown in message box.

Step2-14 Validating output data.
Click forward tranformation button  to cerate the output graph.

Open the output schema file.

Click the Validation button  in output tab.The valitation result will be shown in message box.

3.Description of a single button

Open a file.

saveSave a file.

Save as a file.

reLayout(Layout):Re-display layout the image.

submit(Fwd trans):According to the left of the image in source DB panel, and the contents in query panel ,output a new image in the right panel.

help:Pop-up Help window.

exp:To make sure the left/right side of the pane to maximize in left/right side.

submit-left(Bwd trans):According to the right of the image in output panel,and the left of the image in source DB panel,output a new image in the left panel.

perviousShow previous image.

nextShow next image.

okSelect the current image.

left:To make sure the right side of the pane to maximize.

mid:To make sure the pane is divided into left pane and right pane.

right:To make sure the left side of the pane to maximize.

: Group nodes.

:Search edges.

:Undo of Insertion/Deletion/Edition.

:Redo of Insertion/Deletion/Edition.

:Deletion of nodes and edges.

:Insert nodes continuity.

:Insert edges continuity.

:Lasso selection.

:Select by Dragging

:Select nodes below.

:Scroll by dragging.

:Enumeration insertion.

:Clear result.

:Edit config.

:3-Panel mode switching.

:Show version information.

:Validating graph.

:Zoom out.

:Zoom in.

:Zoom into.

:Scale to fit.