Abstrakt

Research on the probability of extended UML state diagram/random kripke structure semantic

Saidong Lv, Zhiping Li

Now probability model probability of detection has been widely used in network protocol, the analysis and verification of safety critical systems. Probabilistic model checking is application-level, however, difficult to understand, and modelers have a certain mathematical basis. Extended UML state diagram, and the detection probability model between syntax and semantics, with implicit mapping relation, so this article puts forward from the extended UML state chart to probability/random Kripke structure between semantic mapping rules and precise definition, and corresponding semantic algorithm is given.