Generating JMI model transformation code from UML profile models for SDM Aligning Graph Rewriting with MDA-light

Transcription

1 Segravis School on Foundations of Visual Modelling Techniques, May 2004, Schloss Dagstuhl Generating JMI model transformation code from UML profile models for SDM Aligning Graph Rewriting with MDA-light Pieter Van Gorp Hans Schippers Formal Techniques in Software Engineering

2 2/24 Overview 1. Demo 1: Fujaba Refactoring Cycle Refactoring Implementation Pull Up Method 2. Problem: Tool Lock-In 3. Solution: (Reflective) MDA Light 4. Demo 2: Integrated Tool Context Pull Up Method Refactoring Pull Up Method

3 3/24 Fujaba Refactoring Cycle 3 Execute Refactoring Import Java Sources (by directory) 2 Rearrange diagrams 4 regenerate 1 parse Old Sources New Sources

4 4/24 Refactoring: Structural Design Fujaba s Metamodel Example Refactoring Classes

5 5/24 Refactoring Behavior: SDM Model Transformation as Graph Transformation 1. Bind method > (Hidden) Cast target 2. Bind container > Link Navigation 3. Bind stub > Link Navigation 4. Bind superclass > Link Navigation 5. Remove method from container 6. Add method to superclass

6 6/24 Constraint Checking: SDM [p1.getindex()] [ failure]

7 7/24 Overview 1. Demo 1: Fujaba Refactoring Cycle Refactoring Implementation Pull Up Method 2. Problem: Tool Lock-In 3. Solution: (Reflective) MDA Light 4. Demo 2: Integrated Tool Context Pull Up Method Refactoring Pull Up Method

8 8/24 Problem: Vendor Lock-In 1. SDM could only be drawn in Fujaba Industry Requires Commercial Support 2. Fujaba code generator assumes target repository complies to Fujaba API. XMI + JMI + EMF + desirable

9 9/24 Solution: Reflective MDA Light 1. SDM could only be drawn in Fujaba Solution: UML Profile for SDM 2. Fujaba code generator assumes target repository complies to Fujaba API. Solution: Pluggable Code Templates Bézivin, J., Farcet, N., Jézéquel, J.-M., Langlois, B., Pollet, D. Reflective Model Driven Engineering. UML 2003, October, 2003

10 Reflective Architecture 10/24

11 Reflective Architecture (cont.) 11/24

12 12/24 Example Fujaba vs JMI Specific Code JMI: // delete link method.setowner(null) // create link method.setowner(superclass);

13 13/24 Overview 1. Demo 1: Fujaba Refactoring Cycle Refactoring Implementation Pull Up Method 2. Problem: Tool Lock-In 3. Solution: (Reflective) MDA Light 4. Demo 2: Integrated Tool Context Pull Up Method Refactoring Pull Up Method

14 14/24 Integrated Tool Context NetBeans MDR Poseidon (or ): Transformation Specifications SDM as UML 1.4 Profile XMI MM as Class Diagram Poseidon embedded MDR Application Models JMI Manipulation + Poseidon Plugin Code

15 15/24 MM Class Diagram in Poseidon Metamodel Class Diagram

16 16/24 Transformation Component SDM GT GT Specifications Stereotypes as flags

17 17/24 High Level SDM Control Flow

18 Code Activity (demo purpose only) 18/24

19 19/24 Loop Activity (again with stereotype) Use tagged value as reference

20 20/24 Create Links Path Navigation Remove Links

21 Attribute Assignments (demo purpose only) 21/24

22 22/24 Compiler Results JMI Repository Manipulation Code View Updating through small hack Poseidon Plugin Extra menu item for launching transformation

23 23/24 Conclusions (1/2) 1. Now transformation writers can Create visual model transformations in Magicdraw, Together, Objecteering, Poseidon, Execute them on JMI repositories (opt: CASE tool plugins) 2. Now, Fujaba can be migrated to MDR 3. Now, other CASE tool vendors can Provide a plugin for enhanced visualization (cfr. nesting)

24 24/24 Conclusions (2/2) Lessons Learned MDA Light UML Profiles: adequate if MM close to UML Code Templates: reuse problems Graph Rewriting Convenient for specifying Refactorings Future Work EMF support if necessary, solve reuse problems with stepwise refinement Model Refinement & Weaving Case Studies Compare to (and align with) ATL Publications Pieter Van Gorp, Niels Van Eetvelde, and Dirk Janssens. Implementing Refactorings as Graph Rewrite Rules on a Platform Independent Metamode. In Proceedings of the 1st International Fujaba Days. University of Kassel, Germany October 13-14, Hans Schippers. JMI Conforme Model Transformator Generator (JCMTG). Master Thesis, University of Antwerp, Upcoming Paper...