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

AN ARCHITECTURE DESCRIPTION LANGUAGE FOR MOBILE AGENT APPLICATION SYSTEMS

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

Existing design methods could not give enough support to the design process of distributed systems which involves mobile computing. Proposed in this paper is a new ADL (architecture description language) that could be applied to distributed systems including mobile agent systems, LXL. LXL takes join-calculus as its formal basis. Since join-calculus has more intension to be designed as a core programming language, a cross-cut is made on join so that it is more suitable to be a specific language. LXL is significantly different from the existing ADLs by introducing the construct of container. A container is defined as a logic location, and also can be regarded as an agent, since a location is defined as a group of running processes residing on a physical site. Thus the concept of a location and a component is unified. With these facilities LXL provides mobile application system design and analysis with enough support.