Semantic Web service composite automatic validation method and system

Abstract

The invention provides a semantic Web service composite automatic validation method and a semantic Web service composite automatic validation system. According to the method, the Web service of OWL-S description is converted into one atomic process automaton, and the atomic process automaton is combined into composite process automation; the redundancy concurrence and the asynchronous migration of the composite process automation are eliminated to obtain an optimized model; according to compatibility requirements limited by users, the acceptable location set of the composite process automation is determined; according to the validity requirements limited by the users, a logic formula CSV is determined; the optimized model is converted into modeling language of UPPAAL, and the acceptable location set and the logic formula CSV are expressed into a CTL formula; a composition service model described by the modeling language and the CTL formula are input into UPPAAL for validation; the description on the combination process and the atomic process in the OWL-S process is more concrete and complete, the composite operation can be taken without differences, the logic formula and the expression are supported, the description capability is higher, and the validation efficiency is improved.

Description

technical field [0001] The invention relates to an automatic verification method and system of semantic Web service combination. Background technique [0002] With the continuous improvement of Web service standards and the continuous maturity of enterprise-level software platforms supporting Web services, more and more enterprises and commercial organizations have participated in the ranks of Software as a Service (Software as a Service), and have turned their business Functions and components are packaged into standard Web services and released to achieve the purpose of quickly and conveniently seeking partners, tapping potential customers and achieving business value-added. However, due to the complex trend of user needs, it is difficult for a single Web service to provide the functions required by users. However, if multiple simple Web services with limited functions distributed on the Web communicate and cooperate according to the shared context strategy to form comple...

AI Technical Summary

Problems solved by technology

However, in the face of increasingly complex Web service composition, the level of composite service designers and the ability of composite service design tools are increasingly insufficient, and it is difficult to ensure that the composition of services will not go wrong

[0005] (2) The user can only remotely call the required service line, and cannot control its execution process

[0041] (1) It can only describe two types of message transmission modes that input first and then output, but cannot describe the other two types of message transmission modes that output first and then input

[0042] (2) There is no system to provide a method for converting execution prerequisites into colored tokens

[0043] (3) The described execution effects only involve changes in the number of messages, and cannot be described for other types of execution effects (such as changes to the environment)

[0044] (4) The verification process requires manual participation, which is easy to introduce new errors

[0045] (5) The objects of the combination operation are all atomic services, and no method is given to combine the composite services with multiple control structures inside

[0046] (6) There is no analysis of the good properties required for the operation of the combined service, but it is simply attributed to the security or activity analysis of the technology used. Not only is its rationality questionable, but it is also impossible to set the strength of security according to actual needs , increasing the difficulty of service composition

Images