October 20-24, 2014
Workshop date: Tuesday 21st October
|
|
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.
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(presentation slides) |
Topics in Model TransformationSession chair: Christian Berger |
|
|
09:00 |
A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation (presentation slides)Kun Zhang and Jonathan Sprinkle |
|
09:20 |
Peter Krall |
|
09:40 |
Omniscient Debugging for Model Transformations (presentation slides)Jonathan Corley, Brian Eddy and Jeff Gray |
|
10:00 |
Break |
Tools and Language Design ExperiencesSession chair: Jonathan Sprinkle |
|
|
10:30 |
Development of Modelling Frameworks and Viewpoints with Kitalpha Benoit Langlois, Daniel Exertier and Boubekeur Zendagui |
|
10:50 |
Bahram Zarrin and Hubert Baumeister |
|
11:10 |
Mapping-Based Exchange of Models Between Meta-Modeling Tools (presentation slides)Heiko Kern, Vladimir Dimitrieski, Fred Stefan and Milan Celikovic |
|
11:30 |
Picture + Group Organization |
|
12:00 |
Lunch +Group Work |
Modeling of Cyber-Physical SystemsSession chair: Jonathan Corley |
|
|
13:30 |
Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems (presentation slides)Sean Whitsitt, Jonathan Sprinkle and Roman Lysecky |
|
13:50 |
SenseDSL: Automating the Integration of Sensors for MCU-based Robots and Cyber-Physical Systems (presentation slides)Christian Berger |
Group Work |
|
|
14:10 |
Group Work Initial Discussion (topics discussed) |
|
15:00 |
Break/ Group Work |
|
15:30 |
Group Work |
|
16:30 |
Group Reports |
|
17:00 |
Workshop ends |
The accepted papers have been published for the workshop and updated versions are published in ACM DL.