img

3rd International Workshop onThe Globalization of Modeling Languages

September 28, 2015, Ottawa, Canadaco-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.

Program

09:00-09:15: Workshop opening (B. Combemale)

09:15-10:15: Keynote (chair: J. Gray)

 

Bran Selic

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,

In their reputation for science it is usually asserted the best breakthroughs originated from analysts who wanted to know their own self the most appropriate questions. In my opinion, not only because of this, many of these individuals were fortunate and were in the right time and place thanks to their perseverance write my essay This series will be the most crucial element of coming up with a learning. The time spent, time, strategy or even the affect associated with the report while in the controlled area be determined by this period really being administered in the right manner. On the flip side, also, it is most likely the most tedious stage to organize. There are thousands of factors that vary depending wholly on you and your rapport with the elected subject.

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 VanUniversity of Paris-Sud Thibaut BalabonskiUniversity of Paris-Sud Frédéric BoulangerUniversity of Paris-Sud & CentraleSupélec Safouan TahaUniversity of Paris-Sud & CentraleSupélec Benoît ValironUniversity of Paris-Sud & CentraleSupélec Burkhart WolffUniversity of Paris-Sud & CentraleSupélec Lina Ye, University of Paris-Sud & CentraleSupélec
  • Property-Based Methods for Collaborative Model Development (paper, slides) Marsha ChechikUniversity of Toronto Fabiano DalpiazCity 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

*12:00-01:30: lunch*

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
  • etc.

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.

Topics

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.

Submission

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.

Publication

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.

Important Dates

  • Abstract submission deadline: July 10, 2015
  • Paper submission deadline: July 17, 2015
  • Notification of acceptance: August 21, 2015
  • Workshop: September 28, 2015

Committees

Organizers (contact)

Program Committee

  • 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