形式描述语言COOZ的集成支撑环境COOZ-Tools

发布时间：2019-08-14 12:07

【摘要】：介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌｓ支持基于ＣＯＯＺ的软件开发，，它主要由如下工具组成：规格说明编辑、浏览工具、语法语义检查工具、联机帮助工具、项目管理工具。
[Abstract]:This paper introduces the design principle, system structure, function, characteristics and key implementation technology of COOZ-Tools, an integrated support environment supporting object-oriented formal description language (COOZ). COOZ is an object-oriented extension of Z language, thus organically combining formal language with object-oriented mechanism. COOZ-Tools supports software development based on COOZ. It is mainly composed of the following tools: specification editing, browsing tools, syntax and semantics checking tools, online help tools, project management tools.
【作者单位】： 南京大学计算机软件新技术国家重点实验室 计算机科学与技术系
【基金】：国家“九五”攻关项目,国家自然科学基金
【分类号】：TP312

【共引文献】

相关期刊论文 前5条

1 朱智勇;面向对象软件形式开发方法[J];湖南科技学院学报;2005年11期

2 黄春荣,李宣东,郑国梁;UML模型到COOZ规约的形式化转换[J];计算机工程与应用;2003年20期

3 袁晓东,李宣东,郑国梁;一种面向对象的形式化设计方法──从COOZ需求规格说明到设计[J];计算机工程与科学;1998年03期

4 陈怡海,缪淮扣;两种形式语言:RSL与Z的分析比较[J];计算机应用与软件;2002年04期

5 阮幼林,李传湘;一种基于Z和精化演算的形式化开发方法[J];小型微型计算机系统;2001年05期

相关博士学位论文 前2条

1 陈怡海;面向对象软件规格说明的构造及确认技术研究[D];上海大学;2007年

2 高晓雷;SOZRSL软件需求规格说明语言及其求精[D];上海大学;2004年

相关硕士学位论文 前3条

1 燕昊;UML建模的形式化研究[D];兰州大学;2006年

2 苏北;Z规格说明中幂集算子自动求精的研究与实现[D];沈阳工业大学;2006年

3 于云赫;Z规格说明中关系和函数到C++STL的自动转换[D];沈阳工业大学;2007年

【相似文献】

相关期刊论文 前10条

1 郭善增,史美林;形式描述语言ASN.1及其编译器的设计与实现[J];烟台大学学报(自然科学与工程版);1988年00期

2 胡习文,李福生;电力系统实时数据传输应用层协议描述[J];电力系统自动化;1991年02期

3 胡家宝;;形式描述技术及其应用[J];船海工程;1991年05期

4 科卞;;SDL语言研究[J];电子科技大学学报;1992年01期

5 张尧学,肖淑男,史美林;协议形式描述语言Estelle的交互生成方法[J];计算机研究与发展;1993年01期

6 虞红英，江南，张根度，刘秀虹;通用网络协议自动监视分析系统的实现[J];计算机工程;1996年06期

7 袁晓东,郑国梁;Z的面向对象扩充COOZ的设计[J];软件学报;1997年09期

8 袁晓东,李宣东,郑国梁;一种面向对象的形式化设计方法──从COOZ需求规格说明到设计[J];计算机工程与科学;1998年03期

9 胡家宝,彭向荣;一种适用于过程控制系统建模的形式描述语言PROTOB[J];计算机应用与软件;1998年01期

10 袁晓东，胡德强，许皓，李勇，郑国梁;形式描述语言COOZ的集成支撑环境COOZ-Tools[J];计算机工程与设计;1999年01期

相关博士学位论文 前1条

1 贾育;基于演于构件的软件复用方法[D];中国科学院研究生院（软件研究所）;2002年

本文编号：2526560