UML state machine as modeling language for DEVS formalism.
Ariel GonzalezCarlos Daniel LunaRodrigo AbellaPublished in: CLEI (2016)
Keyphrases
- modeling language
- state machine
- finite state machines
- state machines
- metamodel
- fault tolerant
- design rationale
- formal semantics
- uml profile
- unified modeling language
- code generation
- business process modeling
- declarative language
- constraint language
- formal methods
- software development process
- model driven architecture
- development process
- learning process