A multi-objective verification method for web service composition in an open environment

A verification method and web service technology, applied in the field of computer software engineering development, can solve problems such as difficult environments

Active Publication Date: 2020-10-20
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF5 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Introduce an explicit environment model to interact with the Web service composition model to truly simulate the Web service composition process in an open environment, and solve the problems caused by the uncertainty of the environment and the multi-objective nature of user needs in a complex open environment. The problem that the traditional Web service composition authentication method is difficult to use directly

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 multi-objective verification method for web service composition in an open environment
  • A multi-objective verification method for web service composition in an open environment
  • A multi-objective verification method for web service composition in an open environment

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0036] The present invention provides a multi-object verification method for Web service composition in an open environment, which cooperates with figure 1 As shown, the following will take an online shopping service system as an example to describe the technical solution of the present invention in detail.

[0037] (1) According to the characteristics of the object to be studied, abstract the specific Web service composition process and the QoS attributes to be verified. Specifically include the following steps:

[0038] (11) Analyze the tasks to be completed by the object to be studied, and define a set of abstract services to describe system behavior. In this example, the online service system needs to complete the following tasks: choose a suitable shopping platform, such as Jingdong, Taobao; choose a suitable store, as a different store, the price of the same goods may be different, and the discounts you have It will be different; when choosing a payment platform, Alipay and ...

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 Web service composition multi-objective verification method in an open environment. The method comprises the following steps of: abstracting a Web service composition processand a QoS attribute and modeling the Web service composition process into a multi-objective Markov decision process; abstracting an environmental condition influencing the Web service composition process and modeling the environmental condition into a traditional Markov decision process interacting with the Web service composition model to truly simulate the dynamic environmental influence on theWeb service composition in a complex open environment; according to user preferences, modeling the QoS attribute into as a multi-objective sequential logic formula; using the Web service compositionmodel, the environmental model and the multi-objective sequential logic formula as inputs of the method and using a probabilistic model detection tool to finally obtain a quantitative result that meets the needs of users and to export a corresponding strategy. The method solves a problem that the traditional Web service composition verification method is difficult to be directly used due to environmental uncertainty and multi-objective requirement of the users in the complex open environment.

Description

Technical field [0001] The invention belongs to the technical field of computer software engineering development, and particularly relates to a multi-object verification method for Web service composition in an open environment. Background technique [0002] Probabilistic model checking technology is a formal method for verifying whether a finite state system satisfies the attributes. Its purpose is to describe a given probability system and its attributes to be verified with finite state models and temporal logic formulas, and then use the model The detector determines whether the system model satisfies the system attributes. The general process of probabilistic model checking technology is to model the probabilistic system to be tested, then use a formal language such as temporal logic formula to describe the system attributes, and finally use the corresponding model checking analysis technology to judge whether the system model satisfies the system Attributes. From this we c...

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): H04L12/24H04L29/08
Inventor 周宇周女琪魏欧
Owner NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
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