The 14th Workshop on Domain-Specific Modeling

  Portland, Oregon, United States
October 20-24, 2014

Workshop date: Tuesday 21st October

Domain-Specific Modeling (DSM) provides a modern solution to demands for higher productivity by constricting the gap between problem and solution modeling. In the past, productivity gains have been sought from new programming languages. Domain-specific modeling languages provide a viable solution for continuing to raise the level of abstraction beyond coding, making development faster and easier.

In DSM, the models are constructed using concepts that represent things in the application domain, not concepts of a given programming language. The modeling language follows the domain abstractions and semantics, allowing developers to perceive themselves as working directly with domain concepts. The models represent simultaneously the design, implementation and documentation of the system. In a number of cases, the final products can be automatically generated from these high-level specifications with domain-specific code generators. This automation is possible because of domain-specificity: both the modeling language and code generators fit to the requirements of a narrowly defined domain, usually inside one organization only.

Workshop format and schedule

The workshop format is a combination of presentations (15 mins + 5 mins discussion) and group work on selected topics. This structure was found effective during the past workshops.

08:30

Welcome and Introduction

   
 

Topics in Model Transformation

Session chair: Christian Berger

09:00

A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation
Kun Zhang and Jonathan Sprinkle

09:20

Generating Code using Reflection in the Context of Computer-assisted Legacy System Analyses and Reengineering
Peter Krall

09:40

Omniscient Debugging for Model Transformations
Jonathan Corley, Brian Eddy and Jeff Gray

   

10:00

Break

   
 

Tools and Language Design Experiences

Session chair: Jonathan Sprinkle

10:30

Development of Modelling Frameworks and Viewpoints with Kitalpha
Benoit Langlois, Daniel Exertier and Boubekeur Zendagui

10:50

Design of a Domain-Specific Language for Material Flow Analysis using Microsoft DSL tools: An Experience Paper
Bahram Zarrin and Hubert Baumeister

11:10

Mapping-Based Exchange of Models Between Meta-Modeling Tools
Heiko Kern, Vladimir Dimitrieski, Fred Stefan and Milan Celikovic

11:30

Picture + Group Organization

   

12:00

Lunch + Group Work

   
 

Modeling of Cyber-Physical Systems

Session chair: Jonathan Corley

13:30

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems
Sean Whitsitt, Jonathan Sprinkle and Roman Lysecky

13:50

SenseDSL: Automating the Integration of Sensors for MCU-based Robots and Cyber-Physical Systems
Christian Berger

   
 

Group Work

14:10

Group Work Initial Discussion

   

15:00

Break / Group Work

   

15:30

Group Work

16:30

Group Reports

17:00

Workshop ends

Proceedings

The accepted papers have been published above and will be published later in ACM DL.

Program committee

Organizing committee