Workshop on Domain-Specific Modeling (DSM) at SPLASH 2014.
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.
See the following web site for further information about DSM 2014: http://www.dsmforum.org/events/DSM14/
Tue 21 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 22mTalk | Welcome and Introduction DSM | ||
08:52 22mTalk | A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation DSM | ||
09:15 22mTalk | Generating Code using Reflection in the Context of Computer-assisted Legacy System Analyses and Reengineering DSM | ||
09:37 22mTalk | Omniscient Debugging for Model Transformations DSM |
10:30 - 12:00 | |||
10:30 30mTalk | Development of Modelling Frameworks and Viewpoints with Kitalpha DSM | ||
11:00 30mTalk | Design of a Domain-Specific Language for Material Flow Analysis using Microsoft DSL tools: An Experience Paper DSM | ||
11:30 30mTalk | Mapping-Based Exchange of Models Between Meta-Modeling Tools DSM |
13:30 - 15:00 | |||
13:30 30mTalk | Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems DSM | ||
14:00 30mTalk | SenseDSL: Automating the Integration of Sensors for MCU-based Robots and Cyber-Physical Systems DSM | ||
14:30 30mTalk | Group Work Initial Discussion DSM |
15:30 - 17:00 | |||
15:30 45mTalk | Group Work on selected topics DSM | ||
16:15 45mTalk | Group work reporting DSM |