基于通信顺序进程的网络故障管理形式化描述

吉林大学学报(工学版)

基于通信顺序进程的网络故障管理形式化描述

包铁，刘淑芬

吉林大学计算机科学与技术学院，长春 130012

收稿日期:2006-04-20 修回日期:2006-09-10 出版日期:2007-01-01 发布日期:2007-01-01
通讯作者: 刘淑芬

Network fault management formal description based on Communication Sequential Processes （CSP）

Bao Tie，Liu Shu-fen

College of Computer Science and Technology,Jilin University,Changchun 130012,China

Received:2006-04-20 Revised:2006-09-10 Online:2007-01-01 Published:2007-01-01
Contact: Liu Shu-fen

摘要/Abstract

摘要： 针对网络故障的复杂性和多样性，对网络故障管理的形式化描述进行了研究。基于霍尔的“通信顺序进程”和相关的网络形式化的理论研究结果，提出了一种网络故障管理的形式化方法。该方法通过添加新的概念和定义扩充了“通信顺序进程”，为描述复杂的故障信息提供数据类型支持，同时建立故障模型对网络故障采集和网络故障分析进行了精确的形式化描述，为故障管理系统的设计正确性和可验证性提供了可靠的数学依据。

关键词: 计算机系统结构, 形式化描述, 通信顺序进程, 故障管理

Abstract: In consideration on the complexity and diversity of network fault, formalized study on network fault management was conducted. A formal approach was presented on the basis of both Hoare's Communication Sequential Processes (CSP) and theoretical results of network formalization. By expanding CSP with new concepts and definitions, the data type support for description of complex fault information was provided. At the same time, the fault model was built up to provide precise formal description of network fault collection and analysis. And a reliable mathematical foundation was also provided for the correctness and validity of network fault management system design.

Key words: computer systems organization, formal description, communication sequential processes (CSP), fault management

中图分类号:

TP393

包铁，刘淑芬 . 基于通信顺序进程的网络故障管理形式化描述[J]. 吉林大学学报(工学版), 2007, 37(01): 117-120.

Bao Tie，Liu Shu-fen . Network fault management formal description based on Communication Sequential Processes （CSP）[J]. 吉林大学学报(工学版), 2007, 37(01): 117-120.

参考文献

相关文章 15

[1]	余宜诚, 胡亮, 迟令, 初剑峰. 一种改进的适用于多服务器架构的匿名认证协议[J]. 吉林大学学报(工学版), 2018, 48(5): 1586-1592.
[2]	董坚峰, 张玉峰, 戴志强. 改进的基于狄利克雷混合模型的推荐算法[J]. 吉林大学学报(工学版), 2018, 48(2): 596-604.
[3]	赵博, 秦贵和, 赵永哲, 杨文迪. 基于半陷门单向函数的公钥密码[J]. 吉林大学学报(工学版), 2018, 48(1): 259-267.
[4]	刘磊, 刘利娟, 吴新维, 张鹏. 基于ECPMR的编译器测试方法[J]. 吉林大学学报(工学版), 2017, 47(4): 1262-1267.
[5]	董立岩, 王越群, 贺嘉楠, 孙铭会, 李永丽. 基于时间衰减的协同过滤推荐算法[J]. 吉林大学学报(工学版), 2017, 47(4): 1268-1272.
[6]	于斌斌, 武欣雨, 初剑峰, 胡亮. 基于群密钥协商的无线传感器网络签名协议[J]. 吉林大学学报(工学版), 2017, 47(3): 924-929.
[7]	邓昌义, 郭锐锋, 张忆文, 王鸿亮. 基于平衡因子的动态偶发任务低功耗调度算法[J]. 吉林大学学报(工学版), 2017, 47(2): 591-600.
[8]	魏晓辉, 刘智亮, 庄园, 李洪亮, 李翔. 支持大规模流数据在线处理的自适应检查点机制[J]. 吉林大学学报(工学版), 2017, 47(1): 199-207.
[9]	郝娉婷, 胡亮, 姜婧妍, 车喜龙. 基于多管理节点的乐观锁协议[J]. 吉林大学学报(工学版), 2017, 47(1): 227-234.
[10]	魏晓辉, 李翔, 李洪亮, 李聪, 庄园, 于洪梅. 支持大规模流数据处理的弹性在线MapReduce模型及拓扑协议[J]. 吉林大学学报(工学版), 2016, 46(4): 1222-1231.
[11]	车翔玖, 梁森. 一种基于大顶堆的SPIHT改进算法[J]. 吉林大学学报(工学版), 2016, 46(3): 865-869.
[12]	董悦丽, 郭权, 孙斌, 康玲. 药物分子对接动态任务迁移优化[J]. 吉林大学学报(工学版), 2015, 45(4): 1253-1259.
[13]	匡哲君，师唯佳，胡亮. 基于无线传感器网络的角色成员关系剩余能量新算法[J]. 吉林大学学报(工学版), 2015, 45(2): 600-605.
[14]	张忆文，郭锐锋. 实时系统混合任务低功耗调度算法[J]. 吉林大学学报(工学版), 2015, 45(1): 261-266.
[15]	张忆文^{1, 2}, 郭锐锋¹. 制的容错节能调度算法[J]. 吉林大学学报(工学版), 2014, 44(4): 1112-1117.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed