| 摘要: |
| 为了使Z规格说明与面向对象开发方法相结合，本文在Z中扩充了对象类型和模块描述机制，使之成为面向对象的形式化规格说明语言COOZ（completeobject－orientedZ）．内容包括COOZ的设计思想、语法定义及说明、形式化语义、实例以及与相关研究工作的比较． |
| 关键词: Z语言 面向对象 形式化 规格说明 扩充 |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金和国家“九五”攻关项目基金资助. |
|
| COOZ:COMPLETE OBJECT-ORIENTED EXTENSION TO Z |
|
YUAN Xiaodong,ZHENG Guoliang
|
| Abstract: |
| TQ combine Z notation with object-oriented techniques, this paper addsobject type and module mechanisrn to Z and makes it become object-oriented formal specifi-cation language COOZ. The paper includes the design ideas of COOZ, syntax and explana-tions, formal semantics, a small case and comparison with the related work. |
| Key words: Z language object-oriented formal specification extension |
