共查询到16条相似文献,搜索用时 46 毫秒
1.
2.
3.
Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模. 相似文献
4.
5.
首先比较了当前资源调度的各种方法,讨论了把市场机制与语义相结合的原因及重要性.提出了基于市场机制和语义的服务调度模型(Market-Semantie).它包括本体相似度的计算、效用函数的确定、资源价格的确定、求约束条件下资源分配的最优解等.设计了基于语义元的本体相似性度量方法,把服务的性价比作为效用函数,实现了市场机制与语义的有效结合,为市场机制下根据语义获取用户满意的服务提供了一个方法与途径.最后,把Market-Se-mantic模型与Max-Semantic,Semantic-Cost-Max-Min等进行了比较,验证了Market-Semantie既能有效地分配资源,又能为用户提供满意的服务. 相似文献
6.
7.
8.
9.
10.
依据模型知识的特性,定义了模型描述本体和任务求解本体,为模型提供语义支持.模型语义分为描述语义和行为语义.基于描述语义的相似性判定,模型可进行潜在冲突预测;然后根据任务求解本体的定义,模型通过行为语义交互,进行行为协商;而在执行过程中,模型需要为每一个操作申请资源,因此模型根据模型描述本体和描述语义对资源申请进行协商,从而得到互不冲突的操作执行序列,消除冲突.最后通过实验分析验证算法的有效性. 相似文献
11.
规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式.但是,它现有的语义描述不够精确.首先介绍了规约模式系统及其现有的语义,并用它描述了实例的性质,接着采用模型检测工具SPIN验证了该系统表达的性质,通过对比验证结果及现有语义,给出了系统精确的语义描述. 相似文献
12.
13.
搭配在语言信息处理中具有重要的应用价值,通常我们主要关注符合语法规则的常规搭配.实际上,语言中还存在着大量的语法上符合规则而语义上不符合常规认知的语义超常搭配现象,而这样的现象与语言的隐喻表达和思维有着密切的联系,对自然语言理解将产生重要的影响.本文面向汉语隐喻理解来研究文本中语义超常搭配的自动发现方法,从汉语语义超常搭配判断的心理机制出发,提出了基于实例的汉语语义超常搭配识别的量化计算方法.实验以动词为中心的搭配语料为测试集,语义超常搭配识别的召回率为80.7%,准确率为81.5%.实验结果表明本文所给出的基于实例语义超常搭配判断的办法是切实可行的. 相似文献
14.
15.
本体合并与映射中的一个重要步骤是检测不同本体中的相似概念,以提供合并或者映射的作用点.通常,具有相似名称的概念常被作为候选.然而,完全有可能出现具有文字相似名称的概念在语义上却不相似,甚至不相容.本文提出了一个从四方面比较概念语义距离的方法,综合考虑了一个概念在本体中的位置以及概念的属性这些对于确定概念涵义非常重要的信息. 相似文献
16.