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
- 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
- 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)
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
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, Concurrent Debug mode, Variables view
S
T
- TFSM, Modeling workbench overview
-
- Language Workbench, Language workbench overview
- Modeling workbench, Modeling workbench overview
