一种语义为中心的分布构件系统故障诊断建模方法

摘要

随着分布构件技术的发展,复杂的分布构件系统故障诊断问题越来越受到人们的重视.然而,现有软构件系统故障诊断研究的局限性导致他们没有充分考虑系统语义这一重要的因素.文章提出了一种新颖的语义为中心的分布构件系统故障诊断思想.在给出基于模型的故障诊断问题定义之后,提出了具有复杂时序语义表达能力的系统逻辑模型编辑方法.这种方法针对软构件系统具有较强的表达能力的同时,还能够很好的利用现有的一阶逻辑定理证明器求解极小诊断问题,它并不需要具有高级时序逻辑处理能力的定理证明器的支持.另外,通过哲学家就餐问题还从直观上阐述了这种建模方法的实际应用.在StarCCM的诊断子系统中,这种方法能够很好的解决基于软构件系统的语义诊断问题.