登录 | 注册 | 充值 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
语义Web服务自动组合定义、方法及验证调查
  • 摘要

    针对近几年在语义Web服务自动组合上的研究成果,深入归纳和总结了语义Web服务组合的定义、组合方法以及正确性验证技术,对语义Web服务组合问题进行分类和形式化定义,并归纳出一个语义Web服务自动组合框架。按照不同问题分析和比较相关的组合方法,同时总结了组合方案正确性验证技术。最后,根据前面的分析和总结,提出了语义Web服务自动组合当前面临的问题和挑战。

  • 作者

    WANG Xiang-hui  FENG Zhi-yong 

  • 作者单位

    School of Computer Science & Technology,Shandong Jianzhu University,Jinan 250101,China;School of Computer Science & Technology,Tianjin University,Tianjin 300072,China/School of Computer Science & Technology,Tianjin University,Tianjin 300072,China

  • 刊期

    2014年5期 ISTIC PKU

  • 关键词

    语义Web服务  形式化定义  组合框架  组合方法  正确性检验  semantic Web service  formalization  composition framework  composition methods  verification technology 

参考文献
  • [1] 胡佳. 语义Web服务自动组合及验证的研究. 天津大学, 2010
  • [2] 陈世展. 服务网络:基于语义和社会化关系的Web服务计算基础设施. 天津大学, 2009
  • [3] 邓水光,黄龙涛,吴斌,尹健伟,李革新. 一种QoS最优的语义Web服务自动组合方法. 计算机学报, 2013,5
  • [4] Jian Yang;Mike. P. Papazoglou. Service components for managing the life-cycle of service compositions. Information systems, 2004,2
  • [5] Dumitru Roman;Uwe Keller;Holger Lausen;Jos de Bruijn;Ruben Lara;Michael Stollberg;Axel Polleres;Cristina Feier;Cristoph Bussler;Dieter Fensel. Web Service Modeling Ontology. Applied ontology, 2005,1
  • [6] I. Budak Arpinar;Ruoyan Zhang;Boanerges Aleman-Meza;Angela Maduko. Ontology-driven Web services composition platform. Information systems and e-business management: special issue on emerging technologies for e-business engineering, 2005,2
  • [7] Wei Tan;Yushun Fan;MengChu Zhou. A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language. IEEE transactions on automation science and engineering: a publication of the IEEE Robotics and Automation Society, 2009,1
  • [8] CHRISTENSEN E;CURBERA F;MERDITH G. Web services description language(WSDL) 1.1. http://www.w3.org /wsdl, 2013-10-01
  • [9] CHARIF Y;SABOURET N. An overview of semantic Web services composition approaches. Electronic Notes in Theoretical Computer Science, 2006,01
  • [10] KLUSCH M. Semantic Web service coordination. Basel:Springer, 2008
  • [11] BARTALOS P;BIELIKOV M. Automatic dynamic Web service composition:a survey and problem formalization. {H}COMPUTING AND INFORMATICS, 2012,04
  • [12] HATZI O;VRAKAS D;BASSILIADES N. The PORSCE II framework:using AI planning for automated semantic Web service composition. The Knowledge Engineering Revien, 2013,02
  • [13] HASHEMIAN S V;MAVADDAT F. A graph-based approach to Web services composition. Washington DC:IEEE Computer Society, 2005
  • [14] KLUSCH M;GERBER A;SCHMIDT M. Semantic Web service composition planning with OWLS-Xplan. [S.l.]:AAAI Press, 2005
  • [15] AYDIN O;CICEKLI N K;CICEKLI I. Automated Web services composition with the event calculus. {H}Berlin:Springer-Verlag, 2008
  • [16] BANSAL S K;BANSAL A;GUPTA G. Semantics-based Web service composition engine. {H}Berlin:Springer-Verlag, 2012
  • [17] Web services challenge 2010. http://ws-challenge.georgetown.edu/wsc10/, 2013-10-01
  • [18] YAN Yu-hong;CHEN Min;YANG Yu-bin. Anytime QoS optimization over the PlanGraph for Web service composition. {H}New York:ACM Press, 2012
  • [19] FERRIS C;FARRELL J. What are Web services. {H}Communications of the ACM, 2003,06
  • [20] XU Bin;LUO Sen;YAN Yi-xin. Towards efficiency of QoS-driven semantic Web service composition for large-scale service-oriented systems. Service Oriented Computing and Applications, 2012,01
  • [21] SHIN D H;LEE K H;SUDA T. Automated generation of composite Web services based on functional semantics. Web Semantics:Science Services and Agents on the World Wide Web, 2009,04
  • [22] KUZU M;CICEKLI N K. Dynamic planning approach to automated Web service composition. {H}APPLIED INTELLIGENCE, 2012,01
  • [23] OKUTAN C;CICEKLI N K. A monolithic approach to automated composition of semantic Web services with the event calculus. {H}Knowledge-based systems, 2010,05
  • [24] NARAYANAN S;SHEILA A. Adapting GOLOG for composition of semantic Web services. 2002
  • [25] KARAKOC E;SENKUL P. Composing semantic Web services under constraints. {H}Expert systems with application, 2009,08
  • [26] SHIAA M M;FLADMARK J O;THIELL B. An incremental graph-based approach to automatic service composition. [S.l.]:IEEE Press, 2008
  • [27] RUSSELL S J;NORVIG P. Artificial intelligence:a modern approach.3rd ed. [S.l.]:Pearson Education, 2011
  • [28] OH S C;LEE D;KUMARA S R. Effective Web service composition in diverse and large-scale service networks. IEEE Trans on Services Computing, 2008,01
  • [29] KIL H. Efficient Web service composition:from signature-level to behavioral description-level. University Park:The Pennsylvania State University, 2011
  • [30] KWON J;LEE D. Non-redundant Web services composition based on a two-phase algorithm. {H}Data & Knowledge Engineering, 2012,01
  • [31] HIGH J R;KINDER S;GRAHAM S. IBM’s SOA foundation:an architecture introduction and overview. http://download.boulder.ibm.com/ibmdl/pub/software/dw/webservices/ws-soa-whitepaper.pdf, 2013-10-01
  • [32] SIRIN E;PARSIA B;WU Dan. HTN planning for Web service composition using SHOP2. Web Semantics:Science Services and Agents on the World Wide Web, 2004,04
  • [33] SAPENA O;ONAINDIA E. Planning in highly dynamic environments:an anytime approach for planning under time constraints. {H}APPLIED INTELLIGENCE, 2008,01
  • [34] KAVANTZAS N;BURDETT D;FLETCHER T. Web services choreography description language. http://www.w3.org/TR/ws-cdl-10/, 2013-10-01
  • [35] YEUNG W L. A formal and visual modeling approach to choreography based Web services composition and conformance verification. {H}Expert systems with application, 2011,10
  • [36] SHENG Q Z;MAAMAR Z;YAO Li-na. Behavior modeling and automated verification of Web services. {H}Information Sciences, 2014,02
  • [37] BENTAHAR J;YAHYAOUI H;KOVA M. Symbolic model checking composite Web services using operational and control behaviors. {H}Expert systems with application, 2013,02
  • [38] NI Yue;FAN Yu-shun. Model transformation and formal verification for semantic Web services composition. {H}ADVANCES IN ENGINEERING SOFTWARE, 2010,06
  • [39] KAZHAMIAKIN R;PISTORE M. Static verification of control and data in Web service compositions. 2006
  • [40] KLUSCH M;RENNER K U. Fast dynamic re-planning of composite OWL-S services. Washington DC:IEEE Computer Society, 2006
  • [41] TANG Xian-fei;JIANG Chang-jun;ZHOU Meng-chu. Automatic Web service composition based on Horn clauses and Petri nets. {H}Expert systems with application, 2011,10
  • [42] MARTIN D;BURSTEIN M;HOBBS J. OWL-S:semantic markup for Web services. http://www.w3.org/Submission/OWL-S/, 2013-10-01
  • [43] FOSTER H;UCHITEL S;MAGEE J. Model-based verification of Web service compositions. 2003
  • [44] CHINOSI M;TROMBETTA A. BPMN:an introduction to the standard. {H}COMPUTER STANDARDS & INTERFACES, 2012,01
  • [45] LCU F. Optimizing QoS-aware semantic Web service composition. {H}Berlin:Springer-Verlag, 2009
  • [46] OMG. Unified modeling language(UML). http://www.omg.org/spec/UML/2.1.2/Infrastructure/PDF, 2013-10-01
  • [47] 冯志勇;陈世展;王辉. 服务网络. {H}中国计算机学会通讯, 2010,09
  • [48] LEVESQUE H J;REITER R;LESPERANCE Y. GOLOG:a logic programming language for dynamic domains. {H}JOURNAL OF LOGIC PROGRAMMING, 1997,01
  • [49] SHANAHAN M. Abductive event calculus planners. {H}JOURNAL OF LOGIC PROGRAMMING, 2000,1-3
  • [50] GRIGORIS A;Van FRANK H. A semantic Web primer.2nd ed. {H}Cambridge:The MIT Press, 2008
  • [51] JPlan:Java GraphPlan implementation. http://sourceforge.net/projects/jplan/, 2013-10-01
  • [52] HOFFMANN J;NEBEL B. The FF planning system:fast plan generation through heuristic search. {H}JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2001,01
  • [53] DUMEZ C;BAKHOUYA M;GABER J. Model-driven approach supporting formal verification for Web service composition protocols. {H}JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2013,04
  • [54] CAMBRONERO M E;DIAZ G;VALERO V. Validation and verification of Web services choreographies by using timed automata. {H}JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011,01
  • [55] RAVN A P;SRBA J;VIGHIO S. Modelling and verification of Web services business activity protocol. {H}Berlin:Springer-Verlag, 2011
  • [56] FARRELL J;LAUSEN H. Semantic annotations for WSDL and XML schema. http://www.w3.org/TR/sawsdl/, 2013-10-01
  • [57] RAO Jing-hai;SU Xiao-meng. A survey of automated Web service composition methods. {H}Berlin:Springer-Verlag, 2005
  • [58] SYU Y;MA Shang-pin;KUO J Y. A survey on automated service composition methods and related techniques. 2012
查看更多︾
相似文献 查看更多>>
18.208.159.25