Login / Signup
An Operational Semantics for Activity Diagrams using SMV.
Shahar Maoz
Jan Oliver Ringert
Bernhard Rumpe
Published in:
CoRR (2014)
Keyphrases
</>
activity diagrams
operational semantics
conceptual database design
formal semantics
model checking
data model
mental states
artificial intelligence
database systems
knowledge representation
sequence diagrams