An Extensible Operational Semantics for UML Activity Diagrams.

Zamira Daw Rance Cleaveland

Published in: SEFM (2015)

Keyphrases

operational semantics
uml activity diagrams
data model
formal semantics
graphical representation
business process models
mental states
data types
activity diagrams
database
databases
database systems
object oriented
knowledge representation
dynamic environments
dependency graph