语义Web服务组合的形式化描述与验证研究

Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模.     

一种基于本体的网格服务匹配方法

传统的网格服务匹配一般是基于关键字匹配,这种匹配方法缺乏语义信息,灵活性差,查全率低.本文提出了一种新的基于本体的网格服务匹配方法,该方法使用本体语言OWL-S来描述网格服务,充分考虑了服务的语义信息,同时利用OWL推理机对网格服务进行服务分层,以提高服务匹配的效率.实验结果表明,与其他网格服务匹配方法相比,本文所提出的匹配方法具有较高的查全率和查准率及较短的服务匹配时间等优点.     

一个基于有色Petri网的自动Web服务合成模型

提出了一个基于有色Petri网的自动Web服务合成模型,为Web服务的合成提供语义支持,提高合成服务的可靠性和可维护性.该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构.给出了Web服务基于有色Petri网的形式化定义.定义了一个封闭的Web服务合成算法,通过算法获得的框架能够对Web服务进行说明性的合成.定义了一个自动Web服务合成算法,通过该算法,可以对Web服务进行有人工指导的半自动合成和无人工指导的自动合成.     

类型化的Web服务组合形式化模型

Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性.本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEL4WS Web服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证.最后通过一个案例,给出了对Web服务组合动态行为的匹配性和数据类型的一致性的验证方法.     

基于本体的Web页面聚类研究

提出了一个基于本体的Web页面聚类系统原型,通过构建一个简单的搜索引擎并对结果进行聚类,大大节省用户发现所需信息的时间.同时将领域本体引入聚类系统中,提高了聚类效率和增强了聚类结果的可解释性.     

Web服务访问控制模型研究

本文分析了Web服务给访问控制带来的挑战性问题,包括跨域的访问控制、动态授权和标准化问题等.然后,根据访问控制模型的决策依据,对现有的访问控制模型进行了分类研究.介绍了各类模型的基本原理,分析了它们解决Web服务访问控制挑战性问题的能力.最后,对Web服务访问控制模型研究的方向进行了讨论.     

Agent技术在Web服务中的应用探讨

Web服务是一组采用面向服务的体系架构的基于标准的Web协议的软件构件,而Agent是一种在某个环境中自主行动以实现其设计目标的智能化软件实体.Web服务与多Agent系统(MAS,Multi-Agent System)在架构、范例和技术方法等方面具有很大的相似性.Web服务的可信性是未来计算机软件发展关键的问题,实现Web服务在分布式环境下的协同式测试具有一定的挑战性.本文在探讨Web服务与Agent技术的共性的基础上,分析并总结了Agent技术在Web服务中的应用.针对Web服务测试的开放性、协同性、动态性和不确定性等特点,结合Agent系统的自主性、反应性、适应性和社会性,本文提出了一种基于MAS的Web服务测试框架(MAST,Multi-Agent-based Service Testing),并对其关键技术进行了探讨.     

Web服务测试问题综述

近来出现了一种新的支持分布式计算的范型--面向服务的体系结构(SOA).Web服务就是这种结构的具体实现形式之一.众所周知,为了获得一个可信的、可靠的服务,对服务实施完全、充分的测试是至关重要的.所以本文对Web服务的测试方法和技术进行了调查研究.本文从SOA体系结构下Web服务的特点及其测试的新的挑战出发,讨论了Web服务测试与传统测试的不同点;接着从多个不同的角度(测试的视角和测试的策略)讨论了Web服务测试的相关问题.然后给出了一个Web服务测试过程的组织框架,还讨论了目前Web服务测试的研究现状和一些代表性的Web服务测试技术.最后总结全文并给出未来的研究方向.     

中美医院Web站点服务功能对比分析

<正>国内医院网站一般是以医院为中心,主要把网站作为一个对外宣传医院形象的工具,提供医院简介、现有科室、设备和医疗服务的介绍,很少从患者实际需要的角度来满足其信息需求。美国医院的网站多以病人为中心,以服务为导向,把网站作为发展用户群,发布信息,节约物品投递费用的战略之一。国内医院如何转变服务观念,从"以疾病为中心"、"以     

服务描述和服务匹配研究

服务发现是分布式环境下进行资源共享、数据集成、流程协作的前提,而服务描述和服务匹配策略是其中的两个关键问题,服务的多样性、异构性和其上下文的动态变化使这些问题更加复杂.为此,提出了一种能支持多样性、屏蔽异构性、适应变化上下文的服务描述模型SDMDHD,并针对此模型设计实现了包括精确匹配、语义匹配在内的服务匹配引擎,还给出了对该匹配策略的理论评估和实验结果.     

基于语义网格的OWL-S服务本体的语义匹配研究

研究了本体、本体匹配、NBC文本分类和OWL-S.OWL-S把网格中的资源组织为服务,并用服务本体来表示和描述,不但可以描述服务的语义,而且还能够进行适当的推理.针对OWL-S服务本体的异构性,利用OWL、OWL-S的元素值和文本内容,从本体结构、功能和文本信息等多个维度分析本体间的语义匹配问题,并给出了相应的语义等价匹配规则和基于NBC的文本分类式语义相似匹配算法,为语义网格中的服务本体共享、交互和集成等技术的实现提供了基础.     

一种基于语义的本体概念相似度的计算方法

本体映射是实现异构本体互操作的有效方法,其关键技术在于概念相似度的计算.本文提出了一种概念相似度的计算方法,主要从概念名称、概念属性、概念关系来计算概念相似度,通过引入候选概念集和信息增益,提高了相似度的准确率,简化了相似度的计算过程.     

一个基于市场机制和语义的服务调度模型

首先比较了当前资源调度的各种方法,讨论了把市场机制与语义相结合的原因及重要性.提出了基于市场机制和语义的服务调度模型(Market-Semantie).它包括本体相似度的计算、效用函数的确定、资源价格的确定、求约束条件下资源分配的最优解等.设计了基于语义元的本体相似性度量方法,把服务的性价比作为效用函数,实现了市场机制与语义的有效结合,为市场机制下根据语义获取用户满意的服务提供了一个方法与途径.最后,把Market-Se-mantic模型与Max-Semantic,Semantic-Cost-Max-Min等进行了比较,验证了Market-Semantie既能有效地分配资源,又能为用户提供满意的服务.     

基于ASP.NET技术的Web应用系统安全机制分析与设计

本品系用肝素钠经亚硝酸裂解，精制而得的硫酸氨基葡聚糖的钙盐。其重均分子量应为3000～4500，分子量小于8000的级分不少于总量的85％。按干燥品计算，每1mg中抗Xa因子效价不得少于90IU；抗Xa因子效价与抗Ⅱa因子效价的比值不得少于3.0-4．5。     

Web服务组合事务处理及基于细胞膜演算的正确性分析

事务处理是Web服务及其组合服务能否得到广泛应用的关键技术之一.本文分析总结了现有的事务处理模型,针对Web服务组合环境下的异构性、自治性和动态性,提出了一个基于组合Web服务的事务处理模型wS-CTM,并基于细胞膜演算对模型的正确性进行了验证.     

公用IPv6网络承载服务SLA监测研究

分析了NGI中网络承载服务sIA(NSLA)的应用需求,针时NSLA可能的应用场合及IPv6特点定义了适用于NSLA的QoS参数:IP分组传送延迟(IPTD)、IP分组延迟变化(IPDV)、IP分组传送失败率(IPFR)和IP分组吞吐能力(IPTC),其中IPTC能有效刻画公用IP网段集维持业务流量模式的能力.分组识别和时钟同步是IPv6网络NSLA监测的两个关键问题.文中给出了分组识别的解决思路;为降低对同步的要求、支持较低成本的NSLA监测,除IFFD外其余参数均可容忍出入测量点之间存在有限的时钟不同步.此外,综合应用特点、用户感知、IPv6协议等因素,讨论了面向应用NSLA的QoS参数设定.最后设计了一个包括采集器、前端机、分析机、原始数据库和结果库等部件的NSLA监测系统,采用ON-OFF系统抽样方式被动监听自然流量,在各部件的协作下可实现各QoS参数的测量.     

基于本体的决策模型冲突预测及协商研究

依据模型知识的特性,定义了模型描述本体和任务求解本体,为模型提供语义支持.模型语义分为描述语义和行为语义.基于描述语义的相似性判定,模型可进行潜在冲突预测;然后根据任务求解本体的定义,模型通过行为语义交互,进行行为协商;而在执行过程中,模型需要为每一个操作申请资源,因此模型根据模型描述本体和描述语义对资源申请进行协商,从而得到互不冲突的操作执行序列,消除冲突.最后通过实验分析验证算法的有效性.