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

# GEMOC+MPM 2015
MODELS 2015 Workshops: GEMOC & MPM

- The Third International Workshop on the Globalization Of Modeling Languages
- The 9th International Workshop on Multi-Paradigm Modeling

### Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling
co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015)

### Ottawa, Canada, September 28, 2015.

GEMOC'15 co-Edited by

### Benoit Combemale, INRIA Rennes, France
Julien Deantoni, University of Nice, France
Jeff Gray, University of Alabama, USA

MPM'15 co-Edited by

### Daniel Balasubramanian, Vanderbilt University, USA
Bruno Barroca, MSDL, McGill University, Canada
Sahar Kokaly, NECSIS, McMaster University, Canada
Gergely Mezei, Budapest University of Technology and Economics, Hungary
Pieter Van Gorp, Information Systems Group, Eindhoven University of Technology (TU/e), The Netherlands

## Table of Contents

### Part 1: GEMOC 2015 Proceedings

- GEMOC 2015 Preface 0-1
  Benoit Combemale, Julien Deantoni, Jeff Gray
- Property-Based Methods for Collaborative Model Development 1-7
  Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horkoff, Istvan Rath, Rick Salay, Daniel Varro
- Programming against Multi-Version Metamodels: A Model Differencing and Virtualization Approach 8-13
  Robert Bill, Manuel Wimmer
- Towards a Formal Semantics of the TESL Specification Language 14-19
  Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye

### Part 2: MPM 2015 Proceedings

- MPM 2015 Preface 20-21
  Daniel Balasubramanian, Bruno Barroca, Sahar Kokaly, Bruno Barroca, Gergely Mezei, Bruno Barroca, Pieter Van Gorp
- Analyzing Regulatory Conformance in Medical Research Systems Using Multi-Paradigm Modeling 22-31
  Phillipa Bennett, Wuliang Sun, Wade Ted, Geri Georg, Indrakshi Ray, Michael Kahn
- Towards Inconsistency Management by Process-Oriented Dependency Modeling 32-41
  István Dávid, Joachim Denil, Hans Vangheluwe
- Towards a Unifying Approach for Performance-Driven Software Model Refactoring 42-51
  Davide Arcelli, Vittorio Cortellessa, Daniele Di Pompeo
- An Expeditious Approach to Modeling IDE Interaction Design 52-61
  Vasco Sousa, Eugene Syriani
- Towards a Unifying Model Transformation Bus 62-71
  Maris Jukss, Bruno Barroca, Clark Verbrugge, Hans Vangheluwe

We offer a BibTeX file for citing papers of this workshop from LaTeX.

2015-11-13: submitted by Julien Deantoni, metadata incl. bibliographic data published under Creative Commons CC0
2015-11-13: published on CEUR-WS.org |valid HTML5|