基于重写逻辑的Web服务事务处理形式化描述

Web服务的事务处理研究越来越活跃,对于Web服务中的长、短事务进行形式化描述与验证是很重要的,但目前还没有成熟的方法．该文提出了一种基于重写逻辑的Web服务事务处理形式化描述方法,采用重写逻辑工具Maude,对于描述Web事务的细胞膜演算,给出一个事务处理的通用框架,采用重写逻辑中的规则描述事务的具体活动,并且引入事务补偿机制刻画长事务的运行;并应用该模型形式化描述文中的Web事务经典例子,得到一个可执行的重写逻辑模型,便于以后采用Maude线性时序逻辑分析器进行形式化分析．     

有半信任方(STNP)的多方交换协议

Frankin和Tsudik在FC'98中给出了两个多方交换协议,此协议是关于多方交换的公平交换协议,本文发现了对其中第一个协议(SUCEX-1)的攻击,指出该协议是一个不公平交换协议,并给出了此协议的一种改进形式.     

使用JMS构造J2EE的异步通信构架

互联网的出现极大地方便了人们的工作和生活,同时也提出了一个新的课题,即如何在现有的条件下,开发出在用户可以接受的响应时间范围内,通过互联网来实现交互的应用.由于种种原因,现有的大部分应用在响应速度方面都存在一些问题,这些问题可能是网络带宽不够造成的,也有可能是传输的数据量太大造成的,还有可能是和系统交互的外部系统处理时间过长造成的.文章针对最后这种情况,提出在J2EE环境下的一种异步通信方案,来缓解这个问题.     

移动代理应用中上下文相关的客观协调

移动代理之间需要进行交互合作才能完成系统任务,每个移动代理也需要与它运行所在的移动代理环境进行交互。文章提出了一种在移动代理应用系统中的上下文相关的客观协调模型,适合移动代理系统中移动代理之间的交互和移动代理与移动代理环境之间的交互,它把全局的耦合交互转变成本地独立的元组空间交互,用可编程的元组空间解决由代理移动引起的上下文相关协调问题,而且环境相关的协调策略和应用相关的协调策略可以集成到可编程的元组空间中。     

基于移动对等网络稳定组运动模型的研究

研究了移动对等网络拓扑结构变化与网络设备使用者位置、兴趣等变化的对应关系，通过使用稳定组运动模型捕获移动网络中的结点运动规律，对移动结点进行有效地分组，使得同组内结点之间相对保持最大程度的网络拓扑结构的稳定，同时利用组内移动结点网络连接相对稳定和对等网络特有的自增长特性，快速放大移动对等媒体流系统的系统能力，通过与传统算法的性能比较，表明了提出的稳定组运动模型在移动对等媒体流系统中的有效性。     

实现数据存储、数据计算和资源管理的分离

在传统操作系统中,数据存储的抽象(进程虚拟地址空间)、数据计算的抽象(线程)和资源管理的抽象(进程)是不可分离的.首先分析了在操作系统中由于3类抽象不可分离而存在的问题,根据分析提出了数据存储抽象、数据计算抽象和资源管理抽象互相分离的思想,进而根据这一思想提出了虚拟地址空间基于文件操作系统,分析该操作系统的体系结构模型,研究了实现3类抽象分离的线程迁移技术和指令对文件寻址技术,最后讨论了系统的实现，测试和性能评价.此项研究说明了在操作系统中实现数据储存、数据计算和资源管理的分离是可行的.     

用Java Bean构造数据库中间件

本文主要介绍ＪａｖａＢｅａｎ、ＲＭＩ、ＪＤＢＣ的基本概念，并通过一个实例演示如何用ＪａｖａＢｅａｎ构造多层的数据库应用，最后，总结了用ＪａｖａＢｅａｎ构造数据库中间件的优点和限制。     

面向对象的实时数据动态图形显示研究与实现

实时数据动态图形显示是工业领域一项很紧迫的研究课题。文中针对其开发效率低下的现状提出了一个面向对象的概念模型，分析了其中的关键技术，并结合实际应用阐述了其实现方法和途径。     

JavaBean——一种可移植的构件模型

随着软件技术的不断发展，软件的构件技术（softwarecomponent）正得到越来越广泛的应用。采用软件构件，可以增加软件的可重用性，提高软件的质量和可靠性，缩短开发时间。不少厂商推出了自己的构件模型，如ActiveX、liveOb-ject等。1996年10月，SUN公司推出了JavaBeans1．00规范，随即在12月又推出了1．00-A版本。次年7月，发布了最新的1．01版。JavaBeans已经成为JDKI．且的重要组成部分。和其他软件构件模型相比，JavaBeans具有结构简单、与平台无关等优点。它的出现，极大地推动了软件构件的发展。在不久的将来，可能会出现两种…     

UNIX系统Ⅴ中的STREAMS机制

ＳＴＲＥＡＭＳ机制是操作系统设计和实现中使用的一种重要新技术。本文说明这种机制的主要优点，它的基本结构和工作原理，包括：队列，消息，流首，模块，流量控制和基于流的管理等。