Appendix A. Appendix
Prev   

Appendix A. Appendix

Bibliography

[44]

The bibliography lists some useful external documents. For a more complete list, please refer to the publications section on http://gemoc.org site.

Articles

[globalizing-modeling-languages] Globalizing Modeling Languages (Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert France, Jean-Marc Jezequel, Jeff Gray), In Computer, IEEE, 2014.

[omniscient-debugging-for-executable-dsls] Omniscient debugging for executable DSLs (Erwan Bousse, Dorian Leroy, Benoit Combemale, Manuel Wimmer, Benoit Baudry), In Journal of Systems and Software Volume 137, March 2018, Pages 261-288


Glossary

[45]

AS
Abstract Syntax.
API
Application Programming Interface.
Behavioral Semantics
see Execution semantics.
CCSL
Clock-Constraint Specification Language.
Domain Engineer
user of the Modeling Workbench.
DSA
Domain-Specific Action.
DSE
Domain-Specific Event.
DSML
Domain-Specific (Modeling) Language.
Dynamic Semantics
see Execution semantics.
Eclipse Plugin
an Eclipse plugin is a Java project with associated metadata that can be bundled and deployed as a contribution to an Eclipse-based IDE.
ED
Execution Data.
Execution Semantics
Defines when and how elements of a language will produce a model behavior.
GEMOC Studio
Eclipse-based studio integrating both a language workbench and the corresponding modeling workbenches
Language Workbench
a language workbench offers the facilities for designing and implementing modeling languages.
Language Designer
a language designer is the user of the language workbench.
MoCC
Model of Concurrency and Communication
Model
model which contributes to the convent of a View
Modeling Workbench
a modeling workbench offers all the required facilities for editing and animating domain specific models according to a given modeling language.
MSA
Model-Specific Action.
MSE
Model-Specific Event.
RTD
RunTime Data.
Static semantics
Constraints on a model that cannot be expressed in the metamodel. For example, static semantics can be expressed as OCL invariants.
xDSML
Executable Domain-Specific Modeling Language.

A.1. Index

Index

A

Animation Manager, Sequential Debug mode, Concurrent Debug mode

B

BCOoL, What is BCOoL?
Both representations (graphical or textual) can be used for edition of models, Presentation of the MoCCML Editor

C

CDL, Exhaustive Exploration and Verification at Model Design Time
ClockSystem, Exhaustive Exploration and Verification at Model Design Time, Generating inputs for Exhaustive Exploration tools : T2 at Modeling Level, ClockSystem, Description, Using ClockSystem, Expressing Properties (CDL Formalization)
Concurrent Engine, Executing model with the Concurrent Engine

D

Decider, Concurrent General options
DSA, Generating inputs for Exhaustive Exploration tools : T1 at Language Level, Generating inputs for Exhaustive Exploration tools : T2 at Modeling Level
DSE, Generating inputs for Exhaustive Exploration tools : T1 at Language Level, Generating inputs for Exhaustive Exploration tools : T2 at Modeling Level

E

ECL, Introduction, Exhaustive Exploration and Verification at Language Design Time, Generating inputs for Exhaustive Exploration tools : T1 at Language Level
EMF, Defining a Concrete Syntax with EMF
EMF Tree Editor, Editing model with EMF Tree Editor
Engine, Sequential Run mode, Sequential Debug mode, Concurrent Run mode, Concurrent Debug mode

G

GEMOC Language Workbench, Language Workbench overview

I

import, Import Language

L

Language Designer, Language Workbench overview
Language Integrator, Language Workbench overview
Language Workbench, Language Workbench overview
Logical Step, Concurrent General options, Debug View

M

MoCCML, Introduction, Exhaustive Exploration and Verification at Language Design Time, Generating inputs for Exhaustive Exploration tools : T1 at Language Level, Exhaustive Exploration and Verification at Model Design Time, Description, Defining Properties
MoccML, Generating inputs for Exhaustive Exploration tools : T1 at Language Level, Generating inputs for Exhaustive Exploration tools : T2 at Modeling Level
Modeling workbench, Modeling Workbench overview
mtl-gen, Generating inputs for Exhaustive Exploration tools : T1 at Language Level
MultiBranch Timeline, Sequential Run mode, Sequential Debug mode, Concurrent Run mode, Concurrent Debug mode
MultiDimensional Timeline, Sequential Debug mode

R

Runtime Data, Sequential Debug mode, Variable View, Concurrent Debug mode, Variable View

S

Sequential Engine, Executing model with the Sequential Engine
Sirius, Defining a Concrete Syntax with Sirius, Define a debug representation for Sirius, The debug representation wizard, Debug layer, Editing model with Sirius
Stimuli Manager, Concurrent Debug mode

T

TFSM, Modeling Workbench overview
Language Workbench, Language Workbench overview
Modeling workbench, Modeling Workbench overview

Prev   
Chapter 17. Contributing Home