|
|||||
|
|
| 基于π演算的自治系统架构描述语言AS-ADL | |
| 作者姓名： | 刘娟 张伟 赵新 王维平 |
| 作者单位： | 国防科技大学五院系统工程系,长沙,410073 |
| 摘 要： | 自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统.针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概余模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL.AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持. |
| 关 键 词： | 自治系统 系统架构描述语言 π演算 动态行为 |
| 本文献已被 万方数据 等数据库收录！ | |