GEMOC Studio Documentation


Navigation Overview

[1]

Shortcut to main activities in the user guide sections:

Gemoc Workbenches Global Picture

Table of Contents

Introduction
1. Language Workbench overview IconeGemocLanguage 16
2. Modeling workbench overview IconeGemocModel 16
3. General concerns and prerequisite
I. Language Workbench User Guide IconeGemocLanguage 16
1. Language Workbench overview
2. Create a language / Define syntaxes
2.1. xDSML Project (TODO rename GEMOC Project)
2.1.1. Purpose
2.1.2. Creating the xDSML Project
2.1.3. Editing the xDSML Project
2.1.4. xDSML perspective
2.1.5. GEMOC Language menu
2.1.6. Melange menu
2.1.7. Melange editor
2.1.7.1. Syntax
2.1.7.2. Content assist
2.1.7.3. Outline
2.1.7.4. Plugin.xml
2.2. Define a Domain Model Project
2.2.1. Purpose
2.2.2. Creating the Domain Model Project
2.2.3. Editing the Domain Model Project
2.3. Define a Concrete Syntax
2.3.1. Defining a Concrete Syntax with Xtext
2.3.2. Defining a Concrete Syntax with Sirius
2.3.3. Defining a Concrete Syntax with EMF
3. Make language executable
3.1. Make a sequential executable language
3.1.1. Defining the Domain-Specific Actions (DSA) Project for Sequential language
3.1.1.1. Purpose
3.1.1.2. Creating the DSA Project
3.1.1.3. Editing the DSA Project
3.1.1.3.1. Defining the Execution Data
3.1.1.3.2. Defining the Execution Functions
3.1.1.3.3. Defining the control flow
3.1.1.3.4. Defining the entry point
3.2. Make a concurrent executable language
3.2.1. Defining the Domain-Specific Actions (DSA) Project for concurrent language
3.2.1.1. Purpose
3.2.1.2. Creating the DSA Project
3.2.1.3. Editing the DSA Project
3.2.1.3.1. Defining the Execution Data
3.2.1.3.2. Defining the Execution Functions
3.2.1.4. Testing the Domain-Specific Actions
3.2.2. Defining a Model of Concurrency and Communication (MoCC)
3.2.2.1. Introduction
3.2.2.2. The ECL approach to identify DSE and constraints
3.2.2.2.1. Overview of ECL
3.2.2.2.2. Creation of an ECL model GEMOC Studio
3.2.2.2.3. How to use ECL
3.2.2.3. The MoCCML approach to define constraints
3.2.2.3.1. Creating a MoCCML model in the GEMOC Studio
3.2.2.3.2. Overview de MoCCML
3.2.2.3.3. Presentation of the MoCCML Editor
3.2.2.3.4. Example-Driven use of MoCCML
4. Provide language with tools
4.1. Define Model Debug information
4.2. Defining Multidimentional Trace support
4.3. Define a debug representation for Sirius
4.3.1. The debug representation wizard
4.3.1.1. Create a debug diagram description
4.3.1.2. Extend an existing diagram description
4.3.1.3. Add a debug layer to an existing diagram description
4.3.2. Implementation details
4.3.2.1. Debugger services
4.3.2.2. Debug layer
4.4. Exhaustive Exploration and Verification at Language Design Time
4.4.1. Generating inputs for Exhaustive Exploration tools : T1 at Language Level
5. Define composition of languages
5.1. Coordination of Languages with BCOoL
5.1.1. What is BCOoL?
5.1.2. Deploy a BCOoL project by using the wizard
5.1.3. Create a BCOoL project from scratch
6. Deploy language
6.1. Deployment of languages for the Language designer
6.2. Distribution of languages to the Model designer
II. Modeling workbench User Guide IconeGemocModel 16
7. Modeling Workbench overview
8. Edit models
8.1. Editing model with Sirius
8.1.1. Debug specific
8.2. Editing model with EMF Tree Editor
8.3. Editing model with XText
9. Execute, animate and debug models
9.1. Execute a model
9.2. Executing model with the Sequential Engine
9.2.1. Sequential Launch configuration
9.2.1.1. Sequential general options
9.2.1.2. Sequential Run mode
9.2.1.3. Sequential Debug mode
9.2.2. Engine View
9.2.3. MultiDimentional Timeline View
9.2.4. MultiBranch Timeline View
9.2.5. Animation View
9.2.6. Debug View
9.2.7. Variable View
9.3. Executing model with the Concurrent Engine
9.3.1. Concurrent Launch configuration
9.3.1.1. Concurrent General options
9.3.1.2. Concurrent Run mode
9.3.1.3. Concurrent Debug mode
9.3.1.4. Backends and frontends
9.3.2. Engine View
9.3.3. Logical Steps View
9.3.4. MultiBranch Timeline View
9.3.5. Stimuli Manager View
9.3.6. Animation View
9.3.7. Debug View
9.3.8. Variable View
10. Coordinate models
10.1. Coordinating Model Execution with BCOoL
10.1.1. Deploy an example project by using the wizard
10.1.2. Description of a BFloW specification
10.1.2.1. Launching the coordinated execution
11. Other tools
11.1. Exhaustive Exploration and Verification at Model Design Time
11.1.1. Generating inputs for Exhaustive Exploration tools : T2 at Modeling Level
11.1.2. ClockSystem
11.1.2.1. Description
11.1.2.2. Using ClockSystem
11.1.3. Defining Properties
11.1.3.1. Expressing Properties (CDL Formalization)
11.1.3.2. OBP example
III. Tutorials
12. Tuto 1
IV. Examples
13. K3FSM Example
13.1. Presentation
13.2. Installation
13.3. Language structure overview
13.4. DIY
13.4.1. Create the Language project
13.4.2. Create the Domain concepts
13.4.3. Add Semantics data and Tree Editor
13.4.4. Add Textual Editor
13.4.5. Add Semantics operations
13.4.6. Add Graphical Editor
13.4.7. Add Animation and Debug capabilities to the graphical editor
14. LegacyFSM Sequential example
14.1. Presentation
14.2. Intallation
14.3. Language structure overview
14.4. DIY
V. Developer Guide
15. General architecture
16. Components documentation
16.1. Commons
16.2. GEMOC Framework
16.2.1. Execution Framework
16.2.2. Framework Commons
16.2.3. XDSML Framework
16.3. Simulation Model Animation Framework
16.4. Trace Framework
16.5. Execution Engines
16.5.1. Java Execution
16.5.1.1. Java XDSML
16.5.1.2. Java Engine
17. Contributing
17.1. Compilation of the complete GEMOC Studio
17.1.1. Introduction
17.1.2. Usage
17.2. Developing new features
17.2.1. Developing new Addons
17.2.2. Developing new engines
17.3. Distributing new features
17.4. Documentation
A. Appendix
Bibliography
Glossary
A.1. Index
Index

List of Figures

1. Gemoc Workbenches Global Picture
1.1. Screenshot of the GEMOC Language Workbench showing the design of a Timed Finite State Machine (TFSM) example.
3.1. Screenshot of the First graphical level of Edition in MoCCML.
3.2. Screenshot of the Second graphical level of Edition in MoCCML (Constraint Implementation).
4.1. The exploration and verification flow in Gemoc
4.2. Using T1 Tranformation
5.1. Overview of the approach.
5.2. Wizard of the examples of coordination.
5.3. Windows Problems when languages are not correctly deployed.
5.4. Correct deployment of languages and BCOoL operators in the language workbench.
6.1. Runtime workbench launch configuration
7.1. Screenshot of GEMOC Studio Modeling Workbench on the TFSM example (execution and animation).
10.1. Wizard of the examples of coordination for the modeling workbench.
10.2. BFLoW specification of the coffee machine by using the TFSM and SigPML languages.
10.3. Debug Configuration of the Gemoc Coordinated eXecutable Models.
10.4. Debug Configuration of the Gemoc Coordinated eXecutable Models with launchers.
10.5. Step by step execution of the coordinated models.
11.1. Xdsml Wizard
11.2. Discovery
11.3. Discovery Components
11.4. Discovery Clocksystem
11.5. Approve licensing
11.6. Exploration Graph for an Instance
13.1. K3FSM Metamodel classes and K3 aspects classes.
13.2. FSM Syntaxic domain.
14.1. Language relations, packages and classes view.
15.1. GEMOC Studio General Architecture - Main Features
16.1. Components overview
16.2. ExecutionEngine overview
16.3. ExecutionEngine typical flow
16.4. Execution Framework API Interfaces overview
16.5. PlainK3ExecutionEngine overview
16.6. ExecutionEngine typical flow
17.1. New Extension forEngine Addon screenshot
17.2. EngineAddon extension point details screenshot