We propose in this work an approach for the verification of the AADL (Architecture and Analysis Design Language) description. This approach is based in Model Driven Engineering (MDE) and assisted by a toolchain. Indeed, we define a source meta-model for AADL and a target meta-model for the timed automata formalism; we define a transformation proces…

Open Assessment for Model-Driven Engineering module. This module was worth ten credits as part of my Master's Year and received a mark of 90%

Generate Scala code from ECore models with Acceleo

Eclipse-based IDE for behavior modeling of embedded components

Code and digital materials that belong to the master thesis 'A formalisation of EMF by expressing Ecore as GROOVE graphs'

A model of a process with activities, roles, actors, resources and artifacts

Practical work about reverse engineering using Ecore, ATL, Acceleo/MTL

This project is the result of creating an EMF model representing how a country is governed. This code is the outputted code generation based on the Ecore model shown below.

Domain Specific Language Tool for Web Services and Clients in Eclipse Environment