【摘 要】
：
随着以Web服务为基础的面向服务的体系结构的发展,如何有效的联合自治的、分布的、不同功能的Web服务构建新的企业业务应用成为新的热点问题。利用Web服务组合技术,企业业务
论文部分内容阅读
随着以Web服务为基础的面向服务的体系结构的发展,如何有效的联合自治的、分布的、不同功能的Web服务构建新的企业业务应用成为新的热点问题。利用Web服务组合技术,企业业务应用可以获得极大的灵活性。然而,Web服务组合技术的研究刚刚起步,如何使Web服务真正进入实用阶段,使之实现跨组织,跨管理域的系统集成和自动交互,还面临很多问题。有些已经解决,另一些则研究尚不充分,比如Web服务如何组合,能否自动组合,组合的正确性验证,以及如何利用模型检测技术来解决诸如服务组合状态的终止性和可达性等问题。
针对上述不足,本文引入了一种时序逻辑TLA(Temporal Logic of Actions),用作Web服务的验证与组合,主要包括：1)验证已存在的OWL-S描述的服务组合流程；2)提出Web服务的TLA规范,并利用TLA的一阶逻辑特性,实现服务组合流程的自动生成与验证。本文首先提出了一种OWL-S流程的TLA模型,并开发自动转化验证OWL-S流程的工具,实现服务组合的自动验证。然后,引入Web服务的自动机模型,提出单个Web服务的TLA规范,以及组合服务的TLA规范。最后,以TLA的一阶逻辑部分,实现Web服务的选择、组合与验证。
其他文献
海量图像检索是当前活跃的研究方向,它有着广阔的应用前景,在计算机领域中得到了广泛的关注。但同时它又是一个极为困难的问题,困难主要来源于海量图像检索环境经常是一个规
高端容错计算系统是关键应用领域中的重要信息化设备,此类系统一方面具有较强的事务处理能力,另外一方面具有较高的可靠性,可长期提供高速、稳定的信息处理服务。高端容错计
近年来,可穿戴计算机、移动计算及无线自组网技术飞速发展,应用移动对象的场合越来越多,另一方面,GPS技术和传感器技术快速发展,为移动对象提供位置相关服务的导航系统有了越
跨系统切换是指移动终端从一个通信系统被切换到另一个不同的通信系统,本文主要研究和实现无线网络控制器中移动终端从第三代移动通信系统到第二代移动通信系统的跨系统切换,
可穿戴计算机(wearable computer)是一种新概念的个人移动计算系统。它是伴随着计算机不断向超微型化发展应运而生的,也是“计算机应以人为本”这一理念的必然产物。SOPC是可
生物信息学已成为能够改变科学发展的决定性力量之一,网格计算为生物信息应用提供了强大的计算和存储平台。然而,网格应用首先需要解决服务集成、资源异构、作业管理和调度等
近些年来,人们收集数据、存储数据的能力得到了空前的提高,我们可以轻而易举地获得海量数据,在这些海量数据背后隐藏着许多重要的信息,理解它们已经远远超出了人的能力,这就
运动目标跟踪是计算机视觉研究领域的重要课题之一，也是近年来备受研究者关注的前沿方向。运动目标跟踪的目的是通过从含有运动目标的图象序列中跟踪运动目标，并对其行为进行理
随着信息加速膨胀,人们发现越来越难找到自己需要的信息。搜索引擎的诞生,在一定程度上缓解了这个矛盾。但是,搜索引擎返回的结果太多,而且有时候结果并不是用户所需要的。问
在过去的几年中,无线传感器网络迅速发展,受到工业界和学术界的普遍关注。数据聚集作为无线传感器网络的关键技术之一,能够在很大程度上减少传感器节点的通信量,节约节点的电