model-driven engineering (mde) is all about abstraction...

Model-Driven Engineering (MDE)

is all about Abstraction & Automation

Bahman Zamani, PhD

Associate Professor of Software Engineering, University of IsfahanOn Sabbatical leave at ECE dept., Concordia University, Host Prof. Wahab Hamou-Lhadj

Presented at Computer Research Institute of Montréal (CRIM)

Feb. 13, 2020

Overview

1. MDE Concepts & Principles

2. MDSE Research Group

3. Selected Research

4. New Research Trends

MDE is all about Abstraction & Automation, Dr. Bahman Zamani 2 / 35

1. MDE Concepts & Principles


Model

A representation of a system

An abstraction

Model forms Physical

Mathematical

Graphical

…


Despite the processes that are code-centric, in these approaches, models are the main artifacts which drive the development

➔Model-Driven

The ultimate goal is to automaticallygenerate programs from the corresponding models

Model-Driven


Transformation

Marco Brambilla, Jordi Cabot, and Manuel Wimmer, “Model-Driven Software Engineering in Practice,” 2nd Ed., Morgan & Claypool Publishers, 2017.

M3

M2

M1


Modelware vs. Grammarware


M3

M2

M1


MD* JUNGLE

MBE: Model-Based Engineering

MDE: Model-Driven Engineering

MDD: Model-Driven Development

MDA: Model-Driven Architecture



2. MDSE Research Group

http://mdse.ui.ac.ir/MDE is all about Abstraction & Automation, Dr. Bahman Zamani 9 / 35

http://mdse.ui.ac.ir/

Research Collaborations

ShekoufehK. Rahimi

University of Isfahan

IRANBahman Zamani

Behrouz T. Ladani

AfsanehFatemi

Wahab Hamou-Lhadj

Concordia University

CANADA

Tanja Mayerhofer

Vienna University of Technology

AUSTRIA

Gerson Sunye

University of Nantes

FRANCE

Kevin Lano

King’s College London

UK

ErwanBousse Mohammad

Hamdaqa

Reykjavik University

ICELAND


Research Area

MDE Foundation & Tools: Bidirectional Transformations

EVL+Strace Language (Paper: IST v. 100, 2018)

MoDEBiTE Tool (Paper: COLA v. 51, 2018)

Model Execution Tracing & Logging

CTM Meta-model (Paper: SoSyM v.-, 2020)

Engineering Model Transformations

MUPPIT Tool (Paper: Submitted to SoSyM)

SEET Tool (Paper: Submitted to JSS)

Model Management (Versioning, Synchronizing, and Merging)

E3MP Tool (Paper: Submitted to SPE)


Research Area (cont’d)

MDE Applications: Context Modeling & Context-aware Services

CaaSSET framework (Paper: FCGS v. 105, 2019)

Crisis Management Systems

ERE-ML framework (Paper: SoSyM v. 18, 2019)

Android Vulnerability Analysis

VAnDroid framework (Paper: SPE v. 49, 2019)

Mobile App Generation

ALBA framework (Paper: Submitted to AUSE)


3. Selected Research

(ERE-ML, VAnDroid, ALBA)


Implementing a tool for Modeling and simulation of

Emergency Response Environments (EREs) by a model driven approach

Automatic Generation of a Multi Agent System for Crisis Management Using GMF and Acceleo Tools

End user: Crisis manager

ERE-ML: Project Goal


ERE-ML Genealogy

UML

(Unified Modeling Language)

(2003 - 2007)

TAO

(Taming Agents and Objects)

(2003)

MAS-ML

(Multi Agent System-Modeling Language)

(2003 - 2008)

ERE-ML

(Emergency Response Environment-Modeling Language)

(2015 - 2017)

DMM

(Disaster Management Metamodel)

(2010 - 2014)


ERE-ML Metamodel


ERE-ML Tool


ERE-ML Transformations

Acceleo: An implementation of the M2T transformation Standard

MTL (Model to Text Language): A template-based language for defining code-generation templates in Acceleo


ERE-ML Platform

JavaJADE

(Java Agent Development)

JAMDER

(JADE to MAS-ML

Development Resource)

JADE to ERE-ML

Development Resource


ERE-ML Case Study


A framework for vulnerability analysis of Android applications using a model driven reverse engineering technique

Detects two vulnerabilities:

Intent Spoofing

Unauthorized Intent Receipt

Privilege Escalation (In VAnDroid+)

VAnDroid: Project Goal


VAnDroid process


VAnDroid

Metamodel


A framework for designing and automatic generation of Android Location-based Apps

ALBA: Project Goal


ALBA Feature Model


ALBA Metamodel


ALBA Modeling Editor


ALBA Code Generator


ALBA Case Study

UNIFYUniversity of Isfahan

locations guide app

650 acres campus

100 bldgs.

200 Places

6 Categories

24 Subcategories

2000 LOC

95% generated


4. New Research Trends

around MDE


Low Code Development Platforms (LCPDs)

LCDPs allow non-programmers to build full applications

Market: over $21 billion in the next four years

Two main problems with LCDPs

Scalability

Size of generated apps

Number of collaborating users

Fragmentation

Of tools and programming models

Idea of the Locomote project: LCDP → LCEP

Lowcomote EU Projecthttps://www.lowcomote.eu/


https://www.lowcomote.eu/

5 European Universities, 9 Companies

Lowcomote Network


UGROUND

Semantic Engineering: US patented

ROSE: A development platform

Metadev

Essential: A workbench for applying MDD

Quid: A Web-based DSL for component based UIs.

CLMS

Semantic Modeling: facilitates the design of the new system in an optimal way

Partner: Metacase company (MetaEdit+ tool)

Lowcomote partners & their LCDPs


The Big Five and low-code development

React Native -- SwiftUI PowerApps App Maker

https://modeling-languages.com/big-five-bet-modeling-low-code/


https://modeling-languages.com/big-five-bet-modeling-low-code/

http://mdse.ui.ac.ir

Thank You!

Questions?


http://mdse.ui.ac.ir/

model-driven engineering (mde) is all about abstraction...

Documents