keynote extreme modelling 2014

Putting Engineering into MDE

Components and contracts for models and transformations

Steffen Zschaler

29 September, 2014With (lots of) help by

Francisco Duran, Jeffrey Terrell, Jendrik Johannes, Dimitris Kolovos, and many others

All errors my own!

(c) Steffen Zschaler

Motivation

• MDE is beginning to see some use– Automotive– Telecommunications– Enterprise systems (especially for quality prediction)

• Need for systematic engineering– To deal with scale of models– To deal with complexity of domains– To ensure correctness so MDE techniques can be

relied on

29/09/2014 2

Motivation (2)

• Elements of systematic MDE engineering– Requirements– Architectures– (Reusable) Components– Patterns and Architecture Styles– Methods and Guidelines

for the yea

rs to co

29/09/2014 3

Motivation (2)

• Elements of systematic MDE engineering– Requirements– Architectures– (Reusable) Components– Patterns and Architecture Styles– Methods and Guidelines

for the yea

rs to co

29/09/2014 3

A framework for discussing composition

Uwe Aßmann: Invasive Software Composition.29/09/2014 4

Component Model

(incl. contracts)

Composition Model(composition

technique)

Component Model

(incl. contracts)

Composition Language

technique)

Component Model

(incl. contracts)

Composition System

Composition Language

technique)

Component Model

(incl. contracts)

Outline

1. Motivation

2. Models

3. Transformations

4. Challenges

29/09/2014 5

Outline

1. Motivation

2. Models

3. Transformations

4. Challenges

1. Composition techniques2. Contracts

29/09/2014 5

Model components

• Variety of approaches– Model/Package Import– AOM

• Package Merge• Language-specific merges

– E.g., for sequence diagrams– RAM, MATA, ...

• Generic merges– E.g., GeKo, Reuseware, ...

29/09/2014 6

Model componentsExample 1

29/09/2014

(c) Steffen Zschaler29/09/2014 8

Model componentsContracts?

• Only syntactical, if any– Meta-classes of elements expected– Naming and signatures of operations

• Key exception: Rely-Guarantee Specifications– For temporal logic and state machines

29/09/2014 9

Syntactic Contracts

29/09/2014 10

Syntactic Contracts

29/09/2014 10

Syntactic Contracts

29/09/2014 10

Outline

1. Motivation

2. Models

3. Transformations

4. Challenges

1. Composition techniques2. Contracts

29/09/2014 11

Transformation Composition

29/09/2014 12

InternalExternal

29/09/2014 12

InternalExternal

Sequential

29/09/2014 12

InternalExternal

Sequential Rule Superimposition(aka import with replacement)

29/09/2014 12

InternalExternal

Sequential Rule Superimposition(aka import with replacement)

29/09/2014 12

InternalExternal

Sequential Parallel Rule Superimposition(aka import with replacement)

29/09/2014 12

InternalExternal

Rule Weaving(aka full aspect orientation)

29/09/2014 12

InternalExternal

Rule Weaving(aka full aspect orientation)

29/09/2014 12

Transformation CompositionSequential

OO to Relational

Class Model

Table Model

29/09/2014 13

Table Model

NormalisedTable Model

Normalisation

29/09/2014 13

OO to Relational

Class Model

Table Model

Normalisation

29/09/2014 13

Parallel

Based on Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, Richard F. Paige: Abstracting Complex Languages through Transformation and Composition. MODELS 2009, LNCS 5795, pp 546–550.

:Table

<<hook>>:Column

Parallel

:Table

<<hook>>:Column

*:Class

Parallel

:Table

<<hook>>:Column

*:Class

:Attribute

Parallel

<<anchor>>:Column

:Table

<<hook>>:Column

*:Class

:Attribute

Parallel

<<anchor>>:Column

:Table

<<hook>>:Column

*:Class

:Attribute

Parallel

<<anchor>>:Column

:Table

<<hook>>:Column

*:Class

:Attribute

:Classsuper

Parallel

<<anchor>><<slot>>:Table

<<hook>>:Column

<<anchor>>:Column

:Class

:Attribute

:Classsuper

Parallel

<<hook>>:Column

<<anchor>>:Column

<<hook>>:Column

:Class

:Attribute

:Classsuper

Parallel

<<hook>>:Column

<<anchor>>:Column

<<hook>>:Column

:Class

:Attribute

:Classsuper

Weaving

Superimposition

Based on Lawley, M., Duddy, K., Gerber, A., Raymond, K. Language Features for Re-Use and Maintainability of MDA Transformations. OOPSLA & GPCE Workshop, 2004

and: Jouault, F. and Kurtev, I. Transforming models with ATL. In: Satellite Events at the MoDELS 2005 Conference, Oct 2005, Montego Bay, Jamaica. pp. 128-138, LNCS 3844 (long version from http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.99.6117&rep=rep1&type=pdf )

module Class2Relational;create OUT : Relational from IN : Class;

rule Class2Table { from c : Class!Class to out : Relational!Table ( name <- c.name, col <- Sequence {key} ->union(c.attr)), key : Relational!Column ( name <- 'objectId', type <- objectIdType)}

rule Attribute2Column { from a : Class!Attribute to out : Relational!Column ( name <- a.name, type <- a.type)}

29/09/2014 15

Superimposition

module Class2RelationalInheritance;create OUT : Relational from IN : Class;

rule Class2Table { from c : Class!Class ( c.parent.oclIsUndefined()) to out : Relational!Table ( name <- c.name, col <- Sequence {key} ->union(c.flattenedFeatures)), key : Relational!Column ( name <- 'objectId', type <- objectIdType)}

-- flattenedFeatures helper not shown.-- It collects all features of a class-- and all its sub-classes

29/09/2014 15

Superimposition

rule Class2Table { from c : Class!Class ( c.parent.oclIsUndefined()) to out : Relational!Table ( name <- c.name, col <- Sequence {key} ->union(c.flattenedFeatures)), key : Relational!Column ( name <- 'objectId', type <- objectIdType)}

-- flattenedFeatures helper-- not shown...

29/09/2014 15

(c) Steffen Zschaler29/09/2014

Weaving

(c) Steffen Zschaler29/09/2014

Weaving

Contracts

• Need both syntactical and semantic contracts

• Goal:– Be precise enough to enable reasoning and

give assurances– Be lenient enough to maximise reusability

29/09/2014 17

Contracts (2)

Will look at two types of contracts:– Syntactic contracts for sequential composition

(aka model typing)– Semantic contracts for rule weaving

29/09/2014 18

Contracts for sequential composition

• Contracts specify the kinds of models read and written by a transformation

• Options:1. Meta-models

2. Effective meta-models

3. Model types / Concepts

OO to Relational

Class Model

Table Model

Normalisation

29/09/2014 19

Model typing problems

mmo NewSM (s : Simple) { s += new StateMachine ()}

S. Zschaler: Towards Constraint-Based Model Types: A Generalised Formal Foundation for Model Genericity.In VAO’14

StateMachineState

Transitionevent: String

initialState0..1

containedState *

incoming*

*outgoing

StateMachineState

initialState0..1

containedState *

incoming*

*outgoing

Difference between Simple and Mandatory-startMandatory-start <:Steel Simple

StateMachineState

initialState0..1

containedState *

incoming*

*outgoing

Difference between Simple and Mandatory-start

Error: Allows passing in Mandatory-start instance, but breaks it.

Mandatory-start <:Steel Simple

mmo NewSM (s : Simple) { sm := new StateMachine () ; sm.initialState += new State () ; s += sm}

StateMachineState

initialState0..1

containedState *

incoming*

*outgoing

Difference between Simple and Mandatory-startMandatory-start <:Guy Simple

mmo NewSM (s : Simple) { sm := new StateMachine () ; sm.initialState += new State () ; s += sm}

StateMachineState

initialState0..1

containedState *

incoming*

*outgoing

Difference between Simple and Mandatory-start

Over-restriction: Would work with Mandatory-start instance, but cannot specify.

Mandatory-start <:Guy Simple

Syntactic contracts:Research challenges

• Type theory of transformations– Including intrinsic and extrinsic contracts

• Static analysis of transformations– Data flow analysis

• Tool support for managing and checking transformation contracts

29/09/2014 21

Contracts for rule weaving

29/09/2014 22

• Morphisms over transformation systems– Both for parameter and bindings

• Define Properties of morphisms to ensure semantics of weaving– Behaviour reflection and preservation

Semantic contracts

29/09/2014 23

• Other semantic properties– Allow some change of behaviour– Express behaviour of base parametrised over

transformations to be woven

Semantic contracts:Research challenges

29/09/2014 24

τM1 M2

29/09/2014 24

τM1 M2

sem1 sem2

Γ1 Γ229/09/2014 24

τ(τ1, .. , τn)

f(ζ1, .. , ζn)

sem1 sem2

Γ1 Γ229/09/2014 24

Outline

1. Motivation

2. Models

3. Transformations

4. Challenges

29/09/2014 25

Research Agenda

• Need a calculus of transformation components– What do they look like?– What composition operations are there?– What are contracts?– What properties can we derive for composite transformations?

• Some work exists:– See talk– Megamodelling (e.g., MINNT for typing)

• But are still missing fundamental theory

29/09/2014 26

(c) Steffen Zschalerhttp://xkcd.com/1343/

29/09/2014

keynote extreme modelling 2014

Software

statistical modelling of extreme values

modelling extreme...

on the modelling of extreme droughts -...

risk analysis & modelling lecture 10: extreme value theory

investigation and numerical modelling of roof drainage...

dependencies of extreme events in finance · main emphasis...

extreme value mixture modelling with simulation study and

modelling extreme-value dependence in high dimensions...

implicit versus explicit finite volume schemes for extreme...

joint modelling of wave spectral parameters for extreme sea...

modelling extreme market events...modelling extreme market...

the modelling of extreme events

dsd-int 2016 modelling of morphodynamic impacts on coasts...

modelling extreme values of the total electron content: case...

graham hill´s keynote extreme crm makeover

modelling structure, phase transition, and vibrational...

actuarial modelling of extremal events using transformed...

modelling geomorphic responses to human impacts and...

integrated water modelling and management for … (keynote...

understanding thehumangenome: a conceptual modelling ......