基于Agent的工作流模型与应用

ＣＩＭＳ应用集成平台是企业实施ＣＩＭＳ有效支持工具,而ＭＩＳ系统则是整个ＣＩＭＳ集成平台的重要组成部分,主要研究了基于Ａｇｅｎｔ的工作流模型及其在ＭＩＳ系统中的应用,在ＷＦＭＳ参考模型的基础上,提出了一个基于Ａｇｎｅｔ的,易于扩展和移植的,以浏览器作为用户界面的工作流管理系统;ＡＢｓ－ＷＦＭＳ,并介绍了系统的运作方式。基于Ａｇｅｎｔ的工作流管理系统在浙江好来西ＣＩＭＳ系统的开发中作了有益的浓试。     

工作流管理系统中协同建模环境的研究

工作流建模是工作流技术能否在企业中成功应用的一项关键技术。传统工作流管理系统中的建模工具只支持单用户建模，不利于对持续变化、不可预测的市场需求做出迅速而准确的反应。提出了一个工作流管理系统中协同建模环境的概念框架，并对该框架中的相关内容：协同建模语言、访问控制、建模相关信息的感知以及模型定义冲突的管理作了讨论，最后展望了下一步的研究内容。     

基于多主体的协同工作系统

文章主要介绍智能协作办公系统ＩＣ－ＯＦＦＩＣＥ中的异步协作功能及其实现技术。ＩＣ－ＯＦＦＩＣＥ系统是将ＭＡＳ技术和ＣＳＣＷ技术相结合而研制的协同办公原型系统,系统通过构造办公助手主体、协作控制主体、信息共享主体、协作文件夹管理主体、工作流管理主体、知识库管理主体、文档管理主体等多个智能主体,支持办公人员实现协同工作和信息共享。     

ScopeWork中任务处理机制的设计

工作流管理系统（ＷＦＭＳ）把业务流程中的每一项活动着作任务,并负责组织、调度和控这些相互关联的任务。工作流中任务的模型描述和接口设计是开发工作流应用中重要的组成部分,它直接影响着任务间的调度执行,本文主要讨论基于ＣＯＲＢＡ的ＷＦＭＳ ＳｃｏｐＷｏｒｋ中的任务管理器和任务处理的设计。     

柔性自动化车间的随机生产设计与控制

研究了柔性自动化车间（ＦＡＷ）的随机生产计划与控制问题，提出了一种随机生产计划新方法。文中首先建立ＦＡＷ随机生产计划与控制的数学模型，然后推导求解该问题的算法，编制相应软件，进行算例研究，研究表明，本算法能够有效地将不确定性环境中的ＦＡＷ产品需求计划最优分解成由ＦＡＷ中种ＦＭＳＡ执行的短期随机计划。     

柔性自动化车间的随机生产计划与控制

研究了柔性自动化车间（ＦＡＷ）的随机生产计划与控制问题，提出了一种随机生产计划新方法．文中首先建立ＦＡＷ随机生产计划与控制的数学模型，然后推导求解该问题的算法，编制相应软件，进行算例研究．研究表明，本算法能够有效地将不确定性环境中的ＦＡＷ产品需求计划最优分解成由ＦＡＷ中各ＦＭＳ执行的短期随机计划     

基于信牌驱动模式的工作流柔性建模的研究

目前大多数工作流系统都不能支持动态可变的柔性特征,而支持动态可变的柔性工作流系统是人们在实际应用中对工作流系统提出的新要求,也是企业为了满足业务流程变更的需要.提高工作流系统的柔性需要从工作流的建模、系统设计等各方面去努力.在协同信牌驱动工作流模式模型的基础上引进了适合该模式的柔性建模的元模型,并且提出了限制该模型的一些规则来讨论基于该模型的柔性建模工作流系统的实现.     

基于工作流技术的OA系统模型

工作流技术是工作流管理系统（ＷＦＭＳ）中的核心技术,它是提高业务过程效率和生产效率的关键技术。本文研究了工作流技术在办公室自动化系统中的应用,提出并建立了基于工作流管理的办公自动化系统模型及其工作流的数据模型表示。     

基于Pi演算和EECA规则的跨组织工作流建模研究

针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法.将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题.利用Pi演算技术,对跨组织的本地工作流的协同方式进行了形式化描述.分析了协同模型及其执行过程,并给出了一个应用实例验证了提出的模型具有较好的柔性,可以有效用于本地工作流间的协同工作,并且适合于对分布式协同环境下的工作流进行建模.     

协同设计中基于状态图的工作流表示模型*

着重讨论了CAD协同设计工作流管理中的工作流表示模型,提出了运用状态图的形式来表示工作流的模型,并详细描述了其定义、特性、建模方法及特性分析,并将该思想应用于建筑协同设计的工作流管理中。     

MINI工作流管理系统的设计与实现

对当前的工作流管理系统进行了分类比较，介绍了目前的研究热点和相关项目，设计并实现了一个基于Web的、面向过程的动态MINI工作流管理系统。该系统采用基于XML的MINI工作流过程建模语言描述模型，定义了工作流中的同步和并发处理机制，MINI解析器作为一个独立的组件被单独实现，这使得系统结构灵活，便于扩展。系统主要由工作流建模工具、工作流引擎和客户端工具组成，其中工作流建模工具采用C／S结构，客户端工具采用B／S结构，工作流引擎采用J2EE技术实现。     

面向执行的工作流控制流建模技术研究

工作流系统中的控制流建模一般注重描述活动间的路由语义,通过组合分支和汇合结点构造过程路由结构。这种描述方法不便于执行,导致工作流引擎的实现复杂。直接从过程和活动本身及相邻两个活动间的控制响应关系和路由关系入手,开发了一种基于ECA规则的控制流建模方法。使得过程和活动能响应外部事件,从而实现对工作流的动态行为建模。而且,用链接和控制点实现了活动间复杂路由语义的建模。统一了工作流引擎对控制流的执行方法,使得工作流引擎的实现机制大大简化。     

用着色Petri网建模工作流模式

工作流模式指在工作流过程模型中反复出现的过程基本构造，是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准，目前市场上的工作流引擎对其支持得并不好。本文重点阐述了基于着色Petri网的工作流建模语言对当前流行的20种工作流模式的支持情况。结果表明，该语言不仅能很好地支持全部模式，而且具有建模简洁、准确的特点。同其它建模语言相比，用着色Petri网建模工作流模式具有较好的灵活性和扩展性。它也为如何使基于着色Petri网的工作流引擎能够正确、有效地支持全部20种工作流模式提供了有意义的指导。     

基于区间代数的工作流模式的建模研究

在业务流程建模阶段,从时态角度采分析业务流程,有助于清楚地描述工作流.在对工作流模式以及其中包含的时态语义进行了深入研究之后,根据区间代数的语法,将工作流模式和区间代数结合起来,提出了一种新的用于工作流模式的时间约束建模方法.它不仅从时态角度扩展了工作流建模,明确描述了工作流模式中和时序有关的时态约束和依赖关系,并且能使工作流控制模式和形式化验证工具结合,从而有利于进一步从时态角度研究业务流程建模.     

面向知识应用和交互的工作流系统建模与控制

针对基于知识应用和交互的复杂工作流系统，对知识应用特性进行了分析，并构造了对应知识聚合与信息再生的过程单元。利用过程单元之间的关联分析，对面向知识应用和交互的工作流系统建模进行了深入的研究。在对一个基于知识应用的具体实例进行分析的基础上，探讨了基于知识应用和交互的工作流系统中的控制问题，提出了一种基于区域控制和交互的控制策略，并给出了控制分解所遵循的基本原则。最后，讨论了工作流技术的发展方向和热点技术。     

Contract-collaboration network method for modeling manufacturing resource control workflows

This paper presents contract-collaboration network (CC-Net) method that is developed to model manufacturing resource control workflows. The CC-Net is an object-oriented class diagram. It depicts the contract-collaboration relationships among the classes in a manufacturing system, with constraints. The CC-Net method uses a primitive modeling block called collaboration module by which the CC-Net is established systematically. This idea is very similar to that of the Lego® block toy. Unlike most workflow modeling methods, the CC-Net method views workflow modeling as a constraint satisfaction process. That is, describing the set of constraint recovery rules corresponding to the constraint violations is regarded as workflow modeling. The obtained set of workflow rules is free from process deadlock and considers all the events of triggering the workflow. We explore the use of the CC-Net method for the workflow modeling of a flexible manufacturing system.     

基于着色时间Petri网的工作流模型及其性能分析

为了将着色时间Petri网的并行式工作流模型应用于产品数据管理系统,在工作流建模阶段对工作流的静态和动态结构性能加以分析.采用活动扫描法作为工作流系统行为的仿真策略,研究了工作流模型到着色时间工作流网模型的转换过程.给出了用可达图检验工作流程中是否存在死锁和陷阱的判定定理.以一种循环组件的或分支跳出并行流程的审批工作流为例,对论述的定理和方法进行了分析和验证.     

一个结构化的工作流模型建模方法

工作流技术在过去的几年一直是研究领域的一个热点。工作流建模是该技术中的重点。一个定义的很理想的工作流模型可以使得工作流系统有效的运行。因此如何确保工作流模型的正确性和一致性是工作流建模过程中的关键问题。对工作流的建模采用了一种结构化的方法。就象现代结构化编程的工作方式，用以避免建模过程中各种各样的错误。将对该思想的产生、对错误的更正以及对模型的表述进行说明。     

层次工作流Petri网建模与分析

当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点。该文详细论述了一种基于Petri网的、用于复杂工作流模型设计的层次建模方法及其相关规则,并利用四种Petri简化规则对工作流模型的正确性进行了验证。同时提出“区”的概念并藉此分析了工作流的动态建模问题。     

快速扩散制造中的工作流管理技术

针对武器装备快速扩散制造的效率问题,以军工产品的扩散制造为实例背景,提出一种支持快速扩散制造的工作流管理技术,包括工作流建模技术、工作流运行控制技术和工作流系统实现方法,采用Petri网建模方法和基于Web的工作流引擎技术。阐明扩散制造中工作流管理系统的体系结构。结果证明其在提高军工产品制造效率方面效果良好。