3rd International Workshop on
The Globalization of Modeling Languages
September 28, 2015, Ottawa, Canada
co-located with MODELS 2015
GEMOC 2015 is now over! You can checkout the slides, and the workshop proceedings published on CEUR.
About | Program | Call | Dates | Committees
About the Workshop
To cope with complexity, modern software-intensive systems are often split in different concerns, which serve diverse stakeholders and must address a variety of concerns. These different concerns are often associated with specialized description languages and technologies, which are based on concern-specific problems and solution concepts. Software developers are thus faced with the challenging task of integrating the different languages and associated technologies used to produce software artifacts in the different concern spaces.
Part of an ongoing series, the proposed GEMOC 2015 will be a full-day workshop that brings together researchers and practitioners in the modeling languages community to discuss the challenges associated with integrating multiple, heterogeneous modeling languages. The languages of interest range from requirements, to design and runtime languages, and include both general-purpose and domain-specific languages. Challenges related to engineering composable languages, well-formed semantic composition of languages and reasoning about systems described using heterogeneous languages are of particular interest.
GEMOC 2015 will provide an open forum for sharing experiences, problems and solutions on the conjoint use of multiple modeling languages. This workshop will be the place where concrete artifacts, ideas and opinions are exchanged in order to reap constructive feedback. Following the two first editions, a major objective is to continue collaborations and to expand a community that is focused on solving the problems arising from the globalization of modeling languages; i.e., the use of multiple DSLs to support coordinated development of diverse aspects of a system.
09:00-09:15: Workshop opening (B. Combemale)
Keynote by Bran Selic: “Seeking Meaningful Relationships: A Challenge“
This is not a talk about dating or web sites for the lovelorn. Instead, we consider the somewhat neglected concept of relationship as encountered in computer science and software engineering. In these domains, relationships are encountered in many different forms: as associations and dependencies in modeling languages, as relationships in ER models, as pointers and references in programming languages, and so on. In most of these cases, the concept of a relationship is defined primarily in syntactic terms, devoid of meaningful contextual information such as the specific semantics of the entities that are being related or the significance and exact nature of the connection between them. Even the so-called “semantic Web”, which is purported to focus semantics, reduces relationships to generic syntactic categories (e.g., subject-predicate-object). This seems like a wasted opportunity, since available meaningful information about the nature of a relationship is being discarded. As a result, responsibility for supporting the semantics of relationships is shifted to custom program code. The consequence of this is that we have to write new code for each specific type of relationship, leading to a needless profusion of complex and problematic software.
In this talk, we pose a challenge to the modeling community: how can we enrich the concept of relationships with useful context-specific (i.e., semantic) information. One of the most obvious potential benefits of this wold be simpler and more generic software. In a way, this appears to be merely an evolution of the key idea behind the object paradigm, where the semantics of an object are the responsibility of the object itself.
10:30-11:00: coffee break
11:00-12:00: Session 1 (chair: J. DeAntoni): 3*20min
- Programming against Multi-Version Metamodels: A Model Differencing and Virtualization Approach (paper, slides)
Robert Bill, Vienna University of Technology
Manuel Wimmer, Vienna University of Technology
- Towards a formal semantics of the TESL specification language (paper, slides)
Hai Nguyen Van, University of Paris-Sud
Thibaut Balabonski, University of Paris-Sud
Frédéric Boulanger, University of Paris-Sud & CentraleSupélec
Safouan Taha, University of Paris-Sud & CentraleSupélec
Benoît Valiron, University of Paris-Sud & CentraleSupélec
Burkhart Wolff, University of Paris-Sud & CentraleSupélec
Lina Ye, University of Paris-Sud & CentraleSupélec
- Property-Based Methods for Collaborative Model Development (paper, slides)
Marsha Chechik, University of Toronto
Fabiano Dalpiaz, City University London
Csaba Debreceni, Utrecht University
Jennifer Horkoff, Budapest University of Technology and Economics
Istvan Rath, Utrecht University
Rick Salay, University of Toronto
Daniel Varro, Utrecht University
01:30-05:00: Session 2: Looking at the past and the future of the globalization of modeling languages
This session is an open forum for the workshop participants to discuss their past contributions and future research focus. The goal is to cross-fertilize ideas and to act as an incubator for short and long term collaborations. The afternoon session is split into discussion periods that each look at the past and future concerns of the globalization of modeling languages.
Looking at the Past: This is a flexible session that aims to provide a big picture of the activities realized, by the community, during the previous year through short, informal and interruptible presentations (whiteboard, few slides, pictures, poster, demo, or whatever can help). The presentations last from 1 to 20 minutes, including a substantial discussion portion. The program of this session will include, but not restricted to:
- BCOOL: A Behavioral Coordination Operator Language
- MoccML: A Meta-Language for the Concurrency Concern in DSLs
- Melange: Modular and Reusable DSL Design and Implementation
- Omniscient Debugging within the GEMOC Studio
- On the usefulness of Model Tying for Enterprise Architecture
- Traceability Between Requirements, Design, and Implementation
Looking toward the Future: This second session offers additional flexibility with a focus on new and emerging ideas that the community is working on. Participants will be encouraged to think about the globalization of modeling languages from “outside of the box.” The goal is to help define the future challenge problems and research focus of the community (e.g., definition and prioritization of new threads of work, new collaborations or even new themes). Presentations related to the globalization of modeling languages are open to everyone and will be informal/interactive. The maximum presentation time is 20 minutes including a substantial portion of discussions.The program of this session will include, but not restricted to:
- FMI for the GEMOC Studio
The format of the workshop reflects the goals of the workshop: constructive feedback on submitted papers and models on the conjoint use of different modeling languages, collaboration, and community building. The format of the workshop is that of a working meeting. Hence, there is less of a focus on presentations and more focus on producing and documenting a research roadmap that identifies challenges, different forms of language integration, and relates existing solutions.
The workshop will consist of a morning session in which a keynote and short presentations of the accepted papers will be given. A significant amount of time will be reserved for discussion of each paper and their relations to each other. The afternoon will be devoted to a working session dedicated to open discussions of the presented contributions and other topics suggested by the participants. We will lead the discussion towards a classification of existing and proposed forms of language integration, as well as a description of the language interfaces required in the context of the globalization of modeling languages. We will close with a working session to develop a plan to publish the results of the discussion in a final workshop report.
Call for Papers / Models
Context and Motivation
This proposed 2015 edition of the GEMOC workshop will follow the successful previous two editions: GEMOC at MODELS 2013 in Miami, FL, USA, and GEMOC at MODELS 2014 in Valencia, Spain. This new edition will complete the state of the art and practice initiated last year. This edition will also investigate the language interfaces required in the context of the globalization of modeling languages, and the possible relationships with the viewpoint engineering. It will 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.
GEMOC 2015 is supported by the GEMOC initiative, which promotes research seeking to develop the necessary breakthroughs in software languages to support global software engineering, i.e., breakthroughs that lead to effective technologies supporting different forms of language integration, including language collaboration, interoperability and composability.
The topics of interest for GEMOC 2015 include:
- Composability and interoperability of heterogeneous modeling languages
- Language integration challenges, from requirement to design, for analysis and simulation, during runtime, etc.
- Model and metamodel composition
- Language interface, viewpoint
- Heterogeneous modeling and simulation
- Language-based socio-technical coordination
Submissions describing practical and industrial experience related to the use of heterogeneous modeling languages are also encouraged, particularly in the following application domains:
- Cyber-Physical Systems, System of Systems
- Internet of Services, Internet of Things
- Complex Adaptive Systems
- Smart City, Smart Building, Home automation
Types of Contributions
As contributions, we expect descriptions of case studies on the coordinated use of multiple modeling languages, and/or descriptions of practical experience, opinions and related approaches. Authors will be invited to submit short papers describing (i) their language integration experience, or (ii) novel approaches for integrating modeling languages. Authors will also be invited to provide archived full versions of models used to illustrate their novel approach or experience on the Repository for Model-Driven Development (ReMoDD). This will allow participants to share their models with each other and the wider modeling community before and after the workshop.
Each contribution must be described in a short paper not exceeding 6 pages in the LNCS format (to be confirmed according to the requirements from the main conference). Each paper should describe problems, case studies, or solutions related to the topics of interest. Each paper is expected to highlight the relationships between modeling languages, as well as their management.
Papers that describe use cases, or novel integration approaches can be accompanied by concrete artifacts, such as models (requirements, design, analysis, transformation, composition, etc.), stored in ReMoDD. Artifacts should illustrate any experience on the conjoint use of different modeling languages.
Submitted articles must not have been previously published or currently submitted for publication elsewhere. The program chairs will apply the principles of the ACM Plagiarism Policy throughout the submission and review process. All contributions will be reviewed and selected by the program committee members.
Each contribution must not exceed 6 pages in the LNCS format and must be submitted electronically in pdf format via Easychair.
In addition, the concrete models referenced in a contribution should be submitted to ReMoDD.
The accepted papers will be published by CEUR in the workshop proceedings, which is indexed by DBLP. Moreover, the models will be published on ReMoDD. Also, participants will be strongly encouraged to participate in preparing the workshop report.
- Abstract submission deadline: July 10, 2015
- Paper submission deadline: July 17, 2015
- Notification of acceptance: August 21, 2015
- Workshop: September 28, 2015
- Benoit Combemale, INRIA and University of Rennes 1, France
- Julien DeAntoni, University of Nice Sophia Antipolis, France
- Jeff Gray, University of Alabama, USA
- Cédric Brun, OBEO, France
- Marsha Chechik, University of Toronto, Canada
- Tony Clark, Middlesex University, United Kingdom
- Benoit Combemale, INRIA and University of Rennes 1, France (chair)
- Julien DeAntoni, University of Nice Sophia Antipolis, France (chair)
- Jeff Gray, University of Alabama, USA (chair)
- Jean-Marc Jézéquel, University of Rennes 1, France
- Gabor Karsai, Vanderbilt University, USA
- Ralf Laemmel, Universität Koblenz-Landau, Germany
- Marjan Mernik, University of Maribor, Slovenia
- Gunter Mussbacher, McGill University, Canada
- Richard Paige, University of York, United Kingdom
- Bernhard Rumpe, RWTH Aachen University, Germany
- Matthias Schöttle, McGill, Canada
- Mark Van Den Brand, Eindhoven University of Technology, The Netherlands
- Eric Van Wyk, University of Minnesota, USA
- Jurgen Vinju, CWI, The Netherlands
- Markus Voelter, Independent, Germany