基于OWL-S的Web服务组合的验证研究

为保证基于OWL-S的Web服务组合的正确性和可靠性，验证组合服务的交互协议．采用一种三层体系结构思想，即以OWLS来组合服务，以GA模型为中间模型，以Promela模型为验证模型．设计和实现了服务组合模型到GA模型的转化，并将GA模型转化为Promela模型，最后利用SPIN工具完成验证。由于采用了中间模型．该方法具有极好的灵活性和可扩展性，并且较好地解决了Web服务的特征给模型验证带来挑战的问题。     

应用OWL-S实现Web服务合成的语义描述

从Web服务合成的角度出发，研究了Web服务的语义描述，从Web服务的语义描述语言OWL-S的结构入手，详细介绍了应用OWL-S实现服务合成的建模过程的语义描述的方法．并通过一个行程安排的实例进行具体的分析。     

基于本体的Web服务行为语义建模方法

提出一种基于本体的Web服务的服务行为语义建模方法,对于Web服务提供的服务行为、用户预期的服务行为、以及服务组合的交互行为之间的一致性关系进行了语义建模,构建了判断Web服务提供的服务行为是否符合用户预期的本体描述和语义计算模型,利用现有Web服务样本进行实验验证并给出性能分析.     

基于语义Web服务的发布/订阅模型研究

基于面向服务架构,引入发布/订阅通信方式,提出了基于语义Web服务的发布/订阅模型,可以满足时间解耦、空间解耦和同步解耦的需求.模型通过基于OWL-S的服务描述解决了服务的语义问题.具体探讨了在语义Web服务的发布/订阅模型下,Web服务语义描述模型、语义Web服务匹配模型和语义Web服务匹配流程的设计策略和方法.     

一种UML2．0模型动态特性的一致性验证方法

近年来，UML已经被广泛应用于软件的分析和设计，然而，由于软件系统的复杂性，在UML模型中，难免会引入不同图表间特别是动态视图之间的不一致性。提出了一种用于验证UML2．0模型状态图和顺序图一致性的方法。首先，用XYZ／E来形式化描述状态图并将其转化为Promela输入语言；然后，用LTL来表示顺序图间的相互作用；最后利用模型检测工具Spin通过检查Promela描述的状态图是否满足LTL公式来达到检测模型一致性的目的。     

UML活动图到时间Petri网的映射方法

UML被广泛应用于嵌入式实时系统等领域的建模,而嵌入式实时系统对时间响应的要求非常严格,UML缺乏对系统时间约束的描述和形式化语义。因此,提出了一种结合MARTE与UML带有时间约束的UML活动图模型,并定义相应的映射规则,将该活动图模型映射到时间Petri 网模型,最后通过实例验证了该映射方法的正确性和实用性。     

基于SPARQL-DL的语义Web服务查询

语义Web服务发现是当前Web服务研究领域的热点,其核心研究内容是服务描述及相应的发现方法.服务描述分为请求描述与发布描述,发布描述具有描述完整,信息丰富的特征,而服务请求描述仅关注服务的部分特征,通常不构成一个完整的服务描述.现有方法使用相同机制进行请求描述与发布描述,以比对请求与发布中对应部分的同一性或相似性作为匹配依据.构建假想的完整服务描述作为服务请求既不合理也难以实施,从而限制了方法的实用性.本文提出以语义Web查询语言SPARQL-DL作为服务请求描述语言,以OWL-S作为服务发布描述语言,将服务发现问题转化为知识库的查询,从而进行有效的服务发现.通过实验,证实了该方法具有实用性强,简单可靠的特点.     

UML类模型的VDM++形式化规约

利用目前使用最为广泛的形式化验证语言VDM++在描述系统模型的语法和语义上的精确、一致的特点,结合VDMTOOLS和Rational Rose工具把UML类模型中的各个元素转化成VDM++表示,从而实现对UML类模型中所包含的各个元素进行语法和语义的检查。进一步提高UML的建模质量。     

基于XYZ/ADL的Web服务组合描述与验证

Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.     

基于OWL-S的地理空间信息服务描述与发现

在分析空间信息服务特点的基础上,对Web服务本体语言(OWL-S)进行扩展,使其可以准确地描述空间信息服务。提出了基于语义的空间信息Web服务"三阶段"匹配方法,实现空间信息服务发现,分别针对基本信息、功能描述、服务质量对服务进行匹配,并根据用户的偏好对服务进行优化排序。实验表明,基于此匹配方法的空间信息服务查准率和查全率明显高于常规的基于关键字的服务匹配方法。     

An improved hybrid semantic matching algorithm with lexical similarity

In this paper, we proposed an improved hybrid semantic matching algorithm combining Input/Output (I/O) semantic matching with text lexical similarity to overcome the disadvantage that the existing semantic matching algorithms were unable to distinguish those services with the same I/O by only performing I/O based service signature matching in semantic web service discovery techniques. The improved algorithm consists of two steps, the first is logic based I/O concept ontology matching, through which the candidate service set is obtained and the second is the service name matching with lexical similarity against the candidate service set, through which the final precise matching result is concluded. Using Ontology Web Language for Services (OWL-S) test collection, we tested our hybrid algorithm and compared it with OWL-S Matchmaker-X (OWLS-MX), the experimental results have shown that the proposed algorithm could pick out the most suitable advertised service corresponding to user’s request from very similar ones and provide better matching precision and efficiency than OWLS-MX.     

基于语义Web的电信服务组合研究

针对电信业务领域服务数量的不断增加,以及用户需求多样化的实际情况,通过研究语义Web服务、OWL-S等语义相关技术,提出一个基于语义Web的电信服务组合模型,设计了电信业务领域本体库,实现了电信业务领域知识的共享,在此基础上,提出电信服务组合流程,并在实际环境中进行例证。     

基于本体论和标记图相似性的Web服务匹配算法

随着各种已有Web服务数量的日趋增加，如何快速发现可用的Web服务变得愈加重要。而随着语义Web服务的不断发展．Web服务发现也从原来的单纯采用关键字或简单分类逐渐转变为更多地使用语义信息。发现的关键在于匹配，而目前一些较成熟的技术，如OWL—S，采用了本体技术对Web服务进行描述．因此，文章提出了一个基于图相似性的本体匹配算法．通过构建Web服务本体并转化成标记图进行匹配．实现语义Web服务描述的匹配，从而准确快速地发现满足特定需求的Web服务。     

Creative and high-quality image composition based on a new criterion

Image compositing techniques are primarily utilized to achieve realistic composite results. Some existing image compositing methods, such as gradient domain and alpha matting, are widely used in the field of computer vision, and can typically achieve realistic results, especially for seamless boundaries. However, when the candidate composite images and the target images have obvious differences, such as color, texture and brightness, the composite results are unrealistic and inconsistent. At the same time, traditional compositing methods focus on basic feature matching, ignoring semantic rationality in composition processing. Quite a few compositing methods thus generate composite results without semantic rationality.In this paper, a new multi-scale image composition method has been presented. In the composition process, wavelet pyramid and basic feature handling were used to achieve multi-scale compositions. More importantly, a new criterion was established, based on the semantic rationality of images, which could ensure that the composite images are semantically valid. A large database was created to facilitate experimentation. The experiments showed that the methodology introduced in this paper produced superior results compared to traditional composition methods; the composite results were not only consistent and seamless, but were also semantically valid.     

基于OWL-S的服务发现语义匹配机制

 本文提出一种基于OWL-S的语义web服务匹配系统的机制,将语义元素引入UDDI系统中,从而在UDDI中保存语义信息.系统通过语义服务匹配算法提高web服务匹配的准确度和召回率,并通过数据映射机制保证模型对于当前的服务发现标准UDDI基础架构的兼容以及UDDI标准操作接口的透明性.系统使用本体概念的索引机制提高服务发现的效率.而且,系统在建立和维护索引的过程、或服务的匹配过程中使用近似概念搜寻算法进一步提高本体概念搜寻和服务匹配的效率.     

基于Chord的带有QoS的语义Web服务发现方法研究

服务的描述语言,元数据的存储方式以及服务的匹配算法是影响服务发现效率和质量的3个主要问题。该文从这3个问题出发,提出了基于Chord的带有QoS的语义Web服务发现系统。将服务质量(QoS)信息加入到OWL-S中来描述服务,并称之为OWL-QoS;采用基于Chord的分布式方式存储元数据;通过基于OWL-QoS的服务匹配算法来查询服务。实验表明,这种方法有效地提高了服务发现的查询效率与查准率。