一种支持Web服务合成的行为建模方法

Web服务之间所蕴含的语义依赖关系,是面向自动Web服务合成的行为建模的关键。基于服务调用的历史信息,通过不动点函数演绎推理出Web服务之间依赖关系的方法,并给出了基于图模型构建服务合成的行为模型的方法以及服务合成向导的方法。实验表明,在一定的数据量内,建立服务合成行为模型的性能呈线性变化,给出的方法是可行和有效的,可以作为自动Web服务合成的支撑技术。     

Web服务语义标注方法

为了对W eb服务语义信息进行描述,提出了一种W eb服务语义标注方法。以现有的W eb服务描述语言(W SDL)文件为基础,充分利用W SDL中XM L schem a的语义信息与本体实体的相似性,从W SDL文件中抽取语义信息,并利用实体之间的名称相似度与结构相似度进行语义标注,生成基于OW L-S的W eb服务语义描述。用该方法对多个领域的W eb服务进行了语义标注,标注正确率在92.5%以上,较好地解决了W eb服务的语义标注问题。     

基于语义的Web服务框架研究

Web服务是Web上数据和信息集成的有效机制,语义Web服务则是在Web服务中加入语义的支持,使得计算机之间能够理解互相通信的内容,以进一步实现Web服务的自动化。本文从Web服务的自动发现、自动执行和自动组合等方面对语义Web服务的实现进行了探讨,最后给出了一个语义Web服务的框架实例。     

基于语义的Web服务查询

讨论了以DAML-S作为Web服务语义描述的工具,并以其所描述的内容作为检索Web服务的信息来源,以确保根据Web服务的语义实现Web服务的检索.同时还介绍了在此基础上构造的一个可以用于进一步开展语义Web服务研究工作的检索系统.     

一种基于语义的Web服务组合方法

在考虑服务语义匹配和服务质量(Quality of Services,QoS)的基础上,利用子服务间及其内部低耦合高内聚的特性,提出了一种基于语义的Web服务组合算法.该算法定义了用户关注度(Customer Attention,CA)和最优信息组(Optimal Information Group,OIG),充分利用语义本体的特性,从信息和QoS两个方面筛选最优原子服务集,从而提高服务的查准率与查全率,增强与用户的交互能力.     

一种基于最小覆盖的复杂Web服务组合方法

针对复杂Web服务的组合问题,提出了基于最小覆盖的Web服务组合方法(CWSCM).该方法从需求目标出发,将逻辑理论中的逻辑函数化简的最小覆盖思想运用于基于本体的多层交服务匹配的过程之中,从而建立了最小服务匹配集合,同时构造了优化的有序服务组合图,并将该图的形式化表示保存于扩充的Web服务描述之中,以便复用.实验表明,CWSCM可成功地组合复杂的Web服务,保证服务组合的成功率和效率,当组合满意度接近70%时,组合服务的成功率最高,而满意度对组合效率的影响比较小.     

基于本体概念语义的Web服务发现

为了提高服务发现的准确性,改善服务自动选择、组合及执行的效率,通过对传统的语法或表面语义进行服务匹配所产生结果的分析,发现错误的肯定和错误的否定匹配结果源自缺少对于服务广告和目标的意图语义描述.使用本体概念关系描述服务的广告和目标,通过概念所代表的具体对象集合的范围描述服务提供者和请求者的使用意图.实验结果表明:考虑服务使用意图的匹配结果细粒度划分,能够将服务发现结果对应到4类情况之一,结合传统的服务匹配算法,可以得到20种匹配结果.对于给定的服务数据集中的服务广告和目标增加与其意图相关的上下文信息,该方法能够显著地提高服务发现的准确度.     

基于语义的Web服务发展现状

本文介绍了Web服务的发展阶段,阐述了语义Web的模型,重点从语义Web服务的服务匹配和匹配算法两方面进行了总结,最后根据目前语义Web服务的发展现状指出了研究方向。     

基于流演算的语义Web服务组合研究

针对现有语义Web服务组合方法未考虑到互联网环境的动态性及Web服务的随机性问题,提出采用流演算理论对语义Web服务组合进行研究.首先将Web服务的输入、输出、前提和效应映射为基于流演算的动作形式化描述; 然后定义将OWL-S中的原子过程和复合过程向流演算转换的规则; 再根据提供的Web服务组合目标,利用形式化地推理来得出Web服务的组合序列,从而能动态地形成正确有效的Web服务组合方案.最后,通过一个会议安排实例验证上述理论,结果表明该方法是可行的.     

Web服务组合的层次化建模

目的形式化地描述Web服务组合流程,为更好地使用工具和现有方法验证以及测试Web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中、、和几种活动的共同作用,分析BPEL流程的错误处理机制和补偿机制;从网资源流动的角度完善现有的层次化有色Petri网定义,将BPEL流程的层次关系映射成层次化有色Petri网的层次关系。结果完善了层次化有色Petri网定义,提出了Web服务组合的层次化建模方法。结论层次化构建Web服务组合模型是一种可以用于大型BPEL流程的方法,所构建的模型有利于从抽象层面和细节上分析Web服务组合。     

一种基于关联匹配度计算的语义Web服务匹配方法

在现有的语义Web服务匹配方法基础上加入服务语义关联匹配度计算,从而提出一种改进的语义服务匹配方法。该方法通过语义关联将一对一匹配淘汰的服务进行组合来实现一对多的服务匹配,在得到的候选服务和候选服务集中进一步计算Web服务的匹配度,经过匹配度的排序,得到最佳匹配度的服务。该方法避免了仅从单一接口参数上进行语义服务匹配,能在一定程度上提高匹配的效率,实现查准率、查全率和查询效率之间的有效平衡。     

一种基于网页元数据的用户访问行为建模方法

针对现有行为建模方法难以描述行为语义的问题,提出了一种分层次的用户行为元模型以及一种基于页面元数据的Web用户行为建模方法.该方法从URL的访问、活动、事务3个层次建立Web用户的行为模型,并对页面元数据获取以及在URL的访问、行为、事务之间转化等问题进行了说明.方法及模型不仅描述了用户访问序列信息,还增加了访问内容的局部主题和关键词等信息,为进一步获取Web用户的行为语义特征奠定了很好的基础.通过西安交通大学的Web教学系统验证表明,利用所提方法获得的序列划分准确率达86%以上.     

一种基于模糊代数的Web服务质量计算方法

反映服务调用中存在的不确定性、克服已有服务质量计算方法的主观性和考虑各种影响服务质量因素内在联系为动机,从不同角度定义了服务调用的信誉度、可靠性和可用性三个因素。通过对服务调用的历史信息进行统计计算,得出各因素的值。根据模糊代数的相关方法,定义了计算多个因素联合贡献的算子,给出了一种无加权因子的Web服务质量计算函数。此方法不依赖于各影响因素的重要性,具有较好的可扩展性。     

基于概率时间自动机Web服务质量的形式化建模分析

针对拓展的Web服务体系结构, 利用概率时间自动机（probabilistic timed automata, PTA）对Web服务组合进行形式化建模, 将Web服务组合的过程理解为一个实时系统的运行过程, 进而对Web服务组合的整体服务质量（quality of service, QoS）进行定量分析, 从而克服了已有Web服务质量研究方式主要集中在对单个Web服务分析评估上的局限性, 在整个分析过程中充分考虑Web服务组合执行过程所具有的随机性和不确定性, 具有较高的可信度. 通过实验说明了建模分析方法的可行性, 并证明了采取相应的服务选择策略有助于提高Web服务组合的成功率.     

语 义 Web 服 务 组 合 策 略

针对语义Web服务组合需要解决的问题, 提出一种基于3种语义Web服务方法构架实现的语义Web服务组合方法, 通过重用已有的Web服务满足用户高质量的应用需求, 并阐述了这3种语义Web组合方法存在的不足, 明确了语义Web服务组合的研究目标.     

Web服务统一身份认证协议

为实现基于Web服务的多应用系统的用户身份安全认证,采用统一身份认证方案,结合已有的Web服务安全规范,提出了一个多应用环境下的基于Web服务的统一身份认证协议Web Services Single Sign-on(WSSS),并详细描述了WSSS的模型、消息定义及流程,采用形式化方法对协议进行了表示和分析,同时对协议进行了安全性分析．WSSS所定义的统一身份认证服务可用于为网络中各种基于Web服务的应用提供Web服务的安全身份认证。     

基于组合的Web服务复杂网络的构建与分析

提出一种以Web服务为节点,服务间的调用关系为边来构建复杂网络模型的方法.通过模型来研究Web服务组合结构中的服务关系,找到大量Web服务中关键的Web服务,增加组合服务的健壮性及可靠性.实验结果证明了该方法的正确性以及有效性.该方法的提出把对Web服务的研究从传统的SOA模型中引领到复杂网络模型中,对Web服务组合的进一步研究具有指导意义.     

一种基于描述逻辑的Web服务动态组合算法

针对Web服务组合, 给出了输出分解匹配度、 服务关联图等概念, 并提出一种基于描述逻辑的Web服务动态组合算法. 该算法综合考虑了服务的语义、 服务组合的质量和效率等因素, 可以自动地根据用户的服务请求实现服务的动态组合.     

基于Web Services的分布仿真资源建模方法的研究与应用

在面向服务理念的指导下,将具有分布性、协同性和异构性的仿真资源以服务的形式提出。应用面向服务的SOA架构技术和Web Services技术,根据建模规范对模型进行抽象描述,提炼出形式化模型函数。通过XML和XML Schema定义模型的互操作语法和语义,生成与平台和技术无关的XML描述文件。经过XML解析器解析后,将结果输入与平台和技术相关的代码生成器并自动生成各平台代码,并通过实例演示。