=Paper=
{{Paper
|id=Vol-2019/gemoc_intro
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-2019/gemoc_intro.pdf
|volume=Vol-2019
}}
==None==
https://ceur-ws.org/Vol-2019/gemoc_intro.pdf
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