|
|||||
|
|
| 基于Web的形式化方法工具RRTChecker的研究与设计 | |
| 引用本文： | 李丹,李丹宁.基于Web的形式化方法工具RRTChecker的研究与设计[J].中国药品标准,2008(7). |
| 作者姓名： | 李丹 李丹宁 |
| 摘 要： | 形式化方法工具通常是在UNIX/Linux系统下设计开发的,难于使用阻碍了形式化方法的进一步推广.本文针对形式化方法RAISE,提出了一种研究和开发基于Web的工具的方法.该方法以原有的RAISE工具为基础,通过Shell管道拦截技术、ASP技术、ActiveX DLL技术及路径重写技术,将工具的所有功能集成整合到统一的、用户友好的Web界面上,用户可通过鼠标在浏览器中进行不同的操作.原有的RAISE工具的所有功能,在基于浏览器的集成化工具中得到全面支持.该方法也为开发其它形式化方法基于Web的工具提供了新思路. |
| 关 键 词： | 形式化方法 形式化方法工具 Web 信息系统 |
Research and Design of a Web-based Formal Methods Tool:RRTChecker |
|
| Authors: | Chris George LI Dan LI Dan-ning Chris George |
| Abstract: | |
| Keywords: | RAISE Web-based tool |
| 点击此处可从《中国药品标准》浏览原始摘要信息 | |
| 点击此处可从《中国药品标准》下载免费的PDF全文 | |