1 / 8

Model Driven Integrated Development Environment

Model Driven Integrated Development Environment. Barak Agiv Itamar Ben-Zaken Vladislav Smolensky. Academic Advisor: Yuval Elovici Professional Advisor: Mira Balaban. Today there are no tools that help in writing correct models Most of them are visualization tools (e.g. Visual Paradigm)

dandre
Download Presentation

Model Driven Integrated Development Environment

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Model Driven Integrated Development Environment Barak Agiv Itamar Ben-Zaken Vladislav Smolensky Academic Advisor: Yuval Elovici Professional Advisor: Mira Balaban

  2. Today there are no tools that help in writing correct models • Most of them are visualization tools (e.g. Visual Paradigm) • They do not try to analyze the model semantically • One can create an inconsistent/redundant/infinite models using them The Problems

  3. The Problems (Cont.) • The same problem existed in the code world - one can: • use an uninitialized variable • leave a variable/method unused • render code unreachable • Most of today’s IDEs support detection of these problems using static analysis tools

  4. Static Modeling Tools: • Visual Paradigm • Eclipse (UML2 Tools) • USE (a tool that provides evaluation of object diagram given a class diagram and OCL) • Allows: • designing and visualizing a UML model • validating instances of the model using OCL • Generating code from UML (and vice versa) •  but not analysis and reasoning about the model Existing Modeling Tools

  5. Recognition of finite satisfiability problems in UML class diagram and detection of the constraints that cause them • • Suggesting implementation ways for a given Class Diagram • • Identifying inconsistency patterns - contradictory generalization set constraints. for instance: diamond class hierarchy Project Requirements

  6. Project Requirements (Cont.) • Ability to add new model based algorithms easily, schedule them and support their different outputs (e.g. generated report, markers on model elements) • Identifying an opportunity to use a known Design Pattern • Suggesting known refactoring when appropriate • Transforming a Class Diagram into a State Machine when possible

  7. Solution Abstract Framework Framework The Eclipse Modeling Framework (EMF) project is a modeling framework for building tools and other applications based on a structured data model.

  8. Solution Abstract (Cont.) •  We will develop an Eclipse plug-in which: • provides a framework for running model tools • provides a set of: static analysis tools, refactoring tools, validation and reasoning algorithms • integrates the tools with the IDE 

More Related