GEMOC Component Discovery Catalog
Categories:
- GEMOC Language
- GEMOC Coordination
- 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.
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.
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.
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.
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.
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.
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.
License EPL
Update site
GEMOC Concurrent Engine by GEMOC
This concurrent engine allows you to define the execution semantics of your language and specifying concurrency using TimeSquare.
This concurrent engine allows you to define the execution semantics of your language and specifying concurrency using TimeSquare.
License EPL 1.0
Update site
- https://ci.inria.fr/gemoc/view/All/job/gemoc-studio-eclipsefork/job/concurrency-coordination/lastSuccessfulBuild/artifact/gemoc-studio-concurrency/moccml/constraint/releng/org.eclipse.gemoc.mocc.p2updatesite/target/repository/
- https://ci.inria.fr/gemoc/view/All/job/gemoc-studio-eclipsefork/job/concurrency-coordination/lastSuccessfulBuild/artifact/gemoc-studio-concurrency/moccml/mapping/deployment/org.eclipse.gemoc.moccml.mapping.updatesite/target/repository/
- http://timesquare.inria.fr/update_site/oxygen
- https://ci.inria.fr/gemoc/view/All/job/gemoc-studio-eclipsefork/job/concurrency-coordination/lastSuccessfulBuild/artifact/gemoc-studio-concurrency/ccsljava_execution/releng/org.eclipse.gemoc.execution.concurrent.ccsljava.repository/target/repository/
- http://download.eclipse.org/releases/oxygen
ALE Engine(Incubation) by Inria and Obeo
This engine allows to define the execution semantics of languages with Action Language for EMF (ALE)
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. It has its own GEMOC engine support.
License EPL
Update site
Exhaustive Exploration
Tools for Exhaustive Exploration.
Clocksystem (Incubation) 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
License MIT
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.
License EPL
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.
License Unknown Licence
Update site
