Appendix A. Appendix
Prev   

Appendix A. Appendix

Bibliography

[92]

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.


Glossary

[93]

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)

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

Sirius, Defining a Concrete Syntax with Sirius, Define a debug representation and commands 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 22. Contributing Home