Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Algebraic-specification to ontology-description conversion and assessment method of Web service semantics

A web service and ontology technology, applied in the field of semantic web services, can solve the problems of not being able to distinguish domain knowledge and service function semantics, define services, etc., and achieve the effects of improving functional correctness and usability, efficient service search, and good versatility

Inactive Publication Date: 2016-06-15
NANJING UNIV OF SCI & TECH
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the traditional algebraic specification tone cannot be used to define services, and the traditional algebraic specification language is not able to distinguish between domain knowledge and service functional semantics

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Algebraic-specification to ontology-description conversion and assessment method of Web service semantics
  • Algebraic-specification to ontology-description conversion and assessment method of Web service semantics
  • Algebraic-specification to ontology-description conversion and assessment method of Web service semantics

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0019] The present invention is a research topic in the formalized engineering of service-oriented computing, and proposes a conversion and evaluation method from algebraic specification of Web service semantics to ontology description, and all processes of the method are as follows figure 2 shown. Firstly, a series of transformation rules are constructed to realize the automatic transformation from algebraic reduction to ontology description, and then metrics are automatically generated from the transformed ontology description according to ontology quality model evaluation. The specific implementation of this method includes the following five steps:

[0020] Step 1: Analyze the Web service description, automatically generate the keynote part of the SOFIA protocol, and manually write the axiom part of the SOFIA protocol on this basis to construct a complete SOFIA protocol;

[0021] Step 2: Analyze the SOFIA statute, automatically check whether the statute syntax and axiom ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses an algebraic-specification to ontology-description conversion and assessment method of Web service semantics. The algebraic-specification to ontology-description conversion and assessment method comprises two parts that 1) two kinds of Web service semantics description methods are automatically converted, i.e., conversion of algebraic-specification to ontology-description is achieved; and 2) the ontology-description obtained through the conversion process is assessed. The conversion of algebraic-specification to ontology-description makes an algebraic-specification formalization method support automatic tests and verification and support efficient service search, and therefore function correctness and availability of Web services are improved. In order to verify the ontology-description obtained through the conversion process is high in quality, an ontology quality model aiming at Web service semantics description is provided, four objective quality standards are employed, eight measurement factors are constructed from four dimensions, and the ontology-description obtained through the conversion process is assessed through 37 measurement values. The conversion of algebraic-specification to ontology-description is feasible and effective.

Description

technical field [0001] The invention relates to the field of semantic Web services, in particular to a conversion and evaluation method for Web service semantics-oriented algebraic specification and ontology description. Background technique [0002] With the advent of the information age, Web services play an increasingly important role in e-commerce, enterprise applications, and other fields due to their own autonomy, platform independence, and wide range of service technologies. It is a software application system that can be described and discovered, and can be obtained in various networks through Extensible Markup Language (XML), Unified Markup Language and standard protocols. [0003] Web service description refers to a unified description of the service requester's needs and the services issued by the service provider, so as to facilitate service discovery. The development process of service description can be divided into three stages: keyword-based, syntax-based an...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06F17/30
CPCG06F16/958
Inventor 刘冬梅杨芸菲吴献朱鸿陈颖张鑫兰斌
Owner NANJING UNIV OF SCI & TECH
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com