Abstract
BPMN is an adopted standard used in industry for modeling business processes. However it is not provided with a formal semantics, limiting the possibility of analysis to informal approaches such as observation. In this paper, we present a formal approach that detects business rules violations using the Business Rule Language (BRL) which helps us express many common types of business rules that could be verified by a Depth-First Search algorithm adapted for the BPMN standard.
Author supplied keywords
Cite
CITATION STYLE
Rachdi, A., En-Nouaary, A., & Dahchour, M. (2016). Verification of common business rules in BPMN process models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9944 LNCS, pp. 334–339). Springer Verlag. https://doi.org/10.1007/978-3-319-46140-3_27
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
