GEMOC is an open and international initiative that aims to coordinate and disseminate the research results regarding the support of the coordinated use of various modeling languages that will lead to the concept of the globalization of modeling languages.
GEMOC develops techniques, frameworks, and environments to facilitate the creation, integration, and automated processing of heterogeneous modeling languages. All the results are seamlessly integrated in the GEMOC Studio.
GEMOC focuses on three design and validation issues in complex software-intensive systems
GEMOC is a community involving worldwide researchers and practitioners from academia and industry. The initiative is open to anyone willing to share problems, experiences and solutions related to the globalization of modeling languages.Learn More
The GEMOC initiative supports the GEMOC workshop series at the MODELS conference, and supports the organization of various additional events (workshops, seminars, meetings) on the topic of the globalization of modeling languages.Learn More
The GEMOC initiative is supported by different projects that explore several dimensions of tools and methods in software language engineering (SLE) related to the globalization of modeling languages.Learn More
A tool-supported approach to complement a modeling language with execution semantics, and automatically get an advanced and extensible environment for model simulation, animation and omniscient debugging.Learn More
Complement an executable modeling language with a formal model of concurrency to reason over temporal properties of concurrent or distributed systems (e.g., for design space exploration, scheduling, allocation analysis, etc.).Learn More
Reify behavioral coordination patterns between behavioral interfaces of domain-specific languages to automatically support the (time/data-driven) concurrent execution of, possibly heterogeneous, models.Learn More
The GEMOC Studio is an Eclipse product (on top of Eclipse Modeling, Xtext and Sirius), which integrates the Eclipse technologies produced by the GEMOC community, as well as various examples, documentations, and tutorials.