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 then to derive the system's required operations from the action of the state models. Extensive guidelines are provided for partioning of processes through data flow diagrams in order to maximize process reuse. Advanced topics timers, contention problems, failure analysis, threads of control, alternative models of time, simulation, domain partioning, and transformation of object-oriented analysis into an object-oriented design.
