基于Petri网的面向测试的工作流系统建模方法

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。     

工作流网的混或检测和预防策略

独立的冲突和并发在基于Petri网的工作流建模中分别起到进程选择控制和保持系统高效执行的作用.但非独立的冲突和并发会导致不完整和不确定的冲突行为使得系统的冲突行为分析变得困难.这种现象被称为混或并经常出现在工作流网中.首先,将混或形式化为具有冲突和并发限制的一类特殊的标识子网,通过分析子网特征提出混或检测算法.其次,构建了基于广义互斥约束的混或预防监控器设计方案.最后,用一个工作流网实例对提出算法进行仿真,仿真结果表明,提出的方法能够有效地在工作流网中检测和预防混或.     

基于Petri网的应急管理工作流模型

讨论了由Petri网发展起来的工作流网WF-net的定义、工作流执行结构及任务触发方法,引入WF-net建立应急管理信息系统工作流模型,提出了一种基于Petri网工作流模型的建模方法及其相关规则．以一个省级应急管理系统为例,详细阐述了构建Petri网工作流模型的过程,并利用验证工具对该模型进行了正确合理性分析．     

基于AOE网的工作流程主关键路径的研究

工作流建模是工作流管理系统的重要组成部分,工作流管理系统提供工作流建模工具,绘制流程的活动网络图,形象展示工作流模型。根据活动网络图中的AOE网来展示工作流模型,把对AOE网的关键路径的求解算法应用到工作流的关键路径的求解中来。     

基于活动的工作流关键路径算法

计算关键路径是研究工作流时间问题的重要步骤,现有算法大多是基于工作流控制结构的规约与化简的,对工作流模型要求较高,不能计算控制结构的"部分覆盖",限制了其应用.首先给出一个描述活动延迟的工作流模型,然后将工作流网看作一个M/M/1队列网,讨论工作流活动在各种结构中的到达率与时间延迟,提出一种基于活动的关键路径算法.算法降低了对工作流模型结构的要求,解决了控制结构"部分覆盖"的计算问题,提高了算法的实用性.     

工作流网合成规则及其在流程设计中的应用

针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则的工作流网精化方法．在活的和有界的自由选择网合成规则上添加限制,使其适用于自由选择工作流网的精化,定义可分离工作流网及其保持可分离性的合成规则,证明在自由选择或可分离工作流网上应用合成规则所生成工作流网的合理性．使这两类工作流网的精化能够一次涉及多个节点,为其建模提供维度不同且粒度更细的参考原则．     

工作流网合理性验证的矩阵实现

业务流程建模后,一般需要对流程模型进行结构合理性验证,以避免投入使用后才发现错误而造成巨大损失。为了对工作流模型的结构合理性进行验证,改进了一种工作流网模型的合理性验证算法,将工作流网模型用矩阵及向量的形式表示,基于矩阵运算对合理性进行判断。该方法更便于计算机实现,并且对不合理性情况进行了判断处理,在一定程度上提高了验证的效率。     

一种建模的新技术:流程挖掘

鉴于当前工作流管理系统、企业资源规划系统、客户关系管理系统、供应链管理系统等都是在定义好的工作流模型顺序下执行任务的。早期工作流模型的构建不仅费时且与真正的流程有很大区别,故流程挖掘的概念便应运而生了。介绍了流程挖掘技术的发展,之后从流程挖掘的模型语言着手对流程挖掘算法进行了综合分析和比较,同时分析了目前流程挖掘技术中所存在的不足,最后提出了流程挖掘技术的未来发展趋势。     

基于区域事件日志的过程挖掘方法研究

过程挖掘是从事件日志中运用挖掘方法得到过程模型。已有的挖掘方法在处理大量事件日志上还存在一定的局限性,提出一种基于区域日志过程挖掘方法,首先根据事件日志间任务的可达性分为不同区域,在此基础上将不同区域日志转化为间接继承矩阵再对应Petri网,建立区域过程模型;然后,将各个区域进行融合,得到完整的过程模型。最后,通过分析建模实例验证算法的可行性。     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法。实验证明,该算法在实际应用中具有可操作性,有较强的现实意义。     

Oozie工作流在Mahout分布式数据挖掘中的应用

针对现有数据挖掘软件不支持用户有序、动态地按需定制并行数据挖掘算法,且不能充分利用计算集群的能力,分析了 Hadoop技术及其多种数据处理组件,提出应用 Mahout分布式数据挖掘算法库和 Oozie 工作流技术在 Hadoop 中构建数据挖掘工作流的方法,并设计实现了一个聚类工作流实例。实验结果证明,该方法简单,且能有效地组织数据挖掘流程。     

基于工作流的安全库所替换网特性研究

基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性;同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性.     

一种基于有色Petri网的工作流网模型

使用工作流网（WF-nets）描述工作流的业务流程时，可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上，定义了一种基于有色Petri网的工作流网模型CWF-nets，给出了严格的定义和变迁发生机制，并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑，且这种逻辑结构与工作流具体案例的属性数据无关，避免了上述问题。     

基于频繁活动集序列编码业务过程预测性监控

业务流程预测性监控是过程管理的重要内容,已有的研究大部分是基于显式的工作流模型进行预测.但是在实际应用中,企业可能并没有对整个过程实施端到端的工作流建模和管理,或者由于权限原因只能够获得部分执行日志,难以基于完整的业务流程模型进行预测,对此,提出了一种基于频繁活动集的序列编码处理日志中的低频活动,并通过搜寻历史相似数据进行预测的方法.该方法能够随着日志的更新适应由于概念漂移导致的模型改变.在真实的数据集上进行的实验结果验证了算法的有效性.     

支持群体协作的工作流引擎设计

工作流技术作为一项业务过程管理与集成的核心技术越来越受到重视。本文提出了支持群体协作的、具有自治协作能力的“协作体”,并研究和设计了基于协作体的工作流引擎。通过多工作流引擎控制和管理不同的协作体任务的执行,协同推进工作流实例的执行,解决了在分布式环境下工作流对群体工作支持不足的问题。     

基于任务的访问控制在成绩发送系统中的应用

实际的信息系统往往需要由多个相关的任务构成业务流程(工作流)来完成,静态的访问控制不能满足工作流对访问控制的要求.文章介绍了一种新兴的访问控制机制---基于任务的访问控制(TBAC),TBAC可依据任务和任务状态的不同,对权限进行动态实时的管理.在开发远程成绩发送系统的实例应用中,把TBAC和RBAC(基于角色的访问控制)结合,实现一种灵活有效的访问控制策略.     

机群环境中一种基于工作流关系的作业调度算法

为了提高网格环境下的机群资源处理作业的能力,提出了一种用来解决工作流作业执行顺序的调度算法。该算法根据提交工作流作业时用户的身份,作业对时间的紧迫要求,以及工作流作业的各子作业之间的相互依赖关系,确定了工作流各子作业之间的调度顺序。通过使用该算法,可以使优先级高的作业得到优先运行,同时又能让若干无依赖关系的工作流作业并行运行。实验结果表明,该算法能够有效地解决工作流作业的调度问题,提高了系统的并行性,产生了良好的调度效果。     

Reduction techniques of workflow verification and its implementation

Many workflow management systems have emerged in recent years,but few of them provide any form of support for verification.This frequendy results in runtime errors that need to be corrected at prohibitive costs.In Ref.[1],a few reduction rules of verifying workflow graph are given. After analyzing the reduction rules,the overlapped reduction rule is found to be inaccurate.In this paper,the improved reduction rules are presented and the matrix-based implementing algorithm is given, so that the scope of the verification of workflow is expanded and the efficiency of the algorithm is enhanced. The method is simple and natural,and its implementation is easy too.     

专业气象服务业务工作平台实现

根据省级专业气象服务的需求和业务工作流程的需要,设计开发了业务系统工作平台,平台针对专业气象服务产品制作数据来源的多元化,进行了资料采集的实时数据监测及分类处理,具有专业用户分类管理和用户权限相结合的统一集成的专业气象服务产品多功能制作界面,能动态生成每天专业气象服务产品制作流程,系统可对用户制作的产品进行产品预览、存储、发布和系统用户日志管理等操作,实现了集数据信息采集处理、产品加工制作、产品分类发布、业务功能管理等功能的省级专业气象服务业务工作平台.