A Verification Method for Collaborative Business Processes

被引：0

作者：

Roa, Jorge ^{[1
]}

Chiotti, Omar ^{[2
]}

Villarreal, Pablo ^{[1
]}

机构：

[1] Univ Tecnol Nacl, Fac Rag Santa Pe, CIDISI, Lavaisse 610,S3004EWB, Santa Fe, Argentina

[2] Consejo Nacl Invest Cient & Tecn, INGAR, Santa Fe, Argentina

来源：

BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT I | 2012年 / 99卷

关键词：

Verification; Collaborative Business Processes; Petri Nets; B2B Collaborations;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

The verification of collaborative processes is a key issue to consider in cross-organizational modeling methodologies. Some of the existing verification approaches provide only partial support, whereas others impose some restrictions to verify models with advanced control flow, compromise (completely or partially) the enterprise autonomy, or are focused on technology-dependent specifications. In order to deal with these issues we introduce Global Interaction Nets, which are based on Hierarchical and Colored Petri Nets, and the Global Interaction Soundness property, which was adapted from the classical definition of soundness, as the main correctness criterion. The method can be used to formalize and verify models defined with different modeling languages. In addition, we apply the method through a case study modeled with UP-ColBPIP, which is a modeling language for collaborative processes, and formalize its constructs by means of Global Interaction Nets.

引用

页码：293 / +

页数：3

共 50 条

[1] The Need for Compliance Verification in Collaborative Business Processes
Kasse, John Paul
Xu, Lai
de Vrieze, Paul
Bai, Yuewei
[J]. COLLABORATIVE NETWORKS OF COGNITIVE SYSTEMS, 2018, 534 : 217 - 229
[2] Consistency verification between collaborative business processes and requirements
Mo, Qi
Dai, Fei
Li, Tong
[J]. 2019 INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS) AND IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) AND IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) AND IEEE SMART DATA (SMARTDATA), 2019, : 526 - 532
[3] Towards Change and Verification Support in Collaborative Business Processes
Khriss, Ismail
El Koutbi, Mohammed
Dkiouak, Youssef
[J]. PROCEEDINGS OF 2012 INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS (ICCS12), 2012, : 430 - 436
[4] A method for designing agents for collaborative business processes
Hawryszkiewycz, IT
Henderson-Sellers, B
Lin, A
[J]. Proceedings of the Thirteenth International Conference on Information Systems Development: Advances in Theory, Practice and Education, 2004, : 93 - 104
[5] A scenario-based verification technique to assess the compatibility of collaborative business processes
De Backer, Manu
Snoeck, Monique
Monsieur, Geert
Lemahieu, Wilfried
Dedene, Guido
[J]. DATA & KNOWLEDGE ENGINEERING, 2009, 68 (06) : 531 - 551
[6] Verification and Compliance in Collaborative Processes
Oyekola, Oyepeju
Xu, Lai
[J]. BOOSTING COLLABORATIVE NETWORKS 4.0: 21ST IFIP WG 5.5 WORKING CONFERENCE ON VIRTUAL ENTERPRISES, PRO-VE 2020, 2021, 598 : 213 - 223
[7] Business Objectives and Business Processes: Alignment and Verification
Pascoa, Carlos
Belo, Nuno
Tribolet, Jose
[J]. INFORMATION RESOURCES MANAGEMENT JOURNAL, 2012, 25 (02) : 52 - 68
[8] On the execution of collaborative business processes
Carter, Belinda M.
Orlowska, Maria E.
[J]. SEVENTEENTH INTERNATIONAL CONFERENCE ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2006, : 288 - +
[9] Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets
Zeng, QingTian
Lu, FaMing
Liu, Cong
Duan, Hua
Zhou, ChangHong
[J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2015, 45 (02): : 349 - 362
[10] Specification of behavioral anti-patterns for the verification of block-structured Collaborative Business Processes
Roa, J.
Chiotti, O.
Villarreal, P.
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2016, 75 : 148 - 170

← 1 2 3 4 5 →