吉林大学学报(工学版) ›› 2013, Vol. 43 ›› Issue (02): 391-396.

Previous Articles     Next Articles

The automatic composition of semantic Web service with model checking technology

TANG Zheng-yi, XU Dao-yun, WANG Xiao-feng, WANG Zheng-cai   

  1. College of Computer Science and Information, Guizhou University, Guiyang 550025, China
  • Received:2012-06-10 Online:2013-03-01 Published:2013-03-01

RICH HTML

0   

PDF (PC)

590

Abstract: This paper introduces a method of Web service based on OWL-S and model checking technology. It uses timed automata to establish the model of semantic Web service. This model can describe the semantic information in the interface and the alternation of flows and express the composite user requirement. Based on this model, the corresponding model checking tools can achieve effective automatic composition. Simulation experiments prove that this method effectively increases the efficiency and quality of service composition, and it has very evident advantage in keeping and expressing state space.

Key words: artificial intelligence, semantic Web service, service composition, model checking

CLC Number: 

  • TP8
[1] Hashemian S V, Mavaddat F. A graph-based approach to Web services composition//International Symposium on Applications and the Internet, Trento, Italy, 2005.

[2] Men Peng, Duan Zhen-hua. Web service automatic composition algorithm based on Petri nets[J]. Journal of Xidian University, 2008, 35(4):609-613.

[3] Liu Jia-mao, Gu Ning, Shi Bo-le. Non-backtrace backward chaining dynamic composition of Web services based on mediator[J]. Journal of Computer Research and Development, 2005, 42(7):609-613.

[4] Thakkar S, Knoblock C A, Ambite J L, et al. Dynamically composing Web services from online sources//Proceeding of the AAAI Workshop on Intelligent Service Integration,Alberta, Canada, 2002.

[5] Deng Shui-guang. Research on automatic service composition and formal verification. Hangzhou: College of Computer Science and Technology, Zhejiang University, 2007.

[6] Gerd Behrmann, Alexandre David, Kim G Larsen. A Tutorial on UPPAAL[J].Lecture Notes in Computer Science, 2004, 3185:200-236.

[7] Liu Si-pei, Liu Da-you, Qi Hong, et al. Composing semantic Web service with description logic rules[J]. Journal of Computer Research and Development, 2011, 48(5):831-840.

[8] Prabhu S. Towards distributed dynamic Web service composition//International Symposium on Autonomous Decentralized Systems, Sedona, Arizona, USA, 2007.
[1] DONG Sa, LIU Da-you, OUYANG Ruo-chuan, ZHU Yun-gang, LI Li-na. Logistic regression classification in networked data with heterophily based on second-order Markov assumption [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1571-1577.
[2] GU Hai-jun, TIAN Ya-qian, CUI Ying. Intelligent interactive agent for home service [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1578-1585.
[3] WANG Xu, OUYANG Ji-hong, CHEN Gui-fen. Measurement of graph similarity based on vertical dimension sequence dynamic time warping method [J]. 吉林大学学报(工学版), 2018, 48(4): 1199-1205.
[4] ZHANG Hao, ZHAN Meng-ping, GUO Liu-xiang, LI Zhi, LIU Yuan-ning, ZHANG Chun-he, CHANG Hao-wu, WANG Zhi-qiang. Human exogenous plant miRNA cross-kingdom regulatory modeling based on high-throughout data [J]. 吉林大学学报(工学版), 2018, 48(4): 1206-1213.
[5] HUANG Lan, JI Lin-ying, YAO Gang, ZHAI Rui-feng, BAI Tian. Construction of disease-symptom semantic net for misdiagnosis prompt [J]. 吉林大学学报(工学版), 2018, 48(3): 859-865.
[6] LI Xiong-fei, FENG Ting-ting, LUO Shi, ZHANG Xiao-li. Automatic music composition algorithm based on recurrent neural network [J]. 吉林大学学报(工学版), 2018, 48(3): 866-873.
[7] LIU Jie, ZHANG Ping, GAO Wan-fu. Feature selection method based on conditional relevance [J]. 吉林大学学报(工学版), 2018, 48(3): 874-881.
[8] WANG Xu, OUYANG Ji-hong, CHEN Gui-fen. Heuristic algorithm of all common subsequences of multiple sequences for measuring multiple graphs similarity [J]. 吉林大学学报(工学版), 2018, 48(2): 526-532.
[9] YANG Xin, XIA Si-jun, LIU Dong-xue, FEI Shu-min, HU Yin-ji. Target tracking based on improved accelerated gradient under tracking-learning-detection framework [J]. 吉林大学学报(工学版), 2018, 48(2): 533-538.
[10] LIU Xue-juan, YUAN Jia-bin, XU Juan, DUAN Bo-jia. Quantum k-means algorithm [J]. 吉林大学学报(工学版), 2018, 48(2): 539-544.
[11] QU Hui-yan, ZHAO Wei, QIN Ai-hong. A fast collision detection algorithm based on optimization operator [J]. 吉林大学学报(工学版), 2017, 47(5): 1598-1603.
[12] LI Jia-fei, SUN Xiao-yu. Clustering method for uncertain data based on spectral decomposition [J]. 吉林大学学报(工学版), 2017, 47(5): 1604-1611.
[13] SHAO Ke-yong, CHEN Feng, WANG Ting-ting, WANG Ji-chi, ZHOU Li-peng. Full state based adaptive control of fractional order chaotic system without equilibrium point [J]. 吉林大学学报(工学版), 2017, 47(4): 1225-1230.
[14] WANG Sheng-sheng, WANG Chuang-feng, GU Fang-ming. Spatio-temporal reasoning for OPRA direction relation network [J]. 吉林大学学报(工学版), 2017, 47(4): 1238-1243.
[15] MA Miao, LI Yi-bin. Multi-level image sequences and convolutional neural networks based human action recognition method [J]. 吉林大学学报(工学版), 2017, 47(4): 1244-1252.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
Copyright © Journal of Jilin University(Engineering and Technology Edition), All Rights Reserved.
Tel: +86-431-85095297　Fax: +86-431-85094074　E-mail: xbgxb@jlu.edu.cn
Powered by Beijing Magtech Co. Ltd