Soundness analysis of logic service net based on service clusters

被引：0
作者：
Du, YuYue [1 ]
Hu, Qiang [1 ,2 ]
机构：
[1] College of Information Science and Engineering, Shandong University of Science and Technology
[2] School of Information Science and Technology, Qingdao University of Science and Technology
来源：
Journal of Software Engineering | 2013年 / 7卷 / 01期
关键词：
Logic petri net; Logic service net; Service cluster; Soundness;
D O I：
10.3923/jse.2013.30.38
中图分类号：
学科分类号：
摘要：
To reduce the difficulty of binding a web service and improve the self-adaptability of service response, the concept of service cluster is proposed. A service cluster consists of a group of the services with similar functions and interfaces, by enlarging the grain of service requested, it can efficiently reduce the search space and improve the function compatibility. The algorithm to bind an appropriate web service in service clusters is presented. Logic service net constructed based on logic Petri net is put forward to describe the service flow based on service clusters. A judging theorem to test the soundness of a logic service net is also proposed in this study.
引用
收藏
页码：30 / 38
页数：8
相关论文
共 12 条
  • [1] Benatallah B., Sheng Q.Z., Dumas M., The self-serv environment for web services composition, IEEE Internet Comput, 7, pp. 40-48, (2003)
  • [2] Budanitsky A., Hirst G., Semantic distance in WordNet: An experimental, application-oriented evaluation of five measures, Proceedings of the Workshop on WordNet and Other Lexical Resources, Second Meeting of the North American Chapter of the Association for Computational Linguistics, pp. 29-34, (2001)
  • [3] Du Y.Y., Jiang C.J., Zhou M.C., Modeling and analysis of real-time cooperative systems using petri nets, IEEE Trans. Syst. Man Cybern. A, 37, pp. 643-654, (2007)
  • [4] Du Y.Y., Jiang C.J., Zhou M.C., A petri nets based correctness analysis of internet stock trading systems, IEEE Trans. Syst. Man Cybern. C Applied Rev., 38, pp. 93-99, (2008)
  • [5] Du Y.Y., Jiang C.J., Zhou M.C., A petri net-based model for verification of obligations and accountability in cooperative systems, IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum., 39, pp. 299-308, (2009)
  • [6] Du Y.Y., Jiang C.J., Zhou M.C., Fu Y., Modeling and monitoring of E-commerce workflows, Inform. Sci., 179, pp. 995-1006, (2009)
  • [7] Liu W., Du Y., Sun H., Soundness analysis of T-restricted interorganizational logical workflow nets, Inform. Technol. J., 8, pp. 821-829, (2009)
  • [8] Liu X., Huang G., Mei H., Discovering homogeneous web service community in the user-centric web environment, IEEE Trans. Serv. Comput., 2, pp. 167-181, (2009)
  • [9] Maguire T., Snelling D., Banks T., Web services service group 1.2, OASIS Standard, OASIS Standard, pp. 1-41, (2006)
  • [10] Murata T., Petri nets: Properties, analysis and applications, Proc. IEEE, 77, pp. 541-580, (1989)
12