基于随机进程代数的软件体系结构建模与性能评价 - Journal of.PDF

2 00 2 年 1 月 东 北 大 学 学 报 (自 然 科 学 版 ) Jan .2 0 0 2 第23 卷第1期 Journal of Northeastern University (Natural Science) Vol.23, No.1 :1005-3026(2002)0 1-00 16-04 赵会群, 徐凌宇, 王国仁, 高　远 ( , 　110004) 　　　:, , (stochastic process al ebra SPA) · , , 、 · · 　　:;;;Markov ;; :TP 302.7 　　　:A · , ④ (Cooperation)`Θ : · ()、 , H · ()[ 1, 2] · ⑤(Encapsulation)`/ : · (softw are architecture description ③④, lan ua e ADL)ADL H · · [2] SPA , , ADLs · , , SPA · [3] e , e ∈ E , e , ADL 1 2 1 · , e2 : e e , :“e =e ”, SPA 1 2 1 t 2 · e1 e2 ; e1 e2 , :“e1 1　 te2”, e1 e2 ; e e , :“e =e ”, (SPA ) 1 2 1 c 2 , (a ents), e1 e2 ; (atomic actions)[4] · e1 e2 , :“e1 [4] e ”, e e SPA · c 2