工作流多过程动态时序一致性的实时模型检测

现实企业中通常存在多个并行的工作过程,并且它们之间可能存在资源冲突。在运行阶段,动态验证资源约束下多个过程的时序一致性具有重要意义。基于实时模型检测技术,提出一种工作流多过程时序一致性动态验证方法。采用时间自动机(Time automata,TA)对多个并发过程建模,并将所需验证的时序约束转化为对TA模型的性质查询。当运行到检测点,依据已知的时间信息更新TA模型,再进行相关性质查询,从而完成时序约束的验证。该方法实用性较强,能够有效处理现实业务环境中资源约束情况下多个业务过程的动态时序验证问题。具有较好的柔性和扩展性,当时序约束发生变化时,仅需改变相应TA模型。本方法有多种实时模型检测工具或软件的支持。     

参数化工作流动态建模及其在PDM系统中的应用

为提高工作流对动态不确定因素的处理能力，提出了参数化工作流动态建模方法。通过多个参数化模型的实例，建立实际的业务过程模型；同时为了控制和导航整个业务过程，提出了活动控制参数规则、多于模型实例之间的流转关系控制策略和基于管理角色的人为控制策略。为了实现该动态建模方法，工作流管理系统需要对工作流管理联盟的规范作较小程度的扩充。实际应用表明，这种方法是有效和可行的。     

基于UML和Petri网的工作流建模与优化研究

利用UML活动图和Petri网建模的互补性,提出了综合运用两种方法进行工作流建模和仿真优化,并通过实例分析验证了该方法的可行性与有效性。该方法从最基本的角度刻画整个业务过程,实现了业务过程重组与优化,有效地解决了工作流的柔性问题。     

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

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

工作流模型时间有界性验证与分析研究

对工作流模型分析进行了层次划分后，提出了工程流模型时间有界性的问题，从完成工作流管理联盟给出的工作流图形化模型向工作流网的模型映射之后，利用绝大多数描述业务过程的工作流模型都具有自由选择性的特点，提出了一种将映射得到的自由选择工作流网分解为一组变迁组件网的分解算法，在此基础上，结合工作流模型的资源视图，详细阐述了基于Petri网理论的工作流模型时间有界性分析与验证方法。     

扩展模糊时间工作流网的建模与仿真研究

针对不确定性情况下工作流时间分析的实际需求,基于可能性理论,引入模糊时间的概念,提出了一种扩展模糊时间工作流网,以便对不确定性时间信息进行全面描述.在考虑不同流程活动之间存在资源约束的情况下,提出了基于扩展模糊时间工作流网的多个并行流程建模方法.同时,分别讨论了扩展模糊时间工作流网模型中模糊时间和变迁触发可能性的模拟,提出了模型的仿真分析方法.最后,以某制造企业为例,采用CPN Tools进行建模和仿真分析,验证了方法的有效性.     

基于时间关键路径的工作流模型优化方法

工作流模型在建模阶段不可能完全考虑到所有的情况,业务过程中深层的语义规则也不可能完全挖掘出来,工作流模型结构需要优化.执行时间是业务过程执行效率的一个重要度量,因此为了缩短工作流的平均执行时间,提出了一种对工作流平均执行时间最长的路径-关键路径的优化方法.通过分析关键路径上任务之间的依存关系,在模型建立阶段,尽可能地转换数据依存关系为控制依存关系,在工作流模型上增加选择和并行控制结构,并保证数据的一致性,最终达到优化工作流关键路径的目的.最后利用关键路径识别算法对结果进行对比分析,验证方法的有效性.     

带数据工作流的形式化建模语言——数据感知的工作流网

为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析／一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。     

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

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

支持跨企业协作的柔性工作流系统建模研究

为了解决传统工作流建模技术对企业间业务过程的复杂性和动态性尤其是过程协作支持的不足，从面向不同主体间协作和系统高柔性要求的角度出发，提出了基于业务代理的柔性工作流系统建模方法，给出了工作流系统元模型，建立了一个多层次、支持不同授权管理的工作流系统框架，提出了流程管理者和流程执行者相结合的分层次分阶段流程管理和控制方法。给出了系统实现策略，包括实现原则和系统框架。以鄂尔多斯羊绒集团公司生产过程为对象，进行了实例建模分析。结果表明，该方法能够解决过程柔性建模和组织结构建模的问题以及其过程协作要求。     

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

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

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

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

时间约束工作流模型的可调度性分析算法

针对目前工作流管理系统对时间管理支持的严重局限，提出了基于Petri网的工作流时间约束建模方法，首先，将工作流网扩展为时间约束工作流网，然后分析了工作流程的时间特性，并提出了时间约束工作流网的可调度性分析算法，研究结果表明，所提出的建模方法能全面描述工作流的时间信息，对丰富工作流系统的时间约束建模理论具有重要的参考价值。     

Petri net-based workflow modelling and analysis of the integrated manufacturing business processes

The well-behaved properties in workflow systems are very important for business processes. In this paper, a structured business process modelling approach by using free-choice Petri nets and workflow analysis techniques is proposed. This approach can be used to verify the soundness of workflow process specification for finding control-flow errors in the designs. For example, deadlock and dangling tasks in process models can be avoided by using this approach. However, for arbitrary Petri nets, the checking of sound properties is a NP-hard problem. This paper presents a structured business process modelling algorithm. This algorithm employs six well-behaved control structures, chaining rule and modified nesting rule to construct well-behaved process models. The resulting process models from this algorithm are free-choice workflow-nets, for which sound property can be decided in polynomial time. The proposed method is an extension of the workflow-net. The basic transformation rules in the workflow-net are subsets of the proposed nesting rule in this paper. The process models resulted from this structured business process modelling algorithm also have the advantages of modularity, readability and maintainability.     

面向过程的供应链工作流管理研究

面对激烈的全球化市场竞争，供应链工作流管理需要较强的柔性和很好的敏捷性，过程管理在供应链工作流管理中起着重要的作用，然而，传统的过程管理已不能适应供应链工作流过程运行于动态、分步、异构的环境中 的要求，而面向过程的动态协同管理是供应链工作流管理的一种新的模式，本文在探讨过程管理模式的基础上，给出了一个基于多agent技术的供应链工作流过程管理框架和工作流过程管理模型，并通过企业订购过程实例，运用工作流技术及agent技术，对供应链工作流进行过程控制及重组，实时地协调，管理供应链上的业务活动，为实现动态集成的供应链工作流过程管理提供了一个新的方法和技术手段。     

A modeiing approach for designing a value chain of virtual enterprise

As the advent of digital economy changes business environment dramatically, virtual enterprise (VE), in general the interactions among business partners in a value chain, has become a key factor to survive under the competitive business environment. VE reveals that more complex and dynamic business processes should be considered as assembled service components in order to integrate the collaborative business processes. Therefore, a formal standard schema for describing and managing the business processes is required. In this paper, we propose a consistent modeling approach that combines enterprise modeling and simulation modeling to design a value chain of a VE. This methodology will provide designers with insight into the business processes of a VE and help identify and resolve unpredictable bottlenecks on the execution of virtual business processes. This paper also illustrates an implemented modeling tool which is based on the generalized model suggested by the working group of the international conference on enterprise integration and modeling technology (ICEIMT) and notations by the object management group (OMG)’s unified modeling language (UML) profile for enterprise distributed object computing (EDOC).     

A modeling approach for designing a value chain of virtual enterprise

As the advent of digital economy changes business environment dramatically, virtual enterprise (VE), in general the interactions among business partners in a value chain, has become a key factor to survive under the competitive business environment. VE reveals that more complex and dynamic business processes should be considered as assembled service components in order to integrate the collaborative business processes. Therefore, a formal standard schema for describing and managing the business processes is required. In this paper, we propose a consistent modeling approach that combines enterprise modeling and simulation modeling to design a value chain of a VE. This methodology will provide designers with insight into the business processes of a VE and help identify and resolve unpredictable bottlenecks on the execution of virtual business processes. This paper also illustrates an implemented modeling tool which is based on the generalized model suggested by the working group of the international conference on enterprise integration and modeling technology (ICEIMT) and notations by the object management group (OMG)’s unified modeling language (UML) profile for enterprise distributed object computing (EDOC).     

基于SOA的协同制造工作流建模方法

针对现代制造业跨平台、跨区域、跨企业的协同需求,提出一种基于SOA的协同制造工作流建模方法。该方法利用面向服务的SOA体系结构框架实现企业的协同工作,同时采用业务流程建模符号BPMN和流程执行语言BPEL4WS构建基于SOA的协同制造业务流程模型。最后结合一个具体应用实例详细说明该工作流建模方法的使用。