| 本文已被：浏览 4029次 下载 5513次 |
码上扫一扫！ |
|
|
| 结合形式化的面向对象设计方法与支撑系统 |
|
郑明春1,2, 段会川1,2, 高波1,2, 张家重1,2
|
|
1.山东师范大学计算机科学系,济南,250014;2.南京大学计算机软件新技术国家重点实验室,南京,210093
|
|
| 摘要: |
| 为了有效地结合形式化和非形式化设计方法各自的优点，克服其不足之处，以尽可能保证软件设计的质量与可靠性，文章提出了一种将形式化方法与非形式化的面向对象设计方法ＨＯＯＤ（ｈｉｅｒａｒｃｈｉｃａｌｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｄｅｓｉｇｎ）相结合的途径，并介绍了其机器支撑环境的设计与实现．该途径在对层次式面向对象设计方法ＨＯＯＤ进行必要扩充的基础上，有机地集成了Ｚ语言等形式规约技术．支持这一途径的支撑环境提供了一套方便灵活的图形构筑工具、语法制导的形式语言与文本编辑工具，以及自动检查机制等． |
| 关键词: 面向对象 形式化方法 HOOD（hierarchicalobject－orienteddesign） 软件设计 支撑系统 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| A Design Method and Its System Supporting the Combinationof Formal Methods and Object Technologies |
|
ZHENG Mingchun,DUAN Huichuan,GAO Bo,ZHANG Jiazhong
|
| Abstract: |
| In order to pick up the complementary benefits of formal and informal design methods,and overcome their shortcomings to ensure the quality and reliability of software design,an approach to the combination of formal methods and informal objectoriented design methodsHOOD is proposed in this paper. The design and implementation of a mechanical supported environment for the approach is also introduced. Based on the necessary improvement on HOOD, a hierarchical objectoriented design method, the approach integrates the Z notation and other formal specification techniques.The supported environment provides the users with the convenient and flexible tools for constructing graphics,syntax-directed editors of formal notations and text,and facilities of automatic verification. |
| Key words: Objectorientation formal method HOOD （hierarchical objectoriented design） software design support system |
