Model conversion and formalization verification method of semantic Web service combination

Abstract

The invention relates to a model conversion and formalization verification method of semantic Web service combination, which belongs to the field of semantic network and Web service. The invention is characterized in that a semantic Web service combination storage unit, a semantic Web service coloring Petri network storage sub module, a correctness verification sub module and a body tool Protege are established on the computer. The method uses a module conversion sub module for converting the OWL-S type semantic Web service combination module into the semantic Web service coloring Petri network module, the converted module can clearly represent the logic relationship between all sub processes in the service combination, and in addition, the correctness verification of the service combination can be carried out through a coloring Petri network formalization method. According to the invention, the correctness of the semantic Web service combination can be verified by a formalization method, so the correct execution of the service combination can be ensured.

Description

technical field [0001] The invention belongs to the field of semantic web and web service, and aims to provide a model conversion method for people, which can transform the combination of semantic web service into colored Petri net, thereby using Petri net technology to carry out formal verification. Background technique [0002] Under the service-oriented architecture (Service-Oriented Architecture, SOA), Web service composition has become the main form supporting the execution of business processes. However, how to realize the automatic composition of Web services has always been a research problem, because Web services do not contain machine-readable semantic information. The emergence of Semantic Web combines semantics with Web services, which has attracted the attention of many researchers. Web Ontology Language for Services (OWL-S) has become the de facto standard semantic Web service ontology modeling language. [0003] OWL-S provides a framework to describe the func...

AI Technical Summary

Problems solved by technology

[0021] 1. A directed arc has a direction

[0022] 2. Arcs are not allowed between two places or transitions

The relevant research work mainly includes: D. Moldt et al. proposed a tool DaGen that converts DAML-S descriptions into a high-level Petri net Reference Nets, but only converts the description part (Description) without involving the process ontology ( Moldt, D. and J. Ortmann, "DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets", LECTURE NOTES IN COMPUTER SCIENCE, 2004.2984: pp.209-213.)

Srini Narayanan and others proposed a DAML+OIL ontology to describe the composition of Web services, but did not verify the correctness of the model (Narayanan S, M.S., Simulation, verification and automated composition of Web services″.In Proc.of the 11th Int' l World Wide Web Conf.WWW2002. Honolulu: ACM.2002.)

Images