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

Tentative course schedule

Notes:

• The list of course readings shown below is still tentative. Changes are possible.
• 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 9,12	Course info: Intro, motivation, admin Content: What is a model? Models everywhere! Models in software engineering Readings: None	part1_4up, part2_4up
2	Jan 16, 19	Expressing models of software: UML Content: Class diagrams, object diagrams, state machines, sequence diagrams Readings: None Assignments: Assignment 1 RTist download and installation instructions: See Assignment 1 UML-RT web interface: Go here 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 RTist can be found on the Assignment 1 page. In class exercise (Thurs): What is a restaurant?	4-up
3	Jan 23, 26	No class
4	Jan 30, Feb 2	MDSD with UML-RT and HCL RTist I Content: UML-RT: Basic concepts (capsules, protocols, ports, basic state machines) [Moh21a,Moh21b]. RTist: Installation, basic use, examples. Readings: None Assignments: Assignment 2	Parts 1 to 3, 4-up
5	Feb 6, 9	MDSD with UML-RT and HCL RTist II Content: UML-RT: Basic concepts (capsules, protocols, ports, basic state machines) [Moh21a,Moh21b]. RTist: Installation, basic use, examples. Readings R1 (Actors & state machines): [Akka17], [Sam09, pages 1-1 to 1-8 and 3-1 to 3-6]		R1 (Thurs): All
6	Feb 13, 16	MDSD with UML-RT and HCL RTist III Content: UML-RT: More on ports & state machines [Moh21a,Moh21b] Readings R2 (Complexity, abstraction & automation): [Kra07,Spo02] Readings R3 (Complexity, abstraction & automation): [RKL+22] Assignments: Assignment 3 In class exercise (on Monday): Can you get there from here?	Part 4, 4-up	R2 (Mon): Stephen R3 (Thurs): Zakzok
	Feb 20, 23	Reading week, no class
7	Feb 27, March 2	MDSD with UML-RT & HCL RTist IV Content: UML-RT: Design guidelines, advanced features [Moh21a,Moh21b] Readings R4 (Components & composition): [OLK+00] Readings R5 (Components & composition: [ASC+12]	Part 5, 4-up, Part 6, 4-up	R4 (Mon): Hesham R5 (Thurs): All
8	March 6, 9	Domain Specific Languages I Content: Meta modeling, Eclipse Modeling Framework (EMF) Readings: None In class exercise (on Thursday): Take it Apart
9	March 13, 16	Domain Specific Languages II Content: Eclipse Modeling Framework (EMF), DSL examples, pros & cons, definition, metamodeling Readings R6 (DSLs): [CSM+19] Readings R7 (DSLs) [MFC+22] Assignments: Assignment 4	DSLs, 4-up EMF, 4-up	R6 (Mon): Des R7 (Thurs): All
10	March 20, 23	Domain Specific Languages III Content: Abstract syntax, concrete syntax, semantics, tooling, Xtext, debugging models Readings R8 (Applications I: software product lines): [ABK+13a] Readings R9 (Applications I: feature modeling) [ABK+13b] Sample EMF projects: Go to Samples of EMF projects		R8 (Mon): Fangjian R9 (Thurs): James
11	March 27, 30	Domain Specific Languages IV Content: Abstract syntax, concrete syntax, semantics, tooling, Xtext, debugging models Readings R10 (Applications II: Digital twins): [GS12] Sample DSLs: Go to Examples of DSLs in Xtext		R10 (Mon): Heba
12	April 3, 6	MDE Content: MDE: Present & future Readings R11 (MDE: Future): [CV22] Readings R12 (MDE: Present): [Sel12]		R11 (Mon): Chris R12 (Thurs): Yu

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)
  • R1: [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
  • R2: [Kra07] J. Kramer. Is abstraction the key to computing? Communications of the ACM, Volume 50, Issue 4, Pages 36-42. April 2007. 7 pages.
  • R2: [Spo02] J. Spolsky. The Law of Leaky Abstractions. Joel on Software Blog. 2002. 6 pages.
  • R3: [RKL+22] D. Di Ruscio, D. Kolovos, J. de Lara, A. Pierantonio, M. Tisi, and M. Wimmer. Low-code development and model-driven engineering: Two sides of the same coin? Software & Systems Modeling (SoSyM) 21:437-446. 2022.
• Components and composition
  • R4: [OLK+00] R. van Ommering, F. van der Linden, J. Kramer, and J. Magee. The Koala component model for consumer electronics software . Computer 33(3):78-85. IEEE March 2000.
  • R5: [ASC+12] C. Artho, K. Suzaki, R. Di Cosmo, R. Treinen, and S. Zacchiroli. Why Do Software Packages Conflict? 9th IEEE Working Conference on Mining Software Repositories (MSR). 2012.
• DSLs
  • R6: [CSM+19] J. Caramujo, A. Rodrigues da Silva, S. Monfared, A. Ribeiro, P. Calado, and T. Breaux. RSL-IL4Privacy: a domain-specific language for the rigorous specification of privacy policies. Requirements Engineering 24:1-26. 2019.
  • R7: [MFC+22] J. Martins, J.M. Fonseca, R. Costa, J.C. Campos, A. Cunha, N. Macedo, and J.N. Oliveira. Verification of Railway Network Models with EVEREST. 25th International Conference on Model Driven Engineering Languages and Systems (MODELS'22). Pages 345-355. 2022.
• Modeling applications I: Software product lines, feature modeling
  • R8: [ABK+13a] S. Apel, D. Batory, C. Kaestner, and G. Saake. Software Product Lines. In Feature-Oriented Software Product Lines Concepts and Implementation. Pages 3-15. 2013.
  • R9: [ABK+13b] S. Apel, D. Batory, C. Kaestner, and G. Saake. A Development Process for Feature-Oriented Product Lines. In Feature-Oriented Software Product Lines Concepts and Implementation. Pages 17-44. 2013.
• Modeling applications II: Digital twins
  • R10: [GS12] E.H. Glaessgen and D.S. Stargel. The Digital Twin Paradigm for Future NASA and U.S. Air Force Vehicles. 53rd Structures, Structural Dynamics, and Materials Conference. 14 pages. 2012.
• Modeling-driven engineering: Present and future
  • R11: [CV22] J. Cabot and A. Vallecillo. Modeling should be an independent scientific discipline. Software & Systems Modeling (SoSyM), 21(6):2101-2107. 2022
  • 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.

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)
  • [SSH+16] Supporting material for 'UML @ Classroom' book by Seidl, Scholz, Huemer, and Kappel.
  • [IBM16] Online UML Class Diagram tutorial by IBM.
  • [AM16a] Online UML State Machine tutorial by Agile Modeling.
  • [AM16b] Online UML Sequence Diagram tutorial by 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
  • [Moh21a] M. Mohlin. Modeling Real-Time Applications in RTist.
  • [Moh21b] M. Mohlin. UML-RT States and Transitions.
  • [Moh21c] 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 RTist
  • [HCL21a] HCL Technologies. RTist User's Guide.
  • [Moh21d] M. Mohlin. Building C++ Applications with RTist.
  • [Moh21e] C++ RT Services Library.
  • [Moh21f] M. Mohlin. Debugging RTist Models.
  • [HCL21b] HCL Technologies. Model Debugger Introduction. Video.
  • [HCL21c] HCL Wiki. Look for 'RTist'
• Design Patterns
  • [RG21] Refactoring Guru Website. Design Patters. 2022.
• EMF
  • [Vog16] Online EMF tutorial by Lars Vogel.
  • [ES16] Online EMF tutorial by EclipseSource.
  • [IBM16] Eclipse EMF Homepage.
  • [Ecl16] EMF Documentation.
• DSLs
  • [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: Mon Jan 16 2023 12:34:47