Barak Agiv Itamar Ben-Zaken Barak Nahum Vladislav Smolensky Academic Advisor: Yuval Elovici Professional Advisor: Mira Balaban

 Global Architecture  Brief Overview of the System Requirements  Model Querying Framework – Architecture and User Interface  Pattern Matching Framework – Architecture and User Interface  Task List

Refactoring Tools Eclipse Class-Diagram Editor Wizards Framework Templates Framework Model Querying Framework GenSets Analysis Pattern Matching Framework

 Wizards Framework ◦ Exposing an API for manipulating the model ◦ Enable extending the class-diagram editor with new tools  Refactoring Tools ◦ Providing a wide set of tools to carry out refactoring tasks  GenSets Analysis ◦ Suggesting optimal implementation of generalization sets constraints

 Pattern Matching Framework ◦ Finding patterns in a class-diagram that indicate design problems  Model Querying Framework ◦ Filtering and sorting of class-diagram elements  Templates Framework ◦ Providing design templates

Engine UMLElementSelection ViewPart Class- Diagram Repository FiltersSorters

The Chosen Filter The Chosen Sorter

Labeled Graph Schema Matcher Pattern Matcher Result Class- Diagram Class- Diagram converter Pattern Verification Code Structure Schema Pattern Matching Framework

… with constraints on the edges A structure schema is basically a graph… Verification code

Detailed message in the Problems View Markers in the editor X X

 Model Querying Framework10.5 days ◦ Filter Classes2 days ◦ Sorter Classes2 days ◦ Model Query View 5 days ◦ Creating Extension Point0.5 days  Pattern Matching Framework13 days ◦ Core classes3 days ◦ Class-Diagram Converter2 days ◦ Schema- and Pattern-Matcher3 days ◦ UI – Editor and Integration5 days  Templates Framework8 days  Gensets AnalysisDone!  Wizards Framework Done!