Enhancing object-oriented methods with formal notations
Kevin Lano · Theory and Practice of Object Systems · 1996
This article addresses the issue of how the precision of object-oriented analysis and design methods can be enhanced by the selective introduction of mathematical notation. We use the OMT and Booch methods as a basis, with some enhancements by aspects of the Fusion and Syntropy methods. The formal notation will be the VDM++ specification language. We give examples to demonstrate the advantages of using diagrammatic and formal techniques in combination, particularly for critical systems or for reusable libraries. Some of the translations given in this article have been implemented in the Venus toolset for VDM++ (Plat, AFRODITE Project Report, AFRO/CG/NP/VENUSREP/VI, 1995). © 1997 John Wiley & Sons, Inc.