东北大学学报（自然科学版）

东北大学学报:自然科学版 ›› 2002, Vol. 23 ›› Issue (1): 16-19.DOI: 10.12068/j.issn.1005-3026.2002.01.005

• 论著 • 上一篇    下一篇

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

赵会群;徐凌宇;王国仁;高远   

  1. 东北大学信息科学与工程学院;东北大学信息科学与工程学院;东北大学信息科学与工程学院;东北大学信息科学与工程学院辽宁沈阳110004;辽宁沈阳110004;辽宁沈阳110004;辽宁沈阳110004
  • 收稿日期:2002-01-30 修回日期:2002-01-30 出版日期:2002-01-15 发布日期:2014-10-22
  • 通讯作者: -
  • 作者简介:-
  • 基金资助:
    科技部科技型中小企业技术创新基金资助项目(00C26211300507)

-

-   

  1. -
  • Received:2002-01-30 Revised:2002-01-30 Online:2002-01-15 Published:2014-10-22
  • Contact: -
  • About author:-
  • Supported by:
    -

RichHTML

1

PDF (PC)

630

摘要： 软件体系结构是应用系统的逻辑框架,在设计阶段分析软件体系结构的各种性能指标,可以改进软件系统设计·提出一种基于随机进程代数(stochasticprocessalgebra简称SPA)的软件体系结构建模方法,该方法把软件体系结构建模与性能评价相结合,从而可以在系统设计阶段分析软件体系结构的性能·实践验证该方法更简单、有效

关键词: 软件体系结构, 进程代数, 性能评价, Markov过程, 回报结构, 软件设计

Abstract: -

中图分类号: