基于物件依赖关系的业务流程可达性分析研究.pdfVIP

基于物件依赖关系的业务流程可达性分析 周媛莎李潇徐玮成伟华张亮 (复旦大学计算机与信息技术系 上海200433) 摘要Ac0M是一种基于物件(artifact)的有效的业务流程建模方法。现有研究表明基于物件实例的生命周期 可达性问题是一个不可判定问题。提出了一种BR-artifact模型，该模型引入了业务规则约束的物件依赖关系，通 过分析物件实例的生命周期和关键物件(key-artifact)实例的作用，构造了基于物件实例状态迁移的有限状态执行 图，从而将生命周期可达性问题转化为状态执行图上的图可达性问题，即可判定性问题。在构造过程中，状态投影 和迁移投影保证了状态执行图满足业务规则约束的物件状态依赖关系。 关键词业务规则，物件依赖关系，业务流程建模 ofBusinessProcessesBasedOilArtifact Analysis DependentRelationships Reachability ZHOUYuan-shaLIXiaoXUWei Wei-