干旱区生态环境知识资源中心

We present the OO-Method, an Object-Oriented Methodology that complements the use of formal specification languages with the background of the classical informal OO Analysis and Design proposals. This methodology eliminates the ambiguity of such methods and puts into practice the appropiate properties of formal specification languages in a practical way. It uses a formal OO Specification Language called Oasis as a design tool. The most relevant contribution of the OO-Method is that it generates the specification in an automated way from the graphical models obtained in the Analysis step and the quoted specification is a robust documentation of the System. Finally, code generators make possible to obtain implementations of the specification in different Software Development Environments, including declarative (Prolog-based) and imperative environments.