首页|基于马尔可夫链的性能检测器的设计与实现

基于马尔可夫链的性能检测器的设计与实现

扫码查看
原文链接
  • NETL
  • NSTL
  • 万方数据
为了可视化建模和验证并发系统的性能,设计并实现了一个以交互式马尔可夫链为数学原型的性能检测器.对该软件的系统结构、数据结构和功能模块等进行了探讨和设计,并举例验证.该软件采用Java Swing界面编程技术,支持图形化建模系统和撰写逻辑公式,界面友好,易于操作.
Design and implementation of IMC-based performance checker
In order to visually model concurrent system and verify its performance,a performance checker,based on mathematical principle of Interactive Markov Chains (IMC),was proposed and then implemented.The system architecture,data structure and functional modules and so on were discussed and designed,and then an example was taken for verification.The user-friendly software adopts Java Swing graphic user interface programming technology,supports modeling systems and writing logic formulas graphically for easy use.

model checkingInteractive Markov Chains ( IMC)temporal logicperformance checkingsystem architecture

许振兴、吴尽昭、陈剑锋

展开 >

中国科学院,成都计算机应用研究所,成都,610041

模型检测 交互式马可夫链 时序逻辑 性能检测 系统结构

国家重点基础研究发展规划(973计划)国家高技术研究发展计划(863计划)国家自然科学基金国家自然科学基金北京交通大学科学研究基金

2007CB3108032007AA01Z14360873118609731472007RC110

2010

计算机应用
中国科学院成都计算机应用研究所

计算机应用

CSTPCDCSCD北大核心
影响因子：0.892
ISSN：1001-9081
年,卷(期)：2010.30(z1)
  • 1
  • 1