1. Pieter Van Gorp, Olaf Muliawan, Hans Schippers MoTMoT.sourceforge.net

2. Presentation Roadmap Part 1: MoTMoT as a general purpose model transformation tool Part 2: MoTMoT and Traceability

3. Part 1: UML2CSP “Executing a Platform Independent Model of the UML-to-CSP Transformation on a Commercial Platform” Pieter Van Gorp, Olaf Muliawan, Anne Keller, Dirk Janssens 26 pages... in 5 slides

4. Input: Activity Diagram Output: CSP Program

5. MoTMoT: General Strengths MDA Standards (execution-level) MOF, JMI, XMI: Reuse COTS Tools (“less is more”) Standard reflective API, HOTs Transformation Modeling Language – Story Diagrams State-of-the-art Controlled GT Fujaba Visual: 2D, colors, explicit connections,... – UML Profile Use any UML 1.5 tool Antwerp: MagicDraw 9 (standards, user base)

6. UML2CSP: “competitors” Graph Transformation Tools Contest on the Transformation of UML Models to CSP Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, and Erhard Weinell

7. UML2CSP: MoTMoT Strengths (1/2) “industrial” UML 2.0 input: MagicDraw 10  standard with “variations” Transformation defined strictly on UML 2.0 standard In-place normalization of input – Violating Decision node  Standard-Compliant Merge node – Violating Fork node  Standard-Compliant Join node Out-place creation of output CSP model – In MOF-based Repository (MDR), XMI serialization, XSLT for Model-to-Text Reusability, Extensibility: > construct via HOT Views

8. Remark on traceability: – can be used for termination... but other mechanisms are available too: – Explicit Control Flow modeling: branch, iterative loop (forEach), calls,... – Reasoning about termination (typical GG verification example) = not an issue (yet?) in our case studies UML2CSP: MoTMoT Strengths (2/2)

9. MoTMoT: Design Principles Ephemeralization “Use technological advances to continuously do more with less.” [R. B. Fuller, 1938] Examples given so far: 1.Reuse COTS editors, focus on transformations, 2.Align transformation modeling with application modeling. What about traceability? Traceability links are n-ary relations between model elements They are “just” model elements too They refer to elements from existing languages Next section: metamodel, instantiation, navigation, concrete syntax,...

10. Part 2: Traceability Models (a.k.a. correspondence graphs, weaving models,...) Pieter Van Gorp, Dirk Janssens

11. Traceability: Related Work Barbero, M, Del Fabro, MD, and Bézivin, J: Traceability and Provenance Issues in Global Model Management. In: 3rd ECMDA-Traceability Workshop. 2007. 1.Navigability Issues 2. “traceability in the large”… need for mega-modeling… but: MoTMoT observations: – Mainstream modeling languages (UML) have model elements for representing models – For DSLs: such elements can be provided by language designer – Therefore: no technical difference with “traceability in the small” Unidirectionality of links: Not an issue for MoTMoT transformation modeler, handled by engine MoTMoT: Metamodeling and transformation is enough

12. Traceability: Motivating Example One UML model contains: - An analysis model, - A design model, -...  Supports traceability “in the large” as well...

13. Input: Analysis Model Output: Design Model Several Correspondences Several Correspondences

14. Implicit creation of traceability links Complete copy operation in ONE rewrite rule Enables one to assess overall effect Complexity can be managed using views (!) Only specify WHAT is copied, don’t bother about traceability A LOT OF (IMPLICIT) TRACEABILITY DATA! » For Model, Class, Attribute, Enumeration, Association, AssociationEnd,... nodes

15. Explicit navigation across traceability links Filter nodes from huge traceability model Non- navigability = handled by engine!

16. Traceability: an example concrete syntax Generated by rule from previous slide Syntax is for demo purposes only Tool can automatically show “related elements”!

17. Lessons “Learned” 1.UML2CSP demo: -MoTMoT supports: input/output models conforming to different MOF metamodels, in-place, as well as out-place transformations, … -useful for learning wide range of graph transfo tools 2.Traceability demo: -Implicit creation of traceability links when copying subgraphs -Story Diagrams abstract from navigability concerns, -Querying large traceability models, -Traceability links are ordinary model elements: -MOF metamodel -can be matched, created, deleted, copied, … can be mapped to concrete syntax of choice

18. Potential Collaborations KUL connect MoTMoT with ATL etc. FUNDP extra template set