基于事前分析方法的工作流过程模型的验证

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。     

工作流技术在公文流转中的设计

对工作流技术的产生、体系结构及特点作了简要介绍,分析了公文流转的业务过程,提出了基于工作流控制的公文流转系统的设计方法,使得目前存在的公文流转系统中并未实现真正流程化的问题得以解决,对于具体公文流转的抽象、简化以及整个系统规划都进行了详细的阐述。     

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…     

基于现代企业应用的工作流过程模型研究

针对现代企业的实际经营状况,分析了工作流过程元模型在现代企业过程建模应用中存在的不足.在此基础上,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应现代企业过程建模的需求和新技术的使用.     

网络办公自动化系统的设计与开发

网络办公自动化化系统克服了传统办公系统的不足，满足现代企业管理信息化的需要．根据某企业管理的实际需求，针对其特点，给出了网络办公自动化系统的设计设计思想、功能结构、软件环境，并重点介绍了系统核心功能模块的工作流管理实现方法．     

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

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

基于Web的虚拟企业工作流系统的设计与实现

虚拟企业的工作流管理系统应具有方便性、灵活性、易集成性和与平台无关性，作者提出了一个基于Web的虚拟企业工作流管理系统的体系结构，综合采用CORBA、EJB等分布式组件技术，使系统具有很好的可扩展性和集成能力，同时，设计与实现了一个较灵活的工作流模型和执行服务系统，该系统可让工作项信息直接传递给下一个活动执行者，而不再经过引擎中转，可减少系统开销、提高系统运行效率，     

厦门消防网上办公一体化的实现

介绍一种用Domino／Notes工作流模式设计的消防网上办公管理系统，该系统提高了消防办公效率，降低了办公费用，能够在异构系统间实现可靠的、高保真、跨部门、跨地区通讯，实现办公自动化、流程标准化、事务处理无纸化．     

基于工作流技术和B/S结构的办公自动化系统研究

提出了基于工作流管理的0A系统模型，并用Petri网描述了公文审批的工作流程，论述了采用基于B／S结构体系的优势，最后实现了0A系统的开发和应用。     

Internet环境下政务公文工作流处理模型研究

本文引入工作流的概念,对公文运转的过程进行分解,包括角色、路径和公文模板等三个部分,并建立了数学模型-有向图。文中应用集合理论对有向图模型进行了分析,获得了一些公文流程电子化的理论结果。通过对一个典型的公文流程实例进行应用,验证了这些结果的有效性。