Verifying Deadlock and Nondeterminism in Activity Diagrams.

Lucas Lima Amaury Tavares

Published in: MoDELS (Companion) (2019)

Keyphrases

activity diagrams
conceptual database design
operational semantics
requirements engineering
sequence diagrams
class diagrams
model checking
requirements specification
software engineering
multi agent
data structure
petri net
planning domains
formal semantics