Make Marked Graph models executable with the GEMOC Studio

Table of Contents

I. Tutorial: Make Marked Graph models executable with the GEMOC Studio
1. What is expected at the end of this tutorial
2. Install the projects defining the Marked Graph AS and CS
2.1. Import the Marked Graph AS and CS
2.2. Abstract Syntax
2.3. Concrete Syntax and Sample Model
3. Set up an xDSML project
3.1. Create an xDSML Project
3.2. Open the Melange file
4. Define the Execution Semantics
4.1. Define DSA
4.1.1. Extend the AS with ED and EF
4.1.2. Create the DSA Project
4.1.3. Implement the DSA
4.2. Define DSE
4.2.1. Create the DSE Project
4.2.2. Define DSE
5. Execute a Model
5.1. Launch the Modeling WorkBench
5.2. Import the project with a sample model
5.3. Select the Modeling perspective
5.4. View the wikipedia example
5.5. Create a Launch Configuration
5.6. Launch the execution of the model
5.7. Select a logical step
5.8. Stop the execution
5.9. How to visualize the state of the model?
6. Define Animation Viewpoint
6.1. Create a debug representation (as an extension of the graphical editor viewpoint)
6.1.1. Run the wizard
6.1.2. Open the markedgraph-animation.odesign
6.1.3. Load markedgraph.odesign as a resource.
6.1.4. Add markedgraph.ecore to metamodels
6.2. Create an animation representation
6.2.1. Create the Animation Layer
6.2.2. Display the firable transition with a green background color
6.2.3. Set the background color of a place to light_yellow
6.2.4. Display the runtime token count in a place
6.2.5. Add the Animation service
6.3. Animate a Model
6.3.1. Restart the MarkedGraph Modeling WorkBench
6.3.2. Add the MarkedGraphAnimationViewpoint to wikipedia.aird
6.3.3. Update the "run wikipedia example" configuration
6.3.4. Launch the execution of the model
7. Using breakpoints
7.1. Complete the org.gemoc.sample.markedgraph.animation project
7.1.1. Define breakable elements
7.2. Correct "Section Debug" in the "Debug" layer
7.3. Complete MarkedgraphanimationDebugServices.java file
7.4. Debug the model
8. Going further…​
8.1. Define a MoCCML library using CCSL
8.2. Using it in the ECL file
8.3. Use constraint automata to define Relation
8.3.1. Define the constraint automaton using MoCCML editor

List of Figures

1.1. Expected animation for Marked Graph models
2.1. Importing existing projects from the archive file
2.2. Abstract Syntax (Metamodel) of MarkedGraph
2.3. Example of a Marked Graph model (from wikipedia)
3.1. Create a GEMOC Concurrent xDSML Project
3.2. Define the name of the project
3.3. Define the properties of the xDSML
3.4. Content of the Melange file
4.1. Abstract Syntax of MarkedGraph extended with Execution Data (ED) and Execution Functions (EF)
4.2. Create a DSA Project
4.3. The Melange file with references to aspects implementing ED and EF
4.4. Definition of the DSA (ED and EF)
4.5. Corrected Melange file
4.6. Create a DSE Project
4.7. Initializing the DSE project
4.8. Template of the ECL file
4.9. Definition of the DSE (events and constraints)
5.1. Select "run / run Configurations"
5.2. Define the Marked Graph Modeling Workbench configuration
5.3. Importing the existing sample project from the archive file
5.4. Select the 'Modeling' perspective
5.5. Open the Sirius graphical view of wikipedia example
5.6. Select Debug / Debug Configurations
5.7. Define the configuration to run the wikipedia example
5.8. The wikipedia model is just started
5.9. Logical Steps Decider
5.10. Change the displayed console
5.11. Gemoc Engine Status
5.12. Initial State
5.13. Execute a logical step (initIt)
5.14. Execute a logical step (t1 fired)
5.15. Execute a logical step (t2 fired)
6.1. Launch the Animator wizard
6.2. Select "Extends an existing diagram description"
6.3. Select the viewpoint to extend
6.4. Information of the animation viewpoint
6.5. Initial makedgraph-animation.odesign file
8.1. Graphical declaration of the placeReadWriteDef relation
8.2. Automaton defining the placeReadWriteDef relation.