基于工作流模型的企业铁路调度指挥与监控系统研究

根据企业专用铁路特点，设计了调度指挥与监控一体化方案。为了协调多个子系统的活动，采用工作流技术构建系统软件平台，实现业务过程的自动化。基于Petri网定义的基本工作流网络为系统业务流程建模，针对建模中存在的问题，提出增加颜色扩展描述信息，增加复合颜色变量扩展，提高工作流网络抽象能力及描述能力，使扩展工作流网络成为复杂系统建模的有力工具。     

基于网格工作流的决策资源协同调度模型

基于网格的开放式决策支持系统越来越受到学术界的重视。在研究网格环境中的决策资源和网格工作流的基础上,提出了一种基于网格工作流的决策资源协同调度模型,并给出了该模型的协同调度机制与调度过程。     

基于角色的工作流模型的研究

工作流是近年来软件工程领域的一个热点研究问题，而基于角色的研究也是计算机领域里的热点研究问题。本文就是结合这个两个热点问题来研究，阐述了工作流和基于角色的基本概念和原理，并结合具体项目，给出了一个基于角色的工作流模型。     

基于工作流模型的OA系统

针对OA系统中的工作流模型,以具体的OA系统中公文流转子系统在实际中的应用为例,根据收文过程,分析业务流程,通过对工作流过程进行建模,建立符合实际业务应用的公文流转过程模板.解决OA环境中的协作问题,提高办公效率、节约工作成本.     

基于GIS指挥决策系统的多通道交互研究

人机交互技术是影响指挥决策系统中决策能力与效率的一个重要因素,通过分析指挥决策过程的人机交互特性,研究目前以笔式交互为代表的自然交互技术的新特点,在现有的基于GIS框架下,选择包括笔式交互、多点触控交互、视频媒体交互技术在内的多通道交互方式,优化指挥决策系统的人机交互效率,建立一种多通道交互的动态加载模型,完善指挥决策系统的交互能力。     

一种基于工作流元模型的系统解决方案

文章结合实际工程项目“Export”介绍了一种面向用户的、灵活的工作流元模型，从模型的角度描述了组成工作流的基本元素类型。该模型以传统的活动网模型为基础，扩展了活动网模型，添加了一些新的模型元素。     

工作流模型的研究与实现

本文介绍工作流以及工作流建模的一些基本概念，以及Petri网技术在工作流模型中的应用，同时提出了一个工作流建模的具体实现方法。本工作流模型的实现包括了企业人员、资源以及任务信息模型的实现，同时任务模型中包括了任务之间的约束关系，以及任务执行过程中产生的文档。     

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

在分析OA系统目标的基础上,提出了基于工作流管理的OA系统模型,并对模型中的核心业务流程进行了详细的分析与设计。     

陆军合同作战指挥决策过程建模

现代作战的快速性,使得指挥员完成决策任务必须依赖于计算机辅助决策的帮助,而开发实用的决策支持系统需要有决策过程模型作为基础.针对目前这类过程模型存在的不足,根据陆军合同作战指挥的特点,通过将决策者和辅助决策者以及计算机应用程序功能综合纳入建模过程,提出了"一条主线、两层分级、三种关系,四种活动"为要素的主从式建模方法,其特点是便于决策者、辅助决策者以及参与决策者等相关人员的相互了解和沟通,突出了计算机应用程序在模型中应具有的基本功能,在辅助决策系统的分析设计上,为军事和技术人员提供了一种便于交互和便于理解的表示方式.     

一个基于同步器扩充的迁移工作流系统模型

通过对迁移工作流系统模型各要素进行分析,构建了一个基于Petri 网的迁移工作流系统模型。模型以同步器为库所,并在此上扩充了位置概念和资源与服务能力,适应了迁移环境下的变迁点火规则,动态地将迁移工作流系统中的任务集在迁移环境中得以体现,较好地模拟了迁移工作流系统整个运行过程。     

可扩展工作流模型的信访业务协同处理系统

根据可定制业务流程和信息安全访问控制的需求,提出了一种可扩展动态工作流的协同处理模型。用户可以按照任务处理环节的需求以工作流子模型为核心定制任务中的活动类型和业务处理逻辑,定制各种附加子模型的业务知识与规则,并将基于角色和任务的访问控制运用于模型中,实现安全访问控制的工作流建模。利用该模型,研发了信访业务协同处理系统,介绍了系统的动态工作流管理技术、基于角色和任务的工作流访问控制与协调处理方法、以及基于任务授权控制的监控机制。三年多的应用情况证明,该系统在系统维护、协同处理、以及监控异常方面,具有应用优势。     

基于本体的迁移工作流服务模型研究

针对迁移工作流服务语义共享的特点,基于本体论,提出一种迁移工作流服务模型。该模型通过工作流元本体为迁移实例和各站点提供统一的工作流服务语义。在此基础上,通过服务本体描述和组织迁移工作流服务,实现服务发现。该模型较好地实现了迁移实例与各站点间的语义共享。     

基于BizTalk工作流服务的动态工作流模型

针对现代制造企业迫切需要对动态业务流程进行管理的需求,提出基于BizTalk工作流服务(Human Workflow Service,HWS)的动态工作流模型.该模型包括BizTalk HWS的功能结构和BizTalk流程模型.对该模型进行数学描述,并提出1个动态工作流的调度算法.最后给出基于Web的原型系统,说明该模型能够在一定程度上解决企业动态业务流程的管理难题.     

基于模糊理论的工作流调度模型研究*

为了实现用户在工作流调度中对服务质量、智能化等的要求,提出了一种基于模糊理论的工作流调度模型。该模型通过对流程运行中上下文环境的模糊信息进行分析,提高了工作流实例调度的智能性。该模型已在基于工作流的MapGIS搭建平台中得到了应用,应用的结果说明了其可行性和有效性。     

基于广义工作中心的工作流模型研究

针对传统工作流模型对企业业务过程的描述缺乏语义完整性和柔性,以及可执行能力差等问题,扩展了ERP系统中工作中心的概念,提出了广义工作中心的概念和基于广义工作中心的工作流模型.该模型具有更强的描述能力,实现了过程模型、组织模型和资源模型的适当分离,提高了工作流系统,适应企业组织结构和业务流程变化的能力,增强了系统的柔性.     

基于工作流技术的构件模型研究

为了解决构件业务流程建模能力不足的问题,提出了一种基于工作流技术的构件模型——工作流构件模型。首先分析了工作流过程定义的组成和流程控制方法,识别出可用于构件业务流程建模的工作流元素;然后根据构件的独立性、封装性和组装性需求,选取工作流元素设计实现了工作流构件模型,并给出了应用实例。与传统的构件模型相比,工作流构件模型提高了业务流程构件的灵活性,丰富了业务流程构件的组装形式,降低了业务流程构件的复杂度,从而提高了构件的业务流程建模能力。     

基于OWL-S的动态工作流模型

结合Web服务的特点,将Web服务组合视为Web服务的工作流,根据BPEL过程模型将OWL-S/UDDI协调器应用到Web服务的工作流的构造当中.基于本体论提出了一种OWL-S的动态工作流模型,该模型有机地将Web服务和动态工作流结合在一起,不仅增强了模型的灵活性、适应性,同时也使其具有较强的扩展性.在此基础上以一个申请银行贷款为例表明了该模型的可行性.     

基于模型检测的工作流访问控制策略验证*

访问控制策略的有效性对工作流管理系统的安全稳定运行具有重要影响,针对这一问题,提出了一种基于模型检测的工作流管理系统访问控制策略验证方法。建立了工作流管理系统的访问控制策略模型与工作流执行主体任务权限状态模型,并在此基础上对访问控制策略的有效性进行验证。实验表明该算法具有有效性和合理性,为访问控制策略的验证提供了一条新的解决途径。     

MD_WFN：一种基于Petri网的工作流模型研究*

一个完整的工作流通常包含需要执行的任务集、各任务之间的依赖关系以及支持各任务执行的相应资源类型和执行任务所需的时间等,然而目前大多数的工作流建模方法往往只注重模型的某些方面,缺乏对工作流各要素的统一建模能力。通过对传统Petri网的改进,提出了一种包括任务、控制、资源、时间等多要素的多维工作流模型（multidimensional workflow net,MD_WFN）,实现了任务流、控制流、资源流在同一工作流模型中的统一。对基于MD_WFN模型的工作流模式和工作流建模过程进行研究,为使用MD_WFN