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

Web service composition multi-objective verification method in 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: 2018-01-30
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF5 Cites 1 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
  • Web service composition multi-objective verification method in open environment
  • Web service composition multi-objective verification method in open environment
  • Web service composition multi-objective verification method in open environment

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0036] The present invention provides a web service combination multi-target verification method 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, the specific Web service composition process and the QoS attributes to be verified are abstracted. Specifically include the following steps:

[0038] (11) Analyze the tasks to be completed of the object to be studied, and define a set of abstract services to describe the system behavior. In this example, the online service system needs to complete the following tasks: choose a suitable shopping platform, such as JD.com and Taobao; It will be different; choose the payment platform, Alipay platform and WeChat payment platform are the most used now; choose express delivery, the arrival time and price of d...

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 in particular relates to a web service combination multi-object verification method in an open environment. Background technique [0002] Probabilistic model checking technology is a formal method to verify whether the finite state system satisfies the properties. Its purpose is to describe the given probabilistic system and its properties to be verified by the finite state model and temporal logic formula respectively, and then use the model Detectors to determine whether the system model satisfies the system properties. The general process of probabilistic model checking technology is to model the probability system to be tested, then use a formal language such as temporal logic formula to describe the system properties, and finally use the corresponding model checking analysis technology to judge whether the system model satisfies the system Attributes. ...

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