The Description Logics Model of Artifact-centric Business Process System and Verification of artifact

被引：0
|
作者：
Wan, Xiaomei [1 ]
Zhao, Wei [2 ]
Liu, Guohua [1 ]
Yue, Xiaoli [3 ]
机构：
[1] Donghua Univ, Coll Comp Sci & Technol, Shanghai, Peoples R China
[2] China Heilongjiang Elect Power Co Ltd, Informat & Telecommun Branch, State Grid Corp, Harbin, Peoples R China
[3] Donghua Univ, Coll Mech Engn, Shanghai, Peoples R China
来源：
2014 PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2014) | 2014年
关键词：
artifact; business process system; description logics model; verification;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Artifact is the key business entity in the evolution of business process. Artifact-centric business process management is a typical representative of the data-centric business process management. There are many artifacts during the execution of business process system. In a real world application, such as restaurant process, we should check every artifact's correctness. In this paper, we explore the model of artifact-centric business process system from the perspective of knowledge popularization through introducing description logics to modeling, analysis and prove the bisimilar relation between two different system models. Then, we do verification of artifact through finding a pruning of raw system. At last, we apply such system model and verification to restaurant process.
引用
收藏
页码：1098 / 1102
页数：5
相关论文
共 50 条
  • [21] RETRACTED: An Artifact-Centric Business Process Execution Platform (Retracted Article)
    Ngamakeur, Kan
    Yongchareon, Sira
    Liesaputra, Veronica
    Liu, Chengfei
    Yu, Jian
    2016 IEEE 20TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING WORKSHOP (EDOCW), 2016, : 348 - 351
  • [22] Towards a Scalable Framework for Artifact-Centric Business Process Management Systems
    Lei, Jiankun
    Bai, Rufan
    Guo, Lipeng
    Zhang, Liang
    WEB INFORMATION SYSTEMS ENGINEERING - WISE 2016, PT II, 2016, 10042 : 309 - 323
  • [23] Toward configurable modeling for artifact-centric business processes
    Kang, Guosheng
    Yang, Liqin
    Zhang, Liang
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2020, 32 (02):
  • [24] Behavioral Conformance of Artifact-Centric Process Models
    Fahland, Dirk
    de Leoni, Massimiliano
    van Dongen, Boudewijn F.
    van der Aalst, Wil M. P.
    BUSINESS INFORMATION SYSTEMS, 2011, 87 : 37 - 49
  • [25] Verification of Artifact-Centric Systems: Decidability and Modeling Issues
    Solomakhin, Dmitry
    Montali, Marco
    Tessaris, Sergio
    De Masellis, Riccardo
    SERVICE-ORIENTED COMPUTING, ICSOC 2013, 2013, 8274 : 252 - 266
  • [26] Process mining for artifact-centric blockchain applications
    M'Baba, Leyla Moctar
    Assy, Nour
    Sellami, Mohamed
    Gaaloul, Walid
    Nanne, Mohamedade Farouk
    SIMULATION MODELLING PRACTICE AND THEORY, 2023, 127
  • [27] Static analysis of business artifact-centric operational models
    Gerede, Cagdas E.
    Bhattacharya, Kamal
    Su, Jianwen
    IEEE INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED COMPUTING AND APPLICATIONS, PROCEEDINGS, 2007, : 133 - +
  • [28] Temporal Consistency Management of Artifact-centric Business Processes
    Qin, Haihuan
    Chen, Leilei
    2013 10TH INTERNATIONAL CONFERENCE ON SERVICE SYSTEMS AND SERVICE MANAGEMENT (ICSSSM), 2013, : 737 - 742
  • [29] A Survey on Approaches to Modeling Artifact-Centric Business Processes
    Kunchala, Jyothi
    Yu, Jian
    Yongchareon, Sira
    WEB INFORMATION SYSTEMS ENGINEERING - WISE 2014 WORKSHOPS, 2015, 9051 : 117 - 132
  • [30] Reusing artifact-centric business process models: a behavioral consistent specialization approach
    Yongchareon, Sira
    Liu, Chengfei
    Zhao, Xiaohui
    COMPUTING, 2020, 102 (08) : 1843 - 1879
12345