Model Driven Engineering

Week 
Date 
Time 
Type 
Room 
Subject 
1  Friday 28 September  13:45  15:45  Theory  M.G.016  DomainSpecific Modelling: the need for Modelling Language Engineering; Modelling Languages: MetaModelling 
1  Friday 28 September  16:00  18:00  Lab Session  M.G.027  Assignment 1: Building evacuation modelling in metaDepth 
2  Friday 5 October  13:45  15:45  Theory  M.G.016  Paper discussion: "Matters of Metamodelling" 
2  Friday 5 October  16:00  18:00  Lab Session  M.G.027  Work on assignment 1 
3  Friday 12 October  13:00  Deadline  Assignment 1: Building modelling in metaDepth  
3  Friday 12 October  13:45  14:15  Evaluation  M.G.016  Micro theory exam: metamodelling 
3  Friday 12 October  14:15  15:45  Theory  M.G.016  Modelling Languages: Concrete (Visual) Syntax 
3  Friday 12 October  16:00  18:00  Lab Session  M.G.027  Assignment 2: Building modelling in AToMPM 
4  Friday 19 October  13:45  15:45  Theory  M.G.016  Modelling Languages: Concrete Visual Syntax 
4  Friday 19 October  16:00  18:00  Lab Session  M.G.027  Work on assignment 2 
5  Friday 26 October  13:00  Deadline  Assignment 2: Building modelling in AToMPM  
5  Friday 26 October  13:45  14:30  Evaluation  M.G.016  Micro theory exam: visual languages, physics of notation 
5  Friday 26 October  14:30  15:45  Theory  M.G.016  Variability modelling 
5  Friday 26 October  16:00  18:00  Lab Session  M.G.027  Assignment 3: Operational Semantics in AToMPM 
6  Monday 29 October  12:00  16:00  Evaluation  M.G.330  Assignments 1 and 2 
6  Friday 2 November  13:45  15:45  Theory  M.G.016  No class 
6  Friday 2 November  16:00  18:00  Lab Session  M.G.027  Work on Assignment 3 
7  Friday 9 November  13:45  15:45  Theory  M.G.016  Specifying and Implementing Model Transformations: scheduling languages 
7  Friday 9 November  16:00  18:00  Lab Session  M.G.027  Work on Assignment 3 
9  Friday 16 November  13:00  Deadline  Assignment 3: Operational Semantics in AToMPM  
8  Friday 16 November  13:45  15:15  Theory  M.G.016  Specifying and Implementing Model Transformations: RAMification and matching algorithm 
8  Friday 16 November  15:15  15:45  Project  M.G.016  Query of project interests 
8  Friday 16 November  16:00  18:00  Lab Session  M.G.027  Assignment 4: Evacuation Analysis of Bmod 
9  Friday 23 November  13:00  Deadline  Choosing Project topic (notify Claudio Gomes by email)  
9  Friday 23 November  13:45  14:30  Evaluation  M.G.016  Micro theory exam: variability, model transformation 
9  Friday 23 November  14:30  15:45  Theory  M.G.016  Putting it all together (with processes): the FTG+PM 
9  Friday 23 November  16:00  18:00  Lab Session  M.G.027  Work on assignment 4 
10  Friday 30 November  13:00  Deadline  Assignment 4: Evacuation Analysis of Bmod  
10  Friday 30 November  13:45  18:00  Lab Session  M.G.027  Assignment 5: Evacuation visualization 
11  Friday 7 December  13:00  Deadline  Assignment 5: Evacuation visualization  
11  Friday 7 December  13:45  18:00  Project  M.G.028/M.G.116/M.G.330/M.G.317  Individual meetings about project 
12  Monday 9 December  12:30  17:00  Evaluation  M.G.330  Assignments 35 
12  Friday 14 December  13:00  Deadline  Reading report and presentation uploaded to personal project page  
12  Friday 14 December  13:45  14:15  Evaluation  M.G.016  Micro theory exam: processes, FTG+PM 
12  Friday 14 December  14:15  18:00  Evaluation  M.G.016  Project "reading/planned work" presentations (you need to be present for all presentations) 
13  Friday 21 December  13:45  15:45  Project  M.G.028/M.G.116/M.G.330/M.G.317  Individual meetings about project 
13  Friday 21 December  16:00  18:00  Project  M.G.028/M.G.116/M.G.330/M.G.317  Individual meetings about project 
Monday 28 January  10:00  Deadline  Project report, implementation and presentation uploaded to personal project page  
Friday 1 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  (50/4)% 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.
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:
