GEMOC Studio Documentation

Navigation Overview


Shortcut to main activities in the user guide sections:

Table of Contents

1. Language Workbench overview IconeGemocLanguage 16
2. Modeling workbench overview IconeGemocModel 16
3. General concerns and prerequisite
Language Workbench User Guide IconeGemocLanguage 16
Language Workbench overview
Create a language / Define syntaxes
1. xDSML Project (TODO rename GEMOC Project)
1.1. Purpose
1.2. Creating the xDSML Project
1.3. Editing the xDSML Project
1.4. xDSML perspective
1.5. GEMOC Language menu
1.6. Melange menu
1.7. Melange editor
1.7.1. Syntax
1.7.2. Content assist
1.7.3. Outline
1.7.4. Plugin.xml
2. Define a Domain Model Project
2.1. Purpose
2.2. Creating the Domain Model Project
2.3. Editing the Domain Model Project
3. Define a Concrete Syntax
3.1. Defining a Concrete Syntax with Xtext
3.2. Defining a Concrete Syntax with Sirius
3.3. Defining a Concrete Syntax with EMF
Make language executable
1. Make a sequential executable language
1.1. Defining the Domain-Specific Actions (DSA) Project for Sequential language
1.1.1. Purpose
1.1.2. Creating the DSA Project
1.1.3. Editing the DSA Project Defining the Execution Data Defining the Execution Functions Defining the control flow Defining the entry point
2. Make a concurrent executable language
2.1. Defining the Domain-Specific Actions (DSA) Project for concurrent language
2.1.1. Purpose
2.1.2. Creating the DSA Project
2.1.3. Editing the DSA Project Defining the Execution Data Defining the Execution Functions
2.1.4. Testing the Domain-Specific Actions
2.2. Defining a Model of Concurrency and Communication (MoCC)
2.2.1. Introduction
2.2.2. The ECL approach to identify DSE and constraints Overview of ECL Creation of an ECL model GEMOC Studio How to use ECL
2.2.3. The MoCCML approach to define constraints Creating a MoCCML model in the GEMOC Studio Overview de MoCCML Presentation of the MoCCML Editor Example-Driven use of MoCCML
Provide language with tools
1. Define Model Debug information
2. Defining Multidimentional Trace support
3. Define a debug representation for Sirius
3.1. The debug representation wizard
3.1.1. Create a debug diagram description
3.1.2. Extend an existing diagram description
3.1.3. Add a debug layer to an existing diagram description
3.2. Implementation details
3.2.1. Debugger services
3.2.2. Debug layer
4. Exhaustive Exploration and Verification at Language Design Time
4.1. Generating inputs for Exhaustive Exploration tools : T1 at Language Level
Define composition of languages
1. Coordination of Languages with BCOoL
1.1. What is BCOoL?
1.2. Deploy a BCOoL project by using the wizard
1.3. Create a BCOoL project from scratch
Deploy language
1. Deployment of languages for the Language designer
2. Distribution of languages to the Model designer
Modeling workbench User Guide IconeGemocModel 16
Modeling Workbench overview
Edit models
1. Editing model with Sirius
1.1. Debug specific
2. Editing model with EMF Tree Editor
3. Editing model with XText
Execute, animate and debug models
1. Execute a model
2. Executing model with the Sequential Engine
2.1. Sequential Launch configuration
2.1.1. Sequential general options
2.1.2. Sequential Run mode
2.1.3. Sequential Debug mode
2.2. Engine View
2.3. MultiDimentional Timeline View
2.4. MultiBranch Timeline View
2.5. Animation View
2.6. Debug View
2.7. Variable View
3. Executing model with the Concurrent Engine
3.1. Concurrent Launch configuration
3.1.1. Concurrent General options
3.1.2. Concurrent Run mode
3.1.3. Concurrent Debug mode
3.1.4. Backends and frontends
3.2. Engine View
3.3. Logical Steps View
3.4. MultiBranch Timeline View
3.5. Stimuli Manager View
3.6. Animation View
3.7. Debug View
3.8. Variable View
Coordinate models
1. Coordinating Model Execution with BCOoL
1.1. Deploy an example project by using the wizard
1.2. Description of a BFloW specification
1.2.1. Launching the coordinated execution
Other tools
1. Exhaustive Exploration and Verification at Model Design Time
1.1. Generating inputs for Exhaustive Exploration tools : T2 at Modeling Level
1.2. ClockSystem
1.2.1. Description
1.2.2. Using ClockSystem
1.3. Defining Properties
1.3.1. Expressing Properties (CDL Formalization)
1.3.2. OBP example
Tuto 1
K3FSM Example
1. Presentation
2. Installation
3. Language structure overview
4. DIY
4.1. Create the Language project
4.2. Create the Domain concepts
4.3. Add Semantics data and Tree Editor
4.4. Add Textual Editor
4.5. Add Semantics operations
4.6. Add Graphical Editor
4.7. Add Animation and Debug capabilities to the graphical editor
LegacyFSM Sequential example
1. Presentation
2. Intallation
3. Language structure overview
4. DIY
Developer Guide
General architecture
Components documentation
1. Commons
2. GEMOC Framework
2.1. Execution Framework
2.2. Framework Commons
2.3. XDSML Framework
3. Simulation Model Animation Framework
4. Trace Framework
5. Execution Engines
5.1. Java Execution
5.1.1. Java XDSML
5.1.2. Java Engine
1. Compilation of the complete GEMOC Studio
1.1. Introduction
1.2. Usage
2. Developing new features
2.1. Developing new Addons
2.2. Developing new engines
3. Distributing new features
4. Documentation
1. Index

List of Figures

1. Gemoc Workbenches Global Picture
2. Screenshot of the GEMOC Language Workbench showing the design of a Timed Finite State Machine (TFSM) example.
3. Screenshot of the First graphical level of Edition in MoCCML.
4. Screenshot of the Second graphical level of Edition in MoCCML (Constraint Implementation).
5. The exploration and verification flow in Gemoc
6. Using T1 Tranformation
7. Overview of the approach.
8. Wizard of the examples of coordination.
9. Windows Problems when languages are not correctly deployed.
10. Correct deployment of languages and BCOoL operators in the language workbench.
11. Runtime workbench launch configuration
12. Screenshot of GEMOC Studio Modeling Workbench on the TFSM example (execution and animation).
13. Wizard of the examples of coordination for the modeling workbench.
14. BFLoW specification of the coffee machine by using the TFSM and SigPML languages.
15. Debug Configuration of the Gemoc Coordinated eXecutable Models.
16. Debug Configuration of the Gemoc Coordinated eXecutable Models with launchers.
17. Step by step execution of the coordinated models.
18. Xdsml Wizard
19. Discovery
20. Discovery Components
21. Discovery Clocksystem
22. Approve licensing
23. Exploration Graph for an Instance
24. K3FSM Metamodel classes and K3 aspects classes.
25. FSM Syntaxic domain.
26. Language relations, packages and classes view.
27. GEMOC Studio General Architecture - Main Features
28. Components overview
29. ExecutionEngine overview
30. ExecutionEngine typical flow
31. Execution Framework API Interfaces overview
32. PlainK3ExecutionEngine overview
33. ExecutionEngine typical flow
34. New Extension forEngine Addon screenshot
35. EngineAddon extension point details screenshot