ArtiFlow中artifact生命周期的可满足性问题

作     者：王颖 刘国华 高尚 赵丹枫 刘海滨 WANG Ying;LIU Guo-hua;GAO Shang;ZHAO Dan-feng;LIU Hai-bin

作者机构：燕山大学信息科学与工程学院计算机科学与工程系河北秦皇岛066004 东华大学计算机科学与技术学院上海201620 

基　　金：国家自然科学基金项目(61070032)资助 秦皇岛市科学技术研究与发展计划项目(201001A048)资助 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2012年第33卷第6期

页      码：1176-1182页

摘      要：以数据为中心是业务过程管理技术发展的一个新趋势.artifact是记录业务过程的数据实体,围绕artifact的业务过程管理正在成为业务过程管理研究的一个热点.生命周期是artifact的一个重要特征,业务过程能否满足对artifact生命周期的定义是业务过程设计中需要验证的一个重要特性.本文从artifact属性赋值顺序的角度,基于Petri网定义artifact的生命周期树.采用ArtiFlow建立业务过程模型,在ArtiFlow模型中根据业务规则提取artifact状态变化树,与artifact生命周期树进行路径比较,验证业务过程模型中artifact生命周期的可满足性.给出相应的算法并分析了算法的复杂度.

主 题 词：业务过程管理 artifact生命周期 Petri网 ArtiFlow 可满足性 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-1220.2012.06.005

馆 藏 号：203121116...