基于着色工作流网的工作流模型的设计与实现

本文在扩展Petri网的基础上,提出了一个新的工作流模型——基于着色工作流网的工作流模型,并对其进行了详细设计。在此模型的基础上,本文实现了一个可视化的工作流建模工具,设计人员通过该工具建立业务过程,并根据模型的定义保存业务过程定义。     

基于操作的轻量级工作流模型的研究与设计

针对传统工作流系统庞大、扩展性差的问题,提出了基于操作的轻量级工作流模型.从轻量级工作流的定义出发,在总结工作流中各元素属性的基础上,对工作流的各元素进行划分,划分工作流的各种元素利于分析归纳工作流对于不同层次操作的集合.为提高模型的可扩展性,工作流在每个层次上的操作除了可以调用本地服务以外,也可调用远程Web服务,使工作流系统更加的柔性.实验结果表明,该模型相比JBPM、ODE和Shark模型更轻量级,可扩展性更强.     

基于AOV网的抽象工作流模型

针对项目管理中的工作流控制需求,提出一个基于顶点活动(AOV)网的抽象工作流模型。给出该模型的形式化定义以及各结点的时序关系,阐述工作流的设计与执行规则,包括分支设计规则和回路设计规则,定义工作流图分支结构中汇聚结点的时序同步规则,并给出一个优化的回路检测方法。实例应用结果证明了该模型的有效性。     

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于Petri网的工作流模型的优点，讨论了将工作流模型转化为Petri网模型的基本原则，并且提出了一种扩展的Petri网模型作为一种工作流建模的工具，最后对基于Petri网的工作流模型进行了总结。     

一种轻量级工作流引擎的研究与设计

工作流引擎是工作流系统的核心。根据WfMC工作流参考模型,在分析工作流引擎主要功能的基础上,设计工作流引擎的各个功能模块,以XPDL作为流程定义语言,采用Java技术,实现工作流引擎的基本功能和特征。工作流引擎不依赖Web环境,能应用在Web信息系统和桌面程序领域,可以方便地嵌入到面向流程的应用程序中,实现工作流系统管理的功能。     

基于Petri网的海关业务流程工作流模型设计

现在人们大多都用Petri网进行工作流建模,但是传统Petri网的柔性和结构性不好,它会使图形变得庞大复杂难以理解.在时间Petri网的基础上引入了资源/变迁Petri网.这里通过对基于Petri网的海关业务流程工作流模型的实例分析可知,通过调整工作流程,最终可以得出优秀的工作流模型来优化工作流程、提高企业运行效率、增强企业竞争力,而且该建模方式也为设计与开发高可靠性、柔性和适用性的工作流模型提供很好的依据.     

基于Petri网公文流转工作流模型的设计

Petri网是目前最有前途的建模工具，它的应用几乎涉及到计算机学科的各个领域。文中将使用其作为办公自动化系统中较为复杂的公文流转工作流模型的设计工具，来分析设计流程中遇到的几个问题，并在提出解决问题的策略方面作一些探讨。     

基于关系数据库的轻量级工作流引擎

提出了一个基于关系数据库的轻量级工作流引擎模型.深入讨论了采用关系数据库和轻量级理念来设计工作流引擎的原因,并详细地给出了相关各模型的设计原理以及具体的表示和实现方法.与其他类似系统相比,该引擎的过程模型通过屏弃工作项的转出转移列表与转入转移列表简化了引擎的结构,提高了引擎的工作效率;参与者指派模型通过实现同时基于角色与部门的参与者指派增加了工作流的灵活性.     

基于PETRI网的工作流模型分析与应用

目前,工作流的建模和分析工具有很多,由于Petri网具有坚实的理论基础和易于使用的图形表示,因而是一种理想的建模和分析工具。论文着重讨论基于Petri网的工作流模型的分析技术,对其基本的过程和所涉及的问题进行了分析,尤其对模型正确性的判定等问题,进行了详细的阐述。在文章最后,将给出一个应用的实例:全国高校网上招生录取系统。     

基于Petri网的空间信息工作流模型

利用工作流技术建立空间信息工作流,为支持空间信息处理过程的规划和管理提供科学的途径。基于Petri网和UniNet理论,建立了空间信息工作流模型GWPN。该模型利用Petri网和UniNet的诸多优点,兼顾控制流和数据流,并充分考虑了过程中的空间语义约束,准确定义空间信息处理过程,解决了空间应用的特殊性问题。     

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

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

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

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

基于业务流程的访问控制模型研究开发

在分析研究RBAC基本模型的基础上,根据网上申报、审批系统的实际需求,提出了一种基于业务流程的访问控制模型,将业务流程和基于角色的权限控制相结合,在业务流程和角色之间建立有效的联系,使有关业务流程的信息能够直接指导角色的设置。该模型克服了RBAC基本模型需要修改角色权限来适应不同业务流程的缺点,真正实现了权限的按需、按流程分配,角色只有在执行特定子任务时才具有权限,权限的分配和回收由系统动态实现。该模型已在网上申报、审批系统项目中应用。     

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

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

基于Petri网的OA工作流模型研究

通过对办公自动化系统中的发文管理实例的描述,提出了一个基于Petri网的办公自动化工作流建模方法,该方法具有完全形式化的图形表示和坚实的数学基础,是一种工作流建模和分析的理想工具.在建立办公自动化系统的工作流模型的基础上,讨论了基于Petri网的工作流建模方法,并对该方法进行了正确性论证,表明该方法对于办公自动化系统的实用性和高效性.     

基于Petri网的电子政务工作流模型研究

设计了一种基于Petri网扩展的、用于复杂工作流模型设计的建模方法及其相关规则。并且通过电子政务系统的网上审批子系统为例,详细阐述了用此方法及其相关规则构建Petri网工作流模型的过程。最后通过Petri网理论对模型进行了正确合理性分析,并对网上审批子系统的资源分配情况进行了定量分析。此建模方法简化了Petri网的建模过程,并保证了正确性和合理性资源分配的分析结果对合理的进行资源分配有指导作用。     

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

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

轻量化改进XYZNet的RGB-D特征提取网络

针对用于位姿估计的RGB-D特征提取网络规模过于庞大的问题,提出一种轻量化改进XYZNet的RGB-D特征提取网络。首先设计一种轻量级子网络BaseNet以替换XYZNet中的ResNet18,使得网络规模显著下降的同时获得更强大的性能;然后基于深度可分离卷积设计一种多尺度卷积注意力子模块Rep-MSCA（reparameterized multi-scale convolutional attention）,加强BaseNet提取不同尺度上下文信息的能力,并约束模型的参数量;最后,为了以较小的参数代价提升XYZNet中PointNet的几何特征提取能力,设计一种残差多层感知器模块Rep-ResP（re-parameterized residual multi-layer perceptron）。改进后的网络浮点计算量与参数量分别降低了60.8%和64.8%,推理速度加快了21.2%,在主流数据集LineMOD与YCB-Video上分别取得了0.5%与0.6%的精度提升。改进后的网络更适宜在硬件资源紧张的场景下部署。     

基于工作流的卫星调度系统

根据当前卫星网络发展趋势和对卫星网络资源进行充分有效利用的应用需求,对卫星网络的特点进行了研究,分析了当前卫星调度系统研究的局限,并介绍了工作流模型以及根据卫星应用进行的相关改进.在此基础上,提出了一种针对由多个子任务构成的复杂任务,基于工作流模型的分层卫星调度系统.该卫星调度系统可以协同多种卫星资源,并自适应地调度卫星任务.对该卫星调度系统的体系结构、系统关键模块、调度流程以及几种优化机制进行了详细阐述.最后通过实验结果表明了该调度系统的可行性和有效性.