| Vol-1760 urn:nbn:de:0074-1760-3 Copyright © 2016 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# EXE 2016
Executable Modeling

### Proceedings of the 2nd International Workshop on Executable Modeling
co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016)

### Saint-Malo, France, October 3, 2016.

Edited by

### Tanja Mayerhofer *
Philip Langer **
Ed Seidewitz ***
Jeff Gray ****

* TU Wien, Vienna, Austria
** EclipseSource, Vienna, Austria
*** nMeta, USA
**** University of Alabama, Tuscaloosa, Alabama, USA

## Table of Contents

- Preface

### Invited Talks

- Executable Modeling: Retrospective and Prospective (Keynote) 1
  Stephen Mellor
- Resource Analysis and Automated Verification for the Thirty Meter Telescope using Executable SysML Models 2-4
  Nerijus Jankevicius

### Research Papers

- Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries 5-11
  Michael Bar-Sinai, Gera Weiss, Assaf Marron
- Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency 12-18
  Florent Latombe, Xavier Crégut, Marc Pantel
- Interactive Debugging for Extensible Languages in Multi-Stage Transformation Environments 19-25
  Domenik Pavletic, Kim Haßlbauer
- Local Optimizations in Eclipse QVTc and QVTr using the Micro-Mapping Model of Computation 26-32
  Edward D. Willink

### Experience Reports

- xtUML: Current and Next State of a Modeling Dialect 33-37
  Cortland Starrett

### Tool Demonstrations

- SimQRi - A Query-oriented Tool for the Efficient Simulation and Analysis of Process Models 38-40
  Christophe Ponsard, Quentin Boucher, Gustavo Ospina

### Position Papers

- On Leveraging Executable Language Engineering for Domain-Specific Transformation Languages 41-43
  Erwan Bousse, Manuel Wimmer, Wieland Schwinger, Elisabeth Kapsammer
- On the Executable Nature of Models 44-46
  Eric Cariou, Olivier Le Goaer, Franck Barbie

2016-12-16: submitted by Tanja Mayerhofer, metadata incl. bibliographic data published under Creative Commons CC0
2016-12-16: published on CEUR-WS.org |valid HTML5|