Trusted verification method for uniform function and performance of combinational internet of things service

Abstract

The invention relates to a trusted verification method for uniform function and performance of a combinational internet of things service, which comprises the following steps: a. According to the requirements of the combinational internet of things service, performing task partitioning and constructing a candidate service library; b. Designing a combinational service script based on extended BPEL,dividing a state space according to service execution conditions, calculating parameters, and converting the script description into a continuous time Markov return process; c. Describing verification properties of uniform function and performance based on the extended asCSL temporal logic; d. Converting the regular expression in a logic formula into a non-deterministic finite automaton, seekinga product model of the non-deterministic finite automaton and the continuous time Markov return process of the combinational internet of things service, and marking a path set satisfying a regular constraint; e. In the product model, using the model detection technique to perform reachability analysis, and calculating a probability value, so as to obtain a satisfiable state set. The trusted verification method for uniform function and performance of a combinational internet of things service in the invention can provide a credible guarantee for uniform function and performance of the combinational internet of things service at the time of design.

Description

technical field [0001] The invention relates to a formalized verification technology for combined Internet of Things services, in particular to a trusted verification method with unified functions and performances. Background technique [0002] The Internet of Things technology can connect various terminal devices to the Internet, which greatly extends or expands the traditional Internet. With the continuous development and application of cloud computing technology, the Internet of Things can provide various Internet of Things services based on the Internet. The Internet of Things service is a new type of information technology application form 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 Internet of Things servic...

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