-
公开(公告)号：CN101827125B
公开(公告)日：2013-04-10
申请号：CN201010136558.4
申请日：2010-03-31
Applicant: 吉林大学
Abstract: 本发明的语义Web服务本体及其应用属于信息服务的技术领域。通过在语义Web服务本体中构造的三类本体语义：服务行为语义、可信评价语义和协作关系语义，实现了从已公开发布并运行在Web上的应用软件和Web服务到语义Web服务的软件服务化的生成和服务语义化的转换再生成的方法。基于三类本体语义的自动推理实现了包括语义Web服务的自动发现、可信性评价和自动组合在内的语义Web服务演化方法。本发明方法的具体实施框架包括语义Web服务本体构造器、语义Web服务本体转换器和语义Web服务本体推理机，实现了面向特定应用领域和跨领域交叉应用的需求、具有高可信性的智能化特色的语义Web服务生成、演化和应用。
-
公开(公告)号：CN101827125A
公开(公告)日：2010-09-08
申请号：CN201010136558.4
申请日：2010-03-31
Applicant: 吉林大学
Abstract: 本发明的语义Web服务本体及其应用属于信息服务的技术领域。通过在语义Web服务本体中构造的三类本体语义：服务行为语义、可信评价语义和协作关系语义，实现了从已公开发布并运行在Web上的应用软件和Web服务到语义Web服务的软件服务化的生成和服务语义化的转换再生成的方法。基于三类本体语义的自动推理实现了包括语义Web服务的自动发现、可信性评价和自动组合在内的语义Web服务演化方法。本发明方法的具体实施框架包括语义Web服务本体构造器、语义Web服务本体转换器和语义Web服务本体推理机，实现了面向特定应用领域和跨领域交叉应用的需求、具有高可信性的智能化特色的语义Web服务生成、演化和应用。
-
公开(公告)号：CN105184170B
公开(公告)日：2017-07-28
申请号：CN201510599859.3
申请日：2015-09-21
Applicant: 吉林大学
IPC: G06F21/57
Abstract: 本发明公开了一种基于形式化程度的领域软件可信性评估方法，包含以下步骤：步骤(1)建立需要考察的领域软件特性的属性模型；步骤(2)选择与属性相关的证据，自定义运算逻辑，建立评估模型；步骤(3)根据评估需求，基于评估模型，自定义映射条件，建立可信等级模型；步骤(4)对选择的领域软件证据进行形式化分析，基于评估模型度量软件的形式化程度，通过与等级模型的匹配和映射，对领域软件的可信性进行评价。本发明充分考虑了领域软件的通用属性和领域特性，将形式化程度的分析引入到领域软件的可信性评估中，使评估结果具有更高的可信度，同时，通过建立属性模型、评估模型和等级模型，能够为领域软件可信性分析及后续研究提供更加有力的支持。
-
公开(公告)号：CN105184170A
公开(公告)日：2015-12-23
申请号：CN201510599859.3
申请日：2015-09-21
Applicant: 吉林大学
IPC: G06F21/57
CPC classification number: G06F21/577 , G06F2221/033
Abstract: 本发明公开了一种基于形式化程度的领域软件可信性评估方法，包含以下步骤：步骤(1)建立需要考察的领域软件特性的属性模型；步骤(2)选择与属性相关的证据，自定义运算逻辑，建立评估模型；步骤(3)根据评估需求，基于评估模型，自定义映射条件，建立可信等级模型；步骤(4)对选择的领域软件证据进行形式化分析，基于评估模型度量软件的形式化程度，通过与等级模型的匹配和映射，对领域软件的可信性进行评价。本发明充分考虑了领域软件的通用属性和领域特性，将形式化程度的分析引入到领域软件的可信性评估中，使评估结果具有更高的可信度，同时，通过建立属性模型、评估模型和等级模型，能够为领域软件可信性分析及后续研究提供更加有力的支持。
-
-
-
Search Results
4
records
(took 0.018 seconds)
