Table of Contents

Course "Programming automation" (PA)

The course is delivered to MIPT DIHT first year graduate students in Spring 2015 as an alternative course.

Professor: Anton Khritankov (contact: prog.autom (at) gmail.com)

TAs: None

Course Syllabus

Course includes three major topics that automate software development:

Lectures are complemented with three labs:

There are 32 lecture hours and 16 lab hours in the course (a 2-hour lab each two weeks).

Course starts February 12th, 2015.

Extended course syllabus can be downloaded here (in Russian).

Exam questions from year 2014 can be found here (in Russian)

Schedule

DateTopicLab (odd)Lab (even)
02/12Introduction to Model-Driven Software Development No class
02/19UML 2. Classes. Review UML Basics
02/26UML 2. Statecharts. ReviewUML Basics
03/05Executable UML. UML Basics Due
03/12Foundational UML (fUML). Action Language for fUML (ALF)UML Basics Due
03/19Meta-modeling. Model-to-Model Transformation. Query-View-Transformation xUML Lab
03/26Developing Model-to-Text transformations xUML Lab
04/02Topic - TBA xUML Lab Due
04/09Developing Domain-Specific LanguagesxUML Lab Due
04/16Introduction to DSM and Domain-Driven Design DSL Lab
04/23Software product lines DSL Lab
04/30Applications of MDD. Software Factories. Embedded software. Case studies DSL Lab Due
05/07Software testing. Model-based Testing overview. Test generation DSL Lab Due
05/14Testing from state-based and rule-based models. Extra time
05/21Automation in the small. Tools Extra time
05/28Course review Assignments Due Assignments Due
06/03Final Exam - TBA

Individual assignments

Individual assignments are given throughout the course. A list of available assignments to choose from is TBD (e.g. read a paper). See also Model-Driven Software Development Library (in Russian)

Grading

There is a final exam for the course. Exam schedule will be announced later.

Unless a “fast win” the final grade (FG) includes:

(sum is 125%)

In particular, the following formula is applied FG = 0,5 * (Lab1 + Lab2 + Lab3) / 3 + 0,25*(attendance) + 0,25*(exam) + 0,25*(assignments) when Lab1 >= 3 && Lab2 >= 3 && Lab3 >= 3 && assignments >= 5.

Students with FG > 7 before exam may skip the exam.

Fast wins

Fast win is an assignment, completion of which is equivalent to getting the final grade.

Code generator

Implement an MDA tool chain for UML 2 using XMI, XML and Groovy as target platform. Follow the ideas of Executable UML.

Note: A proof-of-concept implementation (PoC) is sufficient

DDD framework

Implement a DDD framework that generates Web pages and DB schema from ECore data model.

State-transition test generator

Develop a test generator tool from state machines that uses SCXML and support all-states coverage criteria. Assume that conditions and triggers are written in Java.

Functional test generator

Develop a DSL for specifying use-cases and develop a functional test generator from models in this DSL

Statechart code generator

Implement a UML-like statechart execution engine using Java, SCXML, xText and xTend2.

Configuration generator

Implement a Spring XML configuration code generator from UML structure diagrams (via XMI) using M2M transformation or XML toolkit

Model mutator

Implement model-level mutations for Lab3 (entities + gherkin) models using Ecore and QVT.

ERD model editor and generator

Implement an ERD model editor with GMF and a code generator to SQL DDL using xText and xTend2.

Course books

Main books:

  1. Mellor S.J., Balcer M.J. Executable UML. A Foundation for Model-Driven Architecture
  2. M. Fowler. Domain-Specific Languages
  3. M. Utting, B. Legeard. Practical Model-Based Testing. A Tools Approach

Additional books:

  1. Greenfield J., Kent S. Software Factories Assembling Applications with Patterns, Models, Frameworks, and Tools.
  2. Evans E. Domain-Driven Design Tackling Complexity In The Heart Of Software
  3. L. Bettini. Implementing Domain Specific Languages with Xtext and Xtend