工作流平台中模型验证和仿真的研究与实现

来源 :中山大学 | 被引量 : 0次 | 上传用户:donggewo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着1993年工作流管理联盟WfMC的成立,工作流管理技术得到了长足的发展,并且成功的运用在工业、农业、航天等众多领域,工作流过程模型分析的重要性越来越明显。 在将工作流过程模型投入实施之前,有必要对其进行彻底的分析。否则,一旦将存在问题的过程模型投入实施,将给企业带来较大损失。工作流过程模型分析主要包括定性分析和定量分析两个方面。定性分析主要考察过程模型的结构是否正确,排除过程模型中的结构错误;定量分析侧重于过程模型的性能分析,为过程优化提供指导。 本文重点在于研究过程模型实施之前的结构分析和性能分析,使用模型检测方法检测过程模型中的结构错误,并使用仿真分析方法对过程模型进行性能分析和优化。 本文总结和分析了当前工作流过程模型验证和模型仿真技术的研究现状、研究难点,在此基础上提出了使用基于图搜索的过程模型检测方法对过程模型进行结构检测,由于图搜索过程中可以记录节点的搜索状态,因此可以对带环和带嵌套结构的过程模型进行结构检测。 随后本文扩展了现有的工作流过程模型,增加了仿真支持属性;确定采用时间、成本、资源利用率和事务的等待长度这4个指标作为工作流过程模型的性能评价指标;给出了工作流仿真系统的实现方案;为了对仿真性能数据进行综合分析、考察过程的综合性能,本文提出了“最佳过程”的概念,通过当前过程与最佳过程的接近程度判断当前过程综合性能的优劣,为过程优化提供指导。
其他文献
近几年来,机器人足球系统作为人工智能和机器人学研究和应用的一个重要实验平台已经成为智能控制领域的研究热点之一.通过提供一个标准任务,使得研究人员利用各种技术,获得更
Ad hoc网络中的消息需要依靠中间节点进行转发,由于节点的资源有限,节点可能为了节省资源不愿为其他节点转发消息,这样的节点称为自私节点。自私节点的存在将极大影响网络的性能
随着分布式交互仿真技术的发展和系统规模的增大,仿真系统的负载平衡问题显得越来越重要。在以往基于HLA(High Level Architecture)的分布式仿真系统中,只是根据物理模型或数学
粗糙集理论是一种刻划不完整性和不确定性的数学工具,它主要的特点在于不需要关于数据的任何预备的或额外的信息就能够有效地分析和处理各种不完备信息,并从中发现隐含的知识
拒绝服务攻击和分布式拒绝服务攻击已经成为当今网络上最为严重的问题之一。一方面,目前已经出现了很多方便的DoS攻击工具,这使得发动一次攻击非常容易,另一方面,DoS 攻击很难防
随着网络和web技术的迅速发展,各个组织、部门间进行信息互联互通的机会增多,但是信息系统建设通常具有阶段性与分布性的特点,这就导致“信息孤岛”现象的存在。我们已经基本完
随着嵌入式系统的发展,以及无线通信技术的进一步普及,以嵌入式操作系统为平台,依赖于无线网络数据传输的移动终端(如PDA,信息家电等)逐渐成为IT新的发展趋势。 嵌入式操作系
目前,国内外的即时通信软件(InstantMessage,IM)能够为用户提供即时消息、语音、视频,以及文件传输等多样化服务,几年来已成为互联网用户的重要通信方式,如MSN、AIM、SKYPE、QQ等
在当今信息时代,计算机技术已渗透到社会生活的各个方面。从前以科学计算为核心的计算技术已经发展到了多媒体计算的时代。及时、迅速的处理工作与生活中的大量信息,并提供更加
随着Internet的迅速发展,使用Internet的用户呈现指数级的增长,如何更加有效的利用共享网络资源成为业界关心的热点。P2P技术的产生就是希望能够合理、充分地利用互联网中所