【摘 要】
：
面对服务的体系架构(Service-Oriented Architecture,SOA)是分布式计算和软件开发的最新发展方向,Web服务作为SOA的实现方式之一,其价值在于解决与客户无关的服务重用,Web服
论文部分内容阅读
面对服务的体系架构(Service-Oriented Architecture,SOA)是分布式计算和软件开发的最新发展方向,Web服务作为SOA的实现方式之一,其价值在于解决与客户无关的服务重用,Web服务组合技术具有松散耦合性,可以很好的解决复杂服务的集成问题。为了确保Web服务组合技术的正确性。我们可以用形式化方法来对Web服务组合技术进行检验。形式化描述Web服务组合并验证服务组合的正确性是Web服务组合研究领域的一个重要问题。Web服务组合的形式化模型可以用来检查、验证Web服务组合以保证组合的逻辑正确性。Web服务的执行在随时间变化而不断变化的网络环境中,因此Web服务组合需要在动态变化的过程中由多个简单Web服务集成,所以使得Web服务组合的验证比简单Web服务的验证的难度更大。Pi演算是一种移动进程代数规范,可用于对并发和动态变化的系统进行建模并进行形式化描述,所以用在对Web服务组合的形式化描述方面非常合适。文中说明了Pi演算与以前形式化方法的不同之处,Pi演算对动态系统的描述的优越性,分析了Pi演算应用于Web服务组合需要解决的问题.最后针对目前最主要的两种规范Web本体论语言(Ontology Web Langage-Semantic,简称OWL-S)及Web服务商业流程执行语言WS-BPEL(Web Services Business Process Execution Language),给出了在OWL-S与WS-BPEL框架下的基于Pi演算的形式化描述并建立了基于Pi演算的形式化模型,最后分别通过案例给出了模型验证的方法。
其他文献
随着网络与信息技术的迅速发展，因特网现今已经成为人们获所需信息的重要途径之一，然而网络中存在的大量信息在给人们带来便利的同时也带来了许多的问题，愈来愈多对个性化信息的
随着信息技术的发展,互联网的应用得到了很大程度的普及,各种门户网站层出不穷,这虽然丰富了人们获得信息的途径,但同时也带来了一些问题。对于普通用户来说,从种类繁多的门
随着现代市场经济的迅速发展和物流技术专业化水平的提高,物流配送业已经迅猛发展起来,配送成本在整个物流成本中占有较高比例。在客户需求位置已知的条件下,遵循各类约束,安
平台认证技术是信息安全的一个重要机制,因为传统的安全解决方案只有在底层计算平台,特别是操作系统是安全的情况下才能正常工作。TCG组织为可信平台认证提供的解决方案称作
随着模型驱动架构(MDA)的提出,越来越多的学者和软件开发人员致力于该方面的研究。其中,模型到模型和模型到代码的转换是真正实现MDA方法的两个核心问题,是快速、全面、自动
作为分布式系统建模和分析工具,Petri网的应用领域越来越广泛。Petri网的变迁引发序列反映了Petri网的运行特征,一个Petri网产生的语言可以理解为由Petri网接受的所有变迁发
在互联网技术飞速发展的今天，网络已成为人们日常生活中所不可或缺的工具。随着网络信息的海量增长，如何有效且快速的从中找寻自己所需要的信息已成为目前研究的热点，因此网页分
图像融合就是通过一定的算法将两幅或是多幅图像融合成为一幅新图像。多尺度分解源于计算机视觉研究中对人眼感知过程的模拟,具有良好的频域局部特性,所以,它被广泛的应用于
随着社会的发展,人们收集了越来越多的数据。但往往它们会有部分缺失、含有噪音等问题。可是传统的频繁项集挖掘算法已不再适用这种不确定性数据的挖掘。所以,我们需要新的算
双语句对的专业分类具体来说就是对句库中对齐的双语句对进行专业分类,属于短文本分类范畴。传统的文本分类方法基本都是处理普通文本(长文本)分类,目前短文本分类技术还不成