公开(公告)号：CN105677766A

公开(公告)日：2016-06-15

申请号：CN201511023815.2

申请日：2015-12-30

Applicant: 南京理工大学

Inventor： 刘冬梅 ,  杨芸菲 ,  吴献 ,  朱鸿 ,  陈颖 ,  张鑫 ,  兰斌

IPC: G06F17/30

CPC classification number: G06F16/958

Abstract: 本发明公开了一种Web服务语义的代数规约到本体描述的转换及评估方法，包括两部分：1）实现两种Web服务语义描述方法的自动转换，即代数规约到本体描述的转换；2）对1)中转换所得的本体描述进行自动评估。代数规约到本体描述的转换使得代数规约形式化方法在支持自动化测试和验证的同时，也能够支持高效的服务搜索，从而提高Web服务的功能正确性和可用性。为验证转换所得的本体描述是高质量的，提出面向Web服务语义描述的本体质量模型，采用4个客观质量标准，从4个维度构造8个度量要素，通过37个度量值来评估转换所得的本体描述。本发明提出的代数规约到本体描述的转换是可行和有效的。