Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Semantic consistency verification method of semantic Web service combination

A verification method and web service technology, applied in the field of Semantic Web and Web services, can solve problems such as not allowing arcs, no quality of service non-functional attribute verification analysis, etc.

Inactive Publication Date: 2010-05-26
TSINGHUA UNIV
View PDF0 Cites 16 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0014] 1. A directed arc has a direction
[0015] 2. Arcs are not allowed between two places or transitions
Related research work mainly includes: SriniNarayanan et al. proposed a combination method of DAML+OIL ontology description Web services, and automatically converted it into Petri nets to perform various performance analysis (Narayanan S, M.S., "Simulation, verification and automated composition of Web services″.In Proc.of the 11th Int'lWorld Wide Web Conf.WWW2002.Honolulu: ACM.2002.), A.Brogi and others gave the conversion method from OWL-S to Petri net model (Brogi, A ., S.Corfini, and S.Iardella, ″FromOWL-S descriptions to Petri nets″.In WESOA07.2007.Vienna.), but none of them conducted verification analysis on non-functional attributes such as service quality

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
  • Semantic consistency verification method of semantic Web service combination
  • Semantic consistency verification method of semantic Web service combination
  • Semantic consistency verification method of semantic Web service combination

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

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

[0074] Step (1), initialization

[0075] Construct the storage unit of the semantic Web service coloring Petri net model to be verified, the model is an octet, expressed as SWS-net,

[0076] SWS-net=(CPN, DT, DV, P in , P out , H in , H out , R),

[0077] CPN is defined as a colored Petri net, expressed as CPN, which is a six-tuple used to describe the state change in the process, CPN=(∑, P, T, F, C, E), where:

[0078] ∑ is a collection of colors, representing the different colors of the token. The token refers to the dynamic object in the storehouse. The position of the token refers to the current state of the storehouse where the token is located.

[0079] P is a collection of places, representing all places in the Petri net model, places represent different states,

[0080] T is a collection of transitions, representing all transitions in the Petri net model. Transitions represent events, transfo...

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 semantic consistency verification method of a semantic Web service combination, which belongs to the field of semantic nets and Web services. The invention is characterized in that the method is realized in a way that: establishing a storage unit of a semantic Web service coloring Petri net model, a parameter semantic consistency verification submodule, a QoS (Quality of Services) attribute consistency verification submodule and a consistency analytic result storage submodule on a computer; and analyzing the semantic consistency of the semantic Web service combination by using a coloring Petri net formalized verification method, wherein the semantic consistency comprises parameter semantic consistency and QoS attribute consistency. The invention can verify whether the semantic Web service combination is consistent in semantics and satisfies the demands of users for service non-function attributes.

Description

technical field [0001] The invention belongs to the field of semantic web and Web service, and aims to provide a semantic consistency verification method for people, which can verify the semantic consistency of semantic Web service combination by using the formalized verification method of colored Petri net. 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 models Web services and processes...

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 Applications(China)
IPC IPC(8): H04L29/08
Inventor 范玉顺倪悦
Owner TSINGHUA UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products