Application of PetriNet to workflow specification Petri Net在工作流管理系统形式说明中的应用

随着信息技术和管理理论的发展 ,工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术 ,它广泛地应用于各种软件、硬件的形式描述和验证过程中。本文给出用 petri net描述工作流的一种方法 ,并给出一个具体实例     

Application of Petri Net to workflow specification Petri Net在工作流

随着信息技术和管理理论的发展，工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术，它广泛地应用于各种软件、硬件的形式描述和验证过程中。本文给出用Petrinet描述工作流的一种方法，并给出一个具体实例。     

工作流过程的语义验证方法应用

工作流过程建模是一个复杂且易错的过程,在建模阶段进行有效的过程验证是十分必要的.描述了在一个实际的工作流系统中,如何使用过程建模工具实现一个电子商务过程订货购买过程的定义和验证.特别是详细阐述了基于三维工作流网化简技术的过程语义验证方法的应用,说明了该方法的有效性.     

一种WF-net合理性验证方法

工作流过程定义的合理性对于工作流管理系统具有重用意义,在设计的工作流过程投入实际运行前必须证明其合理性.WF-net是一种对工作流的控制流维度建模的Petri网,具有牢固的理论基础,是对工作流过程定义进行描述的有效工具.基于WF-net工作流建模理论,在工作流过程定义的合理性及与WF-net的合理性相关的基本原理和分析方法的基础上,提出了一种验证WF-net合理性的方法.     

工作流技术及Petri网在教育管理软件建模中的分析及应用

为了实现教育管理中的各个组织部门间的协调工作,提出了在教育管理软件中引入工作流技术作为建模开发的基础,工作流技术是一种协同技术,能理想完成教育管理软件开发中业务流程的建模和业务逻辑的实现,而工作流描述需要一种工作流模型来支持;Petri网是一种适合于描述异步并发现象的系统模型,适合对业务流程建模,结合用Petri网对业务流程进行建模的方法探讨了如何在教育管理软件建模中应用工作流技术。     

基于组件级化简的语义验证方法在电子商务过程中的应用

工作流过程语义验证是保证过程完成其最终目的的必要方法,基于组件的语义验证方法有利于提高验证效率,适合验证大型过程的语义正确性.文章描述了在一个实际的工作流系统中,如何使用基于组件级化简的语义验证方法,对一个电子商务过程订货购买过程的三维工作流网表示进行语义验证.证明了该语义验证方法的有效性.     

基于工作流的企业过程分析与重组方法研究

为了解决目前大多数过程建模方法都不能够充分满足BPR需要的问题,应用工作流技术,提出了一种附带有过程语义字典的工作流扩展模型。同传统的建模方法相比,工作流扩展模型进一步丰富了过程的语义属性,它不仅满足BPR对流程进行规范化描述的需要,而且还具有描述并发、冲突、同步等复杂关系的能力。同时,它还提供了基于相似性和耦合性的过程分析技术,从而为实现过程的重组提供了重要依据。最后,通过一个应用实例对模型进行了验证。     

基于Petri网的技术在电子政务办公系统中的应用

通过对基于Petri网的工作流建模技术的描述,介绍了与此相关的核心技术,研究分析了实际工作过程中电子政务办公系统中的发文管理的业务流程,引入了Petri网和工作流建模技术,结合具体实例提出了一种基于Petri网的电子政务办公工作流模型,并对该模型进行了可达性验证和合理性验证,二次开发后的验证结果和实践表明该模型能够有效地改善和提高电子政务办公系统的效率和实用性。     

一种基于网格服务的分布式远程协同仿真系统研究

随着面向服务的体系结构(SOA)成为网格研究领域的基本共识,越来越多的应用领域开始涉足网格中来;其中分布式远程协同就是其中的代表. 从全新的视角对分布式协同的重要技术之一--工作流进行了分析,提出工作流网格资源化的概念;定义工作流模型资源为网格资源,并遵照网格资源描述的规范描述工作流模型资源,做到从网格基础设施资源层支持协同工作流. 同时以该工作流模型为原型,以面向服务的体系结构为基本框架,构建网格环境中协同工作流服务框架,从而实现基于工作流的面向服务的分布式远程协同仿真系统.     

分布式环境下工作流过程定义及形式化描述

定义了分布式工作流管理过程中的一些基本概念,阐述了工作流参考模型的基本组成及功能模块,建立了分布式工作流管理的业务流程描述,并对异地分布式环境下的主要工作流程进行了应用验证.     

XMLWeb Services技术在工作流访问代理协同接口中的应用

目前的工作流系统与外部应用耦合性强,很大程度上限制了工作流系统进一步集成现有的应用程序.在基于web-services的协同工作流管理系统模型的基础上,在工作流引擎和外围应用之间建立访问代理机制,设计了一个基于XML技术的访问代理协作接口模型,解决了异构环境下业务协同的接口问题.该模型具有良好的互操作性、灵活性与可扩展性.     

电量电费管理系统的设计与实现

电量电费管理系统是用软件工程的方法设计并实现的。本文介绍系统的工作流程图，数据流图，数据库设计，主要算法，编码，测试，维护等。     

基于网络考试系统的UML建模

通过统一建模语言(UML)对网络考试系统进行了分析和建模,建立了系统用例图,并结合主要用例-学生考试模块,建立了类图、顺序图、活动图.描述了系统的功能需求、功能流程、类的结构与关系、对象之间的交互.最终采用面向对象语言实现在线考试系统.使用这种方法对系统进行建模,优化了开发过程,并有利于提高系统的稳定性、可维护性和可重用性.     

Web Services在大型旋转机械在线诊断系统中的应用

Web Services是实现信息发布的一种软件与通讯技术。提出了Web Services技术与设备故障诊断技术结合的全新思路,将设备的工艺流程、工艺参数、信号特征、故障推理诊断结论等通过软件与通讯的方式实现数据的动态交换和人机界面(HMI)的交互,供用户操作,从而形成网络化的系统信息发布。介绍了Web Services的基本原理和特点,结合国家“十五”计划“八六三”项目课题“网络化、智能化大型旋转机械在线诊断系统”,对在线诊断系统中信息发布的常见内容进行了归纳分类,描述如何采用DELPHI6 Web Services组件,实现网络化、智能化大型旋转机械在线诊断系统的信息发布、查询等功能。     

基于工作流技术的网络平行审计系统的研究

工作流技术是一种先进的流程控制技术,工作流管理系统是实现网上办公自动化的有力软件工具。分析了当前本地区的审计业务状况,介绍了工作流技术、工作流管理系统的设计以及系统实现的研究方法。并针对网络平行审计的要求,将工作流技术应用于本系统中,通过过程逻辑的描述实现,采用灰色理论,应用决策树方式,解决了审计决策方法的描述问题,以提高系统的灵活性,实现了系统的应用与研究。     

考虑重力超覆的气窜通道体积计算方法

非混相注气驱过程中的平面和纵向气窜严重影响驱油效果。气窜通道体积是气窜封堵方案设计的一项重要参数。已有的计算方法过于简化,可靠性较低。根据渗流力学原理和油藏数值模拟结果发现,进入拟稳态气窜后,平面有效气窜通道可近似用两段圆弧来表征,单层气窜通道近似于一个椭圆柱体,多层气窜通道类似于多个部分叠置的椭圆柱体在纵向上的叠加。基于流体在多孔介质中的平面渗流机理,建立气窜通道的平面面积计算模型。在重力超覆作用下,底部注入气逐层向上部运移,通过考虑气体重力超覆建立了由多个渗流方程组成的非线性方程组,可用于计算纵向各层气窜通道的厚度。气窜通道的平面面积计算模型和纵向厚度计算模型构成了多层气窜通道体积计算模型。利用该模型分析了生产井产气率和注气井吸气剖面的不同对应的气窜通道体积的变化规律。研究结果考虑了气体在多孔介质内的渗流机理以及重力超覆机理,更加符合拟稳态下的气窜过程,能够提高封窜方案的准确性和可靠性。     

细菌内毒素检查法超标结果的处理方法

 内毒素检测结果超过质量标准规定（OOS）的情况在日常检测中不可避免。通过风险因素分析法,结合大量实际工作经验,对产生OOS的原因进行了逐项分析和研究,包括质量标准与计算、实验操作、材料与仪器等因素。针对内毒素检查的特性,设计决策流程图确定验证OOS方案。确定了所有类型的风险因素产生原因和解决方法,建立了用于回顾细菌内毒素OOS的风险因素鱼骨图和用于验证OOS结果的决策流程图。按建立的方法进行验证处理OOS,能够使内毒素检测结果更加科学严谨。     

确认测试路径的一种生成方法

针对确认测试自动化在实现中的难题,提出了将测试过程进行划分的确认控制策略,并探讨了将之付诸实践的可行方法．一方面通过将测试过程进行划分减轻用例设计的负担,另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性．方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外,其余的步骤均能自动实现．     

互联网络中信息延迟与图的拓扑不变量

用图的拓扑不变量来分析传输延迟的性能,阐述了分组交换网络中信息传输延迟与图的拓扑结构之间的内在关系,得出了一些重要结果,并用C++给出延迟的一种算法描述.     

UML类图元模型基于描述逻辑的表示及验证

UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN(D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.