基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法.实验证明,该算法在实际应用中具有可操作性,有较强的现实意义.     

通用公文处理系统中工作流引擎的设计与实现

为了缩短关键业务开发周期,描述了一种基于工作流引擎的信息系统通用框架,设计了一个适用于关键业务开发的基于关系结构的轻便灵活的工作流引擎。详细地给出了相关的机构模型、信息模型和控制模型的设计原理以及具体实现方法。实践证明,应用工作流引擎可以显著地缩短关键业务的开发周期,提高了工作效率。     

基于着色Petri网的电子商务工作流建模

用基本Petri网对电子商务工作流建模，往往会因为细节过多而使其图形复杂。提出了一种基于着色Petri网的模型，给出了针对电子商务中网上购物系统的建模过程并进行了结构合理性的论证。应用结果表明，通过着色Petri网建模可以使得库所和变迁的数量都大为减少，使图形更加简约。     

基于关系数据模型的工作流引擎设计与实现

为了提高办公效率,迅速构建基于流程的应用,提出了符合工作流参考模型的工作流引擎框架结构.以关系数据库为依托,进行工作流的过程建模和模型表达,研究并实现了工作流引擎的关键技术.结合在土地利用规划业务过程中的应用,开发出了工作流引擎服务器以及具有动态配置功能的工作流客户端应用框架.实践表明,该工作流引擎明显缩短了应用系统的开发周期,降低了系统维护的复杂性.     

业务过程模型驱动的网格工作流互操作机制

从工作流调度模型、工作流映射模型和业务过程评价模型等角度，建立了业务过程模型驱动的动态网格工作流的互操作机制．通过不同层次的业务过程模型，驱动支持企业间集成的全局工作流机、支持企业内异构平台集成的工作流机、企业内同一平台下的工作流机，建立工作流调度模型，解决面向业务流程的动态集成问题；通过建立业务工作流、抽象工作流、执行工作流的映射模型，解决复杂业务工作流到执行工作流的映射与纵向式集成问题；通过建立业务过程选择模型，解决企业业务过程在动态联盟合作伙伴间的评价、动态选择与共享问题．     

工作流管理的过去、现在和未来

工作流管理是一个新兴的研究领域,被誉为信息系统的后勤,它让合适的人或软件在恰当的时间执行正确的上作,使计算机上的业务处理流程自动化。本文用历史的观点对工作流管理的发展历程进行了回顾,揭示了工作流管理对未来信息系统的影响.根据分析当前的工作流管理系统,我们总结出两个十要不足之处:(1)工作流管理系统的定义不明确以及缺乏统一的概念模型,(2)工作流管理系统的系统结构和能力上的不足,并对工作流管理的未来发展趋势从建模和实施两个方面进行了预测.     

一种在业务系统中嵌入工作流管理的方法

在业务系统中引入工作流技术能有效地把企业的各种资源合理地组织在一起，通过分析工作流管理系统的功能需求和业务系统已有的功能，指出在业务系统中实现工作流管理主要需增加过程定义、过程控制功能．根据UML活动图提出了一种基于对象流的工作流模型思想，并给出了采用关系视图表示对象流状态的工作流定义和运行控制的设计和实现方法．利用对象流技术进行工作流建模易于理解，并且能够很好地和关系型数据库结合，集成到传统业务系统中，提高了软件重用和开发效率．     

面向漏洞管理的工作流技术应用研究

随着网络安全漏洞威胁日益加深,网络空间安全形势愈加严峻,掌控漏洞威胁信息、负责漏洞风险管理的漏洞管理机构发挥着越来越重要的作用,对漏洞数据的制度化、规范化、流程化管理是有效开展漏洞威胁消控的重要基石.研究了目前管理机制较为完善的漏洞管理机构,提出了一套普适性的漏洞管理流程,并结合工作流技术进行业务建模和系统实现.实践表明,将工作流技术应用于漏洞管理工作中,可以协助漏洞管理机构提高漏洞管理效率,有效开展漏洞威胁消控工作.      

基于移动代理平台Aglet的柔性工作流的研究与实现

分析了柔性工作流管理系统的特点以及可移动Agent技术，提出了一种基于移动代理平台的柔性工作流管理系统的体系结构，并采用Aglet平台实现了原型系统．在原型系统中，业务过程的定义封装在可移动的工作流引擎Agent中，MA(Mobile Agent)迁移到各执行任务的角色所在节点，驱动并监控任务的执行；利用多个Agent之间位置透明的通信、协同工作，使得业务过程的定义在执行中可动态修改，实现了工作流的柔性．     

基于工作流机制的设备检修管理系统的设计

工作流管理系统是实现信息快速、有效、准确地获取、管理和传递的有效手段。它通过计算机来支持企业经营过程的运行，实现对企业经营过程的管理和控制。本文介绍了工作流的概念和基本原理，并对系统进行了模型设计和结构设计，最后以首钢迁钢有限公司设备检修管理系统为例，说明了工作流技术在企业信息化管理中的具体应用。     

基于JAVA的集成型工作流引擎的设计

针对中小型项目的工作流应用 ,设计了一个基于JAVA的集成型工作流引擎 ,该工作流引擎由工作流元模型、工作流执行引擎以及客户端接口三部分组成 .文中给出了工作流引擎各部分设计 ,并做了详细的说明 .在该设计的基础上 ,已经开发出了一套工作流引擎软件 ,并应用在多个项目中 ,证实其具有高效性和可扩展性 .使用该引擎可以容易地整合业务逻辑和业务流程 ,降低项目的开发成本 .     

Modeling Workflow Using UML Activity Diagram

An enterprise can improve its adaptabihty in the changing market by means of workflow teclmolo-gies. In the build time, the main function of Workflow Management System (WFMS) is to model business process. Workflow model is an abstract representation of the real-world business process. The Unified Modeling language (UML) activity diagram is an important visual process modehng language proposed by the Object Management Group (OMG). The novelty of this paper is representing workflow model by means of UML activity diagram. A translation from UML activity diagram to π-calculus is established.Using π-calculus, the deadlock property of workflow is analyzed.     

基于工作流技术的网络平行审计系统的研究

工作流技术是一种先进的流程控制技术,工作流管理系统是实现网上办公自动化的有力软件工具。分析了当前本地区的审计业务状况,介绍了工作流技术、工作流管理系统的设计以及系统实现的研究方法。并针对网络平行审计的要求,将工作流技术应用于本系统中,通过过程逻辑的描述实现,采用灰色理论,应用决策树方式,解决了审计决策方法的描述问题,以提高系统的灵活性,实现了系统的应用与研究。     

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

An Inter—enterprise Workflow Model for Supply Chain and B2B E—commerce

The goals of B2B electronic commerce and supply chain management system are to implement interoperability of independent enterprises,to smooth the information flow between them and to deploy business processes over multiple enterprises.The inherent characteristics of workflow system make it suitalble to implement the cross organization management,This paper,firstly,proposes an inter-enterprises workflow model based on the agreement to support the construction of supply chain management system and B2B electronic commerce.This model has extended the standard workflow model.After that,an architecture which supports the model has been introduced,especially it details the structure and implementation of interfaces between enterprises.     

基于全序语义结构化工作流的研究

针对业务过程的规范化建模问题,研究结构化工作流.证明了基于全序语义的任意工作流均可转化为与其等价的结构化形式,提出了一种结构化工作流代数,并给出了其语义解释模型.在此基础上,形式化地定义了结构化工作流过程和结构化工作流过程函数,从理论上提供了构建规范化、合理化和柔性化业务工作流概念模型的表示方法和操作语言.医疗实例分析证明了结构化工作流理论在过程建模、再造和动态重组中的有效应用.     

Graphical-based data placement algorithm for cloud workflow

When workflow task needs several datasets from different locations m cloud, data transfer becomes a challenge. To avoid the unnecessary data transfer, a graphical-based data placement algo- rithm for cloud workflow is proposed. The algorithm uses affinity graph to group datasets while keeping a polynomial time complexity. By integrating the algorithm, the workflow engine can intelligently select locations in which the data will reside to avoid the unnecessary data transfer during the initial stage and runtime stage. Simulations show that the proposed algorithm can effectively reduce data transfer during the workflow＇ s execution.     

一个支持复杂应用的工作流模型

针对ＣＩＭＳ等复杂应用中的工作流,在工作流元模型的基础上,提出了工作流管理系统ＳｃｏｐｅＷｏｒｋ的工作流模型,有效地描述了复杂应用中的各种工作流·此外主要讨论了该模型的任务结构和任务之间的跃迁结构·     

基于服务模板的动态工作流建模及实现

针对当前工作流管理系统难以应对企业组织流程变更的问题,基于服务模板技术,提出了一种动态工作流建模方法.首先以服务模板的形式建立动态工作流模型,完成整个业务流程的预定义和对应组织服务的绑定.在此基础上完成该模型的动态操作算法,实现工作流运行过程中对流程变更的发现与自动更新.最后以一个企业工作流项目实例来验证模型的可行性和...     

基于Petri网的工作流模型合理性研究

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.