基于扩展时间工作流网的工作流过程建模

工作流管理系统中时间约束意义重大.为了在工作流模型中引入时间因素,对模型的时间性能进行评估,提出一种基于扩展时间工作流网模型.通过对模型进行形式化定义,描述了模型到工作流过程模型的映射,并针对工作流网模型存在的4种基本逻辑结构,提出一种时间线性简化规则;运用此简化规则,对工作流网模型进行压缩,以便计算所建模型的时间性能.最后结合一个工作流实例,运用提出的简化规则对约束上的常量时间进行了初步分析.     

基于Petri网的应急管理工作流模型

讨论了由Petri网发展起来的工作流网WF-net的定义、工作流执行结构及任务触发方法,引入WF-net建立应急管理信息系统工作流模型,提出了一种基于Petri网工作流模型的建模方法及其相关规则．以一个省级应急管理系统为例,详细阐述了构建Petri网工作流模型的过程,并利用验证工具对该模型进行了正确合理性分析．     

工作流网合成规则及其在流程设计中的应用

针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则的工作流网精化方法．在活的和有界的自由选择网合成规则上添加限制,使其适用于自由选择工作流网的精化,定义可分离工作流网及其保持可分离性的合成规则,证明在自由选择或可分离工作流网上应用合成规则所生成工作流网的合理性．使这两类工作流网的精化能够一次涉及多个节点,为其建模提供维度不同且粒度更细的参考原则．     

Petri网在工作流技术中的应用

论述了Petri网理论和工作流技术,探索了Petri网和工作流技术相结合的优势和可行性,讨论了如何运用Petri网理论实现工作流管理系统部件——过程定义工具的分析功能,并部分实现了分析功能。     

工作流网合理性验证的矩阵实现

业务流程建模后,一般需要对流程模型进行结构合理性验证,以避免投入使用后才发现错误而造成巨大损失。为了对工作流模型的结构合理性进行验证,改进了一种工作流网模型的合理性验证算法,将工作流网模型用矩阵及向量的形式表示,基于矩阵运算对合理性进行判断。该方法更便于计算机实现,并且对不合理性情况进行了判断处理,在一定程度上提高了验证的效率。     

基于工作流的安全库所替换网特性研究

基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性;同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性.     

基于Petri网时间约束工作流的研究与应用

针对目前工作流管理系统中时间管理研究现状,以基于时间Petri网的工作流建模方法为基础,把时态逻辑引入到控制流中,给出其形式化定义.借助相关的理论,全面、系统地分析该模型的时态特性,提出基本模型等效变化规则,对复杂工作流的进行时间约束的等效变换,对存在时间冲突的活动进行动态调整;最后以一个实例对文中提出的方法进行了论证...     

基于Petri网的工作流模型构建

Petri网以其良好的数学基础和可视化的建模方法已成为工作流研究中的重要建模工具。尤其对办公自动化建模时,在描述和分析对象上有其独到的优越之处,本文以协同办公系统中的生产计划管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。     

基于Petri网的安全工作流管理系统模型

访问控制是信息系统的一个重要安全保护机制,主体只有在被授权时才能对客体进行访问。应用有色时间Petri网对安全工作流模型进行了描述,并结合读/写安全策略对动态授权机制进行了应用分析。应用基于有色时间Petri网的工作流模型可以降低数据误用的危险性。     

Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

一个基于TBAC的审批业务工作流模型

TBAC EABWF是针对审批业务工作流在任务处理过程中的动态实时的安全管理要 求而提出的，与传统的审批业务工作流模型相比，该模型实现了访问控制授权流与审批业务工作流的同步，满足了审批业务工作流“面向任 务”的访问控制要求；引入时间概念，使访问控制的授权约束与时间有关，从而满足审批业务工作流中任务的时效性要求；引入基于脚本的 规则来规范控制逻辑，使模型具有动态调整性，支持审批业务工作流所具有的确定性和非确定性两种特性.     

一个基于TBAC的审批业务工作流模型

TBAC-EABWF是针对审批业务工作流在任务处理过程中的动态实时的安全管理要求而提出的，与传统的审批业务工作流模型相比，该模型实现了访问控制授权流与审批业务工作流的同步，满足了审批业务工作流“面向任务”的访问控制要求；引入时间概念，使访问控制的授权约束与时间有关，从而满足审批业务工作流中任务的时效性要求；引入基于脚本的规则来规范控制逻辑，使模型具有动态调整性，支持审批业务工作流所具有的确定性和非确定性两种特性．     

基于工作流的毕业设计及实习管理系统设计与实现

文章研究开发的毕业设计及实习管理系统以工作流参考模型为基础,采用了基于petri网的工作流建模技术、XPDL模型规范和工作流引擎技术,提出了将实践教学工作流管理子系统分成工作流管理系统与业务流相对独立来构建的总体设计方案,设计了工作流引擎,实现了自定义流程和修改流程功能,提高了系统的灵活性和适应性。     

一种基于演进规则的工作流引擎

尽管当前工作流技术的使用已比较广泛，但对于工作流引擎的形式化模型却很少定义．为此．提出了一种工作流引擎的框架结构，其中包含有利用XML语言实现的工作流过程定义模型、一个基于关系结构的工作流引擎的控制模型以及可以用来支持复杂的业务逻辑的工作流引擎的演进规则．详细论述了这些模型及规则的设计原理以及实现方法．并通过实例论述如何通过演进规则实现工作流引擎的演进推理过程。     

基于MVC模式的资源访问代码的自动生成

针对当今快速多变的电子商务环境对工作流软件的灵活性和扩展性要求越来越高这一现象,通过深入分析传统工作流服务网格结构的优缺点,提出了基于MVC模式动态工作流模型的快速实现方法.新方法分离了业务流程开发和资源管理,在对BPEL4WS语言业务流程描述能力进行扩展的基础上,提取业务流程和资源访问流之间的业务流程数据映射关系,自动生成代码,将服务网格和资源网格有效桥接起来.分析结果表明,该方法实现了对用户的透明性和开发的灵活性,同时在软件项目开发中能够更好地进行项目管理、控制软件开发周期和降低返工率.     

管理信息系统与工作流管理系统的结合

讨论了管理信息系统到工作流管理系统的应用,并详细介绍了5类工作流的建模方法,通过将管理信息系统与工作流管理系统在分析、设计和实施等各阶段进行结合应用,使信息系统具备对整个业务过程进行全程实时监控的能力,从根本上解决了管理信息系统并未真正实现业务过程自动化的问题.     

基于导航的迁移工作流组织与执行

在对停靠站服务器提供的服务进行类型划分的基础上,定义了迁移工作流系统的导航模型,扩充了停靠站服务器的服务主体表结构,详细描述了基于导航的迁移实例的任务执行过程。图书购买实例表明,引入导航机制可以克服传统工作流系统要求业务流程完全预知的缺点,特别适合跨组织的工作流服务。     

基于Petri网的高校办公自动化工作流研究

分析了高校办公自动化子系统工作流的基本结构和建模步骤,对公文流转的Petri工作流模型、工作流的路由、公文信息和公文的流程处理信息进行设计,并结合实例,探讨了该模型实现公文流转的过程。     

基于工作流的电信业务开通系统建模与控制

电信业务具有种类繁多、数据量大、业务控制复杂等特点，工作流管理是实现业务过程控制的重要技术。因此，本文作者提出了一种基于工作流技术、面向服务架构（SOA）的电信业务开通系统的建模与控制方案。在此基础上，具体分析流程划分、流程重组及其在电信业务支持和管理上的实施方法。对于新一代电信运营支撑系统／业务支撑系统（OSS/BSS）的开发提供了参考。     

基于WWF工作流的开发过程研究

工作流是面向流程管理提供业务流程处理自动化的重要应用.WWF(Windows Workflow Foundation)提供给开发者用于在Windows操作系统平台上进行工作流设计、分析、开发的基本框架,在工作流设计与工作流管理系统开发中具有较好的扩展性、通用性和稳定性.文章对基于WWF工作流的一般开发过程和方法进行初探...