Sciweavers

BPM
2006
Springer
104views Business» more  BPM 2006»
13 years 7 months ago
Investigations on Soundness Regarding Lazy Activities
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 ...
Frank Puhlmann, Mathias Weske