Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking.

Alexander Raschke

Published in: EUROMICRO-SEAA (2009)

Keyphrases

finite state machines
model checking
uml activity diagrams
temporal logic
formal specification
formal verification
model checker
verification method
business process models
formal methods
computation tree logic
databases
source code