支持DFMC的柔性工作流模型研究

针对大规模定制设计中设计过程动态性特点，建立了一个基于对象元结构的柔性工作流模型——对象元工作流模型0MWM。首先定义了模型中各个对象、对象提取方法，进而给出工作流概念模型，并论述了模型的工作流程控制策略。对象元工作流模型可以适应大规模定制设计过程的动态调整，并可随设计过程变化方便地修改、扩充。实践证明，对象元工作流模型对于处理大规模定制设计中的复杂流程及非确定型业务流程处理，能给出满意的解决结果。     

支持动态联盟的工作流管理

动态联盟构建不仅需要实现信息集成 ,而且需要实现过程集成 ,日益成熟的工作流管理技术为此提供了有效的支持工具。文中首先强调了工作流管理中知识的重要地位 ,提出了一个四视图 (过程、组织、资源和知识 )扩展工作流模型 ,并对动态联盟工作流管理四个视图分别进行了分析。最后给出了基于自治节点的工作流管理系统框架。     

工作流模型时间有界性验证与分析研究

对工作流模型分析进行了层次划分后，提出了工程流模型时间有界性的问题，从完成工作流管理联盟给出的工作流图形化模型向工作流网的模型映射之后，利用绝大多数描述业务过程的工作流模型都具有自由选择性的特点，提出了一种将映射得到的自由选择工作流网分解为一组变迁组件网的分解算法，在此基础上，结合工作流模型的资源视图，详细阐述了基于Petri网理论的工作流模型时间有界性分析与验证方法。     

支持过程集成的工作流管理系统

为了从内部生产模式的重组和外部经营模式的重组的两个方面支持企业的敏捷化目标,结合面向对象建模技术和过程建模技术的特点,提出了一种混合建模方法,并参照PSL给出的Ontology定义,提出了一种能支持集成化工作流的形式化描述和Ontology定义,以此支持企业和企业动态联盟在知识层上的集成,文章最后根据目前制造企业所处环境的不确定性的增大,给出了实际支持企业过程重组和动态联盟的敏捷工作流系统的体系框架。     

eEPC模型转换为工作流模型研究

在比较eEPC模型与工作流模型建模原理的基础上，讨论了如何将eEPC模型转换为工作流模型。     

动态实例建模模式的柔性工作流模型研究

传统的两阶段工作流工作模式严重阻碍了工作流柔性的提高,从生物适应的角度,提出了一种基于动态实例的柔性工作流建模模式,该模式下的工作流模型能够通过在不同环境中的实例实现工作流柔性;给出了该模式下柔性工作流活动的可扩展属性、方法和动态控制连接弧等的形式化描述;基于自主计算技术引入了嵌入柔性工作流活动的自主元模型,使用基于加权因子的可信度方法对自主元的推理知识表达,提高了柔性工作流的智能性;给出了动态实例建模模式柔性工作流完备性原则;最后给出了一个柔性工作流建模和自主元知识推理的实例,并对实例的完备性进行了分析。     

一种面向企业用户的工作流模型

本文介绍一种面向企业用户的工作流模型,从模型的角度描述了组成工作流的基本元素类型,讨论了工作流模型与Ｐｅｔｒｉ网模型的转化,并给出模型面向对象的设计实现方案。     

A CAWL handler for context-aware composite workflow services

In distributed computing environment,workflow technologies have been continuously developed.Recently,there is an attempt to apply these technologies to context-aware services in ubiquitous computing environment.The middleware,which offers services in such environments,should support the automation services suited for the user using various types of situational information around the user.In this paper,based on context-aware workflow language （CAWL）,we propose a CAWL based composite workflow handler for supporting composite workflow services,which can integrate more than two service flows and handle them.The test results shows that the proposed CAWL handler can provide the user with the composite workflow services to cope with various demands on a basis of a scenario document founded on CAWL.     

基于Web工作流的质量控制系统模型的研究

针对传统工作流对动态联盟企业分布式异构环境支持不足和难以标准化的缺陷,采用Web Services技术建立了支持动态联盟企业协同的Web工作流模型,研究了模型的体系结构、基于WSFL的工作流元模型描述,以及任务分解策略与协调控制机制。在此基础上设计了面向制造过程的质量控制系统模型,对系统与平台的集成策略、质量信息的统一表示等技术加以研究,可以满足联盟企业的跨平台系统重组、协调、信息交互和质量控制等要求。最后,以卫星的合作生产实例验证了模型的有效性。     

支持工程变更的柔性工作流系统建模与实现

提高工作流系统的柔性需要从工作流的建模、系统设计等各方面去努力.将扩展的变迁时间间隔Petri网应用于工作流程的建模,通过对每个变迁节增加点火标识,满足流程处理中对并行性、同步性和回溯反馈等要求;并以工程变更管理为背景提出一种适应复杂多变流程的工作流模型,以及在工作流设计中提高系统柔性的一些策略.最后,讨论了基于该模型的工作流系统的原型实现.     

支持跨企业协同产品开发的过程模型

企业联盟中的产品开发往往由几个盟员企业协同完成，开发过程需要使用跨企业的工作流管理系统进行协调和控制。首先论述了跨企业协同产品开发对于工作流过程模型的特殊要求，提出了一种适应Internet环境下协同产品开发的工作流管理体系结构，然后讨论了支持这种体系结构的工作流过程模型及其描述方法；最后通过实例说明了这种过程模型的优越性。     

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

探讨了一种数据库驱动的工作流引擎的实现方案;分析了中心数据库的作用,并给出了数据库模型图;从流程分配、路由选择、消息发送及监控管理方面详细分析了工作流引擎的实现机制。     

支持动态联盟的工作流系统研究

分析了动态联盟特性及其对工作流系统柔性方面的具体要求,归纳出柔性的两个方面,即柔性流程建模和系统柔性执行,并提出了抽象建模方法。该方法描述各个业务的共同部分,在流程运行中定义流程的抽象模型、临时路径、节点及连接弧、节点类型和实例,具有很好的柔性。并提出了一个柔性工作流系统的体系结构,该结构支持图形流程定义、动态修改工具、实例管理器、活动调度服务、任务表单引擎和流程监控服务等。     

面向分布式处理的工作流系统建模

在分析对分析布式处理特点的基础上，从局部和整体的角度，探讨了面向分析处理的工作流系统建模，利用复合建模思想，结合新产品开发实例分析，构造了这种工作流系统的系统原型，通过对工作流系统智能化环节的分析，给出了一个面向分布式环境的工作流系统的模型实例。     

工作流建模中时态逻辑的研究与应用

在使用Petri网构建工作流行为结构模型的同时,使用时态逻辑描述工作流模型的需求与特性,则具有描述能力强、灵活方便的优点。在此基础上,综合考虑时态逻辑列表法和即时验证方法的特点,给出一种主要利用Buchi自动机进行工作流模型需求及特性验证的方法,提高了工作流模型的合理性和可靠性。最后,验证分析了电子商务的工作流实例。     

基于协调理论的工作流建模方法

针对目前工作流管理系统在描述能力和柔性上的严重不足,本文提出了一种基于协调理论和反馈机制的工作流建模方法。该方法扩展了传统活动网络模型,增加了请求、服务、协调、多实例化等新的建模元素。同时还给出了一个招标与评标过程的工作流模型实例,研究结果表明,与传统的活动网络模型相比,该建模方法在提高模型描述能力、降低模型复杂性、提高系统柔性及适应性方面都有明显优点,对于设计开发高可靠性、柔性和适应性的工作流管理系统具有重要的应用价值。     

动态工作流建模方法的研究与设计

为了提高工作流对动态不确定因素的处理能力,提出了一种基于事件一条件一活动规则和活动组合的动态工作流模型。该模型用柔性活动封装流程中的不确定因素,用选取规则和组合规则来约束柔性活动的具体化过程,并设计了一个追求活动最高并发度的活动自动组合算法,以便最大限度地利用系统资源,提高流程执行效率。还设计了一个检验活动选取和活动组合的算法,保证了柔性活动具体化后形成的子流程的合法性。     

工作流管理系统实现技术研究

利用有向图定义了一种工作流管理系统中的面向对象的工作流模型，给出了该模型的执行算法和状态转换关系，以及资源竞争时的调度策略，设计了利用面向对象技术实现该模型的一种方法。利用该模型和相关技术，给出了一种工作流管理系统结构，并在软件中加以实现。     

工作流数据的一致性保护框架

目前的工作流系统普遍缺乏保证工作流事务特性的措施，这是影响工作流系统进一步普及与实用化的一个重要原因。本文提出了一种以工作流数据为核心的数据一致性保护框架，包括对工作流控制数据的失败处理模式，对工作流相关数据的多版本管理机制和对工作流应用数据的加锁协议等，从而全面保证各类工作流数据的一致性，使工作流程系统具备较为实用的事务处理能力。     

工作流服务品质评价模型研究

最近，工作流管理系统已广泛用于各种商业过程。在商业运作过程中，买卖双方签订协议或合同，规定具体的服务品质项目，如交货期、最后交货日期、产品品质和服务费用。要想在当今的市场环境里经营取得成功，需要对承诺的服务进行很好的管理，以确保提供高品质的服务。当组织的产品或服务由工作流程创建或管理时，那么使用的工作流管理系统就必须根据合同或协议的规定，预测、监视、控制提供给顾客服务的品质。为达成这个目标，首先要建立一个评价工作流服务品质的模型，然后开发相应的方法计算工作流的服务品质。