期刊文献+

依赖知识的服务组合算法 被引量:1

A Knowledge-Based Service Composition Algorithm
下载PDF
导出
摘要 针对面向服务的体系结构中Web服务和服务组合技术在下一代互联网和云计算领域中的应用问题,提出了一种依据知识对原子服务进行组合的3步服务组合算法,分为相邻节点连接匹配、断枝节点清理和原子服务组合3个步骤。相邻节点连接匹配就是完成相邻的服务节点之间连接匹配,将所有允许的连接都存入弧的连接链表中。通过断枝节点清理,删除所有没有连接的候选原子服务,因为在候选队列中会存在许多断枝服务节点。通过原子服务组合,从清理过断枝节点之后的剩余候选服务中整理出服务组合实例。实验表明:算法可以实现服务的自动化装配,不需要用户参与服务调用过程,通过原子服务间的可连接性以及知识模型生成服务组合实例,从而实现原子服务数量和检测范围的有效控制。 A knowledgebased service composition algorithm is proposed to apply the techniques of serviceoriented architecture including Web service and service composition in the area of the next generation Internet and the cloud computing. The algorithm consists of three key steps, i.e. connection matching between adjacent nodes, deleting broken nodes, and building service composition instance. All possible links between candidate primary service nodes are found and stored in an arc list at the first step. Then, the candidate primary service nodes that can not make a legal path are deleted in the second step. A service composition instance is built from the rest candidates in the step 3. The algorithm automatically assembles services without user’s intervention during the service procedure, and builds the service composition instance in terms of a knowledge model and the connectivity between primary services. Test results show that the number of primary services and detection ranges can be effectively controlled.
出处 《西安交通大学学报》 EI CAS CSCD 北大核心 2013年第8期1-6,67,共7页 Journal of Xi'an Jiaotong University
基金 国家自然科学基金资助项目(60903123) 百度大规模机器学习与数据挖掘研究计划资助项目
关键词 面向服务的体系结构 服务组合 WEB服务 service oriented architecture service composition Web service
  • 相关文献

参考文献14

  • 1PAPAZOGLOU M, HEUVEL W J. Service oriented architectures: approaches, technologies and research issues [J. The VLDB Journal, 2007,16(3) :389-415.
  • 2STAAB S, AALST W, BENJAMINS V R, et al. Web services: been there, done that? J. IEEE Intelligent Systems, 2003,18 ( 1 ) : 72-85.
  • 3BAO J P, TAO B, SU J, et al. Data mining service architecture:an exploration on self-organizing software [-C // Proceedings of the 7th ICSOFT. Rome, Italy: SciTePress, 2012:463-467.
  • 4KHALAF R, MUKHI N, WEERAWARANA S. Serv- ice-oriented composition in BPEL4WS EC // Proceed ings of the WWW2003. New York, USA: ACM, 2003:680-687.
  • 5TANG X, JIANG C, ZHOU M. Automatic Web service composition based on Horn clauses and Petri nets [J- Expert Systems with Applications, 2011, 38 (10): 13024-13031.
  • 6HUANGFU X, SHU Z, CHEN H H, et al. Research on dynamic service composition based on object Petri net for the networked information system EC//Pro ceedings of the Fifth International Joint Conference on INC, IMS and IDC. Piscataway, NJ, USA.. IEEE, 2009:1075-1080.
  • 7廖军,谭浩,刘锦德.基于Pi-演算的Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-643. 被引量:107
  • 8DING W, WANG J, HAN Y. ViPen: a model sup- porting knowledge provenance for exploratory service composition [C] // Proceedings of the IEEE ICSC 2010. Piscataway, NJ, USA: IEEE, 2010:265-272.
  • 9MILLER G, EVANS A, JACOBSON I, et al. Model driven architecture., how far have we come, how far can we go? [C] // Proceedings of the OOPSLA' 03 Companion of the 18th Annual ACM SIGPLAN Con- ference on Object-oriented Programming, Systems, Lan- guages, and Applications. New York, USA: ACM, 2003..273-274.
  • 10FUJII K, SUDA T. Semantics-based context-aware dy- namic service composition [J]. ACM Transactions on Au- tonomous and Adaptive Systems, 2009,4(2) : 1-31.

二级参考文献17

  • 1Koehler J., Srivastava B. Web service composition: Current solutions and open problems. In: Proceedings of the 13th International Conference on Automated Planning & Scheduling, Trento, Italy, 2003, 28~35
  • 2Milner R. Communication and Concurrency. Englewood Cliffs: Prentice -Hall, 1989
  • 3Fensel D. The semantic web and its languages. IEEE Intelligent Systems, 2000, 15(6): 67~73
  • 4Milner R. Communicating and Mobile Systems: The Pi-Calculus. Cambridge: Cambridge University Press, 1999
  • 5Milner R., Parrow J., Walker D. A calculus of mobile processes, part I/II. Journal of Information and Computation, 1992, 100(1): 1~77
  • 6Lin Hui-Min. Complete proof systems for observation congruences in finite control pi-calculus. In: Proceedings of the 25th International Colloquium on Automata, Languages and Programming, Aalborg, Denmark, 1998, 443~454
  • 7Jiao Wen-Pin, Zhou Ming-Hui, Wang Qian-Xiang. Formal framework for adaptive multi-agent Systems. In: Proceedings of IEEE/WIC International Conference on Intelligent Agent Technology, Halifax, Canada, 2003, 442~445
  • 8Markus Lumpe. A Pi-calculus based approach to software composition [Ph.D. dissertation]. Institute of Computer Science and Applied Mathematics, University of Bern, Switzerland, 1999
  • 9Orava F., Parrow J. An algebraic verification of a mobile network. Formal Aspect of Computing, 1992, 4(6): 497~543
  • 10Lin Hui-Min. A verification tool for value-passing process algebras. IFIP Transactions C-16: Protocol Specification, Testing and Verification, North-Holland, 1993, 79~92

共引文献106

同被引文献52

引证文献1

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部