基于JBPM的服装外贸订单管理系统设计

本文提出了一个基于开源工作流引擎JBPM的服装外贸管理系统的设计方案,以当前流行的Struts+Spring+Hibernate作为它的实现框架,引入基于角色访问控制作为整个系统访问控制的基础。     

电子政务环境下基于PMI的工作流管理系统安全模型和授权策略研究

在对工作流的经典安全模型、PMI授权管理系统和工作流管理系统访问控制技术的研究基础上,将PMI引入到工作流管理系统经典的安全模型中,建立了电子政务环境下基于PMI的工作流管理系统安全模型,同时将基于角色和任务的访问控制引入到工作流管理系统安全模型的PMI授权策略中,扩展了基于角色的PMI授权策略．在论文的最后,对改进的安全模型进行了初步的实现,验证了模型的合理性．     

工作流技术在办公自动化系统中的应用

工作流技术是办公自动化系统中提高综合办公能力的先进手段之一，本文结合我院实际情况，建立了基于工作流技术的OA系统模型，着重分析了在OA系统中工作流的管理环境，以及对发文工作流程进行petri网分析。     

基于Agent的异常处理在进销存管理系统中的应用

针对基于工作流的进销存管理系统中存在的异常问题,提出了一个基于Agent的工作流异常处理模型,建立了异常监测、分析、处理机制,采用ECA规则建立了异常规则库,利用Agent的自学习性解决系统中出现的不可预测的异常,提高了系统的灵活性和可适应性,增强了系统处理异常的能力.     

工作流网系统合理性的语言特性

工作流系统的合理性是描述事务处理过程的一个基本要求,目前大多是将工作流网系统的合理性转化为对应的扩展工作流网系统的活性和有界性来考虑.该文从工作流网系统的语言角度研究了合理性的特征,给出合理性的一个网语言刻画,从而揭示了这一基本性质的行为特征.文中进一步研究同步合成工作流网系统和组合合成工作流网系统,分别给出这两种合成系统合理性保持的充分必要条件,为复杂工作流网系统合成建模与分析提供了一种新的途径.     

基于UML工作流建模的意外处理

为了促进并完善基于UML工作流技术在建模领域的应用与发展,本文通过对UML建模与意外处理的基本概念进行分析,并结合一个具体的应用实例进行研究,提出了针对产生于工作流系统的执行阶段、未在系统建模阶段描述和定义的突发事件等意外事件的处理方法．     

数字校园中实现基于角色访问控制的一种方法

为了解决数字校园中越来越复杂的权限管理问题,通过对现有访问控制技术的分析,提出一种实现基于角色的访问控制方法.权限管理系统整体采用J2EE框架,用XML编写访问控制规则,利用规则对数据集从行、列和时间等3个方面进行访问控制,较好地适应了数字校园中各业务系统灵活多变的需要.     

变电站自动化远程通信多粒度访问控制系统设计

根据变电站自动化系统对访问控制的需求,分析了IED设备信息模型和信息交换服务这两种访问控制的操作对象,通过对其粒度的粗细划分及访问策略研究,基于RBAC方法设计一种多粒度的访问控制系统.该系统在逻辑上是集中的,在实现上是分布的,它能够为用户的访问提供集中的控制,对用户的权限进行检查,根据请求生成相应的访问决议,并分散到各个有访问控制需求的IED设备上来执行这些控制决议.通过远程配置的实例分析表明该系统能满足变电站自动化的访问控制需求.     

GMA架构下监控信息工作流模型探讨

分析了GMA架构的核心流程,基于活动网络图提出了一种监控信息工作流模型的定义,设计了基于GMA的工作流模型.在引入XYZ/E线性时序逻辑语言中的时序算子的基础上,给出了GMA体系架构的生产者与消费者之间主要信息交互活动工作流模型的形式化语义.     

基于工作流的企业资源整合系统的研究

利用计算机对企业的基于工作流的企业资源整合基础信息进行分类,并统一管理,不仅能够保证基于工作流的企业资源整合管理的准确无误、快速输出,而且还可以对有关的各种基于工作流的企业资源整合、客户信息进行统计,服务于该企业的销售工作.作为一个工作流管理系统来说,本文设计的功能是基本完善的,完全能满足于企业的各种要求要求,提高了企业的服务意识和销售盈利.     

基于着色Petri网的电子商务工作流建模研究

工作流技术的核心内容就是工作流建模,但电子商务流程非常复杂,基本的Petri网往往因为细节过多而使其图形复杂,因此通过着色Petri网对电子商务系统工作流程进行建模和仿真.通过对电子商务系统的每一子流程进行建模,并利用仿真工具对模型进行分析和验证,结果表明应用着色Petri网建模可以规范其业务流程,提高其工作效率.     

协同设计中基于混合Petri网的云工作流表示模型

针对目前协同设计中业务过程描述能力不足和柔性差等问题,从并发性、可伸缩性和协同性等五方面进
行分析,提出了一种在空间上三维分布的Petri网建模方法. 将组合、颜色和定时约束Petri网引入协同设计的流
程建模之中,设计了协同设计下云工作流业务流程的HPN(hybrid Petri net)模型;运用随机Petri网的思想对协
同设计各流程流转、工作效率等进行分析,详细分析了其性能指标,验证了模型的可达性,并从业务冲突及模型分
解等方面提出了优化.     

基于事前分析方法的工作流过程模型的验证

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。     

可修系统的Petri网模型及其分析

该文可靠性理论引进到Ｐｅｔｉｒ网中，建立可修系统的Ｐｅｔｉｒ网模型，并给出了系统模型的分析方法。通过对一生产系统的模拟，说明该工作的必要性。     

基于Agent的虚拟企业工作流管理

工作流技术是实现企业业务过程建模、业务过程管理与集成，最终实现业务过程自功化的核心技术，为支持企业间的协同工作提供了一种有效方法。该采用UML及基于XML的过程规范语言(PSL)对工作流业务过程模型进行了形式化描述。并针对现有工作流技术在开放性以及跨组织动态交互性等方面存在的不足，将Agent技术引入工作流管理，建立了一种基于Agent的具有高度可扩展性及柔性的分布式企业工作流模型。     

Petri网:概念、分析方法和应用

Ｐｅｔｒｉ网以图形化的方式直观地描述了离散事件系统的各种关系和行为,且以网络理论和代数理论等作为数学基础,可方便地分析离散事件系统的各种特性．更由于其形式化的描述方法,能够直接由模型转化为代码实现对系统的控制．因此在计算机系统的建模、分析和控制综合中得到广泛应用．本文介绍了 Ｐｅｔｒｉ网的基本概念、特点、分析方法及其应用．     

基于工作流的评估管理信息系统

研究了采用工作流管理系统机制的e化评估管理信息系统。该系统能够实现工作流管理系统典型特性：可视化流程表单设计向导，流程自定义，流程角色和用户管理，流程跟踪监控查询统计。系统提供的工作流建模工具用来描述工作流程，采用从模板库内调用用户彩虹 构成专用领域的工作流应用系统，使得工作流可以动态扩展。采用该原型化系统快速构造了一个资产评估管理系统。系统还采用数字电子地图增强地理位置定位准确性和数据可视化，以及内置用户模板库，数值计算方法库和案例知识库，从而提高了系统的集成度，业务重组柔性和评估结果的科学性。     

基于随机Petri网的客户/服务器模型及其分析

提出了一种基于随机Petri网的客户 服务器模型 ,模拟了客户 服务器系统的基本工作原理 ,在此基础上 ,利用随机Petri网的时间特性对该模型进行了定量分析 .     

哲学家就餐问题的Petri网描述

本文讨论了用Ｐｅｔｒｉ网表示操作系统中的经典哲学家就餐问题的方法。