1. Automata Editor Tool with GEF and EMF
Isaji, Hideyo
CS491ab Software Engeneering
Spring 2008

2. Overview Introduction Technical Background Design and Implementation
GEF (Demo)
EMF (Demo)
Using GEF with EMF (Demo)
Testing Automaton
Conclusion

3. Introduction Automata Editor Tool One of Eclipse Plug-In projects
Created by GEF and EMF frameworks
Create and edit Automata diagram graphically
Test the Automaton
either accepts or rejects

4. Design and Implementation
Edit models
Add, delete, undo/redo and move models
Flexible Connection
Bending Point
Edit name and Save
Edit name of models from property sheet
Save the diagram as a file
Testing
Whether the diagram accepts or rejects the input

5. Technical Background Eclipse Plug-Ins
Launch runtime workbench with Automata editor tool
GEF (Graphical Editing Framework)
Drawing and editing Automata diagram
EMF (Eclipse Modeling Framework)
Edit names of States and Transitions
Save Diagram as a XML file
Testing the Automaton

6. GEF (Graphical Editing Framework)
GEF ships with Draw2D
Draw2D: painting and layout
MVC (Model-View-Controller) Architecture
Model: any data that gets persisted
View: anything visible to user
Controller (EditPart):
connection between model and view
Editing models
EditPolicy and Command class

7. EMF (Eclipse Modeling Framework)
Modeling framework and code generation facility
build tools and other applications based on a structured data model.

8. Using GEF with EMF What we need to do What we can do
Import EMF models as GEF models
Get every information of models from EMF model class
Launch EMF editor and show with GEF editor
What we can do
Show and edit EMF models graphically
Get the information of Target and Source States, and Transitions
Testing Automaton

9. Testing Automaton Copy the XML file that is created by the diagram
Put the file into testing project folder
Define the argument

10. Conclusion and Future Work
Realization of greater project will become possible with GEF and EMF
Eclipse Plug-In projects have infinite possibility by combining different plug-ins together
Make it work with NFA Automata diagram
Consider how we can make it simple when we test the Automaton