Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

On the suitability of correctness criteria for business process models

: Dehnert, J.; Zimmermann, A.


Aalst, W. van der:
Business process management. 3rd International Conference, BPM 2005 : Nancy, France, September 5 - 8, 2005. Proceedings
Berlin: Springer, 2005 (Lecture Notes in Computer Science 3649)
ISBN: 3-540-28238-6
DOI: 978-3-540-28238-9
International Conference on Business Process Management (BPM) <3, 2005, Nancy>
Fraunhofer ISST ()

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.