期刊名称：International Journal on Computer Science and Engineering
印刷版ISSN：2229-5631
电子版ISSN：0975-3397
出版年度：2012
卷号：4
期号：03
页码：512-521
出版社：Engg Journals Publications
摘要：This paper suggests an approach to software system architecture specification based on behavior models. The behavior of the system is defined as an event occurring probability and time. The behavior of the system over a time of stationary Markov process is completely characterized by the one step transition matrix, the matrix of instantaneous transition rates. Given the element of the appropriative matrix, it is possible to calculate probability of event of the process.
