GEMOC Component Discovery Catalog
Categories:
- GEMOC Language
- GEMOC Coordination
- GEMOC Engines extensions
- Alternative GEMOC based Engines
- Exhaustive Exploration
- Modeler
- Alternative Tools
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. [gemoc-studio 2.3.0]
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.
License EPL
Update site
Getting started
Once Eclipse has restarted, your example languages will be available in the File > New > Example... menu. Look for the GEMOC categories. Some more informations will be available in the Eclipse help.
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. [gemoc-studio 2.3.0]
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.
License EPL
Update site
Getting started
Once Eclipse has restarted, your example languages will be available in the File > New > Example... menu. Look for the GEMOC categories. Some more informations will be available in the Eclipse help.
Markedgraph Language (Concurrent)(Incubation) by GEMOC
Deployer that installs the project sources for the concurrent version of the Markedgraph Language and sample models. [gemoc-studio 2.3.0]
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.
License EPL
Update site
Getting started
Once Eclipse has restarted, your example languages will be available in the File > New > Example... menu. Look for the GEMOC categories. Some more informations will be available in the Eclipse help.
Flight Controller Language (ALE)(Incubation) by GEMOC
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.
License EPL
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. [gemoc-studio 2.3.0]
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.
License EPL
Update site
Getting started
Once Eclipse has restarted, your example languages will be available in the File > New > Example... menu. Look for the GEMOC categories. Some more informations will be available in the Eclipse help.
GEMOC Engines extensions
Extensions for GEMOC Engines
Model Behavioral Interface Language (MBILang) (Incubation) by I3S
Allows to define the model behavioral interface that exposes a part of the internal syntax and semantics of the model. [gemoc-studio 3.2.x]
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.
License EPL
Update site
Model Coordination Language (MCL) (Incubation) by I3S
Allows to define the Model Coordination Specification based on the Model Behavioral Interface for one or more models. [gemoc-studio 3.2.x]
The MCL 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.
License EPL
Update site
ALE Compiler (Incubation) by Inria
ALE compiler generates java code from ALE language. [gemoc-studio 3.2.x]
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.
License EPL
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. [gemoc-studio 3.1.0]
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.
License EPL
Update site
Exhaustive Exploration
Tools for Exhaustive Exploration.
Clocksystem (Incubation) by ENSTA
Multiform Time Constraints. [gemoc-studio 2.3.0]
Clocksystem is meta-described clock-constraint engine, which embeds a formal model of logical time into the Smalltalk general-purpose language and environment
License MIT
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.
License EPL
Update site
Capella 1.3.1 by Eclipse Polarsys
Comprehensive, extensible and field-proven MBSE tool and method to design systems architecture. [gemoc-studio 3.1.0]
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.
License EPL
Update site
- https://download.eclipse.org/capella/core/updates/releases/1.3.1-R20190520-182008/org.polarsys.capella.rcp.site/
- https://download.eclipse.org/capella/core/updates/releases/1.3.1-R20190520-182008/org.polarsys.capella.egf.site/
- https://download.eclipse.org/kitalpha/updates/release/sdk/1.3.1/
- https://download.eclipse.org/kitalpha/updates/release/runtime/1.3.1/
- https://download.eclipse.org/kitalpha/updates/release/runtimecore/1.3.1/
- http://download.eclipse.org/nebula/snapshot
- http://download.eclipse.org/diffmerge/releases/0.11.0/emf-diffmerge-site
- https://download.eclipse.org/diffmerge/releases/0.11.0/edm-patterns-site/
- http://download.eclipse.org/sirius/updates/legacy
- https://download.eclipse.org/sirius/updates/releases/6.1.3/photon
- http://download.eclipse.org/releases/photon
Capella Studio 1.3.1 by Eclipse Polarsys
Development environment for Capella [gemoc-studio 3.1.0]
Capella Studio is the development environment aiming to design Capella extensions. In GEMOC, Capella Studio may contribute to the language workbench activities.
License EPL
Update site
- https://download.eclipse.org/capella/core/updates/releases/1.3.1-R20190520-182008/org.polarsys.capella.rcp.site/
- https://download.eclipse.org/capella/core/updates/releases/1.3.1-R20190520-182008/org.polarsys.capella.egf.site/
- https://download.eclipse.org/capella/capellastudio/updates/release/sdk/1.3.1/
- https://download.eclipse.org/kitalpha/updates/release/sdk/1.3.1/
- https://download.eclipse.org/kitalpha/updates/release/runtime/1.3.1/
- https://download.eclipse.org/kitalpha/updates/release/runtimecore/1.3.1/
- http://download.eclipse.org/nebula/snapshot
- http://download.eclipse.org/diffmerge/releases/0.11.0/emf-diffmerge-site
- https://download.eclipse.org/diffmerge/releases/0.11.0/edm-patterns-site/
- http://download.eclipse.org/sirius/updates/legacy
- https://download.eclipse.org/sirius/updates/releases/6.1.3/photon
- http://download.eclipse.org/releases/photon
- http://download.eclipse.org/eclipse/updates/4.8/
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. [gemoc-studio 2.3.0]
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.
License Unknown Licence
Update site
