JavaScript is disabled on your browser. Please enable JavaScript to enjoy all the features of this site.
GEMOC Studio Documentation
Modeling workbench User Guide
Sidebar
Prev
|
Next
Modeling workbench User Guide
Contents
Search
Introduction
Language Workbench overview
Modeling workbench overview
General concerns and prerequisite
Language Workbench User Guide
Language Workbench overview
Create a language / Define syntaxes
xDSML Project (TODO rename GEMOC Project)
Purpose
Creating the xDSML Project
Editing the xDSML Project
xDSML perspective
GEMOC Language menu
Melange menu
Melange editor
Syntax
Content assist
Outline
Plugin.xml
Define a Domain Model Project
Purpose
Creating the Domain Model Project
Editing the Domain Model Project
Define a Concrete Syntax
Defining a Concrete Syntax with Xtext
Defining a Concrete Syntax with Sirius
Defining a Concrete Syntax with EMF
Make language executable
Make a sequential executable language
Defining the Domain-Specific Actions (DSA) Project for Sequential language
Purpose
Creating the DSA Project
Editing the DSA Project
Defining the Execution Data
Defining the Execution Functions
Defining the control flow
Defining the entry point
Make a concurrent executable language
Defining the Domain-Specific Actions (DSA) Project for concurrent language
Purpose
Creating the DSA Project
Editing the DSA Project
Defining the Execution Data
Defining the Execution Functions
Testing the Domain-Specific Actions
Defining a Model of Concurrency and Communication (MoCC)
Introduction
The ECL approach to identify DSE and constraints
Overview of ECL
Creation of an ECL model GEMOC Studio
How to use ECL
Import Language
Define Event-Action Creation
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
Creating MoCC Libraries
Declaring the constrained events
Defining the constraints
Using the constraints on the ECL
Provide language with tools
Define Model Debug information
Defining Multidimentional Trace support
Define a debug representation for Sirius
The debug representation wizard
Create a debug diagram description
Extend an existing diagram description
Add a debug layer to an existing diagram description
Implementation details
Debugger services
Debug layer
Exhaustive Exploration and Verification at Language Design Time
Generating inputs for Exhaustive Exploration tools : T1 at Language Level
Define composition of languages
Coordination of Languages with BCOoL
What is BCOoL?
Deploy a BCOoL project by using the wizard
Create a BCOoL project from scratch
Deploy language
Deployment of languages for the Language designer
Distribution of languages to the Model designer
Modeling workbench User Guide
Modeling Workbench overview
Edit models
Editing model with Sirius
Debug specific
Editing model with EMF Tree Editor
Editing model with XText
Execute, animate and debug models
Execute a model
Executing model with the Sequential Engine
Sequential Launch configuration
Sequential general options
Sequential Run mode
Sequential Debug mode
Engine View
MultiDimentional Timeline View
MultiBranch Timeline View
Animation View
Debug View
Variable View
Executing model with the Concurrent Engine
Concurrent Launch configuration
Concurrent General options
Concurrent Run mode
Concurrent Debug mode
Backends and frontends
Engine View
Logical Steps View
MultiBranch Timeline View
Stimuli Manager View
Animation View
Debug View
Variable View
Coordinate models
Coordinating Model Execution with BCOoL
Deploy an example project by using the wizard
Description of a BFloW specification
Launching the coordinated execution
Other tools
Exhaustive Exploration and Verification at Model Design Time
Generating inputs for Exhaustive Exploration tools : T2 at Modeling Level
ClockSystem
Description
Using ClockSystem
Defining Properties
Expressing Properties (CDL Formalization)
OBP example
Tutorials
Tuto 1
Examples
K3FSM Example
Presentation
Installation
Language structure overview
DIY
Create the Language project
Create the Domain concepts
Add Semantics data and Tree Editor
Add Textual Editor
Add Semantics operations
Add Graphical Editor
Add Animation and Debug capabilities to the graphical editor
LegacyFSM Sequential example
Presentation
Intallation
Language structure overview
DIY
Developer Guide
General architecture
Components documentation
Commons
GEMOC Framework
Execution Framework
Framework Commons
XDSML Framework
Simulation Model Animation Framework
Trace Framework
Execution Engines
Java Execution
Java XDSML
Java Engine
Contributing
Compilation of the complete GEMOC Studio
Introduction
Usage
Developing new features
Developing new Addons
Developing new engines
Distributing new features
Documentation
Appendix
Bibliography
Articles
Glossary
Index
Search Highlighter (On/Off)
