一种基于扩展WF-Net的工作流建模方法

本文以工作流系统特性和Petri网模型理论为依据,分析了WF-Net在工作流建模中的局限性,并运用一些成熟的建模思想对其进行了改进,使其在描述机制上更加完善。文章在最后给出了该扩展模型的形式化定义。     

一种基于Petri网的工作流元模型研究

Petri网是建立离散系统模型有力的数学工具。为了解决基本Petri网建模能力不足的问题,Aalst提出了有代表性的WF-Net模型。提出的HSC-PN工作流元模型,基于WF-Net扩展,增加了模型元素静态属性、数据流全局共享和增强的活动块等特性。详细阐述了HSC-PN元模型的DTD文件规范,分析了该模型对工作流模式的支持、触发机制及验证方式。通过可视化的建模工具,生成符合DTD文件规约的流程模板XML文件表示。HSC-PN元模型具有更丰富的元素描述信息,简化了流程模型,具有更强的建模能力。     

基于Pr／T系统的状态工作流网建模

对于工锋流建模人们常常想到的是根据业务的流程信息进行，侧重活动的推进,然而有些工作流系统侧重描述资源之间的状态转化，其中的活动可能会比较少，而资源之间的交互。状态之间的转化会比较丰富，此时对于常用的工作流建模方法就不能很好的表述这些特点，因此本文提供了一种基于WF-Net和Pr／T系统的状态工作流网State-WF的定义，并结各电子商务实例进一步阐释了这种建模方式与流程工作流建模的不同。     

一种改进的验证工作流控制逻辑正确性的方法

许多工作流管理系统可能建立错误的工作流模型，导致工作流的执行出现异常。建立了一个基于双分支条件有向图的工作流模型，提出了一种验证整个工作流控制逻辑正确性的方法。实验结果表明，该方法是可行的。     

一种面向网格工作流的增强型Petri网建模方法

随着网格技术的迅速发展,网格工作流也逐渐成为了研究的热点.对于传统的工作流而言,Petri-Net与WF-Net以其简单实用的特点而被广泛使用.然而,它们在实际建模的过程中仍存在一些问题,同时也无法满足网格环境下工作流的建模要求.因此,提出一种新的增强型Petri网建模方法.该方法在Petri的基础上,对嵌套、撤回、资源等方面做了严密的定义,弥补了Petri-Net与WF-Net的不足,是一种有效的针对于网格工作流的建模方法.     

支持动态可配置的全息工作流建模与分析

工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统。该文引入了一种新型的图形结构——元图，提出了基于基本活动配置单元的全息工作流模型，支持工作流模型中所有相关元素的动态配置，并定义了这种工作流模型的正确性，进行了正确性校验，校验算法高效简捷，使之成为一套完善的工作流建模形式化体系。     

基于Petri网的工作流结构正确性化简验证方法

工作流技术是近年来在计算机应用领域发展最为迅速的新技术之一,但基于覆盖图的工作流网的结构正确性检查的实现过于复杂.本文在Aalst提出的基于Petri网的工作流网的控制流的正确性理论的基础上,提出了工作流网的正确性检查的化简规则及相应的化简算法,实现了对于正确结构的工作流网直接验证;对于错误结构的工作流网,输出其包含问题节点在内的子网结构,可以进一步通过覆盖图的方法确认问题节点,从而降低了工作流网正确性检查的复杂性.     

从工作流网向ECA规则的转换

基于ECA规则的工作流系统能够充分利用数据库的安全、恢复、并发等方面的成熟的技术，因而目前已被广泛应用．但ECA规则难于形式化描述的特性，使得在工作流建模时．不能够保证工作流系统的语义的正确性；而Petri网具有形式化的描述的基础和正确性分析的优点；拳文将这两方面结合起来，对基于Petri网的工作流网中控制流结构的分析给出了由Petri网向ECA规则转化的方法．通过Petri网的形式化的验证后的ECA规则的转化，可以保证基于ECA规则的工作流系统的正确性．     

一种基于扩展Petri网的工作流建模方法

工作流技术是计算机应用领域的一个新的研究热点。将Petri网引入工作流模型是一种常见的建模方法。但是，传统的PN不能直接用于描述比较复杂的工作流模型。本文根据C．A．Ellis定义的信息控制网、W．M．P．vanderAalst定义的工作流网，结合工作流本身的特点，对Petri网进行扩展，提出了一种描述工作流模型的新方法--信息控制Pettri网，并给出其表示工作流模型的正确性定义和验证。     

基于ECA规则的工作流建模实施方案

基于ECA规则的工作流系统能够充分利用数据库的安全、恢复，并发等成熟的技术进行建模，但ECA难于形式化，使得建模时不能够保证工作流系统的语义的正确性；而Petri网具有形式化描述的基础和正确性分析的优点，将这两方面结合起来，通过对Petri网中控制流结构的分析人出了由Petri网向ECA规则转化的方法，以保证基于ECA规则的工作流系统的正确性。     

工作流网Soundness验证

工作流过程定义可以采用不同的建模方法。工作流网是Petri网技术在工作流过程定义中的具体应用。工作流过程定义模型的正确性、可靠性在工作流网模型中使用Soundness特性表达。论文在介绍工作流网、工作流网模型的Soundness概念之外,给出了自由选择和Well-structured工作流网的Soundness验证方法。     

工作流网XPDL映射

工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之间的交换。文章在分析工作流网和XPDL特性的基础上,给出了工作流网向XPDL映射的方法。     

一个结构化的工作流模型建模方法

工作流技术在过去的几年一直是研究领域的一个热点。工作流建模是该技术中的重点。一个定义的很理想的工作流模型可以使得工作流系统有效的运行。因此如何确保工作流模型的正确性和一致性是工作流建模过程中的关键问题。对工作流的建模采用了一种结构化的方法。就象现代结构化编程的工作方式，用以避免建模过程中各种各样的错误。将对该思想的产生、对错误的更正以及对模型的表述进行说明。     

基于构件的工作流动态修改策略*

针对目前工作流管理系统在描述能力和动态修改上存在的不足,提出一种基于构件的动态修改策略。该策略引入新的建模元素和动态修改的体系结构,从时间和工作流组成两个角度对工作流的动态修改进行了分类,详细阐述了工作流的组合策略、修改方法和移交策略;最后论述了这种策略的优越性、可行性和正确性。     

工作流模型的有向图表示及基于Petri网的验证方法

该文从工作流模型的基本结构出发，描述了模型结构的有向图表达方法与建模方式，提出了一种将有向图转化为Petri网的转换算法，说明Petri网与工作流网的关系，之后运用Petri网的分析技术来验证模型的正确性，为电子政务领域内工作流模型的正确性验证提供了一种解决方案。     

基于Petri网的工作流建模在群体决策支持系统中的应用研究

Petri网作为一种图形化的建模工具,具有坚实的数学理论基础,是对工作流进行建模和分析的理想工具。通过对网络会商群体决策支持系统的描述,提出了一种基于Petri网的网络会商群体决策系统的工作流模型,并对该模型进行正确性验证,提高了决策支持系统的可靠性和高效性。