Modelling and Simulation Based Design 

  Lectures

Modelling and Simulation to Tackle Complexity
presentation [pdf] exploring the causes of complexity.

Dissecting Modelling Languages
presentation [pdf] [pdf]
David Harel, Bernhard Rumpe. Meaningful Modeling: What's the Semantics of "Semantics"?, IEEE Computer, vol. 37, no. 10, pp. 64-72, 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).
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 573-600. [pdf].
Hans Vangheluwe and Juan de Lara. Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks. Winter Simulation Conference 2004, pages 249-258. [pdf].

Meta-Modelling
Jean-Marie Favre. Megamodelling and Etymology. Proceedings of Dagstuhl Seminar 05161 - Transformation Techniques in Software Engineering. 2006. [pdf]
Thomas Kühne. Matters of (Meta-) Modeling. Software and System Modeling 5(4): 369-385. 2006. [pdf]
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]
Tutorials [basic] and [slightly more advanced] on meta-modelling with AToM3.
Use Juan de Lara's in-depth AToM3 programming tutorial: the AToM3 Python API for details about AToM3's internal representation of models, about constraints and actions, and about manipulation of concrete syntax (visual) objects.

Model Transformation
Eugene Syriani. T-Core: Transformation Languages Tailored to Your Needs. [presentation .ppt].

Formalisms: Causal Block Diagrams (CBDs)
Blackboard Scribbles.
Topological Sorting and Strong Component algorithms.

Formalisms: Statecharts
presentation[pdf].
David Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming. Volume 8. 1987. pp. 231 - 274. [pdf].
David Harel. On Visual Formalisms. Communications of the ACM. Volume 31, No. 5. 1988. pp. 514 - 530. [pdf].
David Harel and Amnon Naamad, The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology (TOSEM) Volume 5 , Issue 4 (October 1996) pp.293 - 333. [pdf].
D. Harel and M. Politi. Modeling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw-Hill, 1998. (available online).
Michael von der Beeck. A structured operational semantics for UML-statecharts. Software and Systems Modeling. Volume 1, No. 2 pp.130 - 141. December 2002. [pdf].

  Assignments

1. Domain-Specific Modelling: Meta-Modelling and Rule-Based Model Transformation for a simple Traffic formalism.
2. Domain-Specific Modelling: Coded vs. Rule-Based Model Transformation for operational semantics of a simple Traffic formalism.
3. Causal Block Diagrams
4. Statecharts: digital watch

  Projects

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 elsarticle-template-harv.tex is the document template you should use as a starting point for your report.
Your report should contain at least the following:
  • A title capturing the essence of your work.
  • Author name, affiliation, and contact information.
  • An abstract presenting the paper's contribution. Based on the abstract, readers will decide whether or not your paper is worth reading.
  • Keywords summarising the paper.
  • A introduction presenting the problem/context. The introduction section should end with an overview of the rest of the paper. For example: ``Section 2 gives an overview of related work. Section 3 presents the design of our new architecture. ... Section 7 concludes.
  • A related work section, with references. If it is not elaborate enough to warrant its own section, related work may go into the introduction section.
  • A number of sections presenting the details of your contribution. This could contain details of your design.
  • If applicable, a section presenting the experience with using your work, including a performance evaluation.
  • a comparison of your work with that of others (what is new/better/...).
  • Conclusions and future work.
  • A bibliography. You must use bibTeX!
Note that your report should be a cross between a journal publication (where only the essence of the novel contribution should be presented) and a technical report (where technical details may be explained and there is no limitation on the number of pages used).

Nick Baetens Comparing graphical DSL editors: AToM3, GMF, MetaEdit+ 09:30 -- 09:50 project page
Jacob Beard SCXML to Javascript translation for synthesis of simple text editor from Statecharts project page
Kevin Buyl Internal DSLs: jetbrains 09:50 -- 10:10 project page
Isidoro Castell Egea DSM (PhoneApps) to Android: behaviour+layout+animation+debugging project page
Matthias De Cock Modelling the behaviour of Non-Player Characters (NPCs) in games project page
Dieter De Hen RAMification (Reduce Augment Modify) to generate a transformation meta-model project page
Philip De Smedt Comparing graphical DSL editors: AToM3, MetaEdit+, Poseidon for DSLs 19:50 -- 11:10 project page
Thomas De Vylder A survey of Feature Modelling + visual modelling environment for FM in AToM3 11:10 -- 11:30 project page
Ahmed Hadi
Xiaobo Li Mapping Traffic models onto the DEVS discrete-event simulation formalism project page
Gertjan Loots
Ákos Gergö Nagy Alloy 11:30 -- 11:50 project page
Sándor Országh UPPAAL project page
Tom Pauwaert Textual DSLs using Xtext 13:00 -- 13:20 project page
Daniel Riegelhaupt DSVL for Modelica 13:20 -- 13:50 project page
Jelle Slowack Internal DSLs: scala 13:50 -- 14:10 project page
Gino Wuytjens Transforming Statecharts to Place/Transition Petri Nets 14:10 -- 14:30 project page

The original list of suggested project topics can be found here

Maintained by Hans Vangheluwe Last Modified: 2013/11/19 07:58:46.