基于π演算的自治系统架构描述语言AS-ADL  

Architecture Description Language Based on π-Calculus for Autonomous Systems

作　　者：刘娟[1] 张伟[1] 赵新[1] 王维平[1] 

机构地区：[1]国防科技大学五院系统工程系,长沙410073

出　　处：《系统仿真学报》2009年第13期3946-3950,共5页Journal of System Simulation

摘　　要：自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概念模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL。AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持。Autonomous Systems have complex behavior and dynamic structure, such as military operation systems. To solve the problem of agent model language and traditional Architecture Description Language in describing the architecture of Autonomous Systems, a new formal Autonomous Systems ADL （AS-ADL） was proposed to describe the model framework of Autonomous Systems which was established at the beginning. AS-ADL, whose behavior semantics is π-Calculus has various data types. It can be used to formally describe not only the dynamic behavior of systems but also the internal inaction of autonomous elements. AS-ADL, as a formal architecture language, supports extraction and validation of system models.

关 键 词：自治系统 系统架构描述语言 Π演算 动态行为 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]