角色自律分散系统的RN-C形式化描述方法

• 作者: 谭永东 钱清泉
• 来源期刊: 铁道学报
• 学科: 工学
• 关键词: 形式化描述 角色规范-条件 角色自律度矩阵 角色自律分散系统 角色行为原语
• 年，卷（期）: 2008,（3）
• 页码范围: 51-60
• 页数: 10页
• 分类号: TP303
• 字数: 10048字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-8360.2008.03.010

摘要

旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱清泉	西南交通大学电气工程学院	169	4754	36.0	63.0
2	谭永东	西南交通大学电气工程学院	29	313	11.0	17.0