基于Web的形式化方法工具RRTChecker的研究与设计

计算机科学 ›› 2008, Vol. 35 ›› Issue (7): 286-287.

基于Web的形式化方法工具RRTChecker的研究与设计

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
贵州省年度计划项目（黔科合（2004）JN057）资助.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 形式化方法工具通常是在UNIX/Linux系统下设计开发的，难于使用阻碍了形式化方法的进一步推广。本文针对形式化方法RAISE，提出了一种研究和开发基于Web的工具的方法。该方法以原有的RAISE工具为基础，通过Shell管道拦截技术、ASP技术、ActiveXDLL技术及路径重写技术，将工具的所有功能集成整合到统一的、用户友好的Web界面上，用户可通过鼠标在浏览器中进行不同的操作。原有的RAISE工具的所有功能，在基于浏览器的集成化工具中得到全面支持。该方法也为开发其它形式化方法基于Web的工具提供了新

关键词: 形式化方法形式化方法工具 RAISE Web-based tool Web信息系统

Abstract: Formal methods tools are typically developed and used in UNIX/Linux system,and the difficulties in the use of the tools prevent the formal methods from being more popularized. A method of research and design the Web-based formal methods tool for RAISE is

Key words: Formal Methods,Formal methods tool,RAISE,Web-based tool,Web information system

. 基于Web的形式化方法工具RRTChecker的研究与设计[J]. 计算机科学, 2008, 35(7): 286-287. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed