基于Petri网的面向测试的工作流系统建模方法

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。     

基于时间的工作流模型挖掘算法的研究与实现

提出了一种基于时间的工作流模型挖掘方法以提高工作流模型挖掘技术的准确性.运用事件日志挖掘活动的执行时间和活动之间的直接等待关系、相交关系和后继等待时间,建立活动间的边矩阵与并行活动矩阵,找出边之间的关系,从而得到带有时间性能的工作流模型.给出的实例说明了这种方法在提高模型准确率与描述能力等方面的优势.     

基于工作流的期刊编辑流程管理设计

文章使用工作流方法对期刊编辑流程进行了分解和分析,建立基于工作流的期刊编辑流程管理模型,这种模型将业务流程的设计从工作流工程中模块化出来独立进行,使得工作内容与流程处理逻辑是分离的,从而提高整个办公系统的适应能力。依据此模型设计的计算机办公应用平台可以提高期刊编辑工作的效率和期刊出版的质量。     

基于分布式工作流的虚拟企业信息系统

由于虚拟企业可通过整合若干优势互补的企业资源来增加企业的敏捷性,而逐渐成为制造企业的一种新型组织形式,建立虚拟企业的关键之一就是开发一种支持这种新型合作方式的信息系统。本文首先建立了分布式工作流模型,在此基础上,综合运用CORBA标准、分布式工作流技术和代理技术,建立了基于分布式工作流的虚拟企业信息系统模型,并给出了多代理通信的XML实现方案。     

一站式审批系统设计与实现

行政审批是政府机关的重要职能。通过一站式审批可提高政府机关的办公效率。在分析政府审批系统目的与流程的基础上，采用基于工作流技术的模型设计并加以实现，重点讨论了系统的体系结构、数据库模型、工作流引擎、数字签名等主要实现技术。该系统已经应用到实际的应用系统中，实践证明使用效果良好。     

基于XML的工作流访问代理协作接口模型设计

随着工作流和XML技术的发展,为了支持企业经营过程的运行管理和企业间的业务协同,基于XML的数据交换和接口组件技术是关键技术。本文分析了XML、工作流和访问代理等技术,设计了基于XML的工作流访问代理协作接口模型和实现的框架代码,并实现了协作接口的注册应用。     

如何将基于关系结构的工作流模型转换为标准XPDL模型

因为基于关系结构的工作流建模工具缺少与工作流管理联盟（WFMC）制定的标准的工作流过程定义语言XPDL之间的接口，所以使得在该建模工具上建立的过程模型很难过渡到其它同类产品上．本文针对这点．介绍了关系数据库和XPDL之间的映射关系．同时说明它们之间进行数据转换的思路和方法，最后简要给出利用XML、DOM等技术实现可视化数据转换工具的方法并给出执行实例结果．     

基于语义的电力系统工作流智能推理框架

为实现电力系统工作流程的智能性,结合本体、语义推理、数据挖掘等技术,设计面向电力系统应用的语义工作流推理框架;建立该框架下工作流及其涉及的电力系统资源的本体概念和关系模型,描述电力生产需求信息、工作流和系统资源本体之间的联系;从最基本的推理元素出发,基于语义网规则语言构造工作流生成的触发推理流程和规则;运用Protégé和Jess推理引擎实现工作流触发推理的应用模型,通过推理实验验证本方法的有效性。     

工作流管理系统互操作技术研究

介绍了工作流技术和工作流参考模型,讨论了该参考模型的重要组成部分及其功能特点,提出了工作流管理系统互操作的四种典型设计模式。在参考模型和典型设计模式的指导下,详细分析了工作流互操作性的分类与实现技术以及目前工作流互操作性存在的问题,从而在一定程度上解决了工作流管理系统的互操作性。     

一个基于异步CSCW的工作流管理系统

阐明了基于异步ＣＳＣＷ（计算机支持的协同工作）的工作流管理系统的重要性，提出了基于异步ＣＳＣＷ的工作流控制机制的软件结构，并对系统具体实现和关键技术作了分析。     

大型航空制造企业技术改造项目管理新模式

技术改造及其项目管理是大型航空制造企业经营管理活动中的重要任务之一。企业通过技术 改造项目改进生产条件和生产工艺,增强军民用航空产品的研制能力。论文根据技改项目管 理的特点,运用系统动力学方法建立技改项目全生命周期动力学模型,对技改项目生命周期 的全过程进行动态仿真,为管理者提供信息和决策支持。最后,结合工作流技术的优点,建 立了基于工作流技术的技改项目管理协同平台原型     

基于Petri网的时间约束问题

为了解决复杂工作流模型中时间约束造成工作流崩溃问题,提出条件模糊时间Petri网工作流模型.首先给出条件模糊时间Petri网工作流的定义.然后给出模糊时间Petri网的三种基本模式的模糊时间推理,得到每种模式下Petri网工作流模型,同时在理论上验证所提出模型的必要性.最后通过实例说明根据条件模糊时间Petri网工作流建模,可以有 效地避免由于时间约束造成的工作流崩溃问题.     

工作流技术及其应用

工作流技术是计算机支持的协同工作领域的一个研究热点，工作流管理系统是实现网上办公自动化的有力软件工具。本文介绍了工作流技术的相关概念、工作流管理系统的参考模型及其接口，然后根据web环境下办公自动化系统的要求，给出了一个工作流技术应用实例。     

基于Petri网的电子政府采购的工作流建模

工作流技术在业务流程重组、办公管理及资源协调等领域获得了广泛应用,已成为系统建模领域广泛采用的方法.政府电子采购过程中应用工作流技术可有效地对采购流程进行重构和优化,Petri网是一种适合工作流过程建模的理想工具.政府电子采购过程的Petri网模型可以清楚地描述政府网上采购业务流程,解决政府采购过程中各环节之间的并发性、异步性等问题.     

基于Petri网的动态工作流在信用担保系统中的应用研究

以Petri网为建模工具,考虑在原有静态工作流网基础上,实现对其进行动态定义和动态修改。针对典型的担保业务流程,对担保业务进行基于Petri网的动态工作流建模,并将系统付诸实现。     

“一站式”审批系统需求分析模型研究

本文探讨了“一站式”审批系统的基本特点，分析了常用工作流建模技术在“一站式”审批系统需求分析应用中的不足，并据此提出了基于扩展RAD图（E-RAD）的需求分析模型及该模型的使用方法。     

基于有色Petri网的政府电子公文通用工作流模型的构建

基于有色Petri网的基本理论和政府公文处理的国家标准,结合政府电子公文的处理特点,给出了收文流程和发文流程的形式化定义及其建模步骤,完成了政府电子公文通用工作流模型的建构,实现了流程再造,并且在基于Lotus Domino群件的平台上进行了实践和应用.     

动态容错技术选择模型在移动Agent工作流管理系统中的应用

针对网格环境下,容错机制可保证工作流管理系统的一次性和完整性的执行特征,将移动Agent引入到工作流管理系统中,提出一个可以嵌入移动Agent工作流管理系统中的动态容错技术选择模型.在网格环境下应用这个模型增强容错功能,并允许系统通过对计算环境的感知,优化配置容错机制.     

Petri网在电信业务过程建模中的应用

工作流技术可以帮助电信企业提高管理水平 ,本文先介绍了工作流 (Workflow)的基本概念 ,然后阐述了Petri网在电信业务过程建模中的应用     

基于UML活动图的工作流建模方法

对工作流管理系统的功能特性进行了分析,提出了一种工作流执行系统的体系结构,并详细描述了用UML活动图为工作流建模的过程.