modelling and code generation in .net at icinetic

Rubén Jiménez rjimenez@icinetic.com

@rubenjmarrufo

Pedro J. Molina, PhD pjmolina@icinetic.com

@pmolinam

Modelling and Code Generation

on the .NET Platform

Contents

Introduction

History of Microsoft Modeling

MDSD: Approaches

MDSD: Reference Framework

MDSD: Tour of features

Introduction

We do MDSD Tools for developers

Focused on .NET technologies &

Architecture Services

HQ in Seville, Spain

History of Microsoft Modeling

2005: First release of MS DSL Tools

2007: First details about its plans for the “Oslo” project

2008: First Microsoft “Oslo” CTP

2009: Visual Studio 2010 V&M SDK Beta

2010: Microsoft “Oslo” is obliterated

2010: Visual Studio LightSwitch

2011: Visual Studio 11 V&M SDK Beta

.NET & MDSD

Ready to dive?

MDSD: Choose your path

MDA DSLs

MDA/UML:

Metamodel is highly closed

Symbol and concept overloading

Not clear Semantics

Action Language

Domains not cover by UML

Abuse of profiles

Tools: many dialects of XMI

Cost of DSLs and tools required

to develop with it.

Textual Model Editor

Model(s) Visual Model Editor

Model Checker

Model Transformation

M2M M2T

Code Doc, etc.

Reverse Engineering

Metamodel(s)

Model repository

MDSD Reference FWK

Metamodeling

The analysis, construction and development of the frames, rules,

constraints, models and theories applicable and useful for

modeling a predefined class of problems (Wikipedia)

Based in CARs

Classes / Entities / Objects

Attributes / Properties

Relationships

At Icinetic:

MS DSL Tools

Essential Meta

Customer Credit Card

Properties

Relation

Cardinality

Source

Target

Metamodeling: MS DSL Tools Visual Studio Visualization & Modeling SDK.

Features: Graphical meta-modeling.

Build graphical designers.

M2T: T4.

Model validations.

IDE: Visual Studio.

Benefits: Agile

Visual

Drawbacks: Generated designers performance:

“Magnify diagrams and multiply it”: Pascal Recchia.

Metamodeling: Essential

namespace Meta { class MailMessage { Person From; List<Person> To; string Subject; string Message; } class Person { string FullName; string Email; } }

Metamodeling: Essential META

namespace org.example.library

class Book

string title;

int pages;

List<Writer> authors opposite books;

enum BookCategory

Mistery,

ScienceFiction,

Biography

package org.example.library

class Book

String title

int pages

refers Writer[] authors opposite books

enum BookCategory

Mistery

ScienceFiction

Biography

Essential META 2009 XCore 2012

MDSD: Models

Visual Model Editor

Model Checker

M2M M2T

Code Doc, etc.

Metamodel(s)

Model repository

Reverse Engineering

Model(s)

Models: some Cases of Use

Model Checker

1. Validation

Report

Interpreter

Runtime interpretation

2. Interpretation

Code Generation

3. Code Generation

Generated Code

Metadata

Config.

13 © Icinetic 2012

Models: Code generation techniques

1. Parse model

2. In-memory representation

AST / Object Model

3. Output building

Free text concatenation

XSL-T (No thanks!)

Text Template based

Input Model

AST Template

Output code

14 © Icinetic 2012

Models: Parsers

Parsers License Url Grammar

notation

Parsing

algorithm

IDE Strengths

ANTLR BSD www.antlr

.org/ EBNF LL Yes Mature & widely

Irony.Net MIT irony.code

plex.com/ BNF LALR Yes Interpreted

Gold parser FW goldparse

r.org/ BNF LALR No Supported

languages: more than any other parsing system

Grammatica GNU grammati

ca.percede

rberg.net/

EBNF LL No Readable generated

parse code

MDSD: Editors

Model(s)

Model Checker

M2M M2T

Code Doc, etc.

Metamodel(s)

Model repository

Reverse Engineering

Visual Model Editor

Textual Model Editors

DDD Textual DSL

Essential Text Editor

Graphical Model Editors

MS DSL Tools

WinForms

Custom: WinForms

Third party tools: Visio, EA, etc.

MS DSL Tools

WinForms

Custom: WinForms

MS DSL Tools

WinForms

Custom: WinForms

MS DSL Tools

WinForms

Custom: WinForms

Other Model Editors

Tables

MDSD: Reverse engineering

Model Checker

M2M M2T

Code Doc, etc.

Metamodel(s)

Model repository

Reverse Engineering

External assets to model

Sources:

Databases

EDMX Database importer

Services

Custom parsers

Legacy code

Custom parsers

MDSD: Model Checkers

M2M M2T

Code Doc, etc.

Metamodel(s)

Model repository

Reverse Engineering

Model Checker

Model Checkers: Validation Engine

MS DSL Tools

IDE integration

Hollywood

Principle

Models Checkers: Validation Engine

Essential AST + Visitor

Two phase checking

Syntax check

Model Merge

Reference resolver

Semantic check

Validation FWK

Extensible

MDSD: Model Repositories

Model Checker

M2M M2T

Code Doc, etc.

Metamodel(s)

Reverse Engineering

Model repository

Model Repositories

XML serialization to file

Text serialization to file

Relational DBMS

Documental DB / NoSQL

Model Repositories

Relational DBMS

Model Repositories

Relational DBMS

Model Repositories

Relational DBMS

MDSD: Transformations

Model Checker

M2M M2T

Code Doc, etc.

Metamodel(s)

Model repository

Reverse Engineering

Transformations

Free text concatenation

XSL-T (No thanks!)

Text Template based

StringTemplate

Imperative

Declarative

MDSD: M2T

Model Checker

Code Doc, etc.

Metamodel(s)

Model repository

Reverse Engineering

M2T: T4 Templates

Text Template Transformation Toolkit

Released in 2005 by Microsoft

Syntax:

Directives

Text blocks

Control blocks

Usages:

Standard

Precompiled: webResponseText=template.TransformText();

M2T: StringTemplate

Terrence Parr’s templates

Dynamic templates

Strong separation of

concerns: Model, View

and Control

Good maintanability

group Templates; genMail(msg) ::= << From: $msg.From:genRecipient()$ To: $msg.To:genRecipient(); separator=", "$ Subject: $msg.Subject$ MESSAGE: ------------------------------ $msg.Message$ ------------------------------ >> genRecipient()::= << $it.FullName$ <$it.Email$> >>

M2T: Template Engines

StringTemplate

Precompiled T4

T4 StringTemplate T4 Precompiled

Time to generate 5000 files of 5 Kb of average

Write File

Generation

Load/compile

T4 StringTemplate Precompiled T4

Total time (ms) 392.935 56.483 48.894

Time(ms)/file 78,587 11,297 9,779

Time(ms)/MB 4.066,142 876,654 505,961

Improvement/T4 base x 7 x 8

MDSD: M2M

Model Checker

M2M M2T

Code Doc, etc.

Metamodel(s)

Model repository

Reverse Engineering

M2M: Imperative

M2M: Declarative

Essential TRX

Rule-based language

Interpreted

MDSD: IDE Integration

Model Checker

M2M M2T

Code Doc, etc.

Metamodel(s)

Model repository

Reverse Engineering

IDE Integration

3. Model to Text

Folders & Projects

Generated & custom code coexistence

Generated assets tracking

1. Model Editors

VS packages

2. Model checkers Errors validation

Making sense of it all

Radarc

Plug-in on the top of Visual Studio

Modelling environment and code generation

packetized by architectures

Radarc Formulas

A Formula is a code

generator including:

Models / DSLs

Editors

Traceability rules

Best practices

Templates

Formulas available

ASP.NET WebForms

ASP.NET MVC

MVC + Azure

Windows Phone 7

DDD N-Layered

… and growing

Conclusions

Modelling and code generation

technologies have matured a lot

in the latest years

The .NET platform has a strong

base of tools to make MDSD

approaches feasible.

MDSD is not more a luxury, is a

precision tool. Take profit!

Questions & (might be) Anwers

@RadarcNet

pjmolina.com/essential

www.radarc.net

modelling and code generation in .net at icinetic

Technology

business process modelling - languages, goals, and ... ·...

doc1apte -...

yianni, panayioti c. and rama, dovile and neves, luis c...

modelling for ecosystem restoration hydrodynamic modelling...

environmental modelling environmental modelling

petri net modelling of bridge asset management...

modelling programming language semantics using a common...

modelling with independent...

production-process modelling based on production...

session 15 modelling net survival - paul dickman 15...

automated petri-net modelling for batch production...

estimating the costs and benefits of the capacity market ·...

simple net pay estimation from seismic: a modelling study

modelling and performance evaluation of net zero energy

stochastic petri net-based modelling of the durability of...

thesis - petri net modelling using constraints - michael...

net present value and risk modelling for...

ontology based integration platform for modelling and...

petri-net modelling of an assembly...

icinetic experts in.net technologies and architectures