论文部分内容阅读
现有的基于自然语言或框图的自省模型已不能满足系统验证和分析的需求．本文采用流近似方法将PEPA转化为常微分方程组（ODEs），提出了一种基于性能评价进程代数（PEPA）语言的动态自省模型，且具有形式化推理验证和量化分析的功能，避免传统马尔可夫链求解方法状态空间爆炸的问题．分析结果显示，缩减被管理组件检测过程的延迟时间、减小执行指令序列长度对于自省效率的提高具有重要作用．