Fifth Workshop on the Globalization of Modeling Languages (GEMOC 2017) Frédéric Boulanger Eugene Syriani Andreas Wortmann CentraleSupélec/LRI, Paris-Saclay, France Université de Montréal, Canada RWTH Aachen University, Germany frederic.boulanger@centralesupelec.fr syriani@iro.umontreal.ca wortmann@se-rwth.de Abstract—The fifth edition of the GEMOC workshop was co- of continuous and discrete modeling, as well as of simu- located with the MODELS 2017 conference in Austin, Texas. lation techniques. The Call for Papers explicitly solicited The workshop provided an open forum for sharing experiences, contributions that described a vision for developing the problems, and solutions related to the challenges of using necessary breakthroughs in software languages to support multiple modeling languages in the development of complex global software engineering, i.e., breakthroughs that lead software-based systems. During the workshop, interesting ap- to effective technologies supporting different forms of lan- proaches were presented and discussed, ideas and opinions guage integration, including language collaboration, inter- exchanged, and constructive feedback provided to authors of operability and composability, as well as the related social accepted papers. A major objective was to encourage more coordination between developers that use different modeling collaborations and to consolidate the community that focuses languages. on providing solutions supporting the globalization of domain- The topics of interest for GEMOC 2017 include: specific modeling languages, i.e., the coordinated use of multi- ple languages throughout the development of complex systems. • Composability and interoperability of heterogeneous This report summarizes the presentations and discussions that modeling languages took place in the 2017 edition of the workshop. • Language integration challenges, from requirement to design, for analysis and simulation, during run- 1. Introduction time, etc. • Model and metamodel composition Modern software-intensive systems are separated into • Language interface, viewpoint different concerns to serve the needs of diverse stakehold- • Heterogeneous modeling and simulation ers. These different concerns often require expertise from • Language-based socio-technical coordination different domains and integration of solutions provided in specialized modeling languages and technologies. Software Submissions describing practical and industrial experi- engineers hence must integrate the different languages and ence related to the use of heterogeneous modeling languages technologies. GEMOC 2017 was organized as a half-day were also encouraged. Particularly we called for research in workshop that brought together researchers and practitioners modeling language globalization in the following application from the modeling and software language community to domains: discuss these challenges. Following the four previous edi- tions, its major objective again was to foster collaborations • Cyber-Physical Systems, System of Systems and to expand a community focusing on the challenges of • Internet of Services, Internet of Things globalizing modeling languages. • Complex Adaptive Systems The GEMOC 2017 workshop was co-located with • Smart City, Smart Building, Home automation MODELS 2017 in Austin, Texas, on September 19t, 2017. • Smart Grids, management of renewable and inter- In this report, we document the workshop. mittent energy sources • Industry 4.0 and the smart factory of the future In the following, section 2 outlines the workshop, in- cluding topics of interest and relevant application domains. Section 3 illustrates the paper review and selection process, 3. Workshop Organization as well as the workshop’s structure. Section 4 summarizes the papers accepted at this workshop. Section 5 concludes Frédéric Boulanger, Eugene Syriani, and Andreas Wort- with our feeling about the workshop and its community. mann organized and chaired the program committee (PC) for this fifth edition of the GEMOC workshop. The workshop’s 2. Workshop Overview website1 and the call for papers (CfP) were made available, several months before the workshop took place. The CfP The fifth GEMOC workshop attracted submissions that addressed integration of engineering and formal modeling, 1. http://gemoc.org/events/gemoc2017.html. also was announced on different professional mailing lists architecture modeling and discrete messaging with (e.g., DBWorld, planetmde, SEWORLD). continuous updates. This integration enables a hier- Each of the workshop’s submissions was reviewed by at archical, component-based approach to closely re- least three PC members and the papers were selected based flect real-world CPS. on their relevance to the workshop’s topics and the reviews • Modeling co-simulation : a first experiment (by Re- provided by PC members. The organizers are very thankful nan Leroux, Ileana Ober, Marc Pantel and Jean- to all PC members for performing this important service to Michel Bruel): This paper describes the challenges the GEMOC community and for the quality of their reviews. of integration for co-simulation through a case study The GEMOC 2017 PC consisted of: and proposes a modeling approach to address these • Marsha Chechik (University of Toronto) challenge. The modeling approach is based on two • Tony Clark (Sheffield Hallam University) main concepts: a master algorithm that orchestrates • Benoit Combemale (IRISA, Université de Rennes 1) the individual simulations and and a rollback mech- • Jonathan Corley (University of West Georgia) anism that enables adjusting the step sizes of the • Julien Deantoni (UNS - I3S - INRIA Sophia An- various simulations. tipolis Mediterranee) • Jeff Gray (University of Alabama) 5. Conclusion • Jean-Marc Jézéquel (University of Rennes) • Ralf Lämmel (Universität Koblenz-Landau) The fifth edition again brought together an audience • Marjan Mernik (University of Maribor) with research interests in different globalization concerns • Gunter Mussbacher (McGill University) and fostered interesting discussions between the participants. • Florian Noyrit (CEA LIST) The ongoing research that was reported in the workshop and • Richard Paige (University of York) the discussions that took place are a good indication that • Bernhard Rumpe (RWTH Aachen University) the community around the challenges in modeling language • Matthias Schöttle (McGill University) integration is expanding. • Safouan Taha (CentraleSupélec, LRI) • Mark Van Den Brand (Eindhoven University of Technology) Acknowledgments • Hans Vangheluwe (McGill University) • Markus Voelter (Independent) GEMOC 2017 was supported by the GEMOC initiative2 , which promotes research that aims to develop the necessary breakthroughs in software languages to support global soft- 4. Paper Summaries ware engineering. We also thank all of the workshop authors, The GEMOC 2017 workshop was split into two parts: all members of the PC for their reviews, and all participants The first part started with a quick introduction about the (new and past participants) who help make the community achievements of the GEMOC initiative2 followed by a active! keynote on co-simulation by Hans Vangheluwe. Afterwards, a session with presentations of the three accepted papers and a concluding discussion took place. The three accepted papers were as follows: • Bridging Engineering and Formal Modeling: We- bGME and Formula Integration (by Tamas Kecskes, Qishen Zhang and Janos Sztipanovits): The paper addresses the challenge of analyzing CPS system level behavior where cross-domain interaction en- tail employment of various heterogeneous modeling languages. The authors map this challenge to the meta-level model integration of a meta-modeling technique (WebGME) with a a constraint logic pro- gramming framework (Formula) to formally specify the semantics of modeling languages and model transformations. • CREST - A Continuous, REactive SysTems DSL (by Stefan Klikovits, Alban Linard and Didier Buchs): The introduces a software language for the model- ing of continuous, reactive systems that integrates 2. http://gemoc.org