atompm - introductory tutorial
TRANSCRIPT
![Page 1: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/1.jpg)
Eugene Syriani
![Page 2: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/2.jpg)
Introductory Tutorial
• Create a domains-specific language for modeling finite state automata
(FSA)
• Synthesize a modeling environment for designing FSA models
• Design a simulator for FSA
For that, we will:
– Define the abstract syntax
– Define the concrete syntax
– Define a model transformation for simulation
2
![Page 3: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/3.jpg)
Introductory Tutorial
• The first step is to build the metamodel
• We can use class diagrams to do that
3
![Page 4: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/4.jpg)
Introductory Tutorial
Load the SimpleClassDiagram formalism toolbar
4
![Page 5: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/5.jpg)
Introductory Tutorial
• Click on the Class icon in the toolbar
• Right click on the canvas to create a class
• To edit its properties, middle click on the class with no selection, or select the class and press <INSERT>
• Click OK to apply the changes
• To create an association, right click on the source class and drag your mouse to the target class (which can be the same class), then release your mouse
• Select the association and press <SHIFT> to move its control points
• Select an element and press <CTRL> to scale or rotate the element
– Move the cursor to the icon corresponding to the action you want to perform
– Scroll down or up on that icon. When you are satisfied, click on the checkbox
Canvas actions
5
![Page 6: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/6.jpg)
Introductory Tutorial
Draw the metamodel
6
![Page 7: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/7.jpg)
Introductory Tutorial
Save as your model under a new folder FSA
7
The file name must be NAME+“MM.model”
![Page 8: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/8.jpg)
Introductory Tutorial
Load the CompileMenu toolbar
8
![Page 9: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/9.jpg)
Introductory Tutorial
Generate the metamodel from this class diagram
9
The file name must be NAME+“.metamodel”
![Page 10: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/10.jpg)
Introductory Tutorial
• Then we assign one possible concrete syntax model to the metamodel
• We can do that by drawing some shapes
10
![Page 11: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/11.jpg)
Introductory Tutorial
Load the ConcreteSyntax formalism toolbar
11
![Page 12: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/12.jpg)
Introductory Tutorial
Draw the concrete syntax model
12
![Page 13: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/13.jpg)
Introductory Tutorial
• Create an Icon instance on the canvas for classes of your metamodel
• Its typename attribute must be in the form: CLASSNAME+“Icon”
• Create the shape you want outside the icon
• Modify resize it using its SVG attributes
• You may have multiple shapes for the same class icon
• Select the (group of) shape(s) and drag-n-drop it inside the icon close to the top
left corner
• For associations, create a Link instance on the canvas
• To display some text, create a Text instance
Drawing steps
13
![Page 14: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/14.jpg)
Introductory Tutorial
Draw the concrete syntax model
14
![Page 15: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/15.jpg)
Introductory Tutorial
Display the name of the state
15
![Page 16: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/16.jpg)
Introductory Tutorial
Display the event on the transition
16
![Page 17: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/17.jpg)
Introductory Tutorial
Display the event list
17
![Page 18: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/18.jpg)
Introductory Tutorial
Change the color of the current state to yellow
18
![Page 19: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/19.jpg)
Introductory Tutorial
Save as the concrete syntax
19
The file name must be METAMODELNAME+“.”+“CONCRETESYNTAXNAME”+“Icons.model”
![Page 20: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/20.jpg)
Introductory Tutorial
Generate a modeling environment
20The file name must be METAMODELNAME+“.”+“CONCRETESYNTAXNAME”+“Icons.metamodel”
![Page 21: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/21.jpg)
Introductory Tutorial
Load the FSA formalism toolbar
21
![Page 22: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/22.jpg)
Introductory Tutorial
22
The file name must be NAME+“.”+“model”
![Page 23: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/23.jpg)
Introductory Tutorial
• Now that we have defined the syntax of the language,
we shall define its behavior
• With a model transformation that serves as simulation
• So how to do that?
– Define the rules
– Define the scheduling of the rules (control flow)
23
![Page 24: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/24.jpg)
Introductory Tutorial
Generate a modeling environment for designing patterns of FSA
24
Select the file NAME+“.metamodel”
![Page 25: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/25.jpg)
Introductory Tutorial
Load the TransformationRule formalism toolbar
25
![Page 26: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/26.jpg)
Introductory Tutorial
Load the FSA.pattern formalism toolbar
26
![Page 27: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/27.jpg)
Introductory Tutorial
• In this simple FSA example, we can assume that
– An event is specified by one character
– There is exactly one state that is current
– This is a deterministic FSA so it is a DFA
• We can therefore define the behavior of such FSAs with only one rule:
If there are two states connected by a transition such that
the event on the transition is equal to
the first input in the event list
and the incoming state is the current state,
then remove the first event from the event list
and set the current state to be the outgoing state only
27
![Page 28: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/28.jpg)
Introductory Tutorial
28
![Page 29: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/29.jpg)
Introductory Tutorial
Save as the transformation rule
29The file name must be “R_”+NAME+“.model”
![Page 30: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/30.jpg)
Introductory Tutorial
Load the MoTif formalism toolbar
30
![Page 31: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/31.jpg)
Introductory Tutorial
• Using the MoTif language, we can execute our simulate rule as an
SRule
• SRule: Apply the rule recursively as long as possible
– Find a match, rewrite the model, then re-match, rewrite the model, etc.
31
![Page 32: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/32.jpg)
Introductory Tutorial
• ARule: (atomic) Applies the rule on one match
• FRule: (for all) Applies the rule on all matches found in parallel
• SRule: (star) Applies the rule recursively as long as matches can be found
32
![Page 33: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/33.jpg)
Introductory Tutorial
• QRule: (query) Finds a match for the LHS
• CQRule2,3: (composite queries) Nested query for 2 or 3 levels
• Sequence: Applies a set of rules in ordered sequence
• CRule: (composite) Refers to another (sub-)transformation
33
![Page 34: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/34.jpg)
Introductory Tutorial
• BRule: (branch) non-deterministically selects one successful branch of execution
• BSRule: (branch star) Recursive BRule
• LRule: (loop) For each match of the base rule, apply the loop rule
• Start, EndSuccess, EndFail pseudo-states
34
![Page 35: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/35.jpg)
Introductory Tutorial
Save as the MoTif model
35The file name must be “T_”+NAME+“.model”
![Page 36: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/36.jpg)
Introductory Tutorial
Load the TransformationController toolbar
36
![Page 37: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/37.jpg)
Introductory Tutorial
Build/open an FSA model & load the T_FSA_simulation transformation
37
![Page 38: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/38.jpg)
Introductory Tutorial
Press <SHIFT>+<CTRL>+i to view the chrome console
38
![Page 39: AToMPM - Introductory Tutorial](https://reader034.vdocument.in/reader034/viewer/2022050723/55a3cc291a28ab140d8b4581/html5/thumbnails/39.jpg)
Introductory Tutorial
Execute the transformation
39
Continuously or step-by-step