Options
2005
Conference Paper
Title
On the suitability of correctness criteria for business process models
Abstract
A popular requirement for the validation of workflow models is soundness. As soundness can not be easily seen on the model level, different correctness criteria have been proposed in the literature to bridge the gap between the modeling process and a executable workflow model. Well-structuredness and relaxed soundness are investigated in the paper. Relationships between the properties are derived.