A semantic web service composition dynamic detecting method
Jie Zhou, Ren Jiangchun, Wang Zhiying, Cheng Yong, Mei Songzhu, Jiangjiang Wu · 2012
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.