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 条
  • [41] On Lifecycle Constraints of Artifact-Centric Workflows
    Kucukoguz, Esra
    Su, Jianwen
    WEB SERVICES AND FORMAL METHODS, 2011, 6551 : 71 - 85
  • [42] Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction
    Gonzalez, Pavel
    Griesmayer, Andreas
    Lomuscio, Alessio
    SERVICE-ORIENTED COMPUTING, (ICSOC 2015), 2015, 9435 : 253 - 268
  • [43] On Business Process Redesign and Configuration: Leveraging Data Mining Classification & Outliers and Artifact-Centric Process Modeling
    Thai-Minh Truong
    Lam-Son Le
    2016 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING AND APPLICATIONS (ACOMP), 2016, : 59 - 66
  • [44] Deriving user interface flow models for artifact-centric business processes
    Yongchareon, Sira
    Liu, Chengfei
    Zhao, Xiaohui
    Yu, Pan
    Ngamakeur, Kan
    Xu, Jiajie
    COMPUTERS IN INDUSTRY, 2018, 96 : 66 - 85
  • [45] A Framework for Behavior-Consistent Specialization of Artifact-Centric Business Processes
    Yongchareon, Sira
    Liu, Chengfei
    Zhao, Xiaohui
    BUSINESS PROCESS MANAGEMENT, BPM 2012, 2012, 7481 : 285 - 301
  • [46] Guest editorial: special issue on data and artifact-centric business processes
    Marlon Dumas
    Richard Hull
    Fabio Patrizi
    Computing, 2016, 98 : 343 - 344
  • [47] Guest editorial: special issue on data and artifact-centric business processes
    Dumas, Marlon
    Hull, Richard
    Patrizi, Fabio
    COMPUTING, 2016, 98 (04) : 343 - 344
  • [48] Artifact-Centric Modeling and Implementation of Blockchain-Enabled Business Processes
    Amaral de Sousa, Victor
    Burnay, Corentin
    Snoeck, Monique
    BUSINESS & INFORMATION SYSTEMS ENGINEERING, 2024,
  • [49] An ontological analysis of artifact-centric business processes managed by smart contracts
    van Wingerde, M. E. M.
    Weigand, H.
    2020 IEEE 22ND CONFERENCE ON BUSINESS INFORMATICS (CBI 2020), VOL I - RESEARCH PAPERS, 2020, : 231 - 240
  • [50] An Artifact-Centric Approach to Generating Web-Based Business Process Driven User Interfaces
    Yongchareon, Sira
    Liu, Chengfei
    Zhao, Xiaohui
    Xu, Jiajie
    WEB INFORMATION SYSTEM ENGINEERING-WISE 2010, 2010, 6488 : 419 - 427
12345