一种移动代理应用系统的体系结构描述语言

现有的 ADL(architecture description language)缺乏对移动代理系统结构的描述能力 .提出了一种能够应用于包括移动代理应用系统在内的软件系统的结构描述语言 L XL.为了提供精确的移动行为描述能力 ,L XL 使用支持移动系统的 join- calculus作为形式基础 ,并对 join进行了部分裁剪以使其更适合于用做软件结构描述 .与其它的 ADL 相比 ,L XL 的显著特点是引入了 container结构 .container被定义为逻辑位置 ,而逻辑位置也可以看做是运行在一个物理主机上的一组进程 .由此实现了逻辑位置与计算组件的概念上的统一 .L XL