| 基于时序逻辑的Object-Z类切片的扩展 |
| |
| 引用本文： | 佟长英,沈云付.基于时序逻辑的Object-Z类切片的扩展[J].计算机技术与发展,2009,19(6). |
| |
| 作者姓名： | 佟长英 沈云付 |
| |
| 作者单位： | 上海大学,计算机工程与科学学院,上海,200072 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 文中对程序切片进行了研究,报告了程序切片的现状,进行了Object-Z类切片方面的调查.为使(Object-Z规格易于验证,对Obiect-Z作切片处理是必须的.以Ogject-Z的通用堆栈类为实例,对类的描述进行扩展,给出了相应的Kripke结构.通过面向对象程序依赖图对Object-Z进行切片,实现了Object-Z的抽象,给出了对于一个类或具有继承关系的多个类的刻划,即证明了在状态和事件上的公式在原模型与抽象模型中保持,扩展了Object-Z类切片方法.
|
| 关 键 词： | 程序切片 Kripke结构 时序逻辑 间隔逻辑 通用堆栈 |
Extending Slices of Object-Z Classes Based on Temporal Logic |
| |
| TONG Chang-ying,SHEN Yun-fu.Extending Slices of Object-Z Classes Based on Temporal Logic[J].Computer Technology and Development,2009,19(6). |
| |
| Authors: | TONG Chang-ying SHEN Yun-fu |
| |
| Abstract: | |
| |
| Keywords: | Object-Z |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
