| 角色自律分散系统的RN-C形式化描述方法 |
| |
| 引用本文： | 谭永东,钱清泉.角色自律分散系统的RN-C形式化描述方法[J].铁道学报,2008,30(3):51-60. |
| |
| 作者姓名： | 谭永东 钱清泉 |
| |
| 作者单位： | 西南交通大学,电气工程学院,四川,成都,610031 |
| |
| 基金项目： | 轨道交通控制与安全国家重点实验室(北京交通大学)开放课题基金 |
| |
| 摘 要： | 旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点.
|
| 关 键 词： | 形式化描述 角色规范-条件 角色自律度矩阵 角色自律分散系统 角色行为原语 角色 自律分散 分散系统 形式化描述方法 System Autonomous Role Scheme 重点 研究 映射关系 依存度 环境 演化建模 有限自动机 系统行为 仲裁 请求 操作 行为原语 |
The RN-C Formal Specification Scheme of the Role Autonomous Decentralized System |
| |
| TAN Yong-dong,QIAN Qing-quan.The RN-C Formal Specification Scheme of the Role Autonomous Decentralized System[J].Journal of the China railway Society,2008,30(3):51-60. |
| |
| Authors: | TAN Yong-dong QIAN Qing-quan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
