DSL Design. Overview of DSLE. DSL Design. DSL Desing. Domain specific languages

Size: px

Start display at page:

Download "DSL Design. Overview of DSLE. DSL Design. DSL Desing. Domain specific languages"

Cornelius Richard
5 years ago
Views:

1 Overview of DSLE Model driven software enineerin in eneral Grammars, and meta-models Code eneration Model-driven enineerin Goal: Raisin the level of abstraction from the computin domain to the problem domain MDE combines: Domain-specific modelin lanuaes / Faculteit Wiskunde en Informatica PAGE 0 [1] D. C. Schmidt: Model-driven enineerin IEEE Computer, vol. 39, no. 2, pp , PAGE 1 DSL Desin Domain specific lanuaes a lanuae that offers, throuh appropriate notations and abstractions, expressive power focused on, and usually restricted to, a particular problem domain [2] [2] A. van Deursen, P. Klint, and J. Visser: Domain-specific lanuaes: An annotated biblioraphy SIGPLAN Notices, vol. 35, no. 6, pp , Pros Expression of the solution in terms of domain concepts Enhanced productivity, it reliability, maintainability, and portability Domain knowlede contained in lanuae Cons Cost of DSL implementation and education Mostly concise and larely self- documentin Difficulty of findin the riht scope and balancin between domainspecificity and eneral-purpose constructs Solutions for a limited set of problems Potentially less efficient code PAGE 2 PAGE 3

Domain-specific lanuae desin: Domain Analysis 1. Domain analysis Identifyin the objects, operations and relationships between them 2.

Lanuae implementation A problem domain is defined by consensus, and its essence is the shared understandin of some community [3] [3]

PAGE 4 PAGE 5 conforms to Controller Brewer isparentof M Metametamodel 3 * taret Lifeline 1 * Messae SelectBlend Class 1 *

2 Domain-specific lanuae desin: Domain Analysis 1. Domain analysis Identifyin the objects, operations and relationships between them 2. Lanuae desin 3. Lanuae implementation A problem domain is defined by consensus, and its essence is the shared understandin of some community [3] [3] G. Arano: Domain analysis: From art form to enineerin discipline SIGSOFT Software Enineerin Notes, vol. 14, no. 3, pp , PAGE 4 PAGE 5 conforms to Controller Brewer isparentof M Metametamodel 3 * taret Lifeline 1 * Messae SelectBlend Class 1 * Association conforms to source Aruments 1 1 Multiplicity * M 2 Metamodel SelectQuantity 1 Lanuae Implementation Strateies Stand-alone Embeddin * conforms to Actor Attribute MakeCoffee(Recipe, Object int) Model Type M 1 Translation modeled by M 0 Object PAGE 7

3 Domain Specific Lanuae Prorammin linuistics: syntax semantics pramatics (or methodoloy): the way the lanuae is intended to be used Requirements enineerin for domain knowlede Prorammin lanuae vs. Specification lanuae Universal, any problem must be expressible Focused on modelin not on implementation ti Domain specific lanuae Created for a specific c problem domain Implementable / Faculteit Wiskunde en Informatica PAGE 8 / Faculteit Wiskunde en Informatica PAGE 9 Overview of DSLE Model driven software enineerin in eneral Grammars and meta-models Code eneration Models increase the level of abstraction used for both hardware and software desin often manually translated into desin documents and code no uarantee for consistency between model, desin and resultin code Models increase the quality of the code via model checkin Models increase the efficiency of software development code eneration / Faculteit Wiskunde en Informatica PAGE 10 / Faculteit Wiskunde en Informatica PAGE 11

4 Mappins are defined on meta-models The mappin is defined with meta-models; one metalevel hiher than the input and output models of the transformation s are defined on models A transformation implements a mappin How are the meta-models of Xtext mapped to metamodels describin the abstract syntax? General architecture: Parse/construct t an input model (Xtext/GMF) t/gmf) Map concrete syntax model to abstract syntax model Apply transformation at o from input to output model Unparse the output model / Faculteit Wiskunde en Informatica PAGE 12 / Faculteit Wiskunde en Informatica PAGE 13 Source Meta-model <<InstanceOf>> Mappin based on Taret Meta-model <<InstanceOf>> A model transformation takes input and chanes the input, or produces output transforms accordin to a predefined d mappin is used in run time Input Model Output Model Two main cateories of transformations Vertical or horizontal transformations Exoenous or endoenous transformations / Faculteit Wiskunde en Informatica PAGE 14 / Faculteit Wiskunde en Informatica PAGE 15

5 Vertical transformations Source model is at a different level of abstraction than the taret model Examples of vertical transformation refinement (specialization) PIM PSM transformations abstraction (eneralization) Horizontal transformations Source model has the same level of abstraction as taret model not to be confused with meta-levels Examples of horizontal transformation refactorin merin / Faculteit Wiskunde en Informatica PAGE 16 / Faculteit Wiskunde en Informatica PAGE 17 Model transformation Endoenous transformations: between same meta-models Taxonomy Horizontal Vertical Exoenous transformations: ti between different meta-models Endoenous Refactorin Refinement Exoenous Miration Code eneration Further distinction: syntactic vs. semantic transformation / Faculteit Wiskunde en Informatica PAGE 18 / Faculteit Wiskunde en Informatica PAGE 19

6 Approach Model transformation formalisms Meta-metamodel ATL Xtend ASF+SDF Strateo/XT Source Metamodel Source Model Lanuae Definition Instance of Taret Metamodel Taret Model Xtext Xpand QVT Relations QVT Operations QVT Core VIATRA Tefkat ETL (Epsilon) GrGen Input Output Platform: Eclipse and EMF / Faculteit Wiskunde en Informatica PAGE 20 / Faculteit Wiskunde en Informatica PAGE 21 How are the meta-models of Xtext, for instance, mapped to meta-models describin the abstract syntax? General architecture: Parse/construct st an input model (Xtext/GMF) t/g Map concrete syntax model to abstract syntax model Apply transformation from input to output model Unparse the output model / Faculteit Wiskunde en Informatica PAGE 22

Model transformations. Overview of DSLE. Model transformations. Model transformations. The 4-layer architecture

Model transformations. Overview of DSLE. Model transformations. Model transformations. The 4-layer architecture Overview of DSLE Model driven software engineering g in general Grammars, signatures and meta-models DSL Design Code generation Models increase the level of abstraction used for both hardware and software