Software intensive systems are becoming more complex, driven by the need to integrate across multiple concerns and communicative. Consequently, the development of such systems requires the integration of many di erent concerns and skills. These concerns are usually covered by di erent languages, with speci c concepts, technologies and abstraction levels. This multiplication of languages eases the development related to one speci c concern but raises language and technology integration problems at the di erent stages of the software life cycle. In order to reason about the global system, it becomes necessary to explicitly describe the di erent kinds of relationships that exist between the di erent languages used in the development of a complex system. To support e ective language integration, there is a pressing need to reify and classify these relationships, as well as the language interactions that the relationships enable. In this context, the proposed GEMOC 2015 workshop aims to attract submissions that outline language integration approaches and case studies that identify and discuss well-de ned problems about the management of relationships between heterogeneous modeling languages. The goal is to facilitate deep discussions among the participants that lead to an initial classi cation of the kinds of language relationships and their management. This volume contains the papers presented at GEMOC 2015: 3rd International Workshop on the Globalization of Modeling Languages held on September 27, 2015 in Ottawa. It follows the successful previous two editions at MODELS 2013 in Miami, FL, USA (http://gemoc.org/gemoc2013), and at MODELS 2014 in Valencia, Spain (http://gemoc.org/gemoc2014). This edition complete the state of the art and practice initiated in the previous editions. It also investigates the language interfaces required in the context of the globalization of modeling languages, and the possible relationships with the viewpoint engineering. Finally, it also strengthen the community that broadens the current DSML research focus beyond the development of independent DSMLs to a research focus that provides support for globalized DSMLs. This year, there were 6 submissions. Each submission was reviewed by at least 3, and on the average 3.5, program committee members. The committee decided to accept 3 papers. GEMOC 2015 has been supported by the GEMOC initiative (http://gemoc.org), which promotes research seeking to develop the necessary breakthroughs in software languages to support global software engineering, i.e., breakthroughs that lead to e ective technologies supporting di erent forms of language integration, including language collaboration, interoperability and composability.
v Property-Based Methods for Collaborative Model Development : : : : : : : : : Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, Jennifer Horko , Istvan Rath, Rick Salay and Daniel Varro Programming against Multi-Version Metamodels: A Model Di erencing and Virtualization Approach : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Robert Bill and Manuel Wimmer Towards a formal semantics of the TESL speci cation language : : : : : : : : : Hai Nguyen Van, Thibaut Balabonski, Frederic Boulanger, Safouan Taha, Beno^t Valiron, Burkhart Wol and Lina Ye 1 8 14
Marsha Chechik Tony Clark Benoit Combemale Julien Deantoni Je Gray Jean-Marc Jezequel Gabor Karsai Ralf Lammel Marjan Mernik Gunter Mussbacher Richard Paige Bernhard Rumpe Matthias Schottle Mark Van Den Brand Eric Van Wyk Jurgen Vinju Markus Voelter
University of Toronto Middlesex University IRISA, Universite de Rennes 1 UNS - I3S - INRIA Sophia Antipolis Mediterranee University of Alabama University of Rennes 1 Vanderbilt University Universitat Koblenz-Landau University of Maribor McGill University University of York RWTH Aachen University McGill University Eindhoven University of Technology University of Minnesota Centrum Wiskunde & Informatica Independent