Trusted validation method of composite web service function and performance uniformity

A verification method and web service technology, applied in transmission systems, electrical components, etc., can solve the problems of fragmentation of internal unity, inability to accurately determine the credibility of the system, and insufficient attention to the unified credibility of Web service functions and performance.

Inactive Publication Date: 2015-06-03
NINGBO UNIV
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

At the same time, most of the existing research focuses on the performance of time, and does not pay enough attention to the performance of space.
[0005] (2) Insufficient attention has been paid to the unified and trusted nature of combined Web service functions and performance
In fact, functions and performance characteristics are often closely related, and pure function verification or performance analysis models cannot be effectively and accurately described and analyzed; when the function is asserted to be correct, it implies that the performance indicators also meet the specified functional requirements. Requirement constraints; when intent to perform performance analysis, the first prerequisite is to ensure functional correctness
Existing methods are mostly independently validated
[0006] (3) The lack of a verification method for the unified nature of combined Web service functions and performance
This will lead to the following problems: first, the internal unity between the two is separated, and the system cannot be accurately judged. Second, it will lead to a variety of corresponding function or performance verification models. How to ensure the consistency between these models The problem of semantic consistency is also a key issue
Therefore, there is no business process script description framework, formal modeling framework and verification algorithm suitable for unified verification requirements

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
  • Trusted validation method of composite web service function and performance uniformity

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0023] The present invention will be further described below in conjunction with accompanying drawing.

[0024] Such as figure 1 As shown, the trusted verification method combining Web service functions and performances includes the following steps:

[0025] a. Obtain the Qos experience data of all service operations through repeated invocation of a single service, and divide, classify, and organize them according to the service's functions and Qos levels. On this basis, according to the combined Web service functional requirements and combined with the candidate service resource library, the task cycle is decomposed, so that each atomic task has a corresponding candidate service element instance, that is, the mapping from the task module to the virtual service is realized.

[0026] b. According to the extended BPEL4WS grammar, design the script model of the combined Web service business process; divide the state space of the combined Web service according to the different exec...

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 validation method of composite web service function and performance uniformity. The method comprises the following steps of a, according to a composite Web service requirement, carrying out task partitioning, and building a candidate service library; b, according to an extended BPEL4WS (Business Process Execution Language), designing a composite service process script model; dividing a state space according to service execution situations, calculating parameters, and translating script description into a continuous time Markov reward process; c, on the basis of extended asCSL temporal logic, describing validation property of function and performance uniformity; d, translating regular expressions in a temporal logic formula into a non-deterministic finite automaton, obtaining a vector product model of the finite automaton and the composite Web service continuous time Markov reward process, and marking a path set meeting the requirement of regularization constrains; e, applying a random model detecting technique in the vector product model to carry out reachability analysis and calculating a probability value, thus obtaining a property satisfaction state set. The validation method can provide trusted guarantee for composite web service function and performance uniformity during design.

Description

technical field [0001] The invention relates to a formalized verification technology of combined Web services, in particular to a trusted verification method with unified functions and performances. Background technique [0002] Web service is a new type of software distributed in the Internet that can be freely accessed anytime and anywhere. It is a distributed application technology framework based on the existing mature Internet technology. With the rise and development of new computing models such as service computing and cloud computing, there will be more and more Web service units that can be freely accessed by traditional PC terminals or mobile devices in the Internet. Using service composition technology to combine these independent Web services can conveniently and quickly construct various complex value-added Web applications, thereby greatly saving development and implementation costs and improving efficiency. [0003] Like traditional software forms, before app...

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): H04L29/06H04L29/08
Inventor 钮俊
Owner NINGBO UNIV
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