【摘 要】
：
随着信息时代的不断发展，单个的web服务已无法满足用户的需求，于是就需要若干个web服务之间进行交互组合，即把部署于internet上由不同web服务提供者提供的web服务根据特定的需要
论文部分内容阅读
随着信息时代的不断发展，单个的web服务已无法满足用户的需求，于是就需要若干个web服务之间进行交互组合，即把部署于internet上由不同web服务提供者提供的web服务根据特定的需要组合成一个新的web服务，使得整合后的web服务具有更为强大的功能，从而满足用户的需要。然而web服务系统本身的并行性、分布性和高度动态性，仅仅依靠开发者的直观认识，将越来越难以把握所开发系统的行为，也就是说在web服务进行交互的过程中可能会有死锁现象的出现，从而影响整个web服务的质量，因此，在整合后的web服务实施前对web服务组合进行正确性验证是十分必要的。论文针对描述Web服务形式化语言多样性的特点，总结了BPEL关键元素导π演算的建模理论，提出了WS-CDL关键元素到π演算的建模理论；针对移动工作台MWB现有的建模方法的不足，设计了可以对Web服务的交互行为自动建模并把建模过程展示给用户的建模工具HXML；针对移动工作台MWB不能定位异常出现的位置，设计了死锁定位功能，能够展示给用户异常发生在Web服务交互行为的哪一环节。在此基础上，设计实现了HXML工具，选取旅行计划服务案例进行了测试，验证了论文提出的WS-CDL关键元素到π演算的建模理论的正确性，并证实了HXML工具能够对Web服务交互行为进行自动建模和死锁定位功能。
其他文献
石油管项目质量技术监督管理工作的业务流程与质量检测所得的数据纷繁复杂，现有办公自动化系统仅用于支持事务性处理。随着检测数据的不断积累和用户对管材检测诊断咨询的需求
信息技术日新月异，必然要求信息传输速度更快更强，随着数字化地球的日趋形成，数字化信息存储量呈现爆炸式发展，海量磁盘随之出现，这对海量硬盘数据的快速复制提出了新的要求。本文
雾霾天气下,由于大气中存在的悬浮颗粒对光线具有吸收、散射作用,使得户外捕捉到的图像出现对比度下降,颜色衰减等降质现象,导致物体特征难以辨别,图像的观赏性降低,影响图像
面向方面的程序设计方法把软件系统的功能和非功能需求、平台特性等诸多不同的关注点相互独立，很好地实现了实现阶段横切关注点的模块化。但是，实现阶段的方面从何而来？显然，方面
随着 Internet 的迅速发展和分布式计算在各行各业应用的发展趋势,采用SOA(Service Orientied Architecture 面向服务架构)的Web 服务已经成为互联网应用解决方案的不可缺少
在软件编写过程中,开发人员不良的开发习惯以及经验不足等原因,他们单纯为实现功能而编写代码,忽视程序的结构性和可读性。代码编写上变得越来越混乱,使得整个代码结构变得臃
群智能算法作为一种启发式随机算法,一直以来备受研究者的青睐。该类算法适用范围较广,它不要求目标对象具有特殊的结构,只需提供少量的信息就可以对目标对象进行求解,并且这
近年来RFID（射频识别）应用发展快速，然而RFID原始数据的不可靠、重复、海量及其管理等所带来的问题对数据处理提出了更高的要求，所以对RFID数据进行处理是十分必要的。本文对RFID
P2P文件共享技术的兴起和发展是基于传统的有线网络,而经典的BitTorrent协议是目前互联网上最为流行的P2P文件分享应用之一。然而随着无线通信技术的发展和移动智能终端的日
熵模糊聚类是将模糊聚类与熵进行有机结合的一种方法，它不仅具有熵表示数据样本间相关信息的优点，而且具有模糊聚类方法中软聚类的优质特性，因而在聚类划分领域占有重要的地位。