Login / Signup

Specifying and Verifying UML Activity Diagrams Via Graph Transformation.

Paolo BaldanAndrea CorradiniFabio Gadducci
Published in: Global Computing (2004)
Keyphrases
  • graph transformation
  • uml activity diagrams
  • business process models
  • graphical representation
  • model checking
  • software engineering
  • unified modelling language