基于时间Petri网的工作流时间约束特性研究及应用

来源 :大连理工大学 | 被引量 : 0次 | 上传用户:xinxin3690
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Workflow technology is the key technology that assists enterprise business process realizing the modeling, simulation, analysis, optimization, management and integration, and finally automation. The workflow management technique separates the process logic from the applications, achieves the purpose of process modelling, recompose and reuse. Now the research of the modeling of workflow is mainly about the process modeling and is scaring about the organization modeling , the resource modeling and the time modeling. At now the majority of WFMS have no the function of managing the temporal resource or only a bit of this, so the management of time become the bottleneck of WFMS.This paper first introduces the origin, definition, types, merit of workflow technology , Workflow Management System (WfMS) and its developing status at now. Then it comes to the definition, types, management of the workflow’s temporal constrained character.Aimed at the actuality of the research about the temporal management of wfms, this paper has carried out the research as following based the workflow modeling using the time PETRI net:Based on the traditional Petri net, the extensional temporal constrained workflow net is put forward as a workflow modeling method based on the time Petri net. The method can integrate the process modeling and the time modeling effectively so that the system can incarnate the dynamic movement of the work process and the environment well. Then the deadline of the time constrained management is researched, and a static distributed method of the deadline is presented. Secondly, if the deadline adjusted dynamic when the workflow instance is being executed, the output of the system can be improved for the existing of the slack time, so a new method of adjusting the deadline dynamic is presented.On the foundations of theoretical research, we have developed an office automation system for the affair of exam. This system is developed under the background of the "The Office Automation System of the organization of the vocational skill auditing examination of the ministry of electric power." and based on the B/S , C/S structure. The system’s characteristic is that it has some brief functions about the temporal constrained management and can handle the system’s exception automatically if the failure comes.Finally, based on the theory of the linear temporal logic inference, the paper gives the computation about the time constrained character of the office automation workflow system for the affair of exam at detail. And this provides the reliably foundation for the analysis and the evaluation to the system of the time constrained character.
其他文献
随着云计算的日渐流行,云系统中的多重查询优化(MQO)逐渐成为学术界及工业界的研究热点。在常规的海量数据分析作业中,这些CPU/IO密集型的查询语句通常复杂、耗时并存在大量可复
  本文对网络视频会议系统的软件实现进行了探讨,特别对本人负责的底层数据传输系统的设计、数据传输网络结构的设计和会议管理控制模块的软件实现进行了详细的阐述。  根
  首先,建立了前提与结论的隶属函数常量的映射关系,针对模糊拉格朗日插值推理方法只能对三角形隶属函数起作用的缺点,提出了一种改进方法。该方法对模糊拉格朗日插值推理方法
本文结合铁路行车安全数据分析系统的业务需求,分析了数据仓库的应用背景,综述了数据仓库的基本技术思想。针对数据仓库的设计、数据模型、OLAP应用等相关技术和方法进行了
文章总结归纳出了几种典型的并行计算环境,并在分析这些并行环境特性的基础上,描述了一种网络并行计算环境,并对该环境的异构性、非独占性和透明性等主要特征作了研究分析。
随着Web和XML技术的飞速发展,越来越多的数据使用XML进行表示,XML已经逐渐成为Internet上数据的表示标准和交换工具,并成为数据管理领域的一个热点问题.利用已有的技术,使用
在高职院校图书馆的日常管理和采购中,近期需求预测对合理地利用图书经费、建设适合学院自己的藏书结构、形成科学的采购方案、有效地节约人力、物力、财力等都具有十分重要的
学位
MPEG-2视频压缩标准已被广泛应用于DVD、便携式摄像机、数字电视和高清晰度数字电视等.MPEG-2视频压缩标准仅适合于高质量的数字视频应用,却不适用于低码率的视频应用.当用户
随着互联网技术的快速发展和广泛应用,越来越多的网络产品相继问世,其中基于旁路侦听技术的网络产品有其特有的网络特性,对这些网络产品的测试也是一个新的课题.通用的、具有