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


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


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 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


Alternative Tools

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

ALE by Inria and Obeo

Action Language for EMF.

Ale is a language to define behaviors on the top of Ecore models. It is intended to be distributed in EcoreTools and will be an alternative to K3. Learn more

Update site

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