Formalizing Artifacts of Object-Oriented Analysis : Design Methods

摘要

To automate Object-Oriented Analysis and Design (OOA & OOD) processes, the formalization of the artifacts that are produced in OOA & OOD methods is necessary. This paper proposes the translation of OOA & OOD artifacts into formal descriptions (FD) such as descriptions written in Object Z. This approach enables computerized supporting tools to evaluate the quality of the OOA & OOD artifacts and to check consistency in the artifacts.