【摘 要】
：
针对面向服务架构（SOA）体系的Web服务数量快速增长现状,为实现大规模服务场景下高效自动组合Web服务来满足用户复杂需求问题,提出一种基于有界模型检验的Web服务组合方法。其中
【机 构】
：
山东理工大学计算机科学与技术学院,南阳师范学院计算机与信息技术学院
论文部分内容阅读
针对面向服务架构（SOA）体系的Web服务数量快速增长现状,为实现大规模服务场景下高效自动组合Web服务来满足用户复杂需求问题,提出一种基于有界模型检验的Web服务组合方法。其中,Web服务被建模为有限状态自动机,众多Web服务构成服务社区,Web服务组合需求由线性时态逻辑公式描述,通过有界模型检验器的系统化搜索,该方法能够从服务社区中自动地构建满足需求的Web服务组合。实验结果表明,该方法能够适应较大规模的Web服务组合场景。
其他文献
本研究在收集第一手数据的基础上，详细讨论美国报业公司治理机制的四个主要问题，即机构持股、高管薪酬、董事会机构、反并购机制。我们会大致描述美国报业公司在这四个方面的实
针对多表查询中庞大执行计划空间导致的多表Hint控制不精确问题，提出了一种基于关系代数连接运算的多表Hint控制模型。建立了多表Hint与优化器表连接执行计划之间的一一映射关
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
本文对10k V配电网中应用无功补偿技术的特点进行了探讨,对无功补偿在配网应用中存在的问题做了相关分析,结果说明10k V配电网运用无功补偿技术可以起到损耗低和节能效果,是