一种基于产生式的流程模型分析方法*

在深入分析业务流程模型和合理的抽象业务活动基础上,提出了一种基于产生式的流程模型形式化分析方法,并提供了一种从一般流程描述到该模型的转换方法;在此基础上,推导了一系列行之有效的流程属性验证规则,并通过应用实际例子证明了所提出方法的有效性。     

面向业务流程的数据模型异常检测方法

当前,流程驱动的信息系统构建方式得到了越来越广泛的应用.在流程驱动的方式中,流程模型对数据模型有着不可忽视的影响.但是当前的数据模型异常检测方法都是针对数据模型本身的特点而未考虑流程模型.同样,流程模型的验证方法也缺乏对数据模型的考虑.文中提出并分析了面向业务流程的数据模型的异常问题,并给出了其3种基本类型.为了检测这些异常,文中提出了Data-process Graph(DP-Graph)模型,将数据模型和流程模型放在统一的架构下进行研究.而后,基于DP-Graph,文中提出了DPGT算法,有效地实现了面向业务流程的数据模型异常检测.文章中的实验结果验证了DPGT算法对于这些异常的高检出率.     

一种基于Prolog的时间约束业务流程验证方法

随着互联网技术的快速发展,对复杂系统业务流程建模的需求越来越大。针对带有时间约束的业务流程模型的正确性验证问题,提出了一种基于节点转换规则的图分解算法,将业务流程模型转换为运行时流程轨迹集合;设计了流程轨迹集合到Prolog的转换,将轨迹中的节点与时间约束转化为Prolog事实,提出了一种业务流程模型到Prolog语言的转换算法;将持续时间、周期循环与固定时刻3种时间模式转换为Prolog规则,以其支持业务流程模型3种时间模式的验证。最后对一个带有时间约束的医疗流程实例进行了验证。     

面向跨组织业务流程的角色行为验证方法

为了更有效地保证跨组织业务流程模型的正确性和合理性,应用Pi演算提出了一种基于状态的角色行为的验证方法。基于Pi演算提出了跨组织业务协作中的角色模型,设计了角色描述表,以清晰、直观地描述角色的权利、职责和义务,进而应用Pi演算验证工具MWB(移动工作平台)的check和step命令提出了单角色验证方法,并在此基础上从业务对象状态和业务操作角度提出了多角色验证方法。实现了角色行为的验证,并为跨组织业务流程的可达性、一致性和死锁等分析奠定基础。     

基于BPEL的业务流程集成①

本文首先介绍了BPEL(Business process execution language)的定义及其元模型,针对传统流程构造技术的不足,提出了一种基于SOA的业务流程集成的体系结构,并研究了业务流程模型到BPEL的转换规则,最后用实例介绍了如何使用BPEL进行流程描述。     

WS-BPEL业务流程与访问控制

针对面向服务的体系结构下企业应用安全需求,通过分析WS-BPEL业务流程特点,提出一种面向执行体的访问控制模型。该模型可以动态地进行权限授予与回收,并引入角色和约束机制。在此基础上,将流程活动映射到访问控制模型元素,从而在流程定义和权限管理隔离的情况下,实现WS-BPEL业务流程执行过程中的访问控制策略实施。     

基于业务流程的访问控制模型研究开发

在分析研究RBAC基本模型的基础上，根据网上申报、审批系统的实际需求，提出了一种基于业务流程的访问控制模型，将业务流程和基于角色的权限控制相结合，在业务流程和角色之间建立有效的联系，使有关业务流程的信息能够直接指导角色的设置。该模型克服了RBAC基本模型需要修改角色权限来适应不同业务流程的缺点，真正实现了权限的按需、按流程分配，角色只有在执行特定子任务时才具有权限，权限的分配和回收由系统动态实现。该模型已在网上申报、审批系统项目中应用。     

基于模型的业务流程建模平台研究与实现*

提出了基于BPMN规范的三维业务流程模型,并采用模型驱动的开发方法和基于Eclipse插件实现了原型系统OnceBPD;最后利用该系统展示了一个旅行登记流程模型的案例。     

基于SOA的可变业务流程管理系统

针对业务流程管理系统对流程可变性的需求,在分析现有SOA实现模型的基础上,结合本体知识库,提出一种基于SOA的支持流程可变的业务流程管理系统模型.利用SOA的松耦合性以及本体知识库的规范化描述及推理功能,使业务专家可以独立进行流程建模,从而满足业务流程灵活调整的要求.介绍了该模型的实现机制和相关技术以及该模型在虚拟旅行社智能平台的应用.     

层次工作流Petri网建模与分析

当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点。该文详细论述了一种基于Petri网的、用于复杂工作流模型设计的层次建模方法及其相关规则,并利用四种Petri简化规则对工作流模型的正确性进行了验证。同时提出“区”的概念并藉此分析了工作流的动态建模问题。     

基于WF net的工作流恢复网模型的研究*

针对工作流系统中存在的异常问题,提出了一个基于WF-net和ECA规则的工作流恢复网模型,给出了模型元素与ECA规则的映射关系。模型在设计时采用WF-net结构,运行时通过预定义的操作函数动态调整工作流结构。采用基于任务的恢复策略,利用ECA规则自动处理可预测异常;考虑任务间的数据依赖,采用人工恢复策略处理不可预测异常。     

基于扩展有向图的工作流建模的设计与应用

通过对工作流建模对象的分析,提出了一种基于扩展有向图的工作流建模方法,并从节点、有向弧及演化规则三方面对该方法进行了形式化的描述。在此基础之上,建立了一个工作流可视化建模工具,并通过具体的实例说明了该工具在实际流程中的有效运用,为解决传统建模软件开发中的关键问题提出了一种新的解决方案。     

基于专家系统的协同设计工作流管理系统研究

本文提出了一种支持协同产品设计的以规则为基础的工作流管理系统模型架构,其中以专家系统的推论引擎作为工作流程管理系统的推进机制,利用推论引擎的知识库存储流程的事实与规则,以各任务的输出结果、任务间的关联性并搭配预先定义好的流程规则作为推论的依据,讨论了系统的架构设计、关键技术及系统实现,该系统为复杂的工作流程提供了一种新的管理及控制模式。     

SPEM2XPDL模型转换研究*

将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎.此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持.SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性.     

基于语义的工作流过程优化

为改善工作流的性能和效率,一个智能化的工作流系统应该具有动态的分析和优化工作流过程的能力。提出了一种基于语义的工作流优化方法,它使用本体概念来描述工作流,利用本体技术的知识表达能力,给工作流模型赋以相应的动态语义,从而构建工作流事实库;通过制定基于本体的活动分类规则,对工作流的所有活动进行语义分类,从而构建分类规则库;通过执行活动分类规则来获取优化信息,针对不同类别的活动执行相应的操作,从而实现对工作流模型的结构优化。最后,通过实例来说明该方法的可行性和正确性。     

集成化离散生产过程的工作流管理

文章以面向过程的观点,分析了生产过程内活动之间的逻辑关系,提出了以工作流管理系统为集成平台的企业生产过程管理和离散生产过程工作流建模方法。在此基础上建立了过程运行规则和资源约束处理规则。由于生产过程的工作流模型是以活动为组件自下而上建立的有向树结构,它与过程运行规则和资源约束处理规则的结合,使生产过程能够适应内部及外部环境的变化,从而可有效地解决生产过程中各活动之间的协调问题。     

基于图归约法的工作流模型验证

详细论述了对基于有向有环图（DCG图）的工作流模型结构正确性进行验证的图归约法及其五种归约规则，根据这些规则即可判定工作流模型中存在的结构冲突，从而迅速对其进行修正。     

基于ECA规则的工作流模型应用研究

本文以工作流参考模型为基础,结合办公自动化工作流的应用特点,阐明了工作流模型的设计与实现方案,应用ECA规则模型,对工作流模型进行定义和描述.