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
相关论文
共 50 条
  • [1] Analysis of Common Business Rules in BPMN Process Models Using Business Rule Language
    Rachdi, Anass
    En-Nouaary, Abdeslam
    Dahchour, Mohamed
    [J]. 2016 11TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS: THEORIES AND APPLICATIONS (SITA), 2016,
  • [2] Applying SBVR Business Vocabulary and Business Rules for Creating BPMN Process Models
    Mickeviciute, Egle
    Nemuraite, Lina
    Butleris, Rimantas
    [J]. BUSINESS INFORMATION SYSTEMS WORKSHOPS (BIS 2014), 2014, 183 : 105 - 116
  • [3] Towards the Combination of BPMN Process Models with SBVR Business Vocabularies and Rules
    Mickeviciute, Egle
    Butleris, Rimantas
    [J]. INFORMATION AND SOFTWARE TECHNOLOGIES (ICIST 2013), 2013, 403 : 114 - 121
  • [4] Assessing business process models: a literature review on techniques for BPMN testing and formal verification
    Lopes, Tomas
    Guerreiro, Sergio
    [J]. BUSINESS PROCESS MANAGEMENT JOURNAL, 2023, 29 (08) : 133 - 162
  • [5] The Enrichment of BPMN Business Process Model with SBVR Business Vocabulary and Rules
    Skersys, Tomas
    Tutkute, Lina
    Butleris, Rimantas
    [J]. PROCEEDINGS OF THE ITI 2012 34TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES (ITI), 2012, : 65 - 71
  • [6] Extending BPMN Business Process Model with SBVR Business Vocabulary and Rules
    Skersys, Tomas
    Tutkute, Lina
    Butleris, Rimantas
    Butkiene, Rita
    [J]. INFORMATION TECHNOLOGY AND CONTROL, 2012, 41 (04): : 356 - 367
  • [7] Translating RAD Business Process Models into BPMN
    Yousef, Rana
    Odeh, Mohammad
    Coward, David
    Sharieh, Ahmad
    [J]. 2009 SECOND INTERNATIONAL CONFERENCE ON THE APPLICATIONS OF DIGITAL INFORMATION AND WEB TECHNOLOGIES (ICADIWT 2009), 2009, : 75 - +
  • [8] Semantics and analysis of business process models in BPMN
    Dijkman, Remco M.
    Dumas, Marlon
    Ouyang, Chun
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2008, 50 (12) : 1281 - 1294
  • [9] Eligibility of BPMN Models for Business Process Redesign
    Tsakalidis, George
    Vergidis, Kostas
    Kougka, Georgia
    Gounaris, Anastasios
    [J]. INFORMATION, 2019, 10 (07)
  • [10] EXPRESSING BUSINESS RULES IN BPMN
    Peng, Li
    Li, Hang
    [J]. ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL ISAS-1: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOL 1, 2008, : 266 - 270
12345