a systematic language engineering approach for prototyping domain specific modelling languages

Luis PedroUniversity of Geneva

A Systematic Language Engineering Approach for Prototyping Domain

Specific Modelling Languages

Luis Pedro January 23, 2009

Project

2


Model

3


Prototype

4


Build

5

Luis Pedro January 23, 2009 6

Analysis/Requirements


Model


Prototype


Implementation


Requirements

10


ModelRequirements

10


ModelRequirements Prototype

10


ModelRequirements Prototype Implementation

10


Language Engineering?

11


A language that is used will be changed. - Meir M. Lehman

12


LanguageModel

ImplementationRequirements Prototype

13


What Language?

14


Domain Specific Language14


Complexity

15


Diversity

Complexity

15


Diversity

Complexity

Evolution

15


Abstraction through rich concepts helps to manage complexity 16


Integration of multiple languageshelps to manage diversity


Flexible and modular languageshelp managing evolution 18


Goals and Motivation

19


Goals and Motivation

Re-use for Faster Language Development

19


Goals and MotivationRe-use for Faster Language Development

Modularity

19



Modularity

Manage Language Complexity

19



Modularity

Manage Language Complexity

Incremental DSML development

19


State of The Art

20


State of The Art: Methodologies


Metamodelling


MetamodellingMOF and ECore


Metamodelling

Model Transformation

MOF and ECore


Metamodelling


MOF and ECore

QVT


Metamodelling


Metamodel Composition

MOF and ECore

QVT


Metamodelling



MOF and ECore

QVT

Model Extension


Metamodelling



Semantics Enrichment

MOF and ECore

QVT

Model Extension


Metamodelling




MOF and ECore

QVT

Model Extension

Semantics Anchoring


Metamodelling




MOF and ECore

QVT

Model Extension

Transformation Composition

Semantics Anchoring


State of The Art: Tools


Language evolution


Language evolution

Verification


Language evolution

Verification

Graphical Mapping


Language evolution

Verification

Graphical Mapping

Transformation


Language evolution

Verification

Graphical Mapping

Transformation

Composition


Composition23


Disjoint Union

24


Disjoint UnionMerge (Union)

24



AssociationAggregation

Inheritance

24



AssociationAggregation

Inheritance

Parameterization

24


Domain Concept

25


Domain Concept

+Metamodel

25

Transformation


Domain Concept

A semantic block capturingdomain knowledge

+Metamodel

25

Transformation


Domain Concepts


uses

Domain Concepts


Composition

uses

Domain Concepts


DSM

L

Composition

uses

Domain Concepts


Transformed DSML

Semantic

Mapping

DSM

L

Composition

uses

Domain Concepts


Semantics, Prototyping and Animation

27


Chosen Platform for Semantic Mapping:CO-OPN Builder


27


Chosen Platform for Semantic Mapping:CO-OPN Builder


Validation Animation Test Case Generation

Java Prototype Generation

27


fp formal parameter

ep effective parameter


fp formal parameter


(Substitutes)

fpep

metamodel

�

Before Parameterization

mm


fp formal parameter


(Substitutes)

fpep

metamodel

�

ep

Before Parameterization

After Parameterization

mm

mm’


Metamodel Compositionmm� = mm[fp

�⇥� ep, Ffp]

29



�⇥� ep, Ffp]

fp is the formal parameter

29



�⇥� ep, Ffp]


ep is the effective parameter

29



�⇥� ep, Ffp]


ep is the effective parameter

φ is a total function creating a map between elements of fp and ep

29


Moving Entity DSML Metamodel


Train Entity DSML Metamodel

� = {⇤MovingEntity, T rainEntity⌅⇤JunctionPoint, RaiwayStation⌅}


Robot Entity DSML Metamodel

� = {⇤MovingEntity, RobotEntity⌅⇤JunctionPoint, Object⌅}


Transformation

33


Transformation

Semantics Mapping

33


Transformation

Semantics Mapping

Set of Rules Describing a Transformation

33


Transformation

Semantics Mapping

Set of Rules Describing a Transformation

Model Transformation Language

33


Trmm� = Trmm[Trfp⇥,�⇥�� Trep]



mm� = mm[fp�⇥� ep, Ffp]

34




Trfp template transformation for fp



34




Trfp template transformation for fpTrep template transformation for ep



34





φ: Dom(Trfp) ! Dom(Trep)



34





φ: Dom(Trfp) ! Dom(Trep)

ψ: Cod(Trfp) ! Cod(Trep)



34


What Happens to Transformations

35


Transformation Element is a Leaf

36



Trfp1

Trfp2

...

Trfpn

Trep1

Trep2

...

Trepn

Trmm Trep

36



Trfp1

...

Trfpn

Trep1

Trep2

...

Trepn

...

Trfpn

Trmm Trep

36



Trfp1 Trep1

Trep2

...

Trepn

...

Trfpn

Trmm Trep

36



Trfp1

Trep1

Trep2

...

Trepn

...

Trfpn

Trfp⇥,�⇥�� Trep

�(Trfp2, T rep)

36



rule ruleJunctionPoint { from jp : MovingEntity!JunctionPoint to cl : COOPNMetaModel!COOPNClass(...)}

rule ruleMovingEntity { from me : MovingEntity!MovingEntity to cl : COOPNMetaModel!COOPNClass(...)}

rule ruleRailWayStation { from rs : TrainEntity!RailWayStation to cl : COOPNMetaModel!COOPNClass, pl: COOPNMetaModel!"COOPNClass!Place" (. . .)}

(. . .)

� = {�Trfp, T rTrainEntity⇥)

ep = TrTrainEntityTrfp


General Case

38


Trfp1

Trfp2

...

Trfpn

Trep1

Trep2

...

Trepn

Trmm Trep

General Case

38


Trfp1

Trfp2

...

Trfpn

Trep1

Trep2

...

Trepn

Trmm Trep

General Case

Trfp|TF {}TE

}Trep � TE

38


Trfp1

Trfp2 Trep2

...

Trepn

...

Trfpn

Trmm Trep

General Case

Trfp|TF { }Trep � TE

38


Trfp1

Trfp2

Trep2

...

Trepn

...

Trfpn

General Case

Trfp⇥,�⇥�� Trep

�(⇤Trfp, (Trep � TE) ⇥ (Trfp|TF )⌅)

Trfp|TF {

Trep � TE }38


General Case

rule ruleJunctionPoint { from jp : MovingEntity!JunctionPoint to cl : COOPNMetaModel!COOPNClass(...)}

rule ruleTrainEntity { from tr : TrainEntity!TrainEntity to cl : COOPNMetaModel!COOPNClass(...)}

rule ruleActionPlan { (. . .)

}

rule ruleGoToAction { (. . .)

}

�(⇤Trfp, (Trep � TE) ⇥ (Trfp|TF )⌅)

Tr1fp Tr1

ep

Tr2ep

Tr3ep

{ }}}

{ } TETrfp|TF

} Trep � TE

ep = TrTrainEntityTrfp


CoPsy

40


CoPsy

Compositional Platform for Domain Specific Modelling Languages Prototyping

40


ModularIncremental

Re-use of Concepts

DSML Development

42


ModularIncremental

Re-use of Concepts

Fast Prototyping

DSML Development

DSML Validation

Animation

42


ModularIncremental

DSML Semantics

Re-use of Concepts

Fast Prototyping

DSML Development

DSML Validation

Animation

42


Properties Check

43


Properties Check

Semantics Preservation

43


Versioning and Traceability

Properties Check


43



Properties Check


Graphical Extensions

43



Properties Check


Graphical Extensions

Integration with other DSML environments

43


f(x)

�a� b

��

�

1�i�n

(S�i , S�i)

⇥�

1�i�n

�{true, false} :� Bool

⇥

�v, si⇥

44

45

(Pedro, Risoldi, Amaral, Barroca, & Buchs, 2009) Composing Visual Syntax for Domain Specific Languages Prototyping, Human-Computer Interaction 2009

(Pedro, Amaral, & Buchs, 2008) Foundations for a Domain Specific Modeling Language Prototyping Environment: A compositional approach, in Proceedings of the 8th OOPSLA ACM-SIGPLAN Workshop on Domain-Specific Modeling (DSM), October 2008;

(Pedro, Lucio, & Buchs, 2007) System Prototype and Verification Using Metamodel-Based Transformations, in IEEE Distributed Systems Online, 2007;

(Pedro, Buchs, & Lucio, 2007) Model and Metamodel Semantics Enrichment Using Transformations and Domain Composition, in Rapid Integration of Software Engineering techniques 2007 (to be published);

(Pedro, Lucio, & Buchs, 2006a) Principles for System Prototype and Verification Using Metamodel Based Transformations, in Proceedings of IEEE International Workshop on Rapid System Prototyping, 2006;

(A. Chen, Buchs, Lucio, Pedro, & Risoldi, 2006) Modeling Distributed Systems using Concurrent Object Oriented Petri Nets, in Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents, 2006

(Pedro, Lucio, & Buchs, 2006b) Prototyping Domain Specific Languages With CO-OPN, in Proceedings of Springer-Verlag Rapid Integration of Software Engineering techniques, 2005;

(Pedro, 2008) Metamodeling with Eclipse, Centre Universitaire D’Informatique, Universitè de Genève, 2008;

Technical Reports

Articles

(Pedro, 2006) UML2 to CO-OPN transformation: State Machines and Class Diagrams, Centre Universitaire D’Informatique, Universitè de Genève, 2006;

a systematic language engineering approach for prototyping domain specific modelling languages

Education