A semantic web service composition dynamic detecting method

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.