事件驱动的BPEL引擎架构设计与实现

WS-BPEL(Web Service Business Process Execution Language，简称BPEL)是Web服务规范族中服务复合层的重要标准。BPEL支持通过对Web服务的编制(Orchestration)来构建业务流程，从而使编程人员能够集中关注业务逻辑。BPEL引擎系统是一个支持BPEL语言描述的业务流程运行的服务器中间件系统，使用BPEL引擎可以执行BPEL语言编写的业务流程。作为一个网络服务器系统，BPEL引擎将不可避免的处理大量的并发请求。如何设计实现BPEL引擎使之能高效的处理并发将是高性能BPEL引擎设计的关键问题。 并发服务器系统通常采用多线程和事件驱动两种并发模型。传统上大多数服务器软件都建立在多线程(或多进程)模型的基础上。但在高负载条件下，过多的线程和线程间的上下文切换会造成系统较大的开销，这些开销是导致系统性能下降的主要原因。事件驱动模型是一种只采用少量固定数量线程的并发模型，一般说来，它的伸缩性更好，并且有更高的处理效率。 本文对高并发服务器系统中所使用的事件驱动模型进行了分析和研究，并且结合BPEL语言规范的特点，提出了事件驱动的BPEL引擎实现技术方案。论文重点研究了BPEL事件结构和有限状态机(Finite State Machine，简称FSM)刻画BPEL流程和活动行为的原理，针对BPEL语言语法特点，构造了完整的BPEL FSM模型，包括了状态空间和基于ECA(Event-Condition-Action)模式的状态转移规则。 在基于事件驱动模型的BPEL引擎架构原理的指导下，我们设计并实现了基于事件驱动模型的OnceBPEL2.0引擎系统。并且，我们对采用多线程模型实现的OnceBPEL1.0系统和采用事件驱动模型实现的OnceBPEL2.0系统进行了性能测试和分析比较。从我们的测试数据和分析结果可以看出，采用事件驱动模型的OnceBPEL2.0系统比采用多线程模型的OnceBPEL1.0有了较大的性能提升。

Web Services Workflows—Composition, Co-Ordination, and Transactions in Service-Oriented Computing

Web services can be seen as a newly emerging research area for Service-oriented Computing and their implementation in Service-oriented Architectures. Web services are self-contained, self-describing modular applications or components providing services. Web services may be dynamically aggregated, composed, and enacted as Web services Workflows. This requires frameworks and interaction protocols for their co-ordination and transaction support. In a Service-oriented Computing setting, transactions are more complex, involve multiple parties (roles), span many organizations, and may be long-running, consisting of a highly decentralized service partner and performed by autonomous entities. A Service-oriented Transaction Model has to provide comprehensive support for long-running propositions including negotiations, conversations, commitments, contracts, tracking, payments, and exception handling. Current transaction models and mechanisms including their protocols and primitives do not sufficiently cater for quality-aware and long running transactions comprising loosely-coupled (federated) service partners and resources. Web services transactions require co-ordination behavior provided by a traditional transaction mechanism to control the operations and outcome of an application. Furthermore, Web services transactions require the capability to handle the co-ordination of processing outcomes or results from multiple services in a more flexible manner. This requires more relaxed forms of transactions—those that do not strictly have to abide by the ACID properties—such as loosely-coupled collaboration and workflows. Furthermore, there is a need to group Web services into applications that require some form of correlation, but do not necessarily require transactional behavior. The purpose of this paper is to provide a state-of-the-art review and overview of some proposed standards surrounding Web services composition, co-ordination, and transaction. In particular the Business Process Execution Language for Web services (BPEL4WS), its co-ordination, and transaction frameworks (WS-Co-ordination and WS-Transaction) are discussed.

semantic oriented ontology cohesion metrics for ontology-based systems

Ontologies play a core role to provide shared knowledge models to semantic-driven applications targeted by Semantic Web. Ontology metrics become an important area because they can help ontology engineers to assess ontology and better control project management and development of ontology based systems, and therefore reduce the risk of project failures. In this paper, we propose a set of ontology cohesion metrics which focuses on measuring (possibly inconsistent) ontologies in the context of dynamic and changing Web. They are: Number of Ontology Partitions (NOP), Number of Minimally Inconsistent Subsets (NMIS) and Average Value of Axiom Inconsistencies (AVAI). These ontology metrics are used to measure ontological semantics rather than ontological structure. They are theoretically validated for ensuring their theoretical soundness, and further empirically validated by a standard test set of debugging ontologies. The related algorithms to compute these ontology metrics also are discussed. These metrics proposed in this paper can be used as a very useful complementarity of existing ontology cohesion metrics.

A Nanomechanical Device Based on Light-Driven Proton Pumps

In this paper, a hybrid device based on a microcantilever interfaced with bacteriorhodopsin (bR) is constructed. The microcantilever, on which the highly oriented bR film is self-assembled, undergoes controllable and reversible bending when the light-driven proton pump protein, bR, on the microcantilever surface is activated by visible light. Several control experiments are carried out to preclude the influence of heat and photothermal effects. It is shown that the nanomechanical motion is induced by the resulting gradient of protons, which are transported from the KCl solution on the cytoplasmic side of the bR film towards the extracellular side of the bR film. Along with a simple physical interpretation, the microfabricated cantilever interfaced with the organized molecular film of bR can simulate the natural machinery in converting solar energy to mechanical energy.

一种模拟驱动的Web应用程序性能测试方法

性能是Web应用程序成功的要素之一 ,性能测试则是保证这一要素的重要手段 但由于Internet及Web用户的不确定性 ,Web应用程序的性能测试难于传统Client/Server的测试 比较了 3种主要的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服务发现的方法进行了实验，验证了方法的有效性。

基于OSGi的Web容器重构

The OSGi component architecture for software development can better meet the requirements of current Internet environment in scalability, readability and reusability. This paper presents an approach to refactor legacy softwares towards service-oriented systems using the OSGi as the foundation framework. A case study on reconstructing our Web container system is also involved to validate the approach.

Web-based spatiotemporal visualization of marine environment data

With long-term marine surveys and research, and especially with the development of new marine environment monitoring technologies, prodigious amounts of complex marine environmental data are generated, and continuously increase rapidly. Features of these data include massive volume, widespread distribution, multiple-sources, heterogeneous, multi-dimensional and dynamic in structure and time. The present study recommends an integrative visualization solution for these data, to enhance the visual display of data and data archives, and to develop a joint use of these data distributed among different organizations or communities. This study also analyses the web services technologies and defines the concept of the marine information gird, then focuses on the spatiotemporal visualization method and proposes a process-oriented spatiotemporal visualization method. We discuss how marine environmental data can be organized based on the spatiotemporal visualization method, and how organized data are represented for use with web services and stored in a reusable fashion. In addition, we provide an original visualization architecture that is integrative and based on the explored technologies. In the end, we propose a prototype system of marine environmental data of the South China Sea for visualizations of Argo floats, sea surface temperature fields, sea current fields, salinity, in-situ investigation data, and ocean stations. An integration visualization architecture is illustrated on the prototype system, which highlights the process-oriented temporal visualization method and demonstrates the benefit of the architecture and the methods described in this study.

"Dual-Parallel-Channel" Shape-Gradient Surfaces: Toward Oriented and Reversible Movement of Water Droplets

In this paper, we prepared "dual-parallel-channel" shape-gradient surfaces, on which water droplets can reversibly and orientedly move between two adjacent pools under the guidance of an external voltage. Furthermore, it is found that the motion speed is governed by several parameters, including bath condition, gradient angle, and the working voltage. In this self-transportation process of water droplets, the external voltage works like a traffic light, which can give "moving", "stopping", "turning" and "straight-going" signals to the Water droplets.

Dynamics of the cold-water event off the southeast coast of the United States in the summer of 2003

The cold-water event along the southeast coast of the United States in the summer of 2003 is studied using satellite data combined with in situ observations. The analysis suggests that the cooling is produced by wind-driven coastal upwelling, which breaks the thermocline barrier in the summer of 2003. The strong and persistent southwesterly winds in the summer of 2003 play an important role of lifting the bottom isotherms up to the surface and away from the coast, generating persistent surface cooling in July-August 2003. Once the thermocline barrier is broken, the stratification in the nearshore region is weakened substantially, allowing further coastal cooling of large magnitudes by episodic southerly wind bursts or passage of coastally trapped waves at periods of a few days. These short-period winds or waves would otherwise have no effects on the surface temperature because of the strong thermocline barrier in summer if not for the low-frequency cooling produced by the persistent southwesterly winds.

Intra-habitat heterogeneity of microbial food web structure under the regime of eutrophication and sediment resuspension in the large subtropical shallow Lake Taihu, China

Planktonic microbial community structure and classical food web were investigated in the large shallow eutrophic Lake Taihu (2338 km(2), mean depth 1.9 m) located in subtropical Southeast China. The water column of the lake was sampled biweekly at two sites located 22 km apart over a period of twelve month. Site 1 is under the regime of heavy eutrophication while Site 2 is governed by wind-driven sediment resuspension. Within-lake comparison indicates that phosphorus enrichment resulted in increased abundance of microbial components. However, the coupling between total phosphorus and abundance of microbial components was different between the two sites. Much stronger coupling was observed at Site 1 than at Site 2. The weak coupling at Site 2 was mainly caused by strong sediment resuspension, which limited growth of phytoplankton and, consequently, growth of bacterioplankton and other microbial components. High percentages of attached bacteria, which were strongly correlated with the biomass of phytoplankton, especially Microcystis spp., were found at Site 1 during summer and early autumn, but no such correlation was observed at Site 2. This potentially leads to differences in carbon flow through microbial food web at different locations. Overall, significant heterogeneity of microbial food web structure between the two sites was observed. Site-specific differences in nutrient enrichment (i.e. nitrogen and phosphorus) and sediment resuspension were identified as driving forces of the observed intra-habitat differences in food web structure.

基于Petri网的Web数据库访问的建模研究

本文针对多用户访问Web数据库的过程进行了分析并提出改进思路,然后利用带抑止弧的扩充Petri网对改进后的访问过程进行建模。