Download presentation
Presentation is loading. Please wait.
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
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.