This is an in-depth analysis of object oriented analysis and design and provides system developers with a formally-based foundation for generating both better code and better business processes.