期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于π演算的自治系统架构描述语言AS-ADL
1
作者
刘娟
张伟
+1 位作者
赵新
王维平
《系统仿真学报》
CAS
CSCD
北大核心
2009年第13期3946-3950,共5页
自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概念模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL...
自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概念模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL。AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持。
展开更多
关键词
自治
系统
系统架构描述语言
Π演算
动态行为
在线阅读
下载PDF
职称材料
题名
基于π演算的自治系统架构描述语言AS-ADL
1
作者
刘娟
张伟
赵新
王维平
机构
国防科技大学五院系统工程系
出处
《系统仿真学报》
CAS
CSCD
北大核心
2009年第13期3946-3950,共5页
文摘
自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概念模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL。AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持。
关键词
自治
系统
系统架构描述语言
Π演算
动态行为
Keywords
Autonomous Systems
Architecture Description Language
n-Calculus
dynamic behavior
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于π演算的自治系统架构描述语言AS-ADL
刘娟
张伟
赵新
王维平
《系统仿真学报》
CAS
CSCD
北大核心
2009
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
