×

关于综合web服务的聚合问题。 (英语) Zbl 1408.68029号

摘要:本文介绍并研究了Web服务综合中介(SWM)的聚合问题。SWM是根据组件服务模板定义的确定性有限状态转换器。收到工件后,SWM从库中选择一组可用的服务来实现其模板,并调用这些服务来并行操作工件;它通过应用合成规则产生一个数值作为输出(例如,包的总价)。给定SWM、库和输入工件,聚合问题是找到从SWM的组件模板到库中可用服务的映射,以最大化(或最小化)输出。与Web服务的合成合成不同,聚合问题旨在优化给定中介的实现,以最佳地满足用户的需要。我们分析了这个问题,并表明它的复杂性取决于中介体的底层图:虽然当这样的图包含甚至非常简单的循环时,它是不可判定的,但它可以在规范大小(即输入SWM、库和工件的总大小)的单指数时间内求解对于其基础图是非循环的SWM。我们用匹配下界(NP和PSPACE)证明了这类结果,并分析了导致多项式时间解的限制。此外,我们还研究了非确定性SWM(NSWM)的聚合问题。我们表明,具有不同底层图的NSWM的聚合问题与其确定性对应项保持相同的复杂性。我们还为确定SWM和NSWM是否终止提供了复杂性边界。

MSC公司:

68英里11 互联网主题
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)
65年第68季度 形式语言和自动机

软件:

WSAT公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Berardi,D。;Calvanee,D。;Giacomo,G.D。;伦泽里尼,M。;Mecella,M.,《基于行为描述的自动服务组合》,国际期刊社。信息系统。,14, 4, 333-376 (2005)
[4] Abiteboul,S。;维亚努,V。;Fordham,B.S。;Yesha,Y.,《电子商务关系传感器》,J.Compute。系统科学。,61, 2, 236-269 (2000) ·Zbl 0963.68057号
[6] Deutsch,A。;隋,L。;Vianu,V.,《数据驱动Web应用程序的规范和验证》,J.Compute。系统科学。,73, 3, 442-474 (2007) ·Zbl 1111.68488号
[9] Spielmann,M.,《电子商务相关传感器的验证》,J.Compute。系统科学。,66, 1, 40-65 (2003) ·Zbl 1026.68007号
[15] Fu,X。;布尔坦,T。;Su,J.,《对话协议:反应式电子服务规范和验证的形式主义》,Theoret。计算。科学。,328,1-2,19-37(2004年)·Zbl 1071.68002号
[20] IBM,Océano项目(2002年)
[21] Nigram,A。;Caswell,N.,《业务工件:操作规范的方法》,IBMSyst。J.,42,3,428-445(2003)
[23] 克拉克,E。;格伦伯格,O。;Peled,D.,《模型检验》(1999),麻省理工学院出版社
[26] 黄光裕。;Wang,H。;Tang,J。;Srivastava,J.,建模和估计基于web服务的工作流QoS的概率方法,Inform。科学。,177, 23, 5484-5503 (2007) ·Zbl 1126.68005号
[27] Yu,T。;Lin,K.-J.,具有端到端QoS约束的Web服务的服务选择算法,Inf.Syst。电子总线。管理。,3, 2, 103-126 (2005)
[28] 曾磊。;贝纳塔拉,B。;Ngu,A.H.H。;杜马,M。;Kalagnanam,J。;Chang,H.,用于Web服务组合的QoS-aware中间件,IEEE Trans。柔和。工程师,30,5,311-327(2004)
[30] 德乌奇,D。;Milo,T。;Polyzotis,N。;Yam,T.,加权业务流程的最优top-k查询评估,PVLDB,3940-951(2010)
[32] Web服务描述语言(WSDL)1.1(2001)
[33] Web服务对话语言(WSCL)1.0(2002)
[34] OWL-S:Web服务的语义标记(2004)
[35] 语义Web服务框架(2005)
[36] Web Services 1.1版业务流程执行语言(BEPL4WS)(2004)
[37] 施密特,C。;Parashar,M.,web服务发现的点对点方法,万维网J.,7,2,211-229(2004)
[38] 贝纳塔拉,B。;Hacid,M.-S。;Leger,A。;Rey,C。;Toumani,F.,《关于自动化Web服务发现》,VLDB J.,14,1,84-96(2004)
[40] Matijasevic,Y.,《受数理逻辑启发的一些纯数学结果》,(《逻辑,数学基础和可计算性理论》,《逻辑学,数学基础与可计算性原理》,西安大略科学哲学丛书,第9卷(1975年),Reidel),121-127
[41] Jones,J.P.,《不可判定丢番图方程》,布尔。阿默尔。数学。Soc.,3,2,859-862(1980)·Zbl 0442.03028号
[42] Papadimitriou,C.H.,《计算复杂性》(1994),Addison-Wesley·Zbl 0833.68049号
[43] Ausiello,G。;Crescenzi,P。;甘博西,G。;坎恩,V。;Marchetti-Paccamela,A。;Protasi,M.,《复杂性和近似:组合优化问题及其近似性》(1999),Springer-Verlag·Zbl 0937.68002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。