【作者】 周媛莎； 李潇； 徐玮； 成伟华； 张亮；

【Author】 ZHOU Yuan-sha LI Xiao XU Wei CHENG Wei-hua ZHANG Liang (Department of Computing and Information Technology,Fudan University,Shanghai 200433,China)

【机构】 复旦大学计算机与信息技术系；

【摘要】 ACOM是一种基于物件(artifact)的有效的业务流程建模方法。现有研究表明基于物件实例的生命周期可达性问题是一个不可判定问题。提出了一种BR-artifact模型,该模型引入了业务规则约束的物件依赖关系,通过分析物件实例的生命周期和关键物件(key-artifact)实例的作用,构造了基于物件实例状态迁移的有限状态执行图,从而将生命周期可达性问题转化为状态执行图上的图可达性问题,即可判定性问题。在构造过程中,状态投影和迁移投影保证了状态执行图满足业务规则约束的物件状态依赖关系。更多还原

【Abstract】 Artifact-centered business process modeling approach,like ACOM,has attracted the attention from worldwide researchers.Literature shows that artifact instances life-cycle reachability is an undecidable problem.We propose a BR(business rule)-artifact model which translates the undecidable life-cycle reachability problem to the decidable state-execution graph reachability problem by identifying the artifact dependent relationships defined by the business rules,analyzing artifact instances life-cycle and the effect of key-artifact instances,and constructing a finite state-execution graph with state transfer of artifact instances.In the construction,state-projections and transfer-projections keep the state-execution graph holding the artifact state-dependent relationships defined by the business rules.更多还原