手机知网 App
24小时专家级知识服务
打 开
自动化技术
角色自律分散系统的RN-C形式化描述方法
旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础。角色随时空变化的动态表达取决于系统的自律度和环境条件。在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素。应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述。指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点。
3 135
手机阅读本文
下载APP 手机查看本文
铁道学报
2008年03期
相似文献
图书推荐
相关工具书

搜 索