Jorgensen, Paul C.
This book provides engineers, developers, and technicians with a detailed treatment of various models of software behavior that will support early analysis, comprehension, and model-based testing. The expressive capabilities and limitations of each behavioral model are also discussed.
1. Issues in Behavior Modeling 2. Math Background 3. Examples 4. Flowcharts 5. Decision Tables 6. Finite State Machines 7. Petri Nets 8. Event-Driven Petri Nets 9. Statecharts 10. Object-Oriented Models 11. Model Comparisons
Offers an understanding of the expressive power of various models of system behavior. This text details two fundamental types of requirements specification models: those that describe structure and those that describe behavior.
Über den Autor
Grand Valley State University, Allendale, Michigan, USA
Inhaltsverzeichnis
1. Issues in Behavior Modeling 2. Math Background 3. Examples 4. Flowcharts 5. Decision Tables 6. Finite State Machines 7. Petri Nets 8. Event-Driven Petri Nets 9. Statecharts 10. Object-Oriented Models 11. Model Comparisons
Klappentext
Based on a graduate course taught by the author, this book provides an in-depth understanding of the expressive power of various models of system behavior. The text details two fundamental types of requirements specification models: those that describe structure and those that describe behavior. Chapters emphasizing structure focus on entity/relation models, dataflow diagrams, hierarchy charts, class diagrams, and object diagrams as well as the interfaces among them. Sections highlighting behavior address decision tables, finite state machines, StateCharts, and Petri Nets. The capabilities and limitations of each model are also discussed. Practical examples and exercises complete the coverage.rn