基于物件依赖关系的业务流程可达性分析
ACOM是一种基于物件(artifact)的有效的业务流程建模方法。现有研究表明基于物件实例的生命周期可达性问题是一个不可判定问题。提出了一种BR-artifact模型,该模型引入了业务规则约束的物件依赖关系,通过分析物件实例的生命周期和关键物件(key-artifact)实例的作用,构造了基于物件实例状态迁移的有限状态执行图,从而将生命周期可达性问题转化为状态执行图上的图可达性问题,即可判定性问题。在构造过程中,状态投影和迁移投影保证了状态执行图满足业务规则约束的物件状态依赖关系。
业务规则 物件依赖关系 业务流程建模 ACOM 状态执行图
周媛莎 李潇 徐玮 成伟华 张亮
复旦大学计算机与信息技术系 上海 200433
国内会议
桂林
中文
205-210
2008-10-24（万方平台首次上网日期，不代表论文的发表时间）