textbe project and issues jgs. current pipeline implementation t2m parser generator kit (emftext)...

TextBe Project and Issues

JGS

Current Pipeline Implementation

T2M

•Parser Generator Kit (EMFText)

•EMF model of BT (‘.bt’)

M2M

•Atlas Transformation Language (ATL)

•EMF model of Graphviz (never stored)

M2T

•Java Emitter Templates 2 (JET2)

•Graphviz source code (‘.dot’)

T2G

•Graphviz Visualisation Compiler (dot)

•Standard Vector Graphics format (SVG)

G2G

•SVG Display Component (Apache Batik)

•Eclipse Standard Windowing Toolkit (SWT) embedded viewer

Challenges

T2M

•Parser Generator Kit (EMFText)

•EMF model of BT (‘.bt’)

M2M

•Atlas Transformation Language (ATL)

•EMF model of Graphviz (never stored)

M2T

•Java Emitter Templates 2 (JET2)

•Graphviz source code (‘.dot’)

T2G

•Graphviz Visualisation Compiler (dot)

•Standard Vector Graphics format (SVG)

G2G

•SVG Display Component (Apache Batik)

•Eclipse SWT embedded viewer

External Process

Bad Threading

Weak Metamodel

Other Issues

• Complex Installation• Difficult Manual Build

ProblemsIssue Consequence To Address…

Difficult to Install Hard to start using Installation Package

Difficult to Build Hard to start improving Build Process

Threading Unreliable Function Replace Batik

External Process Unreliable Function Replace Graphviz

Weak Metamodel Hard to integrate/reuse Replace Meta model

Batik / Graphviz

• Create .dot

Eclipse

• Convert to SVG

Graphviz • Pass to viewer

Eclipse

• Generate Image

Batik • Display Image

Eclipse

Revised Design

• BT• ModelT2M

• Model• DOTM2T

• DOT• ZestT2G

Current Pipeline Implementation

T2M

•Parser Generator Kit (EMFText)

•EMF model of BT (‘.bt’)

M2M

•Atlas Transformation Language (ATL)

•EMF model of Graphviz (never stored)

M2T

•Java Emitter Templates 2 (JET2)

•Graphviz source code (‘.dot’)

T2G

•Graphviz Visualisation Compiler (dot)

•Standard Vector Graphics format (SVG)

G2G

•SVG Display Component (Apache Batik)

•Eclipse Standard Windowing Toolkit (SWT) embedded viewer

Dot4zest … as it should be

HTML labels

HTML labels<?xml version="1.0" encoding="UTF-8"?><table border="0" cellborder="0" cellpadding="3" bgcolor="white">

<tr><td bgcolor="black" align="center" colspan="2">

<font color="white">State #1</font></td>

</tr><tr>

<td align="left" port="r3">&#40;3&#41; l -&gt; &bull;'*'r

</td></tr><tr>

<td align="left" port="r3">&#40;3&#41; l -&gt; '*' &bull;r

</td></tr><tr>

<td align="left" port="r4">&#40;4&#41; l -&gt; &bull;'n'

</td></tr><tr>

<td align="left" port="r5">&#40;5&#41; r -&gt; &bull;l

</td></tr>

</table>

Challenges

T2M

•Parser Generator Kit (EMFText)

•EMF model of BT (‘.bt’)

M2M

•Atlas Transformation Language (ATL)

•EMF model of Graphviz (never stored)

M2T

•Java Emitter Templates 2 (JET2)

•Graphviz source code (‘.dot’)

T2G

•Graphviz Visualisation Compiler (dot)

•Standard Vector Graphics format (SVG)

G2G

•SVG Display Component (Apache Batik)

•Eclipse SWT embedded viewer

External Process

Bad Threading

Batik Squiggle EmbeddedDescription ‘Eclipse SVG Plugin’:“The project goal is to develop an Eclipse plugin for the Apache SVG framework 'Batik'. The plugin adds editors, views and wizards to deal with scaleable vector graphics.”

SVG Browser does not work ID: 1187629 If I right-click on an SVG file within Eclipse, and choose "Open With > SVGBrowser", nothing visible happens in Eclipse. Running Eclipse from the command line, I see the following trace:

java.lang.Error atorg.apache.batik.util.ApplicationSecurityEnforcer.setDevBase(Unknown Source)

The Revised Design Strikes Back

• BT• ModelT2M

• Model• ZestM2T

Solution Components

• IFigureProvider– Interface defined by Zest (actually GEF)– Generates structured nodes

• Visitor– Generated by Ecore by default– Follows the containment structure,

unless advised to to do things differently

Custom Figure for BT

Revised Model

So,this is better?

BT Semantic MysteriesItem Issue

Relations What are they?

What is their structure?

What are their arguments?The source code has some sort of path notation,but the documentation does not define it.

Component Sets

What are they?

What legal behaviors can they exhibit? (Type?)

NOPs Is there such a thing as a ‘non-behaviour’?(The example source code has it!)

Variable Binding

Is there such a thing as a “Behavior Match”(The example source code has it!)

Linked Projects• Semantic Checker

– Written in C++ (Version??? Interface???)– Semantic Check through Graph Grammar Reduction– Recommendation: Re-implement using VIATRA

• Animator– Script-based decoration of dot file with colors– Limitations: No semantic checks, disconnected from model– Recommendation: Implement a BT VM using an execution instance model.– Then add painter to new GEF visualizer

• Visual Debugger– Hooks are added to SVG via Java-Script injection– Limitations: Brittle, potentially not portable, security issues– Recommendation: Implement as hooks into GEF visualizer or using Eclipse debugger

infrastructure.