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

摘要：

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

关键词：形式化描述、角色规范-条件、角色自律度矩阵、角色自律分散系统、角色行为原语

所属期刊栏目：30

分类号：TP303(计算技术、计算机技术)

资助基金：轨道交通控制与安全国家重点实验室北京交通大学开放课题基金资助SKL2007k001

在线出版日期：2008-09-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：51-60