A companion handbook to Shalaer and Mellor's popular Object-Oriented Systems Analysis , this book explains how to formalize the dynamic behavior and interaction of objects using state models, and how... This description may be from another edition of this product.