Report on the First Workshop On the Globalization of Modeling Languages

The first edition of GEMOC workshop was co-located with the MODELS 2013 conference in Miami, FL, USA. The workshop provided an open forum for sharing experiences, problems and solutions related to the challenges of using of multiple modeling languages in the development of complex software based systems. During the workshop, concrete language composition artifacts, approaches, and mechanisms were presented and discussed, ideas and opinions exchanged, and constructive feedback provided to authors of accepted papers. A major objective was to encourage collaborations and to start building a community that focused on providing solutions that support what we refer to as the globalization of domain-specific modeling languages, that is, support coordinated use of multiple languages throughout the development of complex systems. This report summarizes the presentations and discussions that took place in the first GEMOC 2013 workshop.

💡 Research Summary

The first GEMOC (Globalization of Modeling Languages) workshop was held in conjunction with the MODELS 2013 conference in Miami, providing a dedicated forum for researchers and practitioners to discuss the challenges and solutions associated with using multiple domain‑specific modeling languages (DSMLs) in the development of complex software‑based systems. Twelve papers were accepted, and the workshop was organized around three main themes: language composition meta‑models and integration frameworks, concrete tool chains and execution mechanisms, and collaboration, community building, and meta‑model evolution.

The first theme focused on how to integrate several DSLs under a common meta‑model. Several contributions presented extensions of the Eclipse Modeling Framework (EMF) Ecore meta‑model to define shared concepts such as identifiers, type systems, and namespace handling. Rule‑based model transformations (using ATL, QVT, or custom DSLs) were employed to map semantics between languages, and validation mechanisms were introduced to ensure type compatibility and to detect conflicts early in the development lifecycle. The papers highlighted the importance of explicit namespace management and automated consistency checking as prerequisites for scalable language composition.

The second theme showcased concrete implementations that demonstrate the feasibility of multi‑language engineering. One case study described a simulation platform that combined a state‑machine DSL with a data‑flow DSL, addressing synchronization of execution semantics through a well‑defined interface. Another example integrated UML profiles with a domain‑specific DSL to generate production‑ready code; the authors emphasized the need for robust model‑to‑model transformation pipelines and introduced plug‑ins that automatically detect and resolve non‑conformant model elements. Performance concerns were tackled by introducing caching strategies and by using the MoDisco framework for integrated testing of composed models.

The third theme dealt with the social and organizational aspects of multi‑language projects. Papers proposed role‑based collaboration models where developers, domain experts, and tool builders each own specific responsibilities, supported by shared repositories and version‑control practices (Git, SVN). Strategies for managing a portfolio of DSLs and for evolving meta‑models without breaking existing models were discussed, including versioned meta‑model repositories and migration scripts. Community‑building initiatives such as online forums, shared reference architectures, and regular workshops were identified as essential for sustaining a global DSL ecosystem.

During the open discussion, participants identified several open research challenges. Semantic mismatches between languages and the resulting performance overhead were seen as critical obstacles. To address these, the community called for formal verification techniques (model checking, theorem proving) and for automated generation of semantic mappings. The concept of a “semantic mediator” – a meta‑model layer that reconciles differing language semantics – was proposed as a promising direction. Additionally, the lack of widely accepted standards for language composition was highlighted, prompting suggestions for closer collaboration with standardization bodies such as the Object Management Group (OMG) and for the development of open‑source platforms that host reusable meta‑models and composition patterns.

In summary, the GEMOC 2013 workshop successfully gathered a diverse set of contributions that collectively advance the state of the art in multi‑DSL engineering. It highlighted practical solutions, identified critical gaps, and laid out a roadmap that emphasizes formal methods, tool automation, and community‑driven standardization. The outcomes of this workshop are expected to shape future research and industrial practices aimed at achieving a truly globalized modeling language landscape.