基于Web服务的移动Agent平台架构研究

随着Web服务和Agent技术的发展,使构建基于移动Agent计算模型和Web服务计算模型的移动Agent平台成为可能.提出了一种以Web服务为部署形式,利用SOAP/HTTP消息机制进行通信的Agent平台架构.此Agent平台构建在Web服务容器中,为Agent提供了一个轻量级的运行环境,同时也为现有的Web服务容器增加了Agent功能.

需求建模的形式化方法研究

借鉴π演算的进程构造能力和类型系统表达能力,以π演算为需求建模语言,提出一种需求建模的形式化方法,给出构造功能行为交互系统的良类型性质。