Eureka AIR delivers breakthrough ideas for toughest innovation challenges, trusted by R&D personnel around the world.

Model conversion and formalization verification method of semantic Web service combination

A formal verification and model conversion technology, applied in the field of Semantic Web and Web services, can solve problems such as no process ontology involved, no model correctness verification, no arcs allowed in places or transitions, etc., and achieve the effect of a simple model

Inactive Publication Date: 2012-12-26
TSINGHUA UNIV
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0022] 1. A directed arc has a direction
[0023] 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 method 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'1 World Wide Web Conf. WWW2002. Honolulu: ACM.2002.)

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Model conversion and formalization verification method of semantic Web service combination
  • Model conversion and formalization verification method of semantic Web service combination
  • Model conversion and formalization verification method of semantic Web service combination

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0072] Described method is realized by following steps successively:

[0073] Step (1), computer initialization

[0074] Install the ontology modeling tool Protégé, which is used to create, delete, and modify ontology, and store the ontology as the format of the network Web service ontology modeling language OWL-S,

[0075] Constructing a semantic Web service composition storage unit for storing the semantic Web service composition model constructed by the Web service ontology modeling tool Protégé and expressed in the OWL-S format,

[0076] Install the semantic Web service composition model conversion and verification module, including: model conversion submodule, semantic Web service coloring Petri net storage submodule and correctness verification submodule, of which:

[0077] The model conversion submodule is used to convert the semantic Web service combination stored in the semantic Web service combination storage unit into a colored Petri net model, and the converted mo...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

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...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): H04L29/08
Inventor 范玉顺倪悦
Owner TSINGHUA UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Eureka Blog
Learn More
PatSnap group products