【摘 要】
:
随着网格技术的不断发展及网格应用研究的深入,网格环境下业务流程越来越复杂。随着业务流程规模因跨领域跨组织而增大,导致业务流程的高复杂性,就会由于状态空间爆炸而给网
论文部分内容阅读
随着网格技术的不断发展及网格应用研究的深入,网格环境下业务流程越来越复杂。随着业务流程规模因跨领域跨组织而增大,导致业务流程的高复杂性,就会由于状态空间爆炸而给网格工作流的验证带来困难。本文针对这个问题,研究面向语义约束的协同验证方法,使协同验证基于化简技术,提高验证效率。主要做了以下几个方面的工作:(1)研究协同验证的概念和模型。深入分析了网格工作流验证的研究现状,突破已有研究中结构验证的局限,研究协同验证的理论,建立理论模型,提出了协同验证具有二维性的观点。(2)研究协同验证过程。已有研究中的验证都不具有分布式特性,而协同验证是分布式的。考虑子模型之间存在的关系,定义了SCN的协作方式,分析了合成模型的验证方法。论证了协同验证在两个维度上交叉验证的合理性,并比较了交叉验证与“先子模型,后合成”验证方法的区别,说明了协同验证具有动态性的优势。(3)研究协同验证的化简规则。结构化简的原则是无结构冲突,不适用于协同验证。协同验证的化简规则是在语义约束一致性的原则下,逐步规约模型中无语义冲突的部分。根据网结构的不同,基于SCN提出一组子网级化简规则,证明了这组化简规则的活性保持性、有效性和完备性。以网上购物流程为例,说明了上述方法的有效性。
其他文献
甲骨文是我国最珍贵的文化遗产之一,具有极其重要的文化遗产保护和历史研究价值。随着现代科技的迅速发展,将甲骨文数字化处理可以更好的保护和继承这一传统文化。本文根据国
人脸识别一直是模式识别与机器学习领域中备受关注的热门话题。近年来,人脸识别技术取得了很大的突破,提出了很多高效率高准确率的人脸识别方法。但这些方法在实际应用中并没
随着各行各业内部管理的软件化和业务网络化,软件行业需要更适合的软件过程来管理和开发出更加适合的软件。目前,国际通用的软件过程RUP过程有固有的软件开发规范和预定义角
自从智能化时代到来后,模糊控制和神经网络就已成为学者们热点研究的学科,而且近几年随着对智能化要求程度的提高,建立在二者基础之上的模糊神经网络也逐渐的发展和完善起来
模式串匹配是计算机科学中一个基本、重要的研究问题。随着信息技术的高速发展,它在Internet网络信息搜索、数据流挖掘、网络入侵检测、计算生物学等领域中的应用越来越广泛
矿产资源定量预测是地质学和数学、信息技术、计算机技术相结合的产物,它建立矿产资源与地质条件之间的定量关系,从而使矿产资源预测更加客观、更加准确,效率也大幅提升,同时
随着人工智能的快速发展,伴随其而来的相关技术与应用应运而生,以人工智能为基础的产业蓬勃发展,其中图像识别与目标跟踪技术在各个领域应用广泛,特别是在安全监控与增强现实
网络管理涉及的问题很多,管理的范围很广,随着网络规模的扩大和网络复杂性的提高,网络管理的难度也日益增加。网络管理业务是有一定流程的,尽管不同的功能域可能存在不同的流
随着互联网的快速发展,网络上的信息呈爆炸式增长,如何快速而准确地获取用户感兴趣的信息,这一需求推动了信息抽取的发展。信息抽取最常用的方法是模式匹配法,为了减少自动抽
随着互联网的快速发展,网络上关于某一主题的新闻报道呈爆炸式增长,大量的事件信息存在冗余、不完整、不一致、有歧义现象。如何能快速准确地获得某一主题详细而完整的信息是