13th International Workshop on Enterprise & Organizational Modeling and Simulation
(EOMAS)

Hands-on Instructions

Notes:

• OpenPonk download page
• System Browser ‘left click on desktop -> System Browser’
• Transcript ‘left click on desktop -> Tools -> Transcript’
• Code in package ‘OpenPonk-FSM’
• Model code in package tag (subpackage) ‘Models’
• Simulator code in package tag ‘Simulations’
• Shift+enter -> Spotter; type in class or method name, enter to browse
• Right click on visual element (state, transition) -> select model or select figure

Tasks

1. Highlighting (color of state or transition)

Change the highlight color:

Play with colors in:
                OPFsmFigureHighlighter highlight: self with: Color red.
                OPFsmFigureHighlighter unhighlight: self.

2. Renaming all elements

Replace all '0' with 'A' and all '1' with 'B':

  inspect model -> right click on the model in the left navigation

  self elements do: [ :each |
                  each name: (each name copyReplaceAll: '0' with: 'A').
                  each name: (each name copyReplaceAll: '1' with: 'B').
  ]

Variations:
                'self elements' are states + transitions
                'self states' are states
                'self transitions' are transitions

3. FsmTransitions playing with matches:/matchBlock:

Change the possibility of transitions to accept multiple values.

Change:
  OPFsmTransition>>initialize
                   matchBlock := [ :aValue | self name = aValue asString ].

Inspect a transition and try:
   self matches: '1'.
   self matches: '1,0,1'
      
Change (to the original one):
  OPFsmTransition>>initialize
                   matchBlock := [ :aValue | (self name splitOn: ',') includes: aValue asString ].

Again:
  self matches: '1'.
  self matches: '1,0,1'

4. Simulator

Implement execution logging

 
  OPFsmRecognizer>>goTo: aPlace
                   Transcript show: aPlace; cr.
                   current ifNotNil: [ self announce: (OPFsmRecognizerLeave place: current) ].
                   current := aPlace.
                  self announce: (OPFsmRecognizerEnter place: current)