文摘

研究的概率/随机kripke结构语义扩展的UML状态图

作者(年代):Saidong Lv,李挚萍

现在概率模型检测的概率已经广泛应用于网络协议、安全关键系统的分析和验证。检查应用程序级概率模型,然而,很难理解,建模者有一定的数学基础。扩展UML状态图,和语法和语义之间的检测概率模型,使用隐式映射关系,因此本文提出了扩展UML状态图的概率/随机Kripke结构之间的语义映射规则和精确定义,并给出相应的语义算法。