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|