GEMOC Component Discovery Catalog

Categories:

All these components can be installed from a GEMOC Studio. Simply click on Help > Install Additional GEMOC Components


GEMOC Language

Languages designed using GEMOC.

ActivityDiagram Languages (Sequential/Concurrent)(Incubation) by GEMOC

Deployer that installs the project sources for Concurrent and/or Sequential version of the Activitydiagram Language and sample models.

Deployer that installs the project sources for two versions of the Activitydiagram Language developped using GEMOC. One version will run using the GEMOC Sequential engine, the second using Concurrent engine. The deployer also provides sample models. Learn more

Update site

ArduinoModeling Languages (Sequential/Concurrent)(Incubation) by GEMOC

Deployer that installs the project sources for Sequential and Concurrent versions of the ArduinoModeling Language and sample models.

Deployer that installs the project sources for two versions of the ArduinoModeling Language developped using GEMOC. One version run using the GEMOC Sequential engine, the second using the Concurrent engine. The deployer also provides some sample models. Learn more

Update site

Markedgraph Language (Concurrent)(Incubation) by GEMOC

Deployer that installs the project sources for the concurrent version of the Markedgraph Language and sample models.

Deployer that installs the project sources for the Markedgraph Language developped using GEMOC. This version runs using the GEMOC Concurrent engine. The deployer also provides some sample models. This is the result of the GEMOC tutorial available in the eclipse help. Learn more

Update site

Flight Controller Language (ALE)(Incubation) by Inria

Fligth Controller Language (FCL) for drone written using GEMOC and ALE and sample models. [gemoc-studio 3.1.0]

The Fligth Controller Language is a demonstration language to illustrate GEMOC capabilities. Thanks to a control flow + mode state machine semantics, it allows to specify the behavior of a drone flight controller and simulate it. Learn more

Update site


GEMOC Coordination

Language coordination operators designed using GEMOC.

Operator for TFSM and ActivityDiagram (Incubation) by I3S

Deployer that installs the project sources for the coordination operator for TFSM and ActivityDiagram concurrent languages and sample models.

Deployer that installs the project sources for the coordination operator for TFSM and ActivityDiagram concurrent languages developped using GEMOC. The deployer also provides some sample models. Learn more

Update site


GEMOC Engine Extensions

Extensions for GEMOC Engines

Model Behavioral Interface Language (MBILang) by I3S

Allows to define the model behavioral interface that exposes a part of the internal syntax and semantics of the model.

The Model Behavioral Interface Language (MBILang) allows to specify the exposed elements of the internal executable model as an homogeneous interface. The exposed elements can be exploited to specify the possible interactions with the model.

Update site

Model Coordination Language (MCL) by I3S

Allows to define the Model Coordination Specification based on the Model Behavioral Interface for one or more models.

The Model Coordination Language allows to define the Model Coordination Specification based on the Model Behavioral Interface for one or more models. The defined specification describes how to integrate heterogeneous models defining explicitly the coordination among them.

Based on the Model Behavioral Interface, the Coordination Model Specification is composed by a set of Connectors. A connector defines how, when and under which synchronization constraint one or more data are conveyed from a model to another.

Update site

ALE Compiler by Inria

ALE compiler generates java code from ALE language.

The main features of the ALE Compiler are:

  • Integration with Eclipse: Compile ALE languages in the Eclipse IDE
  • Maven integration: Automatically compile your languages using the ale compiler maven plugin
  • Configurable: The ALE Compiler can target four implementation patterns: Interpreter, Visitor, EMF’s Switch and Revisitor.

Learn more

Update site


Alternative GEMOC based Engines

Engines and tools proposing alternative approaches (based on GEMOC execution framework)

GEMOC xMOF Engine by Vienna University of Technology

xMOF allows you to define the execution semantics of your language with UML activity diagrams.

The xMOF language allows you to define the execution semantics of your language with UML activity diagrams. This component provides the xMOF language, editor and execution engine, as well as wizards helping you to setup your xMOF projects. Learn more

Update site


Exhaustive Exploration

Tools for Exhaustive Exploration.

Clocksystem by ENSTA

Multiform Time Constraints.

Clocksystem is meta-described clock-constraint engine, which embeds a formal model of logical time into the Smalltalk general-purpose language and environment.

Update site


Modeler

Modeling environment tools.

UML Designer 9.0.0 by Obeo

Graphical tooling to edit and visualize UML models.

UML Designer provides a set of common diagrams to work with UML 2.5 models. The intent is to provide an easy way to make the transition from UML to domain specific modeling. This way users can continue to manipulate legacy UML models and start working with DSL. Users can even re-use the provided representations and work in a total transparence on both UML and DSL models at the same time. Learn more

Update site

Capella 1.3.1 by Eclipse Polarsys

Comprehensive, extensible and field-proven MBSE tool and method to design systems architecture.

Capella is a comprehensive, extensible and field-proven MBSE tool to successfully design system, software, and hardware architecture. Relying on Arcadia, a model-based methodology that covers each engineering phase, Capella helps systems architects to formalize specification and master architectural design.
In GEMOC, Capella may contribute to the modeling workbench activities. Learn more

Update site


Alternative Tools

Engines and tools proposing alternative approaches (may not directly use GEMOC execution framework)

TESL Engine and Editor by CentraleSupélec/LRI

The Tagged Event Specification Language allows the specification of timed systems by modeling events as clocks and occurrences of an event as ticks on its clock.

The Tagged Event Specification Language allows the specification of timed systems by modeling events as clocks and occurrences of an event as ticks on its clock. Learn more

Update site