-
公开(公告)号：CN102426521B
公开(公告)日：2014-04-16
申请号：CN201110338039.0
申请日：2011-10-28
Applicant: 东南大学
IPC: G06F9/44
Abstract: 本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，主要用于解决形式化验证方法理论性过强所带来的难以普遍应用的难题。本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证；进行模型转换之前，需要定义HybridUML和QHP的元模型，转换时首先消除顶层Mode具有的层次性，转换后得到的模型称为FlatMode，然后根据FlatMode和QHP之间宏观语义以及元语义的一致性确定转换规则，然后利用ATL语言描述转换规则，实现FlatMode模型到QHP媒介模型的转换，然后利用自定义模板语言实现QHP媒介模型到QHP代码的转换。
-
公开(公告)号：CN102880637A
公开(公告)日：2013-01-16
申请号：CN201210279363.4
申请日：2012-08-07
Applicant: 东南大学
IPC: G06F17/30
Abstract: 本发明公布了一种基于用户诚实度的动态的Web服务信任评估方法。首先根据用户对服务的要求，自动挖掘用户偏好；根据用户偏好划分相似用户群，在偏好相似用户群中进行评价一致性聚类，区分诚实用户与恶意用户，计算偏好相似用户群的用户诚实度，根据用户诚实度的变化，动态调整主观评价在综合信任计算中的权重，从而降低恶意评价对Web服务信任评估的影响，提高信任评估的准确性，更好地指导用户进行可信服务的选择。
-
公开(公告)号：CN102426521A
公开(公告)日：2012-04-25
申请号：CN201110338039.0
申请日：2011-10-28
Applicant: 东南大学
IPC: G06F9/44
Abstract: 本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，主要用于解决形式化验证方法理论性过强所带来的难以普遍应用的难题。本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证；进行模型转换之前，需要定义HybridUML和QHP的元模型，转换时首先消除顶层Mode具有的层次性，转换后得到的模型称为FlatMode，然后根据FlatMode和QHP之间宏观语义以及元语义的一致性确定转换规则，然后利用ATL语言描述转换规则，实现FlatMode模型到QHP媒介模型的转换，然后利用自定义模板语言实现QHP媒介模型到QHP代码的转换。
-
公开(公告)号：CN102902521B
公开(公告)日：2015-09-30
申请号：CN201210306508.5
申请日：2012-08-14
Applicant: 东南大学
IPC: G06F9/44
Abstract: 本发明公布了一种基于XCFG的组合服务可信性演化影响分析方法。首先，将演化前的组合服务建模为XCFG，并根据组件服务间的数据依赖关系建立组件服务之间的数据依赖图；其次，将演化后的组合服务转换为XCFG及对应的组件服务数据依赖图；根据组合服务可信性计算方法识别出演化操作对哪些组件服务的可信性产生影响并确定需要重新计算可信性的流程片段；最后，计算整个组合服务演化后的可信性并评估该演化操作对组合服务可信性的影响。本发明所提出的组合服务可信性演化影响分析方法能够准确评估该演化对组合服务可信性的影响。
-
公开(公告)号：CN102880784A
公开(公告)日：2013-01-16
申请号：CN201210268698.6
申请日：2012-07-31
Applicant: 东南大学
IPC: G06F19/00
Abstract: 本发明提出了一种基于数据依赖的组合服务可信性计算方法。由BPEL语言编写的组合服务的可信性由组合服务的控制结构、组件服务间的依赖关系、组件服务的信任值以及用户反馈共同决定。首先由BPEL流程中变量的依赖关系推导出组件服务间的依赖关系，并根据这种依赖关系对组件服务的纯粹信任值进行预处理；其次对BPEL中的控制结构，包括顺序、选择、并发和循环，提出不同的约减规则，以计算组合服务基于控制结构的信任值；最后通过用户反馈信息修正基于控制结构的信任值，作为组合服务最终的全局信任值。
-
Patent Agency Ranking
公开(公告)号：CN102880784B
公开(公告)日：2015-09-30
申请号：CN201210268698.6
申请日：2012-07-31
Applicant: 东南大学
IPC: G06F19/00
Abstract: 本发明提出了一种基于数据依赖的组合服务可信性计算方法。由BPEL语言编写的组合服务的可信性由组合服务的控制结构、组件服务间的依赖关系、组件服务的信任值以及用户反馈共同决定。首先由BPEL流程中变量的依赖关系推导出组件服务间的依赖关系，并根据这种依赖关系对组件服务的纯粹信任值进行预处理；其次对BPEL中的控制结构，包括顺序、选择、并发和循环，提出不同的约减规则，以计算组合服务基于控制结构的信任值；最后通过用户反馈信息修正基于控制结构的信任值，作为组合服务最终的全局信任值。
-
公开(公告)号：CN102780580B
公开(公告)日：2015-02-25
申请号：CN201210209892.7
申请日：2012-06-21
Applicant: 东南大学
Abstract: 本发明公布了一种基于信任的组合服务优化方法，其综合考虑组件服务间的接口匹配性和具体绑定方案的可信性，从保障服务的可组合性和求解信任值最高的具体绑定方案两方面实现基于信任的组合优化。本发明的方法首先在抽象组合流程的基础上获得每个抽象服务对应的具体服务集；其次解析具体服务的接口描述文档，并依据解析结果将具有相同或相似接口的具体服务聚为一类；然后在聚类的基础上实现基于功能和接口匹配的服务组合模板；再根据用户的需求定义可信性评估影响因素和权重参数；最后依据组合流程的控制结构提出不同的约减规则计算组合服务的信任值，选择信任值最高的方案实现具体绑定，以提高组合服务的组合成功率，提高和保障组合服务的可信性。
-
公开(公告)号：CN102780580A
公开(公告)日：2012-11-14
申请号：CN201210209892.7
申请日：2012-06-21
Applicant: 东南大学
Abstract: 本发明公布了一种基于信任的组合服务优化方法，其综合考虑组件服务间的接口匹配性和具体绑定方案的可信性，从保障服务的可组合性和求解信任值最高的具体绑定方案两方面实现基于信任的组合优化。本发明的方法首先在抽象组合流程的基础上获得每个抽象服务对应的具体服务集；其次解析具体服务的接口描述文档，并依据解析结果将具有相同或相似接口的具体服务聚为一类；然后在聚类的基础上实现基于功能和接口匹配的服务组合模板；再根据用户的需求定义可信性评估影响因素和权重参数；最后依据组合流程的控制结构提出不同的约减规则计算组合服务的信任值，选择信任值最高的方案实现具体绑定，以提高组合服务的组合成功率，提高和保障组合服务的可信性。
-
公开(公告)号：CN102880637B
公开(公告)日：2015-04-08
申请号：CN201210279363.4
申请日：2012-08-07
Applicant: 东南大学
IPC: G06F17/30
Abstract: 本发明公布了一种基于用户诚实度的动态的Web服务信任评估方法。首先根据用户对服务的要求，自动挖掘用户偏好；根据用户偏好划分相似用户群，在偏好相似用户群中进行评价一致性聚类，区分诚实用户与恶意用户，计算偏好相似用户群的用户诚实度，根据用户诚实度的变化，动态调整主观评价在综合信任计算中的权重，从而降低恶意评价对Web服务信任评估的影响，提高信任评估的准确性，更好地指导用户进行可信服务的选择。
-
公开(公告)号：CN102902521A
公开(公告)日：2013-01-30
申请号：CN201210306508.5
申请日：2012-08-14
Applicant: 东南大学
IPC: G06F9/44
Abstract: 本发明公布了一种基于XCFG的组合服务可信性演化影响分析方法。首先，将演化前的组合服务建模为XCFG，并根据组件服务间的数据依赖关系建立组件服务之间的数据依赖图；其次，将演化后的组合服务转换为XCFG及对应的组件服务数据依赖图；根据组合服务可信性计算方法识别出演化操作对哪些组件服务的可信性产生影响并确定需要重新计算可信性的流程片段；最后，计算整个组合服务演化后的可信性并评估该演化操作对组合服务可信性的影响。本发明所提出的组合服务可信性演化影响分析方法能够准确评估该演化对组合服务可信性的影响。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.033 seconds)
