Verification of Common Business Rules in BPMN Process Models

被引：1
作者：
Rachdi, Anass [1 ]
En-Nouaary, Abdeslam [1 ]
Dahchour, Mohamed [1 ]
机构：
[1] INPT, Rabat, Morocco
来源：
NETWORKED SYSTEMS, NETYS 2016 | 2016年 / 9944卷
关键词：
Business process modeling; BPMN; Business rule language; Verification and validation; Depth-first search;
D O I：
10.1007/978-3-319-46140-3_27
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：334 / 339
页数：6
相关论文
共 9 条
[1]  
Aagesen G., 2015, Handbook on Business Process Management, P219, DOI [DOI 10.1007/978-3-642-45100-310, 10.1007/978-3-642-45100-3_10, DOI 10.1007/978-3-642-45100-3_10]
[2]  
[Anonymous], 2010, Business Process Model and Notation (BPMN) v2.0
[3]  
Awad A., 2010, 5 INT WORKSH BUS PRO
[4]  
DIJKMAN RM, 2007, TECHNICAL REPORT
[5]  
Rachdi A., 2014, P 2014 INTIS C
[6]  
Sun W., 2012, THESIS
[7]  
van Hee K., 2010, ENTERPRISE INFORM
[8]  
von Stackelberg Silvia., 2014, Open Journal of Information Systems (OJIS), V1, P1
[9]  
Wong PYH, 2008, LECT NOTES COMPUT SC, V5256, P355, DOI 10.1007/978-3-540-88194-0_22
1