A service compilation model formalized verification method based on description logic

A formal verification and description logic technology, applied in inference methods, office automation, data processing applications, etc., can solve the problem that composite services cannot interact normally, consistency, integrity, state accessibility, and lack of formal reasoning verification. mechanism, etc.

Inactive Publication Date: 2019-05-21
ARMY ENG UNIV OF PLA +1
View PDF3 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

In the previous research, there was relatively little verification of the consistency, completeness, and state accessibility of the service orchestration model, and a complete and systematic formal reasoning verification mechanism was lacking. The consistency and integrity of the model itself are the key to ensuring the correctness of the model. Sexual basis, it is very likely that the composite service will not be able to interact normally

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
  • A service compilation model formalized verification method based on description logic
  • A service compilation model formalized verification method based on description logic
  • A service compilation model formalized verification method based on description logic

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0121] In order to verify the effectiveness of the scheme of the present invention, taking the shopping order model in e-commerce as an example, the application concept model is constructed under the guidance of the meta-concept model, and based on SHOIN (D) with the help of Pellet, the consistency, integrity, and state of the model can be realized. reach verification.

[0122] 1 Construction of service orchestration application concept model

[0123] The customer sends a shopping order request to the seller. After receiving the request, the seller will check the customer's credit record with the bank and check the inventory of the product with the supplier. If the credit is good and the inventory is sufficient, the order will be accepted, otherwise the order will be rejected. The business process and information interaction of the shopping order business are as follows: image 3 shown.

[0124] The service orchestration involves four roles: Buyer, Seller, Bank, and Supplier...

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 service compilation model formalized verification method based on description logic. The method comprises the steps of defining a WS- CDL based service compilation element concept models and domain rules, wherein the service compilation element concept models comprise service compilation elements and element relation sets, and the domain rules comprise consistency rules,integrity rules and deductive reasoning rules; Establishing an application concept model by combining the service compilation element concept model according to the service cooperation requirements ofthe users; According to the verification method based on the SHOIND, a service compilation element concept model, an application concept model and a field rule are converted, and data consistency andintegrity verification and rule-based reasoning verification are achieved. The method has the description capability, the automation degree and the verification efficiency of a traditional system verification method, does not have the problem of state explosion, and also has obvious advantages in the aspects of reasoning decidability, knowledge reuse and the like.

Description

technical field [0001] The invention relates to an intelligent analysis technology, in particular to a formalized verification method of a service orchestration model based on description logic. Background technique [0002] In recent years, the industry and researchers have proposed a new service composition construction idea based on Choreography. The basic idea is to first describe the composition and collaboration among a group of independent services distributed on the network from a global perspective, and then automatically generate service-based The realization of each part of Orchestration. Web Services Choreography Description Language, WS-CDL is a service choreography description language based on a global perspective, which defines a set of rules that must be followed for collaboration and interaction between services from a global perspective. However, as an XML-based descriptive language, WS-CDL lacks a formalized model and verification mechanism, making it di...

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): G06N5/04G06Q10/10
Inventor 张婷婷张奎昌董会牛彦杰
Owner ARMY ENG UNIV OF PLA
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
Try Eureka
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap