DSM TP 2016
Theory and Practice
7th International Summer School
on Domain-Specific Modeling
Genève, Switzerland
22-26 August


The DSM-TP International Summer School provides an opportunity for learning and discussion about Domain Specific Modeling.

The School takes place from the 22nd till the 26th of August 2016 at the Université de Genève in Switzerland. This year the Summer School is organized by the Software Modeling and Verification Group (Genève, Switzerland) (SMV) in close collaboration with the Modelling, Simulation and Design lab (Antwerp, Belgium and Montreal, Canada) and the Departamento de Informática (Portugal), who organized the previous editions of this Summer School.

News: the Summer School is co-organized with the MPM4CPS COST Action. It is also an MPM4CPS Training School. This means that a number of fellowships are available to cover participation cost. You can apply for a fellowship by filling the following form. For more information, follow the Registration link.


The Topic

Over the last decades, the complexity of systems we study and design (such as Cyber-Physical Systems) has grown exponentially. To manage this complexity, industry and academia now explicitly model different aspects of the structure and behaviour of systems, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s).

Dedicated modelling formalisms, also known as Domain Specific Languages, are used increasingly to maximally constrain the modeller to the problem at hand, reducing the cognitive gap and enabling optimal, domain specific, model manipulations such as application synthesis. In particular for product families, using generative (transformation) techniques, numerous success stories are reported in industry.

Model Based Systems Engineering in general, and Domain Specific Modeling in particular have proven useful in a wide range of application domains: Interactive Systems, Real-Time Systems, Web 2.0 design, Business Architecture, Modern Computer Games, Industrial Automation, Hardware and Software Co-design, Mechatronics, Business Process Modeling, Requirements Engineering, and Process Design, etc.

Hand in hand with these industrial successes, academia have been developing foundations, systematic approaches, techniques, tools, frameworks and processes to turn Model Based Systems Engineering into a true engineering discipline. This builds on existing work in language semantics, simulation, model checking, and model-based testing.

Given the plethora of scattered developments (theories, techniques and tools) in this exciting field, practitioners as well as students and researchers lack an integrated vision of the model based systems engineering domain. This includes insight into the limitations of domain-specific modeling such as limited support for version control, language evolution and debugging. This in contrast with the ample support for these features in general purpose (programming) languages.

The Summer School

It is exactly the integrated vision on the problems addressed and solutions offered by Domain Specific Modelling (and Modelling Language Engineering) that this Summer School aims to provide.

This sixth International Summer School on Domain Specific Modeling - Theory and Practice is aimed at researchers, teachers, practitioners, and students (typically PhD. level) who intend to study or work with Domain Specific Modeling. The purpose is to learn about foundations as well as best practices in a friendly and stimulating environment. There will be ample opportunities to discuss with other participants and with the lecturers. These lecturers are experienced and active professionals, leaders in their field, whose academic and industrial background covers the broad range of topics of the School.

DSM-TP 2016 is hosted by the Software Modeling and Verification Group (Genève, Switzerland) (SMV) at the Université de Genève, Switzerland. The Summer School is organized in close collaboration with the Modelling, Simulation and Design lab (Antwerp, Belgium and Montreal, Canada) and the Departamento de Informática (Portugal), who organized the previous editions of this Summer School.

The event will take place during five days. During the first four days, theory lectures introducing theoretical/foundational topics will be alternated with tutorials where techniques and tools will be explained hands-on. As a reference, last year's DSM-TP edition a small common Case Study from the Railway Domain was used across all tutorials to make the coherence between the different topics (language design, model transformation, semantics, model checking, ...) clear. During the last day of the School, both the academic and industrial point of view on the most recent advances in the field will be presented. This will highlight current research as well as discuss challenges and open issues (with many hints for future PhD topics).

The main topics covered during the school
  • Causes of Complexity
  • The need for Domain Specific Modelling and Languages
  • Domain Modelling
  • Variability, Product Families
  • Modelling Language Engineering (aka Meta-Modelling)
  • Visual Modelling Languages
  • Model Transformation
  • Querying, Multi-view modelling, trace-ability
  • Specifying Modelling Language Semantics, common Semantic Domains
  • Specifying and Checking (Domain-Specific) Model Properties
  • Evaluating the Quality of Domain Specific Languages
  • (Meta-)Model Composition
  • Industrial Uses of Domain-Specific Modelling and Model-Based Systems Engineering

Tools used during the hands-on tutorials
  • Language Design: metaDepth, Clafer, AToMPM, IncQuery, ...
  • Model Transformations: AToMPM/MoTif, ATL, Epsilon tools such as EGL, ...

Maintained by Hans Vangheluwe. Last Modified: 2016/04/19 19:19:12.