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

Semantic Web service verification method based on dynamic description logic and model detection

A technology of dynamic description logic and model checking, applied in software testing/debugging, etc., can solve the problem that semantic Web service verification technology does not consider system model state transition and so on

Active Publication Date: 2015-04-22
GUILIN UNIV OF ELECTRONIC TECH
View PDF3 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] The technical problem to be solved by the present invention is that the existing semantic Web service verification technology does not consider the cause of state transition in the system model, so the scope of application has certain limitations. This invention provides a semantic Web service based on dynamic description logic and model detection. Service Authentication Method

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 Web service verification method based on dynamic description logic and model detection
  • Semantic Web service verification method based on dynamic description logic and model detection
  • Semantic Web service verification method based on dynamic description logic and model detection

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0022] A Semantic Web Service Verification Method Based on Dynamic Description Logic and Model Checking, such as figure 2 shown, including the following steps:

[0023] Step 1. According to the application environment of semantic web services and based on description logic ALC, construct the background knowledge base K of semantic web services. The background knowledge base K is mainly composed of TBox T and ABox A, that is, K= .

[0024] Step 1.1, according to the background knowledge of semantic web services, respectively obtain the set Nc of concept names and the set N of role names R , individual name set N I ;

[0025] Step 1.2, build TBox T. TBox is a limited set composed of concepts or concept definitions based on the concept name set Nc. For example: A, B, and C are the elements in the concept name set Nc in the background knowledge respectively, and they are respectively represented as a concept, and its TBox can be used in the set To represent.

[0026] St...

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 discloses a semantic Web service verification method based on a dynamic description logic and model detection. Based on a model verification technology in a semantic Web environment, the dynamic description logic is introduced and action actuation of the dynamic description logic is used as a state changing reason in a Web service model, so that a conventional model detecting technology is applied to Web service verification under a semantic Web service verification environment. On the aspect of a system model, the semantic Web service is abstracted as a state transition system in model detection; meanwhile, an action theory is introduced for abstracting preconditions and implementation results of atomic service as atomic action of an action theory and taking the action implementation as a state changing reason in the atomic service. On the basis, a model generated by the action implementation is inspected to whether meet temporal specification or not. The semantic Web service verification method can be used for compensating the defect that the limitation of the state changing reason in the Web service is not considered in the conventional verification method, and the Web service verification method is enriched under the semantic Web environment.

Description

technical field [0001] The invention relates to a semantic Web service verification method, in particular to a semantic Web service verification method based on dynamic description logic and model detection. Background technique [0002] Semantic Web service is the combination of semantic Web technology and Web service technology. By adding semantic information to the description of Web service, Web service becomes a computer-understandable entity, so as to realize automatic discovery, automatic selection, automatic combination and Automatic execution etc. With the increase of business requirements in real life, Web services are also showing a large and complex situation. In order to ensure the reliability of Web service development and application, the verification of Web services is particularly important. [0003] Model checking is a widely used formal verification technique. On the one hand, this technology uses the State Transition System (STS) to formally model the s...

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
IPC IPC(8): G06F11/36
Inventor 常亮王耀光徐周波孟瑜古天龙
Owner GUILIN UNIV OF ELECTRONIC TECH
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

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com