Trusted validation method of composite web service function and performance uniformity

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...

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

Images