Login / Signup
Specifying and Verifying UML Activity Diagrams Via Graph Transformation.
Paolo Baldan
Andrea Corradini
Fabio Gadducci
Published in:
Global Computing (2004)
Keyphrases
</>
graph transformation
uml activity diagrams
business process models
graphical representation
model checking
software engineering
unified modelling language