Correctness of Artifact-centric Business Process Models
(0) The verification of business process models is an important step in the design phase of process-aware information systems.Currently,in the area of artifact-centric process model verification,the focus has been on the static formal analysis of process executions.However,seldom have they considered the correctness of artifact-centric business process models themselves from both structural and behavioral perspectives.In this paper,we fill this gap by introducing the concept of correctness for artifact-centric business process models from both structural and behavioral aspects.In artifact-centric modeling approach,a business process is modeled as the interaction of the involved artifact lifecycles.Therefore,the correctness of the associated artifact lifecycle models is the foundation of the correctness of an artifact-centric process model.Both structural soundness and behavioral soundness of artifact lifecycle models are proposed and the corresponding verification approaches are proposed,based on which the correctness of an artifact-centric business process model can be identified.Our work contributes to the identification of correctness issues in artifact-centric business process models in the early design or modeling phase.
artifact-centric data model services lifecycle correctness business process modeling
Guosheng Kang Liqin Yang Wei Xu Lipeng Guo Liang Zhang
School of Computer Science,Fudan University,Shanghai,China;Shanghai Key Laboratory of Data Science,F School of Computer Science,Fudan University,Shanghai,China;Shanghai Key Laboratory of Data Science,F
国内会议
第10届全国计算机支持的协同工作学术会议暨中国计算机学会协同计算专委年度工作会议
太原
英文
390-397
2015-08-28（万方平台首次上网日期，不代表论文的发表时间）