一种高效的Web服务迁移算法

为了满足Web服务动态分布的需求,并保证Web服务迁移的一致性,提出一种基于Broker的Web服务迁移算法WS Broker.其在保证迁移一致性的基础上了,提高了迁移效率.另外,通过分析客户请求之间的依赖关系,提前执行了某些阻塞的客户请求,缩短了服务中断时间.实验结果表明,WS Broker在保证迁移一致性的基础上有效地提高了Web服务迁移的效率.

语义Web服务匹配与发现技术研究

在开放的互联网环境中，面向服务的计算（Service-Oriented Computing, SOC）和面向服务的体系架构（Service-Oriented Architecture, SOA）使得信息资源和软件系统的主要形态发生了巨大变化，并引领着互联网计算技术和软件系统新的发展方向。服务是SOC和SOA的核心思想，服务的平台独立、高可重用和松散耦合等特性使之成为复杂分布式应用可行的解决方案。Web服务的出现和发展为实施与部署SOC和SOA提供了最佳支撑技术。目前web服务发现机制在服务描述的全面性和服务匹配方法的有效性方面存在不足之处，难以保证服务发现的性能。特别是在服务数量剧增的情况下，用户亟需一种自动快速而准确的服务发现机制。语义web技术不仅为web的表示内容提供了一种语义标识方法，推动了web内容的自动化和智能化搜索，也为web服务的描述提供了增加语义层次内容的有效方法，两者的结合形成了一个新的研究领域——语义web服务。该领域通过借鉴语义web的相关技术来增加web服务的语义描述，进而为web服务的发现、组合、调用和监控等环节提供语义层次的支持，增强web服务的自动化和智能化水平。 本文的研究目的就是利用语义web的思想，基于SOC和SOA的理念以及现有的web服务发现机制对web服务信息进行语义描述、组织，探索语义web服务匹配与发现的关键问题，提出有效的解决方案。本文的研究工作和贡献主要在以下四个方面： 1. 针对语义近似度的度量和计算问题基于OWL（Web Ontology Language）提出了一个语义近似度计算SSM模型，该模型中所有概念及概念之间的关系、所有的概念属性及属性之间的关系都被抽象定义并建模，根据概念、属性及其语义关系模型，构建了基于概念关系的拓扑近似度计算函数和属性近似度计算函数，从而进一步构建语义近似度计算函数。该语义近似度计算函数以代表OWL本体概念上下级关系和等价关系的树状结构为基础，利用概念间的拓扑关系和属性关系进行语义近似度的度量和计算。语义近似度函数的返回值为一个介于0与1之间的数值，代表函数的两个输入概念之间的语义近似度值。 2. 提出了一个基于概念语义近似度的以OWL-S为顶层本体的web服务语义匹配PSM模型。该模型将服务的匹配项分为服务能力、服务质量、服务名称和服务参数四个部分。基于该模型，提出了相应的PSM服务匹配算法。PSM算法能够对服务内部的服务流程及流程的组合进行与服务请求的语义匹配，并且避免了服务流程中互斥接口参数参与匹配。而且PSM匹配算法实现了服务接口的单射匹配，进一步提高服务发现的性能。在服务质量匹配计算上，提出了服务质量匹配模型PSM-QoS，为服务的QoS匹配建立了计算基础。PSM算法使用语义近似度计算函数度量和计算服务属性概念的语义近似度值，从而能够返回细粒度的服务匹配度值。 3. 在语义服务匹配PSM模型的基础上提出一种语义web服务发现架构系统PSM-SD模型。该模型将OWL-S语义元素引入UDDI服务描述，从而在UDDI中保存语义信息。通过PSM算法提高web服务匹配性能，并通过数据映射机制保证模型对于当前的服务发现标准UDDI基础架构的兼容以及UDDI标准操作接口的透明性。模型使用本体概念的索引机制提高服务发现的效率。在建立和维护索引的过程或服务的匹配过程中，模型使用近似概念搜寻算法进一步提高本体概念搜寻和服务匹配的效率。 4. 设计并开发了基于语义web服务发现架构模型的原型系统。该系统将语义近似度计算模型、语义web服务匹配模型和语义web服务发现架构模型进行软件实现。本文在该原型系统平台上对语义web服务发现的方法进行了实验，验证了方法的有效性。

基于HLA卫星组网仿真想定与HLA Web化扩展的研究

卫星组网仿真是对各种卫星组网方案进行性能分析、效能评估以及优化设计的有效途径。限于单机负载及计算能力，卫星组网仿真采用分布式交互仿真形式。作为仿真的基本依据，想定编辑生成与想定发布是仿真首先需要解决的问题。此外，想定推演过程也应对仿真场景进行展示以方便观察仿真当前状态。如何构建满足需求的卫星组网仿真想定系统是本文研究目的之一。 围绕卫星组网仿真想定系统的功能需求，首先进行了需求分析与功能定义，接着对所涉及难点包括多任务多粒度组网仿真想定的灵活配置、细粒度组网仿真内存使用优化以及想定数据实时发布等的技术途径进行了比较与分析。在确定所选用技术基础上，设计出想定系统的总体结构框架。最后结合该框架对系统实现进行了详细的说明，并对内存优化问题进行了仿真实验。 在想定系统实现基础上，进一步分析了当前高层体系结构HLA标准在分布式式交互仿真应用中存有的缺陷，给出利用Web服务对其进行扩展的必要性和扩展途径。通过对面向服务的体系结构SOA及其实现技术Web服务的讨论，分析了通过Web服务扩展HLA使其Web使能的多种途径。文中提出一种基于代理、使用Web服务的HLA Web化扩展方法，并给出了设计方案。

一种基于访问控制的安全Web服务发现机制

当前的Web服务发现机制大多依赖集中式的统一描述、发现和集成注册中心,但组织机构出于安全和地域的考虑,倾向于构建私有的分布式注册中心,只有注册且可信的请求者才能浏览到他们有权限访问的服务信息。该文给出Web服务发现阶段基于角色的访问控制模型RBAC4WSD,发现代理依照服务提供者指定的安全策略对请求者实施访问控制,并以跨国公司内部的文档服务为例介绍原型系统的实现。

基于Petri网的Web服务流程建模方法研究

随着网络应用的蓬勃发展,Web服务越来越普及。在实际应用中,往往需要对已有Web服务进行集成。目前通常的企业Web服务集成过程,都是先根据企业的业务流程建立相应的Web服务流程模型,再由此建立应用系统。而目前已有的建模手段的共同问题是：无法确保模型的正确性和与具体业务的紧密吻合。该文提出一种基于Petri网的Web服务流程建模方法。该建模方法通过将Petri网引入建模过程弥补了原建模过程中无法直观感受模型的不足,通过建立一套完备的形式化定义保证了建立模型的正确性,通过将紧同步随机Petri网引入建模过程可以更好的描述实际业务。通过使用该方法, 可以很好地解决现在Web流程建模过程中存在的问题。此方法也为其他领域中的流程建模仿真提供了一种很好的解决问题的方法和思路。

基于JavaScript的浏览器端调用Web服务研究与实现

根据WebOffice系统中浏览器-服务器端通信需求,提出了一种调用Web服务的浏览器端代理方法.比较了此方法和传统的服务器端方法的优点和缺点,分析了此方法的适用场合.最后给出了实现的要点:WSDL的加载和解析、对象类型的序列化和反序列化、SOAP协议的封包和绑定.

多语言Web网站的结构与实现方法

简化多语言Web网站服务的管理与开发。在实践中，管理与开发多语言网站的大部分工作是保持网站的各种信息之间相互独立。在开发与管理多语言网站的过程中有许多与人相关的角色，如设计人员、实施人员（如程序员）、系统管理员、翻译人员与用户等角色。按照这些不同的角色对网站的各种信息进行严格分类，并保持在同一个网站中这些分类后的信息相互独立，也就是说负责翻译的人员不需要看到脚本语言，如JavaScript。同样，图形设计人员也不需要精通多种语言，也不必在多种语言环境中工作。从以上方面论述如何设计及实现多语言网站．

Web服务器端藏文字符串长度的近似算法

藏文属于拼音文字,她的书写规则与英语书写规则一样是从左向右,从上到下,但每个单词之间没有空格,只用音节符把每个单词给分隔开。根据藏文文法,藏文的换行只能发生在音节符、单垂符,双垂符与空格的后面。目前主流浏览器(如Firefox,Netscape等)都不能处理藏文的这一断行特性,所以这些浏览器无法正常显示藏文文本,如Firefox将整个一段没有空格文本当作一个单词,造成在屏幕的右边无法换行。结果是用户必须拖动鼠标来浏览整篇文章,给用户带来了很大的麻烦。又由于藏文中大部分的拼音字母的宽度是不同的,在编写HTML文档时候也无法根据藏文字符串的多少来决定字符串的长度。该算法将采用了一个粗略的方法得到一个字符串长度的近似值,再根据行宽的限制在字符串的适当的位置找到一个可断行点进行断行。虽然得到的是近似值,但是基本上解决了主流浏览器无法处理藏文排版的问题。

语义Web中描述逻辑本体的可伸缩推理和非一致处理

随着Web信息的与日俱增，使用机器处理这种信息成为一种必然的趋势。语义Web应运而生，成为当前研究的热点之一。它以本体为核心，为不同领域提供共享的词汇，以便机器处理Web信息。表达本体的标准语言OWL以描述逻辑为基础。OWL本体的推理可伸缩性差，难以适应规模较大的本体应用，因此推理可伸缩性问题是一个重要的实际问题。此外，OWL本体是一个逻辑系统，在生成、维护和集成等过程中，都很容易出现非一致现象，导致标准的推理机制不能正常运作。因此本体非一致问题是另一个重要的实际问题。针对上述两个实际问题，本文分别在实现可伸缩推理、修复非一致本体、以及进行非一致容忍推理三个方面提出了解决办法。 [可伸缩推理方面] 本文提出了一种本体断言公理集的划分方法，使本体推理能够在独立的划分子集中进行，以此提高本体推理的可伸缩性。 [本体修复方面] 本文提出了一种计算具有最小删除代价的本体子集的方法；通过删除这种本体子集，可以恢复本体的一致性。该方法将计算上述本体子集的问题归约为在命题逻辑程序中计算某种最优模型的问题，以调用现有的可满足性问题求解器来解决。 [非一致容忍推理方面] 本文将命题逻辑中字典序推理方法应用到描述逻辑中，以提供针对非一致本体的查询机制。本文还提出了一种在描述逻辑本体中进行字典序推理的方法。该方法将字典序结论的判定问题归约为命题可满足性判定问题，以调用现有的可满足性问题求解器来解决。

基于AJAX和Server Push的Web树组件设计与实现

树组件[1]的功能简单、界面表现力较差,而且组件效率较低,难以满足复杂的应用需求.基于目前流行的AJAX技术,给出一个具有较强的可扩展性的Web树组件的设计和实现.组件在Web上为用户提供了类似于在Windows资源管理器中对目录树操作的基本功能和用户体验.另外,还采用ServerPush技术对树组件进行了改进,解决了AJAX应用中可能出现的数据不一致的问题.

OnceCluster：一种易扩展WEB应用服务器集群框架的设计与实现

随着Internet的迅速发展，大型的企业信息化系统以及以B2C和C2C等模式为代表的电子商务领域的应用逐渐成为当今软件技术的主流趋势和竞争焦点。在该领域，作为信息系统基础平台的应用服务器面临极大的负载压力，通过应用服务器集群系统来扩展平台的计算能力是目前业界重要的研究课题。 然而，目前广泛适用的应用服务器集群系统尚存在一些不足，一方面，集群架构缺乏静态可扩展性。用户无法根据当前的网络状态和软硬件环境，灵活的配置集群系统所需的底层通讯框架以及负载平衡算法。另一方面，集群系统缺乏动态可扩展性。目前的集群框架无法根据当前负载的大小动态地伸缩规模，在高负载时无法提供足够的计算能力，而在负载低时，会产生空闲节点造成资源浪费。 针对集群系统的动态扩展需求，本文提出了一种易扩展的集群框架：OnceCluster，并针对该框架的设计以及实现过程当中遇到的相关技术问题展开研究和讨论。 首先，本文对当今主流的J2EE应用服务器集群的现状进行了分析，总结几种主要集群架构的特点，并在此基础上提出了一种易扩展的集群架构：OnceCluster。该架构研究主要包括三部分：高效易扩展的负载平衡器，易扩展的集群基础设施，以及集群成员动态扩展机制。 其次，本文分别针对OnceCluster的三个主要组成部分的设计与实现进行阐述。在负载平衡器部分，本文研究了负载平衡器的实现方式和负载平衡算法的设计，分析了影响负载平衡器性能的关键问题，并在此基础之上设计并实现了灵活易插拔的负载平衡器框架，该框架利用XML结构化对象模型和Java虚拟机的运行时动态绑定机制，实现了一个基于的IoC的对象生成机制，并基于该机制实现了组通讯管理模块，负载平衡算法模块和线程池模块。在集群基础设施部分，本文研究了集群系统和应用服务器之间交互关系，集群信息状态同步和失效恢复机制，并设计与实现了一种可灵活替换的集群基础设施通讯框架。在集群成员动态扩展机制部分，本文通过研究了一种分布式的集群成员管理机制，及时侦测集群成员的存活信息及负载状态，自动的启动或关闭集群成员，对集群规模进行动态地伸缩。 论文的研究成果已经应用于中国科学院软件研究所自主研发的基于J2EE规范的应用服务器OnceAS当中，目前，OnceAS已成功用于电子政务，电子商务和ERP系统等领域。