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: IEEE Trans. Software Eng. (2024)
Keyphrases
- state machines
- state machine
- sequence diagrams
- petri net
- specification language
- fault tolerant
- design patterns
- software systems
- formal semantics
- uml activity diagrams
- biologically inspired
- uml class diagrams
- recurrent networks
- formal methods
- finite state machines
- genetic algorithm
- life cycle
- software engineering
- object oriented
- database systems
- artificial intelligence