A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics

被引：1

作者：

Boubaker, Souha ^{[1
,2
]}

Klai, Kais ^{[2
]}

Kortas, Hedi ^{[2
]}

Gaaloul, Walid ^{[1
]}

机构：

[1] Univ Paris Saclay, Telecom SudParis, UMR Samovar 5157, Paris, France

[2] Univ Paris 13, LIPN, CNRS, UMR 7030, Paris, France

来源：

ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS, OTM 2018, PT I | 2018年 / 11229卷

关键词：

Business process management; Configurable process model; Formal verification; VARIABILITY; CORRECTNESS; ABSTRACTION;

D O I：

10.1007/978-3-030-02610-3_35

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In today's industries, similar process models are typically reused in different application contexts. These models result in a number of process model variants sharing several commonalities and exhibiting some variations. Configurable process models came to represent and group these variants in a generic manner. These processes are configured according to a specific context through configurable elements. Considering the large number of possible variants as well as the potentially complex configurable process, the configuration may be a tedious task and errors may lead to serious behavioral issues. Since achieving configuration in a correct manner has become of paramount importance, the analysts undoubtedly need assistance and guidance in configuring process variants. In this work, we propose a formal behavioral model based on the Symbolic Observation Graph (SOG) allowing to find the set of deadlock-free configuration choices while avoiding the well-known statespace explosion problem and considering loops and OR-join semantics. These choices are used to support business analysts in deriving deadlock-free variants.

引用

页码：623 / 642

页数：20

共 50 条

[21] Business process model abstraction based on structure and semantics
College of Management Science and Information Engineering, Jilin University of Finance and Economics, No. 3699, Jingyue Street, Changchun, China
不详
ICIC Express Lett., 2 (557-563):
[22] Semantics-Based Business Process Model Similarity
Humm, Bernhard G.
Fengel, Janina
BUSINESS INFORMATION SYSTEMS, BIS 2012, 2012, 117 : 36 - 47
[23] An intelligent methodology for business process model verification
Liu Xinhua
Wang Weida
Liu Wenjian
2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7, 2007, : 491 - 495
[24] Deadlock-Freeness Verification of Business Process Configuration Using SOG
Boubaker, Souha
Klai, Kais
Schmitz, Katia
Graiet, Mohamed
Gaaloul, Walid
SERVICE-ORIENTED COMPUTING, ICSOC 2017, 2017, 10601 : 96 - 112
[25] Supporting the group creation of formal and informal graphics during business process modeling
Pendergast, M
Aytes, K
Lee, JD
INTERACTING WITH COMPUTERS, 1999, 11 (04) : 355 - 373
[26] Business process modelling and design - a formal model and methodology
Koubarakis, N
Plexousakis, D
BT TECHNOLOGY JOURNAL, 1999, 17 (04) : 23 - 35
[27] Efficiency of formal verification of ArchiMate business processes with NuSMV model checker
Szwed, Piotr
PROCEEDINGS OF THE 2015 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2015, 5 : 1427 - 1436
[28] Formal Verification of Time-Aware Cloud Resource Allocation in Business Process
Ben Halima, Rania
Kallel, Slim
Klai, Kais
Gaaloul, Walid
Jmaiel, Mohamed
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2016 CONFERENCES, 2016, 10033 : 400 - 417
[29] A Combined Approach for Supporting the Business Process Model Lifecycle
Koliadis, George
Vranesevic, Aleksandar
Bhuiyan, Moshiur
Krishna, Aneesh
Ghose, Aditya
PACIFIC ASIA CONFERENCE ON INFORMATION SYSTEMS 2006, SECTIONS 1-8, 2006, : 1305 - 1319
[30] Business Process Model Matching: An Approach based on Semantics and Structure
Makni, Lobna
Haddar, Nahla Zaaboub
Ben-Abdallah, Hanene
2015 12TH INTERNATIONAL JOINT CONFERENCE ON E-BUSINESS AND TELECOMMUNICATIONS (ICETE), VOL 2, 2015, : 64 - 71

← 1 2 3 4 5 →