Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support

Transcription

1 Faculty of Computer Science, Institute for Software- and Multimedia-Technology, Chair for Software Technology Matthias Bräuer and Birgit Demuth Model-Level Integration of the Using a Pivot Model with Generics Support Ocl4All: Modelling Systems with Workshop at MoDELS 2007 Nashville, 30 Sept. 2007

2 Motivation DSLs Implementation M3 Meta-Metamodels: (E)MOF Ecore KM3 Integration Metamodel: Types Expressions contains Types Package JMI, EMF M2 Metamodels: UML CWM Custom Definition Expressions: WFRs Queries reference Model JAVA Code M1 Models Execution : Interpreter Code Generator. uses Runtime JAR System: M0 Java DB Model-Level Integration of the Using a Pivot Model with Generics Support 2

3 Motivation DSLs Implementation Meta-Metamodels: M3 (E)MOF Ecore KM3 M2 Metamodels: UML CWM Custom Integration Metamodel: Types Expressions contains Types Package JMI, EMF M1 M0 Models System: Java DB Definition Execution Expressions: WFRs Queries : Interpreter Code Generator. reference uses Model Runtime JAVA JAR Code! Model-Level Integration of the Using a Pivot Model with Generics Support 3

4 Aims integrate with arbitrary domain-specific languages on different meta layers detach from the language definition Model-Level Integration of the Using a Pivot Model with Generics Support 4

5 Integrate metamodel DSLs Implementation Meta-Metamodels: M3 (E)MOF Ecore KM3 M2 Metamodels: UML CWM Custom Integration Metamodel: Types Expressions contains Types Package JMI, EMF M1 Models Definition Expressions: WFRs Queries reference Model JAVA Code M0 System: Java DB Execution : Interpreter Code Generator. uses Runtime JAR Model-Level Integration of the Using a Pivot Model with Generics Support 5

6 Integrate metamodel with a pivot model EMOF Dresden TK Common Model Kent Bridge EMF Ecore based on based on depends on Pivot model forward MM Adapters DSL MM Model-Level Integration of the Using a Pivot Model with Generics Support 6

7 Detach the standard library definition DSLs Implementation Meta-Metamodels: M3 (E)MOF Ecore KM3 M2 Metamodels: UML CWM Custom Integration Metamodel: Types Expressions contains Types Package JMI, EMF M1 Models Definition Expressions: WFRs Queries reference Model JAVA Code M0 System: Java DB Execution : Interpreter Code Generator. uses Runtime JAR Model-Level Integration of the Using a Pivot Model with Generics Support 7

8 as a pivot model instance Pivot model MM instance of instance of serialize deserialize library model XMI file Model-Level Integration of the Using a Pivot Model with Generics Support 8

9 Modeling generics inspired by Ecore 2.3 core idea: make generics a first-class modeling construct: Generic types Type parameters Type arguments Generic methods Model-Level Integration of the Using a Pivot Model with Generics Support 9

10 Binding generic types during parsing read access bind Collection<T> expressions parser Ocl interface Generic Type let c : Collection(String) in getcollectiontype(string) bindtypeparameter(t,string) Model-Level Integration of the Using a Pivot Model with Generics Support 10

11 Open issues modeling iterator expressions binding of generic operations coupling model and instance level Model-Level Integration of the Using a Pivot Model with Generics Support 11

12 Provide domain-specific execution semantics DSLs Implementation Meta-Metamodels: M3 (E)MOF Ecore KM3 M2 Metamodels: UML CWM Custom Integration Metamodel: Types Expressions contains Types Package JMI, EMF M1 Models Definition Expressions: WFRs Queries reference Model JAVA Code M0 System: Java DB Execution : Interpreter Code Generator. uses Runtime JAR Model-Level Integration of the Using a Pivot Model with Generics Support 12

13 The end Thank you for your attention! Questions, comments? Model-Level Integration of the Using a Pivot Model with Generics Support 13

14 Model-Level Integration of the Using a Pivot Model with Generics Support 14

15 Pivot model overview Model-Level Integration of the Using a Pivot Model with Generics Support 15

16 Generics meta model Model-Level Integration of the Using a Pivot Model with Generics Support 16

17 Generic types Model-Level Integration of the Using a Pivot Model with Generics Support 17

18 The Ocl interface Model-Level Integration of the Using a Pivot Model with Generics Support 18