Formal description method and device of Web service protocol semantics

Abstract

The invention provides a formal description method and device of Web service protocol semantics. The method comprises the following steps of: defining a formal model describing XML (extensible markup language) data according to the set theory and the first-order logic, and defining the formal operation corresponding to the formal model; defining the logic processing sentences corresponding to the formal model and the formal operation; decomposing the Web service protocol semantics to obtain the migration between the protocol statuses; representing the protocol status by use of the formal model and the formal operation; and describing the migration between the protocol statuses by use of the logic processing sentences to realize the formal description of the Web service protocol semantics. Through the technical scheme of the invention, the formal description of the Web service protocol semantics can be realized, and the correct realization of the Web service protocol is guaranteed.

Description

technical field [0001] The computer technology of the present invention particularly relates to a method and device for formally describing the semantics of a Web service protocol. Background technique [0002] The rapid development of the Internet has led to the existence of a large number of heterogeneous application systems in the existing network, these systems provide a wealth of software services; and service-oriented computing and service-oriented architecture enable users to use these services conveniently, and enable various Flexible interoperability between services. Among them, the Web service technology is a new type of network software model based on the Extensible Markup Language (XML) protocol family to realize the service-oriented architecture, which is used to realize the interaction between heterogeneous application systems. operate. Through unified technical specifications, Web service technology realizes the unified function representation, sharing, int...

AI Technical Summary

Problems solved by technology

However, both types of languages ​​have some defects: the state-based language is easy to understand when the protocol state is small, but as the protocol complexity increases, the problem of "state space explosion" will occur, and it is not conducive to accurately describe the state ; Sequence-based language can accurately describe the state, but the description is less intuitive, which is not conducive to the implementation of the protocol

The existing protocol formal description method is not optimized for the XML data format, and cannot clearly and simply describe the XML-based Web service protocol, that is, the existing formal description technology is not suitable for Web service protocols, and cannot be accurately and strictly Describes the execution semantics of the protocol, and cannot guarantee the correct implementation of the protocol

Images