基于权限和任务的工作流授权合理性验证

为提高工作流授权合理性验证的效率,提出了基于权限和任务的工作流授权合理性验证方法.通过对工作流授权约束的分析,将授权约束分为针对任务和权限分派关系的权限约束,以及针对任务间职责冲突关系的任务约束和授权约束间约束传递,并在此基础上构建了授权约束规则集对授权合理性进行验证,给出了实现工作流授权合理性验证的算法.最后,通过一个流程实例,证明了该验证方法的实用性.授权约束规则集可以验证约束的完整性和一致性.使满足此规则集的授权工作流既具有必须和足够的授权约束,又保证其每个任务都有合法的用户执行,同时该验证算法可以提高验证的效率.     

基于角色的工作流授权约束规格说明

在工作流管理系统中,数据在工作流任务中流动,执行任务的用户在变化,用户的权限也在变化,现有的授权方法不能很好地描述上述这种职责分离的状态。为此,提出了一个工作流授权约束模型。该模型在工作流应用语境中定义了角色层次函数、任务偏序关系和互斥任务,在此基础上给出了一个基于角色的工作流授权约束语言,它可以准确描述工作流系统的职责分离要求,表达静态、动态授权约束和授权的历史信息,同时,所得到的约束规则集规模相对较小,保证了一致性验证在时间和空间上的可行性。     

基于语义推理的工作流结构验证方法

为了验证工作流结构方面的问题,提出和证明了过程结构验证等同定理和无环工作流结构验证定理,并在这两个定理的基础上,给出了基于语义推理的工作流结构验证算法。最后,在运算复杂程度、循环路由、死锁和同步丢失等4个方面,与其他验证方法进行了比较。     

时间约束层次细化工作流建模及验证研究

为降低工作流建模和验证的复杂度,提出了一种自顶向下逐步细化的建模与验证方法。首先,引入了层次细化工作流网,实现复杂工作流建模,将满足可靠性的子网,替换顶层结构中输入库所安全的子网变迁,使细化后的工作流模型自动地满足可靠性要求。为验证可调度性,提出了时间约束层次细化工作流网,给出子网与子网变迁之间的时间约束等价变换原则,可保持细化前后工作流网可调度性不变的充分条件。依此条件,分别给出了串行、并行、选择、循环4种基本组件的压缩推理规则,并在线性复杂度内解决了层次细化工作流网时间验证问题。     

基于petri网系统规约的工作流建模验证

本文针对工作流过程建模的复杂性和易出错的状况，提出了基于Petri网系统规约的模型验证方法，提出了工作流网向Petri网映射的对应关系，给出了Petri网模型的八种规约规则。这些规则在实际应用中证明是可行的。     

基于Petri网的位置敏感工作流建模与正确性验证方法。

针对移动业务过程中对位置信息建模和分析的需求,结合目前已有的工作流建模方法,提出一种针对位置敏感工作流进行建模和正确性验证的方法。该模型以工作流网为基础,结合6种描述位置之间关系的原语,以位置约束的形式定义业务流程中的位置信息及其与活动之间的关系,然后基于Petri网的状态可达图得出对所建立模型进行正确性检查的方法。基于ProM平台开发了一个位置敏感工作流的建模工具,验证了所提建模方法的可行性和算法的正确性。     

基于AND_OR图深度优先搜索的工作流模型验证

本文指出了工作流模型分析验证的重要性,介绍了该领域的研究现状.分析了引起结构冲突的本质原因--错误的路由引起死锁和缺乏同步,最后提出了应用AND_0R图深度优先搜索验证方法来对工作流模型进行验证,并举例说明,为工作流模型的分析检验提出了一种新方法.     

工作流模型可调度性验证与分析方法

实施工作流管理是支持复杂产品的设计、制造及销售等高度复杂工作流程高效运作的有效手段,而从理论上验证和分析相应工作流模型的正确性及合理性对工作流管理系统的成功实施有着重要的意义。在讨论了工作流模型在时间层次上需要考虑的各种时间约束的基础上,通过扩展时间信息到只描述过程逻辑的工作流网中来,给出了时控工作流网的概念。进而在给出了从一种包含时间信息的有向网络图到时控工作流网的模型映射方法之后,对基于时控工作流网的工作流模型可调度性验证与综合进行了详细的讨论。最后用一实例验证了其有效性。     

基于工作流模式的BPMN过程模型验证方法

针对业务流程建模符号过程模型语义验证问题,提出了一种新方法.该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法.应用示例表明了该方法的有效性.     

时间约束工作流模型的简化分析与可调度性验证

为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到Petri网工作流模型中的方法.首先,给出了时问约束Petri网的相关定义和基于此的工作流建模方法,实现了工作流模型及其时间信息建模.然后,为了对工作流网的可调度性进行验证和分析,给出了时间约束Petri网时间可调度的概念,并根据时间约束等价变换原则,提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法.该方法可以对复杂的工作流模型进行简化,计算模型节点的时间参数,从而完成含有时间信息工作流结构或流程的时间建模和可调度性分析.最后,以保险索赔为例验证了所提方法的可行性.     

基于工作流的企业过程仿真技术研究

为解决工作流仿真相对于工作流管理系统比较薄弱的问题,提出了一种基于具有强大数学描述能力的WF-net网的仿真方法,进而给出了基于虚拟运行环境的工作流仿真机制的实现,从而保证了整个工作流系统的安全性和可靠性,并对企业过程提供了有效的支持,使得企业降低成本、增加生产管理的柔性.最后,给出工作流仿真系统JXWorkflow具体实例分析.     

基于模糊层次分析法的工作流任务排序研究

为了解决含有模糊特征的工作流任务排序问题,提出了一种工作流任务排序模型。在该模型中,根据工作流任务的特点,在建立了基于任务本身的时间特性、案例全局时间特性和任务关键性的特征体系基础上,运用模糊层次分析法,实现工作流任务的合理排序,提高了工作流系统的服务能力。最后,给出了一个算例。     

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

采用工作流技术可对协同设计中多群体多层次的设计任务和设计进程进行有效管理和控制。基于工作流管理的思想,建立了以项目和任务为中心的协同设计工作流模型,该模型由过程模型、组织模型、资源模型和数据模型构成。提出了基于工作流管理的协同设计系统体系结构,在此基础上构建了基于工作流管理的远程协同设计原型系统,可适应远程项目协作的需求。     

基于ERP和CIMS的业务工作流应用的研究

针对企业的信息化建设，本文重点阐述业务工作流技术的应用，运用开环和闭环结构进行业务流程组重设计，并对业务流程进行工作流结构化建模，分析与评价，确定业务传递的最佳途径，减少系统运行的时间和资源，提高基运行效率，以此提高企业的管理水平，增强其竞争能力。     

基于工作流的工艺快速扩散管理

为实现工艺快速扩散系统在军工企业的运作,分析了工艺快速扩散的特点,研究了基于Web服务的工作流技术和传统工作流技术相结合的工艺快速扩散管理及其部分关键技术,建立了基于工作流的工艺快速扩散体系结构,完成了系统的开发.通过在某航天企业的实施证明,该系统能够实现扩散的过程管理,缩短工艺扩散时间,通过工艺控制,保证了外加工件的质量.最后,以一个典型的扩散工艺审核流程为例进行了分析.     

基于工作流模型的资源配置优化方法

工作流模型在执行过程中所引用的资源数量可以被优化。当业务实例在工作流模型中的逗留时间受到约束时,假设每一活动的业务实例逗留时间服从负指数分布,给出了以资源单位时间消耗成本最小化为目标的求解最优资源数量的方法。分析了业务实例在工作流4种基本结构的逗留时间分布与在每一活动的逗留时间分布的关系,给出了业务实例在工作流模型中总逗留时间与各资源数量的关系。最后,给出了一个基于工作流模型的资源优化示例。