1 / 9

Innovations in Model-Driven Engineering: AJAX and MDA Applications

This thesis explores advanced model-driven engineering techniques, focusing on AJAX and MDA applications. It covers practical development of web applications, including Sudoku using AJAX techniques with MDA. The research encompasses existing AJAX applications, innovative methods to regenerate Sudoku puzzles, and frameworks for online auction applications using OCL and AJAX. The study also investigates consistency management in modeling, implicit rule scheduling in graph transformation systems, and enhancements for modeling tools like AToM3. Each section analyzes the application of consistency classifications and tool integration in developing efficient engineering practices.

loren
Download Presentation

Innovations in Model-Driven Engineering: AJAX and MDA Applications

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. FOTS Stages/Thesissen • MDA • Application-Oriented • Classification (conceptual/theoretical) • Tool-Oriented • Verification • AOP

  2. AJAX/MDA Application projects • Nieuwe paradigma's: MDA, AJAX • Praktisch: Ontwikkelen van webapplicaties Ontwikkel Sudoku met AJAX dmv MDA • Bestaande AJAX applicatie voor Sudoku • Hergenereer Sudoku met MDA technieken • Nieuwigheid: AJAX binnen MDA kaderen Online veilingapplicatie met OCL en AJAX • Constraint based programming • Front-end: AJAX constraints (bvb verkeerd paswoord) • Back-end: OCL constraints (bvb ongeldig bod)  Olaf Muliawan (G028)

  3. Implementing consistency kinds on a modeling use case • Context: model-driven engineering • Consistency between models is described by different consistency classifications Example: syntactic consistency, evolution consistency, etc. • Goal: • Apply different classifications to common use case • Compare classifications • Research & implementation tasks • Thesis (or stage) Anne Keller (G028)

  4. Consistency Management Support for MagicDraw using MoTMoT • Context: model-driven engineering • Consistency between models is managed with the help of an inconsistency meta-model • Generate inconsistency information when consistency rule fails • Display information to the user • Goal: MagicDraw plug-in to instantiate and display the inconsistency meta-model • Thesis (or stage) Anne Keller (G028)

  5. Concurrent control structures in Graph Transformation systems • Graph Transformation: • Rule-based, graph as configuration • Control Structures • Conditional, loop, ... • No concurrency => Add it! • Concrete Tools • MoTMoT: Story Diagrams • AToM3: Dataflow diagrams instead of Activity diagrams  Hans Schippers & Pieter Van Gorp (G028)

  6. Implicit Rule Scheduling in Controlled Graph Transformation systems • Graph Transformation: • Rule Scheduling • Implicit (uncontrolled, priorities, layers, ...) • Explicit (loop, conditional, call, ...) • Today: • Implicit OR Explicit • After Thesis • Integrate both in one language • Concrete Tool • MoTMoT, Fujaba: Story Diagrams • AGG, AToM3: examples of implicit rule scheduling  Pieter Van Gorp (G028)

  7. Improving AToM3 • (Meta-)modeling tool • Graph Transformation • THESIS: Reverse Engineering & Debugging • Improve the tool, be a hero! • Access to original developers in McGill (Canada) • THESIS: Controlled Graph Transformation • Introduce control flow for graph transformation rules Hans Schippers (G028)

  8. Application of SPIN and/or Alloy to transformation models. • MoTMoT: complex transformation models • Verification? • Model Checking • Generate valid models automatically • Languages/Tools • Alloy • SPIN/Promela Dirk Janssens

  9. Aspect-Oriented Virtual Machine • Aspect-Oriented Programming (AOP) • Modularizing Crosscutting Concerns • Weaving => Deserves VM Support => DelAOP • THESIS: Thread-Local Aspect Deployment • Multi-threading! • THESIS: Performance • Caching, Garbage Collection • THESIS: Implement new languages • CaesarJ, ObjectTeams, pj, ...  Hans Schippers (G028)

More Related