基于XML多层分布式组件系统模型及其语义演算

提出了基于XML的多层分布式组件系统模型,通过XML语言从组件总体信息、标准信息、外部信息以及性能信息4个方面对组件进行了标准化描述,并针对多层分布式信息系统中的逻辑构成、层次化映射及其语义演算进行了详细研究。

并发面向对象语言的演算语义研究

本文对л演算进行了扩展，使之能支持异步通讯，然后在此基础上给出了一种简单Ａｃｔｏｒ语言的演算语义。该演算语义能较好地刻划异步通讯机制、演员的行为替换机制以及对象、类、封装、实例变量与临时变量等面向对象特征。

CORBA构件接口扩展技术与描述

基于构件的软件开发(CBSD)使用预先开发的软件构件组装系统,不但节约了开发的费用和时间,而且提高了软件的质量,越来越受到人们重视。CORBA作为主流的商业构件模型,其接口定义语言IDL不能满足开放环境下CBSD的需要,提出基于契约化设计思想的构件接口语义信息扩展和基于π演算的行为协议信息扩展,并设计了基于XML的构件接口描述,是构件查找、适配和互操作的基础。