Title :
A semantic web service composition dynamic detecting method
Author :
Jie, Zhou ; Jiangchun, Ren ; Zhiying, Wang ; Yong, Cheng ; Songzhu, Mei ; Jiangjiang, Wu
Author_Institution :
Dept. of Comput., Nat. Univ. of Defense Technol. T, Changsha, China
Abstract :
It is important to verify web service composition to enhance the service security and to guarantee the system quality. In order to ensure the exact running of the web service composition, we put forward a verification method associating formalization and run-time monitor. On the base of real time data in dynamic monitoring, though the mapping to Petri net and reachable graph analysis, we realize the formalized verification of semantic web service composition interaction. Finally, we take an example to explain the feasibility of the method.
Keywords :
Web services; data flow analysis; formal verification; security of data; semantic Web; Petri net; dynamic detecting method; dynamic monitoring; reachable graph analysis; real time data; run-time monitor; semantic Web service composition; service security; system quality; verification method; Feature extraction; Petri nets; Real-time systems; Security; Semantic Web; Simple object access protocol; Petri net; consistency; reachable graph; run time; web service composition;
Conference_Titel :
Digital Information Management (ICDIM), 2012 Seventh International Conference on
Conference_Location :
Macau
Print_ISBN :
978-1-4673-2428-1
DOI :
10.1109/ICDIM.2012.6360108
