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

作     者：包铁 刘淑芬 Bao Tie;Liu Shu-fen

作者机构：吉林大学计算机科学与技术学院长春130012 

基　　金：'十五'国家科技攻关计划项目(2004BA907A20) 吉林省科技发展计划项目(20040304) 

出 版 物：《吉林大学学报（工学版）》 (Journal of Jilin University:Engineering and Technology Edition)

年 卷 期：2007年第37卷第1期

页      码：117-120页

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

主 题 词：计算机系统结构 形式化描述 通信顺序进程 故障管理 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1671-5497.2007.01.023

馆 藏 号：203270610...