Home

GEMOC is an open initiative exploring the necessary breakthrough in software languages to support a global software engineering. GEMOC investigates tools and methods in software language engineering (SLE) for the design and implementation of collaborative, interoperable and composable modeling languages.

GEMOC focuses on three design and validation issues in complex software-intensive systems

  1. Consider various concerns. Multiple stakeholders are involved in the design process, each with a specific domain expertise. Stakeholders express their perspective with their own language, which then must be composed for global analysis and execution.
  2. Integrate heterogeneous parts. Complex systems integrate different devices specialized for different applications to deliver a global service. Thus, communication, synchronization must be modeled to compose heterogeneous parts and characterize the emerging behavior.
  3. Deal with evolution and openness. It is not possible to establish an exhaustive, finite list of domain languages, communication and timing models. Thus, tools and environments must be open and allow the evolution or the creation of languages and models.

The members involving in the GEMOC initiative gather complementary expertise from software language (programming and modeling), models of computation (including time and communication issues), model driven engineering (MDE), and software validation & verification (V&V) and Testing (see members).

The GEMOC initiative is supported by different projects that explore several dimensions of tools and methods in software language engineering (SLE) for the design and implementation of collaborative, interoperable and composable modeling languages: the CNRS GDR GPL AS GEMOC (2011), the CNRS PICS Project MBSAR (2013-2015) and the ANR INS Project GEMOC (2012-2016).