A Formalism for Reasoning about UML Activity Diagrams.

Vitus S. W. Lam

Published in: Nord. J. Comput. (2007)

Keyphrases

uml activity diagrams
formal theory
graphical representation
business process models
knowledge representation
data driven
goal oriented