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

Vahid Rafe Adel 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