On Balancing Flexibility and Compliance of Business Processes: Functional Constraints Modeling and Verification

被引：0
|
作者：
Zhu, Jingwei [1 ,2 ]
机构：
[1] Fudan Univ, Sch Comp Sci, Shanghai, Peoples R China
[2] Shanghai Inst Intelligent Elect & Syst, Shanghai Key Lab Data Sci, Shanghai, Peoples R China
来源：
SERVICE-ORIENTED COMPUTING - ICSOC 2022 WORKSHOPS | 2023年 / 13821卷
基金：
国家自然科学基金国际合作与交流项目;
关键词：
Business process; Long-tailed change; Flexibility; Compliance; Functional constraint;
D O I：
10.1007/978-3-031-26507-5_28
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
When handling long-tailed changes (LTC) in business processes, there is a tension between flexibility and compliance. The tension has been addressed in our previous work, while compliance needs further discussion. Compliance is often expressed in terms of functional and nonfunctional constraints. This paper studies the modeling and verification of functional constraints.
引用
收藏
页码：327 / 333
页数：7
相关论文
共 50 条
  • [1] Verification of Business Processes with Time Constraints
    Shiraki, Ryoya
    Shinkawa, Yoshiyuki
    [J]. 2017 6TH IIAI INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI), 2017, : 72 - 75
  • [2] 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
  • [3] Modeling and Optimizing for Flexibility in Business Processes
    Huang, Haixin
    Xue, Shitong
    Wang, Dingwei
    [J]. E-ENGINEERING & DIGITAL ENTERPRISE TECHNOLOGY VII, PTS 1 AND 2, 2009, 16-19 : 436 - 440
  • [4] Verifying for Compliance to Data Constraints in Collaborative Business Processes
    Kasse, John Paul
    Xu, Lai
    deVrieze, Paul
    Bai, Yuewei
    [J]. COLLABORATIVE NETWORKS AND DIGITAL TRANSFORMATION, 2019, : 259 - 270
  • [5] Compliance validation and diagnosis of business data constraints in business processes at runtime
    Teresa Gomez-Lopez, Maria
    Gasca, Rafael M.
    Miguel Perez-Alvarez, Jose
    [J]. INFORMATION SYSTEMS, 2015, 48 : 26 - 43
  • [6] Formal Verification of Business Processes with Temporal and Resource Constraints
    Watahiki, Kenji
    Ishikawa, Fuyuki
    Hiraishi, Kunihiko
    [J]. 2011 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2011, : 1173 - 1180
  • [7] On the Use of the Conformance and Compliance Keywords During Verification of Business Processes
    Groefsema, Heerko
    van Beest, Nick R. T. P.
    Governatori, Guido
    [J]. BUSINESS PROCESS MANAGEMENT FORUM, 2022, 458 : 21 - 37
  • [8] Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes
    Cheikhrouhou, Saoussen
    Kallel, Slim
    Guermouche, Nawal
    Jmaiel, Mohamed
    [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2014), 2014, : 701 - 708
  • [9] FLEXIBILITY AND MODELING IN BUSINESS PROCESSES: A MULTI-DIMENSIONAL RELATIONSHIP
    de Albuquerque, Joao Porto
    [J]. RAE-REVISTA DE ADMINISTRACAO DE EMPRESAS, 2012, 52 (03): : 313 - 329
  • [10] Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes
    Ben Halima, Rania
    Zouaghi, Imen
    Kallel, Slim
    Gaaloul, Walid
    Jmaiel, Mohamed
    [J]. PROCEEDINGS 2018 IEEE 32ND INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA), 2018, : 952 - 959
12345