To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines.
Márton ElekesVince MolnárZoltán MicskeiPublished in: CoRR (2023)
Keyphrases
- state machines
- state machine
- sequence diagrams
- petri net
- formal semantics
- uml activity diagrams
- fault tolerant
- specification language
- finite state machines
- uml class diagrams
- design patterns
- recurrent networks
- pattern matching
- software systems
- artificial neural networks
- constraint language
- learning algorithm
- genetic algorithm