Beyond Code: An Introduction to Model-Driven Software Development (CISC 844, Winter 2025) Schedule & Reading List [Home] [Content] [Schedule] [Projects]

Tentative course schedule

Notes:

• Free access to papers only from Queen's domain, i.e., if you're on campus the links should take you directly to the papers; if you're off campus, the links will take you to the Queen's proxy server which will ask you to authenticate, before you can access the paper.
• The course has a discussion forum on the School's discourse server You need an invitation link from the instructor to log in.

Week	Date	Topic	Slides	Lead reviewers
1	Jan 6, 8	Course info: Intro, motivation, admin Content: What is a model? Models everywhere! Models in software engineering Readings: None	part1_4up, part2_4up
2	Jan 13,15	Expressing models of software: UML Content: Class diagrams, object diagrams, state machines, sequence diagrams Readings: None Assignments: Assignment 1 HCL Model RealTime download and installation instructions: See Assignment 1 Video tutorial: Informal system description, how to define structure, how to define the behaviour Sample models: Go to here. Instructions on how to import these models into Model RealTime can be found on the Assignment 1 page.	4-up
3	Jan 20,22	MDSD with UML-RT and HCL Model RealTime I Content: UML-RT: Basic concepts (capsules, protocols, ports, basic state machines) [Moh21a,Moh21b]. Model RealTime: Installation, basic use, examples. In class exercise (Wed): What is a restaurant? Readings: None Assignments: Assignment 2	Parts 1 to 3, 4-up
4	Jan 27,29	MDSD with UML-RT and HCL Model RealTime II Content: UML-RT: Basic concepts (capsules, protocols, ports, basic state machines) [Moh21a,Moh21b]. Model RealTime (installation, basic use, examples) Readings R1 (Actors): [Akka17] Readings R2 (State machines): [Sam09, pages 1-1 to 1-8 and 3-1 to 3-6]		R1: Maros, Shafi R2: Nicolas, Megan
5	Feb 3,5	MDSD with UML-RT and HCL Model RealTime III Content: UML-RT: More on ports & state machines [Moh21a,Moh21b] Readings R3 (Complexity, abstraction & automation): [Kra07,Spo02] Assignments: Assignment 3 In class exercise: Can you get there from here?	Part 4, 4-up	R3: All
6	Feb 10,12	MDSD with UML-RT & HCL Model RealTime IV Content: UML-RT: Design guidelines, advanced features [Moh21a,Moh21b] Readings R4 (Applications: Modeling): [MBC+06] Readings R5 (Applications: Modeling): [CLG+23]	Part 5, 4-up,	R4: Yannick, Jing R5: Qiru, Mehedi
	Feb 17,19	No class Reading week
7	Feb 24,26	Domain Specific Languages I Content: Meta modeling, Eclipse Modeling Framework (EMF) Readings: None In class exercise (on Monday): Take it Apart
8	Mar 3,5	Domain Specific Languages II Content: Eclipse Modeling Framework (EMF), DSL examples, pros & cons, definition, metamodeling Readings R6 (Applications: DSLs): [MH17] Readings R7 (Applications: DSLs) [WG09] Assignments: Assignment 4	DSLs, 4-up EMF, 4-up	R6: Mohamed, Jing R7: Katherine, Mehedi
9	Mar 10,12	Domain Specific Languages III Content: Abstract syntax, concrete syntax, semantics, tooling, Xtext, debugging models Readings R8 (Applications: DSLs): [LNS+22]] Readings R9 (Applications: DSLs): [AGD+23] Sample EMF projects: Go to Samples of EMF projects		R8: Rashi, Haiyu R9: Georgia, Qiru
10	Mar 17,19	Domain Specific Languages III Content: Abstract syntax, concrete syntax, semantics, tooling, Xtext, debugging models Readings R10 (Future: AI+MDE): [CC23] Readings R11 (Future: Digital Twins): [BKC+22] Sample EMF projects: Go to Samples of EMF projects		R10: Huizi, Yannick R11: Bining, Greg
11	Mar 24,26	Domain Specific Languages IV Content: Abstract syntax, concrete syntax, semantics, tooling, Xtext, debugging models Readings R12 (Future: MDE): [Sel12] Sample DSLs: Go to Examples of DSLs in Xtext		R12: Georgia, Marcos
12	Mar 31, Apr 2	Domain Specific Languages IV Content: Abstract syntax, concrete syntax, semantics, tooling, Xtext, debugging models Readings: None

Readings

• Actors & state machines
  • R1: [Akka17] Akka Documentation. 2017.
    • Why modern systems need a new programming model (here)
    • How the Actor Model Meets the Needs of Modern, Distributed Systems (here)
    • Actor Systems (here)
    • What is an Actor? (here)
  • R2: [Sam09] M. Samek. A Crash Course in UML State Machines. Article based on Chapter 2 of the book "Practical UML Statecharts in C/C++ Second Edition". March 2009.
• Complexity, abstraction & automation
  • R3: [Kra07] J. Kramer. Is abstraction the key to computing? Communications of the ACM, Volume 50, Issue 4, Pages 36-42. April 2007. 7 pages.
  • R3: [Spo02] J. Spolsky. The Law of Leaky Abstractions. Joel on Software Blog. 2002. 6 pages.
  • R3: [Cha21] R.N. Charette. How software is eating the car. IEEE Spectrum. June 2021.
• Applications: Modeling
  • R4: [CLG+23] R. Campos-Lopez, E. Guerra, J. de Lara, A. Colantoni, A. Garmedia. Model-Driven Engineering for Augmented Reality. JOT 22(2). 2023. 15 pages.
  • R5: [MBC+06] F. Mancinelli, J. Boender, R. Di Cosmo, J. Vouillon, B. Durak, X. Leroy, R. Treinen. Managing the Complexity of Large Free and Open Source Package-Based Software Distributions. ASE 2006. 10 pages.
  • R6: [DTG+24] Duerschmid, Timperley, Garlan, Le Goues. ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. ICSE 2024. 13 pages.
  • R7: [APD+22] Armeni et al. Digital Twins in Healthcare: Is It the Beginning of a New Era of Evidence-Based Medicine? A Critical Review. Journal of Personalized Medicine 12(8):1255.
  • R7: [DDC+24] D'Aloisio et al. Engineering a Digital Twin for Diagnosis and Treatment of Multiple Sclerosis. International Conference on Engineering Digital Twins (EDTConf 2024). 6 pages.
• Applications: DSLs
  • R8: [MNY+20] Ma'ayan, Ni, Ye, Kulkarni, Sunshine. How Domain Experts Create Conceptual Diagrams and Implications for Tool Design. Conference on Human Factors in Computing Systems (CHI 2020). 14 pages.
  • R9: [MCC24] Morales, Clariso, Cabot. A DSL for Testing LLMs for Fairness and Bias. MODELS 2024. 11 pages.
  • R10: [MW24] Mosthaf, Wasowski. From a Natural to a Formal Language with DSL Assistant. MODELS 2024. 9 pages.
• MDE and software engineering: Present and future
  • R11: [BCC+24] Bencomo et al. Abstraction Engineering. Preprint. 2024. 17 pages.
  • R12: [Sel12] B. Selic. What will it take? A view on adoption of model-based methods in practice. Software & Systems Modeling (SoSyM), 11(4):513-526. 2012. 14 pages.

Supporting material

• MDE
  • Marco Brambilla, Jordi Cabot, Manuel Wimmer. Model-Driven Software Engineering in Practice. 2nd Edition. Morgan and Claypool. 2017. Available as ebook (search Queen's University Library for book title)
  • [Lud03] J. Ludewig. Models in Software Engineering - An Introduction. Software & Systems Modeling, 2(1): 5-14. March 2003.
  • [Sch06] D.C. Schmidt. Model-Driven Engineering. IEEE Computer, Volume 39, Issue 2. Feb. 2006. Page(s):25 - 31.
• UML
  • M. Fowler. UML Distilled: A Brief Guide to the Standard Object Modeling Language (3rd Edition). Addison Wesley. 2004. Available as ebook (search Queen's University Library for book title)
  • G. Booch, J. Rumbaugh, I. Jacobson. UML User Guide. 2nd Edition. Addison Wesley. 2005. Available as ebook (search Queen's University Library for book title)
  • [Cab24] J. Cabot. Best UML cheatsheet and UML reference guides.
  • [SSH+16] Supporting material for 'UML @ Classroom' book by Seidl, Scholz, Huemer, and Kappel.
  • [Amb25a] Online UML Class Diagram tutorial by Scott Ambler (Agile Modeling).
  • [Amb25b] Online UML State Machine tutorial by Scott Ambler (Agile Modeling).
  • [Amb25c] Online UML Sequence Diagram tutorial by Scott Ambler (Agile Modeling).
  • [OMG17] Object Management Group. UML 2.5.1 Specification. Dec 2017.
  • [Sel12] B. Selic. The Less Well Known UML. Formal Methods for Model-Driven Engineering. Lecture Notes in Computer Science Volume 7320, 2012, pp 1-20.
• UML-RT
  • [Moh24a] M. Mohlin. Modeling Real-Time Applications in HCL Model RealTime.
  • [Moh24b] M. Mohlin. UML-RT States and Transitions.
  • [Moh24c] M. Mohlin. UML-RT Choice vs Junction Points.
  • [Sel98] B. Selic and J. Rumbaugh. Using UML for modeling complex real-time systems. Languages, Compilers, and Tools for Embedded Systems (LCTES'98). Montreal, Canada. 1998.
  • [PD14] E. Posse, J. Dingel. An executable formal semantics for UML-RT. Software & Systems Modeling 15 (1), 179-217. 2016.
• HCL Model RealTime
  • [HCL24a] HCL Technologies. Model RealTime User's Guide.
  • [HCL24b] HCL Technologies. Building C++ Applications with Model Realtime.
  • [Moh24e] C++ RT Services Library.
  • [Moh24f] M. Mohlin. Debugging DevOps Model RealTime Models.
  • [HCL24c] HCL Technologies. Model Debugger Introduction. Video.
  • [HCL24d] HCL Wiki. Look for 'Model RealTime'.
• Design Patterns
  • [RG25] Refactoring Guru Website. Design Patters. 2025.
• EMF
  • [WB23] EMF tutorial by Andrzej Wasowski and Thorsten Berger (part of their DSL book).
  • [Vog16] Online EMF tutorial by Lars Vogel.
  • [Rin24] YouTube videos for an EMF Tutorial based on [Vog16] by Jan-Oliver Ringert.
  • [ES16] Online EMF tutorial by EclipseSource.
  • [Ecl16] EMF Documentation.
• DSLs
  • [WB23]A. Wasowski, T. Berger. Domain-Specific Languages: Effective Modeling, Automation, and Reuse. Springer. 2023.
  • [Voe13] M Voelter. DSL Engineering: Designing, Implementing and Using Domain-Specific Languages. CreateSpace Independent Publishing Platform. 2013.
  • [Voe21] M. Voelter. Is a DSL suitable for you? 2021.
  • [Tom17] F. Tomassetti. The complete guide to (external) Domain Specific Languages. Blog post at https://tomassetti.me/domain-specific-languages. February 20, 2017.
  • [Fow21] M. Fowler. Domain-Specific Languages Guide. 2021.
  • [Bar21] M. Barash. Introductory course on domain-specific languages with Xtext and MPS. 2021.

Last modified: Thu Jan 02 2025 17:16:00