Faculty of Computer Science, Institute for Software- and - - PowerPoint PPT Presentation

Model-Level Integration

• f the

OCL Standard Library Using a Pivot Model with Generics Support

Ocl4All: Modelling Systems with OCL Workshop at MoDELS 2007 Nashville, 30 Sept. 2007

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 OCL Standard Library Using a Pivot Model with Generics Support 2 OCL Expressions:

• WFRs
• Queries
• …

Motivation

M3 M2 M1 M0 DSLs

Meta-Metamodels:

• (E)MOF
• Ecore
• KM3

Metamodels:

• UML
• CWM
• Custom

Models System:

• Java
• DB
• …

OCL

Integration

OCL Engine:

• Interpreter
• Code Gen-

erator.

Execution

OCL

Definition

Standard Library

Metamodel:

• Types
• Expres-

sions Types Package

contains

Standard Library Model

reference

Standard Library Runtime

uses

Implementation

JMI, EMF

JAVA

OCL Engine Code

JAR

OCL Engine Library

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

• WFRs
• Queries
• …

Motivation

M3 M2 M1 M0 DSLs

Meta-Metamodels:

• (E)MOF
• Ecore
• KM3

Metamodels:

• UML
• CWM
• Custom

Models System:

• Java
• DB
• …

OCL

Integration

OCL Engine:

• Interpreter
• Code Gen-

erator.

Execution

OCL

Definition

Standard Library

Metamodel:

• Types
• Expres-

sions Types Package

contains

Standard Library Model

reference

Standard Library Runtime

uses

Implementation

JMI, EMF

JAVA

OCL Engine Code

JAR

OCL Engine Library

!

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

Aims

integrate OCL

• with

arbitrary domain-specific languages

• n different meta

layers

detach OCL Standard Library from the language definition

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

• WFRs
• Queries
• …

Integrate OCL metamodel

M3 M2 M1 M0 DSLs

Meta-Metamodels:

• (E)MOF
• Ecore
• KM3

Metamodels:

• UML
• CWM
• Custom

Models System:

• Java
• DB
• …

OCL

Integration

OCL Engine:

• Interpreter
• Code Gen-

erator.

Execution

OCL

Definition

Standard Library

Metamodel:

• Types
• Expres-

sions Types Package

contains

Standard Library Model

reference

Standard Library Runtime

uses

Implementation

JMI, EMF

JAVA

OCL Engine Code

JAR

OCL Engine Library

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

based

• n

depends on based on forward

Integrate OCL metamodel with a pivot model

Pivot model

Dresden OCL TK Common Model Kent OCL Library Bridge EMOF EMF Ecore

OCL Engine OCL MM DSL MM Adapters

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

• WFRs
• Queries
• …

Detach the standard library definition

M3 M2 M1 M0 DSLs

Meta-Metamodels:

• (E)MOF
• Ecore
• KM3

Metamodels:

• UML
• CWM
• Custom

Models System:

• Java
• DB
• …

OCL

Integration

OCL Engine:

• Interpreter
• Code Gen-

erator.

Execution

OCL

Definition

Standard Library

Metamodel:

• Types
• Expres-

sions Types Package

contains

Standard Library Model

reference

Standard Library Runtime

uses

Implementation

JMI, EMF

JAVA

OCL Engine Code

JAR

OCL Engine Library

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

deserialize serialize

OCL Standard Library as a pivot model instance

Pivot model Standard library model instance instance

• f
• f

OCL Engine XMI file OCL MM instance instance

• f
• f

Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support 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 OCL Standard Library Using a Pivot Model with Generics Support 10

access read bind

Binding generic types during parsing

OCL

OCL OCL expressions OCL parser OclLibrary interface let c : Collection(String) in … Collection<T> Generic Type getCollectionType(String) bindTypeParameter(T,String)

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

Open issues

modeling iterator expressions binding of generic operations coupling model and instance level

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

• WFRs
• Queries
• …

Provide domain-specific execution semantics

M3 M2 M1 M0 DSLs

Meta-Metamodels:

• (E)MOF
• Ecore
• KM3

Metamodels:

• UML
• CWM
• Custom

Models System:

• Java
• DB
• …

OCL

Integration

OCL Engine:

• Interpreter
• Code Gen-

erator.

Execution

OCL

Definition

Standard Library

Metamodel:

• Types
• Expres-

sions Types Package

contains

Standard Library Model

reference

Standard Library Runtime

uses

Implementation

JMI, EMF

JAVA

OCL Engine Code

JAR

OCL Engine Library

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

The end

Thank you for your attention! Questions, comments?

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

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

Pivot model

• verview

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

Generics meta model

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

Generic types

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

The OclLibrary interface