共查询到17条相似文献,搜索用时 78 毫秒
1.
2.
WS-CDL从全局的观点定义了P2P协作实体通用的外部行为,这些外部行为以消息交换序列的形式来达到一个共同的交易目的。尽管WS-CDL声称是基于Pi-演算的,但是证明Pi-演算在建模WS-CDL的效力上做的实质性工作并不多。因此,提出了一种基于Pi-演算的方法来形式化并且验证WS-CDL编舞。该方法可以保证WS-CDL编舞的正确性以降低由于Web服务执行的失败带来的开销。这一方法提高了部署的效率,降低了实现和调用不合适Web服务的风险。论文的贡献可以归纳为以下三点:首先,用Pi-演算形式化WS-CDL的语义信息;其次,形式化的有效性已确认,重要的属性都在形式化后得到验证。第三,用一个具体的交易场景验证WS-CDL模型设计的可靠性。 相似文献
3.
对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。 相似文献
4.
为了提高Web服务组合的可信性,利用Pi-演算刻画信任Web服务组合的结构及信任实体间的交互.首先,给出信任Web服务组合的抽象定义;然后,建立信任实体与Pi-演算的对应关系.借助Pi-演算的支持工具MWB对信任Web服务组合系统进行分析和推演,旨在Web服务组合信任认证实施之前发现并改正错误,以有效满足用户在信任方面的服务质量需求. 相似文献
5.
6.
7.
基于Pi-演算的Web服务组合的描述和验证 总被引:52,自引:3,他引:52
形式化方法对于建模和验证软件系统是一种有效的方法,所以对Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.该文基于Pi-演算对Web服务及其组合进行形式化描述和建模.文中说明了Pi-演算与以前形式化方法的不同之处,分析了Pi-演算应用于Web服务组合需要解决的问题.讨论了Pi-演算与Web服务协议栈的对应关系,说明了利用Pi-演算建立Web服务组合模型的规则,指出了如何寻找代理和通道.最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证. 相似文献
8.
基于有向图的工作流模型的研究 总被引:3,自引:0,他引:3
工作流模型的建立是工作流管理系统中非常重要的一步,关系着工作流管理系统实施的成败。文中首先分析了基于IPO图的有向图工作流模型,并在其基础上运用面向对象的思想提出了基于活动节点和有向连接弧的有向图模型。接着分析了这种模型的特点,结合XML技术给出了该模型的XML文件定义,通过具体的实例说明了该种模型的可扩展性和可维护性,可以有效解决一些流程描述中的难点,并给出了流程描述难点如联合审批和回退机制的支持和解决方案。最后结合了电子文件的申请浏览流程的例子说明了该模型定义在实际流程的中的有效运用。 相似文献
9.
基于有向图的工作流模型的研究 总被引:1,自引:0,他引:1
工作流模型的建立是工作流管理系统中非常重要的一步,关系着工作流管理系统实施的成败。文中首先分析了基于IPO图的有向图工作流模型,并在其基础上运用面向对象的思想提出了基于活动节点和有向连接弧的有向图模型。接着分析了这种模型的特点,结合XML技术给出了该模型的XML文件定义,通过具体的实例说明了该种模型的可扩展性和可维护性,可以有效解决一些流程描述中的难点,并给出了流程描述难点如联合审批和回退机制的支持和解决方案。最后结合了电子文件的申请浏览流程的例子说明了该模型定义在实际流程的中的有效运用。 相似文献
10.
11.
Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生组合时的类型良好性;给出Web服务可替换性定义,并在此定义基础上说明如何进行Web服务组合的功能验证。提出的类型化Web服务形式化描述模型,准确说明了Web服务组合运行时的类型良好性,以及Web服务组合的功能验证方法。最后通过例子说明,提出的定义和判断方法的有效性。 相似文献
12.
工作流程中的结构冲突将导致工作流管理系统无法正常运行,因此需要在工作流图付诸实施之前要验证工作流的正确性,检测出其中的冲突。目前,无环工作流图的冲突检测在Mahanti-Sinnakkrishnan算法中已经得到了较好的解决,L.Kai和L.Qiang提出了CWRS算法用来检测有环工作流图的结构冲突,但该算法存在缺陷,会产生误判。对CWRS算法进行分析,指出了该算法的缺陷,并提出了改进方法,解决了有环工作流图AND型节点不配对时的冲突检测问题。 相似文献
13.
工作流程中的结构冲突会导致工作流管理系统无法正常运行,因此需要在工作流程付诸实施之前验证工作流的正确性,检测出其中的冲突。目前,尚无一个完美的算法既能检测出无环工作流图的冲突,也能检测出带环工作流图中的结构冲突,为此提出了一种新的基于图搜索的工作流图验证算法,利用巧妙方法将流程图中的环转化为无环流程子图,高效地检测出了有环工作流图和无环工作流图的结构冲突。 相似文献
14.
为充分挖掘图像数据信息,提出了一种有向图模型检索方法,结合距离测度初次检索和有向图距离二次检索提高图像检索性能。首先,采用传统的纹理、边缘和颜色特征以及特征之间的欧氏距离测度来进行初次检索,得到一个查询排序列表;在此基础上,结合距离测度与余弦测度设计图像之间的相关测度,在不同的相关测度阈值下构建图像数据集的有向图模型集合;最后,计算有向图距离,据此进行二次检索,降低误检现象。在COREL和ImageCLEF两个数据集上的图像检索实验结果表明,该方法的平均精确度和平均召回率指标高。 相似文献
15.
张培颖 《计算机工程与应用》2009,45(22):123-125
首先说明了分词在中文信息处理中的作用,然后介绍了分词系统中的关键技术。提出了一种基于有向图的中文分词算法,该算法首先构造中文分词有向图,然后计算中文分词有向图中所有可能的切分路径,最后利用了最少分词原则、汉字之间的互信息和词语的频率等信息给中文分词有向图中的每条切分路径打分,分数最高的路径就对应正确的切分结果。开放测试结果表明分词精确率可达90%以上。 相似文献
16.
通过对二进制文件结构化比较方法的研究,提出了基于有向图的二进制文件结构化比较方法及实现算法.和基于指令比较的二进制文件比较方法相比,二进制文件结构化比较方法更注重二进制文件在逻辑结构上的变化,而且更加简单. 相似文献