Table of Contents

Introduction

1. Language Workbench overview

2. Modeling workbench overview

3. General concerns and prerequisite

Language Workbench User Guide

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

1.1.3.1. Defining the Execution Data

1.1.3.2. Defining the Execution Functions

1.1.3.3. Defining the control flow

1.1.3.4. 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

2.1.3.1. Defining the Execution Data

2.1.3.2. 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

2.2.2.1. Overview of ECL

2.2.2.2. Creation of an ECL model GEMOC Studio

2.2.2.3. How to use ECL

2.2.3. The MoCCML approach to define constraints

2.2.3.1. Creating a MoCCML model in the GEMOC Studio

2.2.3.2. Overview de MoCCML

2.2.3.3. Presentation of the MoCCML Editor

2.2.3.4. 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

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

Tutorials

Tuto 1

Examples

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

Contributing

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

Appendix

Bibliography

Glossary

1. Index

Index