78
Voted
BPM
2006
Springer
15 years 20 days ago
2006
Springer
Current approaches for proving the correctness of business processes focus on either soundness, weak soundness, or relaxed soundness. Soundness states that each activity should be ...