Semantics and Verification of UML Activity Diagrams for Workflow Modelling

Interpreting workflow specifications Activity hypergraphs From activity diagram to activity hypergraph Implementation-level semantics Differences between the two semantics Conclusion Interrupt regions Discussion and conclusion From infinite to finite state space Example verifications