Presentation showcasing the differente MDE techniques for Eclipse developed by the AtlanMod team at INRIA - École des Mines de Nantes

1. MDE = Model Driven Everything Jordi Cabot [email_address] INRIA – École des Mines de Nantes

3. Relationship between MDA/MDD/MDE

4. Technical Spaces MDE Grammarware MOF (metametamodel) UML (metamodel) ABank.uml EBNF.g Java.g MyProgram.java

5. Technical Spaces XML MDE Grammarware MOF (metametamodel) UML (metamodel) ABank.uml EBNF.g Java.g MyProgram.java XSD.xsd SVG.xsd MyFigure.svg M3 M2 M1

7. At the core: Model Transformations – ATL

9. Operational context of ATL ATL MOF MMa MMb Ma Mb MMa2MMb.atl ATL MMa is the source metamodel Ma is the source model Mb is the target model MMB is the target metamodel

10. ATL Editor

12. ATL Launch Configuration

14. AMW: Model Weaver Adaptive interface Identification mechanism Plugged panels

15. KM3 – Creating your own domain specific language

18. Example: a relational metamodel Named + name : String Table Column owner + col + * { ordered } keyOf + 0..1 key + * Type * type +

19. Example: relational metamodel in KM3 package Relational { abstract class Named { attribute name : String ; } class Table extends Named { reference col [ * ] ordered container : Column oppositeOf owner ; reference key [ * ] : Column oppositeOf keyOf ; } class Column extends Named { reference owner : Table oppositeOf col ; reference keyOf [ 0 - 1 ] : Table oppositeOf key ; reference type : Type ; } class Type extends Named {} } […] Named + name : String Table Column owner + col + * { ordered } keyOf + 0..1 key + * Type * type +

21. TCS - Textual Syntax Specification

23. Context Intra-technology transformation: XML MDE Grammarware MOF Metamodel Model EBNF.g Grammar.g Program XSD.xsd Schema.xsd Document.xml M3 M2 M1 conformsTo XSLT & XQuery Program transformation ATL, QVT, etc. Inter-technology transformation XMI TCS

24. Intra-technology transformation: MDE Grammarware MOF Metamodel Model EBNF.g Grammar.g Program conformsTo Program transformation ATL, QVT, etc. Inter-technology transformation TCS Textual Concrete Syntaxes

28. Validation of UML Models

29. Stakeholder Explains Designer Models Structured English RuleSpeak . . . English Text Valida The double transformation facilitates reusing the intermediate SBVR representation (e.g. generation for rule-based engines) Validation of UML Models * Work co-authored by Raquel Pau and Ruth Raventós UML CASE Tool UML Model Transf. M2M: UML to SBVR Transf M2T: SBVR to Natural Language SBVR Model ATL MofScript UML2

30. Input UML Model SBVR intermediate representation M2M ATL Transf. product Concept type: object type Necessity : each price of product is greater than zero price Concept type: role Definition: integer that represents the value of a product product has price Concept type: is-property-of fact type Necessity : each product has exactly one price family has code Concept type: is-property-of fact type Necessity : each family has exactly one code product belongs to family Concept type: associative fact type Necessity : each product belongs to exactly one family Structured English MOFScript Transf. Validation of UML Models

31. Model-driven Reverse Engineering / ADM

34. MoDISCO

36. Scalability concerns

40. Megamodeling

42. AM3 Environment

44. Eclipse <-> Microsoft

46. The MDE Diploma

51. These are exciting times for MDE!!!!

52. BUT

54. Join the discussion in the modeling-languages.com portal

55. More information http://jordicabot.com http://modeling-languages.com http://www.emn.fr/x-info/atlanmod/