| Z规格说明自动生成器 |
| |
| 引用本文： | 赵正旭,温晋杰. Z规格说明自动生成器[J]. 计算机系统应用, 2016, 25(4): 148-155 |
| |
| 作者姓名： | 赵正旭 温晋杰 |
| |
| 作者单位： | 石家庄铁道大学, 石家庄 050043,石家庄铁道大学 信息科学与技术学院, 石家庄 050043 |
| |
| 摘 要： | 形式化Z语言采用严格的数学理论可以有效提高软件的可靠性和鲁棒性,但是由于其包含的数学理论使得只有少数人能够熟练应用Z语言进行形式化规格说明书的编写.目前,多数对于Z语言的研究集中在理论阶段,还没有相应的工具支持Z规格说明的自动生成.本文中对于Z规格说明自动生成器的研究有助于降低Z规格说明书的编写难度,降低了形式化开发的难度及成本,对于形式化Z语言的推广具有重要的意义.
|
| 关 键 词： | Z语言 形式化 自动生成器 规约 语义分析 |
| 收稿时间： | 2015-08-06 |
| 修稿时间： | 2015-10-19 |
Z Specification Automatic Generator |
| |
| ZHAO Zheng-Xu and WEN Jin-Jie. Z Specification Automatic Generator[J]. Computer Systems& Applications, 2016, 25(4): 148-155 |
| |
| Authors: | ZHAO Zheng-Xu and WEN Jin-Jie |
| |
| Affiliation: | Shijiazhuang Tiedao University, Shijiazhuang 050043, China and School of Information Science and Technology, Shijiazhuang Tiedao University, Shijiazhuang 050043, China |
| |
| Abstract: | The formalized Z language can improve the reliability and robustness of the software via using complex mathematical theories. However, only a few people can understand these theories and compile with Z specification. At present, the main research of Z language focuses on the theoretical research. There is no corresponding tools support the automatic generation of Z specification. The research of Z specification automatic generator introduced in this article can help with the compilation of the Z specification and cut the cost of formal development. This automatic generator has great significance for the large-scale promotion of the Z language. |
| |
| Keywords: | Z language formalization automatic generator specification semantic analysis |
|
| 点击此处可从《计算机系统应用》浏览原始摘要信息 |
|
点击此处可从《计算机系统应用》下载全文 |
|
