基于工作流的轨道交通应急管理系统设计与实现

针对轨道交通系统内事故处理效率不高,各种辅助控制系统协作不足的问题,应用工作流过程管理思想,对应急处置流程及业务关系进行实体分析.构造了基于对象间静态关系的工作流静态模型和面向应急过程控制的工作流动态模型,建立支持跨系统动态协作的应急管理系统.引入可控度参数实现对协作系统的适度柔性控制和流程的协调,探讨了系统框架、通信机制、功能设置等问题.该系统可作为决策支持的工具,模拟实验证明了其在应急决策和实时控制中的有效性.     

基于本体的工作流抽象模型

基于本体的抽象模型框架, 提出一种工作流的感知建模方法, 通过感知特定领域中实际运行的具体工作流获得构建该领域工作流抽象模型的知识, 既可为工作流模型的设计提供共享和重用机制, 也可直接构造该领域的工作流抽象模性, 实现工作流的部分或全部自动化运行. 并给出了工作流行为本体类和行为关系本体类的定义,  形式化地描述了两个本体类的动态构建和扩展过程, 同时给出了在基于本体抽象模型框架下的工作流抽象建模过程.     

一种提高活动网络图柔性的工作流建模方法研究

现有的工作流模型基本上基于“静态”程序定义,不能根据工作流实例的运行状况而动态地修改模型配置和控制数据信息.针对目前工作流过程模型在描述能力、柔性定义、过程重用、异常处理等方面存在的不足,采用问题分离原则,引入条件设定机制、协调反馈机制的多实例机制,扩展了传统活动网络图模型的建模属性和元素,使其在提高模型描述能力、降低模型复杂性、提高系统柔性及适应性有明显优点,对于设计开发高可靠性、柔性和适应性的工作流管理系统具有重要的应用价值.     

基于WfSL的柔性工作流模型形式化定义

针对传统工作流模型柔性不足的问题,考虑各种动态需求以及流程中的可变因素,使用工作流规格说明语言WfSL对柔性工作流模型进行形式化定义,从而增加了模型定义的柔性,使其可以动态地进行过程、角色、状态和异常定义的修改,实现了工作流的动态性和灵活性。     

基于动态工作流系统的软件过程改进与控制

针对软件过程改进存在的问题,提出了基于工作流仿真技术的思路。将工作流仿真贯穿到软件过程改进的整个生命周期。首先,提出了一个支持软件过程改进的动态工作流实施框架,其中包括4个反馈环节来实现改进;建立了指导建模的软件工作流元模型,它将度量和过程改进的几个要素结合到一起,便于仿真评价,并且利用对象约束语言形式化描述模型实体本身和实体间的完整性约束关系。其次,给出了基于ECA规则的工作流模型定义和仿真引擎的结构。第三,在上述基础上针对一个软件开发过程的实例,根据过程度量指标分析了多种可能的改进方案。     

基于事件响应event-response的动态工作流系统

提出了一种在企业工作流管理系统中运用由协作的各企业提供的对事件的响应(event-response)的方案来实现动态的工作流系统。通过工作流引擎灵活地调度、控制，利用基于约束的动态绑定机制动态地将事件的响应请求绑定到合适的event-response和响应提供者(provider)，从而柔性地，协同地完成共同的目标。     

CWFlow:支持资源自适应使用的云工作流框架

云计算的出现为工作流执行提供了机遇,也带来了挑战。在云计算环境中,如何更好地利用云计算的特性,以尽可能小的资源代价完成工作流任务的执行已成为当前研究的热点问题。该文首先提出了一种基于云计算的工作流框架,在此基础上给出了基于排队论的资源自适应调节模型。实验结果表明:在用户指定工作流任务所期望达到的服务目标之后,该框架和模型能够监测工作流的执行,针对工作流执行负载的变化情况,采用不同的收费方法动态调整资源的使用,达到节约资源使用费用的目的。     

一个基于案例的动态工作流模型

提出了一个基于案例的模型,实现工作流系统的执行动态性和自适应性,工作流接口、定义和案例3个概念的分离实现了动态性,工作流目标以及工作流过程的邦定成为一个动态的可随时调整的过程,采用了基于案例推理的方法,有效地利用工作流系统的日志,在工作流执行过程中根据环境和工作流日志,不断地作出优化调整,实现自适应性。     

多Agent的计算机支持协同设计异常处理模型分析

结合工作流和多Agent技术,提出一种基于多Agent的计算机支持协同设计(CSCD)异常处理框架．在通信层,超时策略根据当前Agent自身状态和网络状态自适应地使用面向连接和无连接消息服务,以便为可靠的通信提供保障,减少通信故障对异常处理的影响．结合多Agent协调理论,扩展了通信原语,并利用面向对象Petri网(OOPN)建立了多Agent的状态变迁模型,验证了该原语的有效性．在应用层,按照Agent的信息处理流程,结合工作流和客户／服务器技术,利用OOPN对多Agent的CSCD系统的客户端和服务器内部模型进行定义,验证了多Agent系统的动态行为,所建立模型的多实例、多线程访问控制处理能力,以及在线和离线异常处理机制．     

基于工作流管理的MAS协调模型的研究

通过对MAS中agent之间的关系进行动态调整，使各agent充分利用各自资源，提高系统的整体性能，根据工作流管理联盟对过程的定义，将工作流模型中与活动有关的属性和对象集成在一起，组成一个完整的对象即元过程．将元过程模型用于协调主体间的目标、资源冲突问题，可得到WfMS-MAS模型．最后，RoboCup仿真比赛验证了该模型的有效性．     

支持业务流程管理的组织建模及约束描述

针对业务流程管理框架中组织视图的描述需求，提出一种面向对象的组织元模型，利用统一建模语言的类视图对企业中的功能型组织结构和项目型组织结构进行建模、为了保证组织结构的合法性，利用对象约束语言对各类组织约束进行形式化描述，这些约束包括基本约束、针对团队模板的约束和针对团队的约束三类．给出了业务流程过程模型和组织元模型的集成实现过程，从而有利于描述和分析工作流驱动的动态组织行为．     

网格工作流的语义模型及其查询机制

目前对网格工作流模型的描述侧重于形式化的定义出任务之间的相互关系以及各个任务的属性的语法描述，为了便于知识获取和重用，提供一个网格工作流知识的形式化语义描述框架显得尤为重要．针对网格工作流的描述方法提出了一个新的视角：运用知识表达技术提供一个网格工作流的语义模型和查询机制，并将面向对象的继承思想引入到网格工作流表达的语义框架中，该框架是可扩充、可配置的，用户可以对新的类别定义新的语义框架，并可基于该继承结构的语义框架，进行有层次的工作流的查询．     

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

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

面向任务的工作流访问控制模型

在分析工作流对访问控制需求的基础上,提出了面向任务的工作流访问控制模型.该模型引入了授权任务概念,将执行任务需要的最小权限和执行任务的角色作为授权任务的属性,使角色和权限脱离关系.同时该模型定义了任务冲突关系,并在此基础上给出了动态授权约束规则,保证了组织安全策略的实施.面向任务的访问控制模型实现了授权流同工作流的同步,能够满足工作流访问控制对动态授权、最小权限和职责分离的要求.不同于已有的模型,该模型还通过角色和权限的分离解除了组织模型和工作流模型的耦合关系.     

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

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

工作流中多粒度时间约束的建模及其一致性分析

对基本工作流网进行了时间属性的扩展,定义了一个可以模拟业务过程多粒度时间约束的工作流模型:多粒度时间约束工作流网,可以很好地模拟与业务过程相关的多粒度时间约束,包括任务的相对就绪时间约束、任务的相对执行时间约束、任务的执行持续时间约束以及任务之间的时间约束,并且给出了这些多粒度时间约束的一致性分析.     

工作流系统中一种基于任务-角色的委托模型

随着工作流技术的广泛应用,工作流系统中的委托机制也越来越重要.针对工作流环境中任务是委托的主体等特点,提出适用于工作流系统中一种基于任务-角色的委托模型DE-TRBAC,并对该模型的元素定义,委托关系,委托条件,委托实施过程及委托撤销等方面作了详细描述,通过该模型建立相对完善的委托机制.     

空问信息处理过程建模研究

大型GIS应用往往涉及复杂的空间信息处理过程，良好定义的过程模型将有助于合理规划和管理GIS应用的设计和实施。通过分析其基本特性，给出空间信息处理过程的形式化定义，空间活动、过程数据和关系流是其中基本的组成要素。在此基础上，定义空间信息处理过程元模型。并讨论其完整性约束规则，其中空间语义是核心的约束条件。通过以上工作规范空间信息处理过程的表达，并实现GIS应用的过程建模，进而可以有效结合工作流技术，解决大型空间应用的管理控制问题。     

工作流管理系统中的约束机制研究

工作流管理系统(WFMS)广泛应用于一个组织中的业务过程协作与流程化管理.约束是组织为了实现安全策略而制定的一些规则,因此WFMS需要研究约束机制.基于角色的访问控制(RBAC)技术在WFMS中得到了广泛的应用,而约束也是RBAC的一个重要方面.责任分离(SOD)是一种典型的授权约束.研究了约束的定义、发展与分类,并对责任分离做了讨论.最后给出了约束的形式化描述语言RCL2000.     

基于工作流技术的集成化生产计划与调度模型

分析了传统的生产计划与调度模式的弊端，提出了基于工作流技术的并行协调的过程管理解决方案，并给出了基于工作流技术的生产计划与调度的集成系统框架．在此基础上，从系统结构、模型定义、工作流管理系统及计划调度解决方法等方面分析了系统内各功能模块的功能及实现机制，提出了采用时间分段的思想来实现计划与调度的协调．然后重点介绍了工作流系统的决策机制，给出了基于时间和事件双模式驱动的工作流引擎的决策过程，最后对今后的研究发展方向作了进一步的展望。