基于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系统等领域。

基于状态方面的Web服务动态替换

随着面向服务计算技术的成熟,服务复合已成为Internet上开发企业间业务协作的一种新模式,WS-BPEL是服务复合事实上的标准.但是由于复合服务所依赖的第三方伙伴服务的分布、自治和松散耦合等特性,在执行过程中易受到伙伴服务失效的影响,可靠性无法得到保证,因此需要支持在运行时对伙伴服务进行动态替换.目前的BPEL规范只提供有限的服务替换功能,当与伙伴服务的交互涉及到一系列有状态的会话操作时,服务替换就更加复杂.通过对面向方面的研究,提出面向BPEL语言的状态方面扩展.通过状态方面,记录与伙伴服务交互过程中的会话信息.在伙伴服务失效时,通过透明地替换伙伴服务,使得与当前伙伴服务的会话信息传播到功能等价的另一个伙伴服务上,以保证流程的正常执行.通过该方法,使得BPEL流程具有一定的自愈能力,增强了流程执行的可靠性.

基于BPEL的Web Service组合的数据流分析测试方法

随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Service组合测试模型WSCTM,该测试模型可以捕获Web Service组合的数据流接口.采用基于服务的模型WSCTM,数据流可以从3个视点来分析:服务间、服务内和服务实现构件间.从而,Web Service组合的数据流测试可以在三层上得到实现.基于以上方法,可得到Web Service组合的定义-使用链,最终可产生满足既定测试标准以获得需求Web服务组合质量要求的测试路径.

Brownian dynamics simulation of the crystallization dynamics of charged colloidal particles

Crystal formation process of charged colloidal particles is investigated using Brownian dynamics (BD) simulations. The particles are assumed to interact with the pair-additive repulsive Yukawa potential. The time evolution of crystallization process and the crystal structure during the simulation are characterized by means of the radial distribution functions (RDF) and mean square displacement (MSD). The simulations show that when the interaction is featured with long-range, particles can spontaneously assemble into body-centered-cubic (BCC) arrays at relatively low particle number density. When the interaction is short-ranged, with increasing the number density particles become trapped into a stagnant disordered configuration before the crystallization could be actualized. The simulations further show that as long as the trapped configurations are bypassed, the face-centered-cubic (FCC) structures can be achieved and are actually more stable than BCC structures. (C) 2010 Elsevier Inc. All rights reserved.