Sign in

Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems.

Vahid RafeAdel Torkaman Rahmani
Published in: ICTAC (2008)
Keyphrases
  • formal analysis
  • formal methods
  • graph transformation
  • building blocks
  • workflow systems
  • machine learning
  • object oriented
  • distributed systems
  • software development
  • business processes