This section lists a short selection of scientific documents about the GEMOC Studio and some of its features. For a more complete list, please refer to the publications section on gemoc.org site.
Articles
[generic-concurrency] A Generic Framework for Representing and Analysing Model Concurrency (S. Zschaler, E. Bousse, J. Deantoni, B. Combemale) In Software and Systems Modeling, inPress, Jan. 2023.
[advanced-dsl-testing] Advanced Testing and Debugging Support for Reactive Executable DSLs F. Khorram, E. Bousse, J.-M. Mottu , G. Sunyé, In Software and Systems Modeling, In press, 2022.
[interactive-dsl] From DSL Specification to Interactive Computer Programming Environment (P. Jeanjean, B. Combemale, O. Barais) In 12th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2019,
[omniscient-debugging-for-executable-dsls] Omniscient debugging for executable DSLs (E. Bousse, D. Leroy, B. Combemale, M. Wimmer, B. Baudry), In Journal of Systems and Software Volume 137, March 2018, Pages 261-288
[gemoc-studio-tool-demo] Execution Framework of the GEMOC Studio (Tool Demo) (E. Bousse, T. Degueule, D. Vojtisek, T. Mayerhofer, J. Deantoni , B. Combemale), In Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016
[melange-15] Melange: A Meta-language for Modular and Reusable Development of DSLs (T. Degueule, B. Combemale, A. Blouin, O. Barais, J.-M. Jézéquel) In 8th International Conference on Software Language Engineering (SLE), Oct 2015.
[bcool-15] A Behavioral Coordination Operator Language (BCOoL) (M. E. Vara Larsen, J. Deantoni, B. Combemale, F. Mallet) In International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015.
[gemoc-ttc-15] A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio (B. Combemale , J. Deantoni, O. Barais, A. Blouin, E. Bousse, C. Brun, T. Degueule, D. Vojtisek) In 8th Transformation Tool Contest, 2015.
[globalizing-modeling-languages] Globalizing Modeling Languages (B. Combemale, J. Deantoni, B. Baudry, R. France, J.-M. Jezequel, J. Gray), In Computer, IEEE, 2014.
Books
[engineerin-modeling-languages] Engineering Modeling Languages (B. Combemale, R. France, J.-M. Jézéquel, B. Rumpe, J. R.H. Steel, D. Vojtisek), Chapman and Hall/CRC, 2016.
- 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