期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
角色自律分散系统的RN-C形式化描述方法
被引量：
1
1
作者
谭永东
钱清泉
《铁道学报》
EI
CAS
CSCD
北大核心
2008年第3期51-60,共10页
旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础。角色随时空变化的动态表达取决于系统的自律度和环境条件。在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和...
旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础。角色随时空变化的动态表达取决于系统的自律度和环境条件。在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素。应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述。指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点。
展开更多
关键词
形式化描述
角色规范-条件
角色
自律度矩阵
角色
自律分散系统
角色
行为原语
在线阅读
下载PDF
职称材料
题名
角色自律分散系统的RN-C形式化描述方法
被引量：
1
1
作者
谭永东
钱清泉
机构
西南交通大学电气工程学院
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2008年第3期51-60,共10页
基金
轨道交通控制与安全国家重点实验室(北京交通大学)开放课题基金资助(SKL2007k001)
文摘
旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础。角色随时空变化的动态表达取决于系统的自律度和环境条件。在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素。应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述。指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点。
关键词
形式化描述
角色规范-条件
角色
自律度矩阵
角色
自律分散系统
角色
行为原语
Keywords
formal specification role norm
-
condition（RN
-
C）
role autonomy matrix
role autonomous decentralized system
action primitive of role
分类号
TP303 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
角色自律分散系统的RN-C形式化描述方法
谭永东
钱清泉
《铁道学报》
EI
CAS
CSCD
北大核心
2008
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
