【摘 要】
：
随着SOA在众多应用领域中得到认同以及可用的Web服务数量的快速增长，如何有效地组合Web服务来满足用户需求成为一个备受关注的问题。本文提出一种基于有界模型检验的Web服务组
【机 构】
：
北京理工大学 计算机学院，北京市 100081
论文部分内容阅读
随着SOA在众多应用领域中得到认同以及可用的Web服务数量的快速增长，如何有效地组合Web服务来满足用户需求成为一个备受关注的问题。本文提出一种基于有界模型检验的Web服务组合方法．其中，Web服务被建模为有限状态自动机，众多Web服务构成服务社区，Web服务组合需求由线性时态逻辑公式描述，通过有界模型检验器的系统化搜索，该方法能够从服务社区中自动地构建满足需求的Web服务组合．实验表明，该方法能够适应较大规模的Web服务组合场景．
其他文献
企业就像在商海中航行的一艘船,如果要到达成功的彼岸,最重要的是认定航行的方向。“战略”这一军事上的概念正在被广泛套用到企业经营管理的各个层面,经常用到的有企业战略
服务组合作为实现服务增值的一种有效方法，业已广泛使用于各种应用．安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用。然而目前还缺乏对服务安全组合进行有效
商品市场牛市依旧受全球通货膨胀压力不断增加的影响,投机性资金大量涌入商品市场,推动商品价格持续上涨。目前通货膨胀已经成为了全球各国的共同大敌,粮食和能源价格的强劲
服务计算和云计算的快速发展使得基于Web服务重用的随需应变的分布式应用系统开发方式得到迅速普及。而随着Web服务的迅速增加，网络上分布着大量功能相同、非功能特性各异的服
综述了铜合金表面处理方法的研究现状,主要介绍了电镀、化学镀、热喷涂、化学气相沉积、堆焊、铸渗法、氧化膜、金属着色及溶胶-凝胶等表面涂覆技术及渗硼、多元共渗、等离子
服务匹配是服务发现的重要步骤之一，服务匹配算法是实现这一步骤的核心技术。针对查询完全率和查询准确率没有量化指标及服务匹配效率不高的问题，本文首先给出了查询完全率和查
本文提出了一种基于逻辑推理和Petri网的Web服务自动组合方法．该方法使用命题逻辑规则作为语义Web服务的内在表示模型，通过把服务及服务接口概念之间的语义关系表示为一组命题
组合服务的性能模型构建以及评价是组合服务研究中的热点问题之一．基于模型的性能分析方法在传统软件工程性能分析中已经有了广泛的应用．然而由于服务处于不可控的网络环境当中
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
服务选择机制是为用户提供智能性、主动性应用服务的前提基础,是移动SNS(Social Networking Service)中重要的研究内容之一．本文提出了基于上下文、信任网络和协作过滤算法的