论文部分内容阅读
现代化企业中都存在大量业务流程。这些业务流程作为企业的宝贵财产,它们描述了企业的价值链,定义了企业业务处理的方法,是企业提高运营效率的保障。业务流程必须遵守与企业切身利益和政策法规密切相关的合规性规则,违规行为为企业带来的损失是不可估量的。因此,保障企业业务流程的合规性是业务流程管理的重要组成部分。同时,业务流程管理正在由以控制为中心向以数据为中心的趋势发展,其中以artifact为中心的业务流程管理是以数据为中心业务流程管理方法的一个典型的代表。不言而喻以artifact为中心的业务流程合规性研究是一项具有挑战性的任务。在这些国内外研究的基础上,论文分析了目前的合规性保障中存在的问题,在业务流程设计、业务流程运行和业务流程诊断等阶段对以artifact为中心的业务流程管理中合规性保障问题开展了以下几项研究工作：1) 提出满足artifact生命周期约束的一种合规业务流程模型生成方法。合规的业务流程模型是实现业务流程合规性管理的前提,由合规性约束描述直接转换生成流程模型是确保得到合规业务流程模型的重要手段。该方法以描述业务流程中artifact属性赋值变换过程的artifact生命周期约束作为合规性规则,采用以artifact为中心的业务流程概念模型ArtiFlow作为流程模型,提出流程合规性定义及判断算法,同时给出由artifact生命周期约束转换生成ArtiFlow的方法。论文同时介绍实现生成过程的工具原型。2) 研究以artifact为中心的运行时流程合规性问题。在业务流程运行阶段检测业务流程的合规性,是对流程设计阶段合规性检测方法的一种补充。针对以artifact为中心的业务流程,将artifact生命周期作为合规性约束,利用业务流程信息系统对业务流程执行实时信息的记录,通过监控这些信息,解决运行时流程合规性问题。其特点,是将运行时的合规性监控问题转化为语言的接受问题。论文证明了相关定理。3) 提出一种关注artifact生命周期的流程一致性检验方法。一致性检验是后向合规性检验的主要方法,可以保障业务流程管理诊断环节的业务合规性。论文提出一种既关注业务流程执行中的行为活动变化,也兼顾数据实体赋值状态变化的业务流程一致性检验方法。检验方法可以指出导致流程执行出现偏差的故障点,并给出业务流程一致性的量化计算尺度。4) 基于web服务的相关技术,设计并实施了以artifact为中心的业务流程管理系统中合规性保障功能模块,包括：合规ArtiFlow生成模块、模型合规性检验模块、业务流程合规性监控子模块以及一致性检验模块。