Model Driven Engineering

Week 
Date 
Time 
Type 
Room 
Subject 
1  Friday 29 September  13:45  15:45  Theory  M.G.016  DomainSpecific Modelling: the need for Modelling Language Engineering; Modelling Languages: MetaModelling 
1  Friday 29 September  16:00  18:00  Lab Session  M.G.027  Assignment 1: Building modelling in metaDepth 
2  Friday 6 October  13:45  15:45  Theory  M.G.016  Paper discussion: "Matters of Metamodelling" 
2  Friday 6 October  16:00  18:00  Lab Session  M.G.027  Work on assignment 1 
3  Friday 13 October  13:00  Deadline  Assignment 1: Building modelling in metaDepth  
3  Friday 13 October  13:45  14:15  Evaluation  M.G.016  Micro theory exam: metamodelling 
3  Friday 13 October  14:15  15:45  Theory  M.G.016  Modelling Languages: Concrete (Visual) Syntax 
3  Friday 13 October  16:00  18:00  Lab Session  M.G.027  Assignment 2: Building modelling in AToMPM 
4  Friday 20 October  13:45  15:45  Theory  M.G.016  Modelling Languages: Concrete Visual Syntax 
4  Friday 20 October  16:00  18:00  Lab Session  M.G.027  Work on assignment 2 
5  Friday 27 October  13:00  Deadline  Assignment 2: Building modelling in AToMPM  
5  Friday 27 October  13:45  14:30  Evaluation  M.G.016  Micro theory exam: visual languages, physics of notation 
5  Friday 27 October  14:30  15:45  Theory  M.G.016  Variability modelling 
5  Friday 27 October  16:00  18:00  Lab Session  M.G.027  Assignment 3: Operational Semantics in AToMPM 
6  Monday 6 November  12:00  16:00  Evaluation  M.G.330  Assignments 1 and 2 
6  Friday 3 November  13:45  15:45  Theory  M.G.016  No class 
6  Friday 3 November  16:00  18:00  Lab Session  M.G.027  No class 
7  Friday 10 November  13:00  Deadline  Assignment 3: Operational Semantics in AToMPM  
7  Friday 10 November  13:45  15:45  Theory  M.G.016  Specifying and Implementing Model Transformations: scheduling languages 
7  Friday 10 November  16:00  18:00  Lab Session  M.G.027  Assignment 4: Evacuation Analysis of Bmod 
8  Friday 17 November  13:45  15:15  Theory  M.G.016  Specifying and Implementing Model Transformations: RAMification and matching algorithm 
8  Friday 17 November  15:15  15:45  Project  M.G.016  Query of project interests 
8  Friday 17 November  16:00  18:00  Lab Session  M.G.027  Work on assignment 4 
9  Friday 24 November  13:00  Deadline  Choosing Project topic (notify Claudio Gomes by email)  
9  Friday 24 November  13:45  14:30  Evaluation  M.G.016  Micro theory exam: variability, model transformation 
9  Friday 24 November  14:30  15:45  Theory  M.G.016  Putting it all together (with processes): the FTG+PM 
9  Friday 24 November  16:00  18:00  Lab Session  M.G.027  Work on assignment 4 
10  Friday 1 December  13:45  18:00  Project  M.G.116/M.G.330/M.G.317  Individual meetings about project 
11  Tuesday 5 December  13:00  Deadline  Assignment 4: Evacuation Analysis of Bmod  
11  Thursday 7 December  12:30  17:00  Evaluation  M.G.330  Assignments 3 and 4 
11  Friday 8 December  13:45  15:45  Project  M.G.116/M.G.330/M.G.317  Individual meetings about project 
11  Friday 8 December  16:00  18:00  Project  M.G.116/M.G.330/M.G.317  Individual meetings about project 
12  Thursday 14 December  10:00  Deadline  Reading report and presentation uploaded to personal project page  
9  Friday 15 December  13:45  14:15  Evaluation  M.G.016  Micro theory exam: processes, FTG+PM 
12  Friday 15 December  14:15  18:00  Evaluation  M.G.016  Project "reading/planned work" presentations (you need to be present for all presentations) 
13  Friday 22 December  13:45  15:45  Project  M.G.116/M.G.330/M.G.317  Individual meetings about project 
13  Friday 22 December  16:00  18:00  Project  M.G.116/M.G.330/M.G.317  Individual meetings about project 
Monday 29 January  10:00  Deadline  Project report, implementation and presentation uploaded to personal project page  
Friday 2 February  09:00  12:30  Evaluation  M.G.005  Project presentations (you need to be present for all presentations) 
Micro theory exam  written  10% 
Assignments  10% per assignment  50% 
Project  reading part (7% on report, 3% on presentation)  10% 
Project  project part (10% on report, 10% on work, 10% on presentation)  30% 
Note that you need to pass (i.e., obtain a score of at least 50%) all parts of the course to pass.
If not, your grade will be "AFW"  absent.
If you do attend/submit every part, you still need an overall score of 50% to pass the course.
Additionally, if for at least one part your score is strictly below 40%,
your overall grade will be min(7, your_score).
your_score is the score you would get when applying the weights given above.
For the supplemental exam period, partial exemptions for specific parts of the course may
be given. This is discussed individually.
Blackboard scribbles [pdf]. 
Presentation [pdf]. This presentation covers DomainSpecific Modelling (DSM) and MetaModelling (and some more not covered in class). 
Thomas Kühne. Matters of (Meta) Modeling. Software and System Modeling 5(4): 369385. 2006. [pdf]. 
Linguistic Conformance Check (as implemented in the Modelverse). 
Colin Atkinson and Thomas Kühne. Rearchitecting the UML infrastructure. ACM Transactions on Modeling and Computer Simulation (TOMACS). Volume 12, Issue 4. pp 290  321. October 2002. [pdf]. 
JeanMarie Favre. Megamodelling and Etymology. Proceedings of Dagstuhl Seminar 05161  Transformation Techniques in Software Engineering. 2006. [pdf]. 
Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, and Gabor Karsai. Metamodelling: State of the Art and Research Challenges. In ModelBased Engineering of Embedded RealTime Systems. Volume 6100 of Lecture Notes in Computer Science, chapter 3, pages 5776. Springer 2011. [pdf]. 
Presentation [pdf]. 
G. Costagliola, A. Delucia, S. Orefice and G. Polese. A Classification Framework to Support the Design of Visual Languages, Journal of Visual Languages and Computing, Volume 13, Issue 6, December 2002, pages 573600. [pdf]. 
Daniel L. Moody. The "Physics" of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering. IEEE Transactions on Software Engineering, vol. 35, no. 6, pp. 756779, November/December, 2009. [pdf]. 
(unicode) Characters vs. Glyphs [pdf] 
Presentation [pdf]. 
David Harel, Bernhard Rumpe. Meaningful Modeling: What's the Semantics of "Semantics"?, IEEE Computer, vol. 37, no. 10, pp. 6472, October, 2004. [pdf]. 
David Harel, Bernhard Rumpe. Syntax, Semantics, and all that stuff (the original technical report on which the IEEE Computer paper is based). 
Hans Vangheluwe and Juan de Lara. Computer Automated MultiParadigm Modelling for Analysis and Design of Traffic Networks. Winter Simulation Conference 2004, pages 249258. [pdf]. 
Model Transformation. Presentation [pdf]. 
Thomas Kuehne, Gergely Mezei, Eugene Syriani, Hans Vangheluwe, and Manuel Wimmer. Explicit transformation modeling. In Models in Software Engineering, Workshops and Symposia at MODELS 2009, Revised Selected Papers, volume 6002 of Lecture Notes in Computer Science (LNCS), pages 240255. SpringerVerlag, 2010. [pdf] 
Variability. Presentation [pdf]. 
Krzysztof Czarnecki: Overview of Generative Software Development. UPP 2004: 326341. [pdf] 
Thorsten Berger, Stefan Stanciulescu, Ommund Øgård, Øystein Haugen, Bo Larsen, Andrzej Wasowski: To connect or not to connect: experiences from modeling topological variability. SPLC 2014: 330339. [pdf] 
Sadaf Mustafiz, Joachim Denil, Levi Lucio, Hans Vangheluwe. The FTG+PM Framework for MultiParadigm Modelling: An Automotive Case Study. Proceedings of the 6th International Workshop on MultiParadigm Modeling. MODELS '12 ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems. October 2012. Innsbruck, Austria. [pdf] 
Formalism Transformation Graph and Process Model. Presentation [pdf] 
New presentation [pdf] 
metaDepth, a framework for multilevel metamodelling 

AToMPM, A Tool for MultiParadim Modelling. (AToMPM's website) 
To whet your appetite: the AToMPM teaser video for the MoDELS 2013 conference. 
A tutorial on AToMPM can be found here. 
The AToMPM user manual [LINK]. 
A list of tentative project topics can be found here. 
Your project report should be written in LaTeX. If you're new to LaTeX, many tutorials such as this LaTeX primer are available. 
You must use Elsevier's elsarticle style. You should download the elsarticle.zip archive. elsdoc.pdf contains the user documentation and elsarticletemplateharv.tex is the document template you should use as a starting point for your report. 
Your report should contain at least the following:
