面向对象详细设计及自动转换的研究

OBJECT-ORIENTED DETAILED DESIGN AND AUTOMATIC TRANSFORMING METHOD

本文讨论了面向对象详细设计的规约（ｓｐｅｃｉｆｉｃａｔｉｏｎ）方法，并提出了详细设计到代码的自动转换方法．文中①提出了一种详细设计形式规约语言ＪＯＯＤＤＬ，其中引入了受限谓词的概念和称为ｃｏｍｐｕｔｅ语句的控制抽象机制，由此提高描述的抽象级．②提出了相关性及有效序的概念，并基于它们解决了自动转换中目标代码的重用问题，提高了转换效率．③提出了基于知识的一种过程式转换技术．

In this paper,a specification method for object oriented detailed designis discussed, and a method of automatic transforming from detailed design to codeis provided. JOODDL is a detailed design specification language, in which a conceptof constraint predicate and a control ahs'trn(lt mechanism called compute statementare introduced, and the description level can he raised. The concepts of relativityand valid sequence are provided, and a code reusing problem in automatic transformation is solved with these concepts. Finally, a procedural transformation technique is presented.