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

fYear

2012

fDate

22-24 Aug. 2012

Firstpage

326

Lastpage

330

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Digital Information Management (ICDIM), 2012 Seventh International Conference on

Conference_Location

Macau

ISSN

pending

Print_ISBN

978-1-4673-2428-1

Type

conf

DOI

10.1109/ICDIM.2012.6360108

Filename

6360108