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

Vahid Rafe, Adel Torkaman Rahmani

Browse the full ICTAC paper archive.