Web Services技术综述--一种面向服务的分布式计算模式

Web Services引出了新一代的分布式计算模式。首先介绍了Web Service的基本概念，分析了面向服务的计算模式。然后阐述了Web Services的核心支撑技术：XML，SOAP，WSDL，UDDI以及扩展的协议栈。将Web Services与已广泛应用的分布式对象计算模式CORBA进行了详细比较，分析了它们的特点和优劣，指出了各自的应用领域。最后分析了Web Services当前研究状况，指出了下一步研究方向。  

基于Pi-演算的Web服务组合的描述和验证

形式化方法对于建模和验证软件系统是一种有效的方法，所以对Web服务的形式化描述和验证是一个重要的研究方向．对于Web服务及其组合来说，保证其组合正确性以实现其服务增值是十分必要的．Pi-演算是一种移动进程代数，可用于对并发和动态变化的系统进行建模．该文基于Pi-演算对Web服务及其组合进行形式化描述和建模．文中说明了Pi-演算与以前形式化方法的不同之处，分析了Pi-演算应用于Web服务组合需要解决的问题．讨论了Pi-演算与Web服务协议栈的对应关系，说明了利用Pi-演算建立Web服务组合模型的规则，指出了如何寻找代理和通道．最后建立了一个实际的模型，并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证．  

一个实用的移动Agent系统(Aglet)的综述

探讨了Aglet的基本概念和系统框架,以及适用于Aglet的设计样式.文中主要关注的是移动Agent系统的具体实现和Aglet应用开发.此外,还讨论了Aglet安全性的对策.  

COM及其应用--面向对象的组件集成技术

组件对象模型（ＣＯＭ）技术是Ｍｉｃｒｏｓｏｆｔ许多软件的基础，它提供了能跨越编程言、操作系统和网络来访问组件对象的通用途径，使软件以组件方式集成成为可能。本文论述其技术内涵和它在实际中的应用。  

CORBA技术的新发展

为了保持生命力，ＣＯＲＢＡ技术正在继续不断地发展，本文首先介绍ＣＯＲＢＡ的发展历程，在此基础上探讨了ＣＯＲＢＡ３．０的三个主要组成部分；ＣＯＲＢＡ服务，通过值传递对象和ＣＯＲＢＡ构件。随后简述了ＣＯＲＢＡ３．０的另外几个规范：嵌埋式ＣＯＲＢＡ，实时ＣＯＲＢＡ，Ｊａｖａ／ＩＤＬ映射，防火墙和ＤＣＥ／ＣＯＲＢＡ之间的协同工作。  

基于CORBA的数据库访问构件

ＣＯＲＢＡ技术提供了能跨越编程语言、操作系统和网络来访问组件对象的通用途径，本文论述其在数据库访问中的应用。文中提出了利用ＣＯＲＢＡ技术和Ｊａｖａ语言协同构造数据库访问中间件的方案。该中间件对不同的数据源提供了统一的调用界面，为实现异种数据库的透明访问开辟了新的途径。  

一种基于门限ECC的入侵容忍CA方案

门限密码学提供了建立入侵容忍应用的新方法。文中在介绍并分析了基于ECC的E1Gamal数字签名方案和t—out—of-n秘密共享方案的基础上，提出了一个基于ECC的零知识证明方法和一个基于．ECC的门限数字签名方案；研究了该方法和方案在建立入侵容忍CA中的应用。最后，对比ITTC项目中关于入侵容忍CA设计的方案，分析显示该方案在安全性、效率和可用性方面具有良好的性能。  

对于开放系统内涵的澄清

虽然开放系统是一个流行的名词，但是对于一般用户，它却是一个在实际工作中“无法操作”的事物。本文从计算机开放系统的基本特征出发，通过逻辑推理，导出描述开放系统的轮廓，借助于后者使开放系统一词的内涵得到了澄清，并使它的实现变成了“可操作的”。文中还从ＩＴ实际工作的方便出发，提出了一个简明的开放系统的工作定义。  

家庭网络及相关技术

首先分析了家庭网络兴起的原因，然后分别从连接介质、互操作性问题、即插即用方案和通用编程模型等多方面，对家庭网络及所涉及的技术进行全方位探讨。文章对多咱种技术进行了比较，并强调即插即用技术和互操作性在家庭连网中的重要性。  

关于虚拟现实—核心概念与工作定义

本文秀彻地论述了虚拟现实的若干重要方面，并首次提出了虚拟实现的工作定义。此外，文中还介绍了一些采用虚拟现实技术的应用实例。