@inproceedings{aec6bd86aeff4ca1803761db8cff75c3,
title = "Semantic analysis of flow patterns in business process modeling",
abstract = "Control flow elements are important in process models. Such elements usually appear in graphic models as splits and joins of activity sequences. Workflow patterns reflect possible executions of different configurations of splits and joins. However, despite the importance of process flow control and workflow patterns, no way exists yet to assure that a particular set of patterns is complete and non-redundant. We use an ontologically-based model of business processes to analyze the control configurations that can exist in a process model. A process is modeled in terms of state changes of the domain in which the process occurs. The state changes are controlled by laws which model the actions allowed in the domain. This model is notation-independent and enables incorporating goals into process analysis. We use the model to suggest classification of control configurations and identify configurations that assure the enacted process can always reach its goal.",
author = "Pnina Soffer and Yair Wand and Maya Kaner",
year = "2007",
doi = "10.1007/978-3-540-75183-0_29",
language = "English",
isbn = "9783540751823",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "400--407",
booktitle = "Business Process Management - 5th International Conference, BPM 2007, Proceedings",
address = "Germany",
note = "5th International Conference on Business Process Management, BPM 2007 ; Conference date: 24-09-2007 Through 24-09-2007",
}