1. 1 FOTS Stages/Thesissen MDA -Application-Oriented -Classification (conceptual/theoretical) -Tool-Oriented -Verification AOP

2. 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. 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. 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. 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 AToM 3 : Dataflow diagrams instead of Activity diagrams  Hans Schippers & Pieter Van Gorp (G028)

6. 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, AToM 3 : examples of implicit rule scheduling  Pieter Van Gorp (G028)

7. 7 Improving AToM 3 (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. 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. 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)