Modeling workbench user guide - - GEMOC Studio Documentation
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
Defining the initialization function
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
Defining the initialization function
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 support
Define model debug step information
Define model debug RTD information
Defining MultiDimentional Trace support
Define editor specific debug support
Define a debug representation and commands 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
Define model animation
Define an animation representation for Sirius
Define an animation representation using an engine addon
Define an animation representation using calls in the semantics
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
Launch a model execution
Sequential Engine Launch Configuration
Sequential general options
Sequential Run mode
Sequential Debug mode
Concurrent Launch configuration
Concurrent General options
Concurrent Run mode
Concurrent Debug mode
Configure engines addons (Frontend/backend)
Control engine execution
Engine View
CCSLJava addition to Engine View
Logical step view
Stimuli manager view
Animate a model
Animate a model using representation provided by Sirius
Animate a model using representation provided an engine addon
Animate a model using representation provided by semantics calls
Debug a model
Debug view
Variables view
Breakpoints view
Debug commands
Timelines
Multidimentional timeline view
Java engine specific support for multidimentional timeline
Multibranch timeline view
Java engine specific support for multibranch timeline
Timeline diff view
Timeline diff view
Editor debug integration
Sirius specific debug integration
Xtext specific debug integration
Coordinate models
Coordinating Model Execution with BCOoL
Deploy an example project by using the wizard
Description of a BFloW specification
Launching the coordinated execution
V&V and 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
Headless engine user guide
Headless engine overview
Eclipse specific options overview
GemocStudioHeadless options overview
Prepare language
Create deployable jars using Eclipse UI
Create deployable jars using Maven
Install language
Installing jars in dropins folder
Installing jars using the p2 director
Installing jars using the --installLanguage option
Debugging language deployment issues
Run model
Example: Install K3FSM language in GEMOC headless and run a sample model
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
MelangeK3FSM Sequential example
Presentation
Installation
Language structure overview
DIY
MelangeK3FSM Sequential example
Presentation
Installation
Language structure overview
DIY
MOCCML SigPML Example
Presentation
Installation
Installing using the example deployer wizard
Installing from git
Language Designer documentation
Organization of the code
Overview of the metamodel
Model Designer documentation
Additional resources and related links
Developer Guide
General architecture
Components documentation
Commons
Simulation model animation framework
Debugger
Debug model presentation
GEMOC framework
Execution Framework
Execution Framework Debugger
Debug model presentation
Framework Commons
XDSML Framework
Trace framework
Execution engines
Java Execution
Java XDSML
Java Engine
ALE Execution
ALE XDSML
ALE Interpreted Engine
Contributing
Compilation of the complete GEMOC Studio
Introduction
Usage
Advanced usage using docker
Description of the docker env
Developing new features
Developing new Addons
Developing new engines
Distributing new features
Documentation
Appendix
Bibliography
Articles
Glossary
Index
Search Highlighter (On/Off)
