High-Precision Service Matching Based on Formal Semantic Description

Service matching is a key research area in Web Service Application. Most existing matching methods gain low precision so that they are not satisfied to use for automatic service discovery in various applications, such as dynamic and automatic service substitution. To solve the problem, this paper proposes a high-precision matching method based on the formal semantic description of services. In our method, we use input, output and the internal logic process to clarify the function of the service. Domain Conception Ontology is used to describe the input and output. SOFL and Domain Process Ontology are introduced to describe the internal logic process. Based on these descriptions, Domain Ontology matching, IO matching and Process matching are conducted successively to give out the high-precision matching result. We define the matching rules and give a case study to illustrate the matching method.