EXE 2016
Executable Modeling

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