Download as PDF, PPTX
![gytis@ .lt
events workflow.leave
workflow.[exact_workflow].leave
workflow.[exact_workflow].leave.[exact_place]
workflow.transition (can be used as mealy)
workflow.enter
workflow.entered (can be used as moore)
workflow.announce
workflow.guard](https://image.slidesharecdn.com/statemachinesandsymfonyworkflow-170518082120/85/State-Machines-and-Symfony-Workflow-41-320.jpg)
State Machines and Symfony Workflow
- 1. gytis@ .lt state machines and symfonyworkflow gytis semėnas gytis@helis.lt || gytis@semenas.lt
- 2.
- 3.
- 4. gytis@ .lt What toexpect? 1. State machines 2. Petri nets 3. Symfony workflow 4. Code smells
- 5. gytis@ .lt finite statemachines (FSM)
- 6.
- 7. gytis@ .lt mathematical modelof computation
- 8.
- 9. gytis@ .lt (Q, Σ,δ, q0, F)
- 10. gytis@ .lt finite statemachine ● list of states ● initial state ● conditions for each transition ● can be in one state at a time
- 11.
- 12. gytis@ .lt moore oven State:OFF output: no heat State Heating output: heat State Idling output: no heat BAKE pressed OFF pressed too hot too cold OFF pressed
- 13. gytis@ .lt mealy output ontransition (based on state and input)
- 14. gytis@ .lt mealy oven Off Baking {heatfalse} Bake pressed {heat on} OFF Pressed {heat off} too hot {heat off} too cold {heat on}
- 15. gytis@ .lt mealy vsmoore the end result vs the process
- 16. gytis@ .lt why useit ● helps with the design process ● easy to read ● easy to test ● easy to maintain ● easy to onboard ● easy to track
- 17.
- 18.
- 19.
- 20.
- 21.
- 22. gytis@ .lt bipartite graph+ tokens place transition place placeplace
- 23. gytis@ .lt state isin the marking
- 24. gytis@ .lt state isin the marking place transition place placeplace place transition
- 25. gytis@ .lt state isin the marking place transition place placeplace place transition
- 26.
- 27. gytis@ .lt workflow net ●subset of petri net. ● a single input (source) place with no previous transitions ● output place (sink) with no following transitions.
- 28. gytis@ .lt advanced petrinets mathematical properties: - boundedness - safeness - deadlock free. - reachability. parallelization, buffering, resource sharing optimization, verification coloured petri nets, weights...
- 29. gytis@ .lt how arethe workflow net, petri net and state machine related?
- 30. gytis@ .lt how arethey related? petri net workflow net FSM
- 31. gytis@ .lt available implementations statepattern. custom solution ;> https://github.com/yohang/Finite https://github.com/winzou/StateMachineBundle https://github.com/florianv/petrinet https://github.com/alterway/component-workflow
- 32.
- 33.
- 34.
- 35.
- 36.
- 37.
- 38. gytis@ .lt state machinevalidation A transition in StateMachine can only have one output. A transition in StateMachine can only have one input. A transition from a place/state must have an unique name.
- 39.
- 40.
- 41. gytis@ .lt events workflow.leave workflow.[exact_workflow].leave workflow.[exact_workflow].leave.[exact_place] workflow.transition(can be used as mealy) workflow.enter workflow.entered (can be used as moore) workflow.announce workflow.guard
- 42.
- 43.
- 44.
- 45.
- 46.
- 47. gytis@ .lt what tolook for? ● an attribute named state or status e.g. $chair->getState()
- 48. gytis@ .lt what tolook for? ● an attribute named state or status e.g. $reservation->getStatus()
- 49. gytis@ .lt what tolook for? ● methods that return boolean values
- 50. gytis@ .lt what tolook for? ● methods that return boolean values
- 51. gytis@ .lt what tolook for? ● records that are only valid for a certain period of time. e.g. subscription expiry date ● or records with NULLABLE datetime fields paid_at, deleted_at, published_at, etc.
- 52. gytis@ .lt a wayof thinking © Tobias Nyholm
- 53. gytis@ .lt credits Grégoire Pineau@lyrixx Tobias Nyholm @tobiasNyholm
- 54. gytis@ .lt kthxbye gytis@helis.lt ||gytis@semenas.lt