Retrieval Methods for Service Composition

Abstract

The invention provides a service combination retrieval method which is based on proof of the Coq theorem. Coq is an induction constructive proof tool based on the type theory, and has the capacity of constructive proof and proof process extraction of a functional expression. The process of construction proof is automatic or semi-automatic, correctness verification of service combination does not need to be detected after the service combination procedure is finished, but is strictly guaranteed through initial description and formal proof, and accordingly the service combination retrieval method is relatively simple.

Description

technical field [0001] The invention relates to a retrieval method of service combination. Background technique [0002] With the rapid development of computer and network technology, service-oriented computing (service-oriented computing, SOC) and service-oriented architecture (service-oriented architecture, SOA) have become important technologies in the software development industry. The essence of SOC and SOA is to solve the problem of large-scale resource sharing and coordination through standard information protocols based on loosely coupled distribution. Building a service-oriented system includes three main aspects: 1. Web service discovery (Discovery). On the basis of providing a reliable service warehouse, the system should be able to quickly and efficiently find the target service that meets the service request; 2. Web service composition (composition), service requirements in actual scenarios are often complex, therefore, the system should provide some means to c...

AI Technical Summary

Problems solved by technology

[0006] The standards and methods proposed above provide basic support for composite service discovery and execution, and different composition theories and methods also provide different ideas and optimization possibilities for service composition. Nevertheless, web service composition is still a complex task

[0007] The main reasons are: 1. The scale of available web services has exceeded the scope of human manual analysis. 2. Web services can usually be released, updated or deleted at any time, so the composite service system needs to detect and react at runtime to Guarantee its availability 3. Web services are usually released by different enterprise organizations, and the use and expression of conceptual models are different, so relevant semantic information is required for analysis

Images