Verification and Validation for Quality of UML 2.0 Models

BHUVAN UNHELKAR, PhD, is founding Principal of MethodScience and a highly acclaimed trainer and presenter in the field of software engineering. Author of seven books, Dr. Unhelkar is also a professor at the School of Computing and Information Technology, University of Western Sydney.

"...is just the book to help one use the UML effectively...I highly recommend this book." (Software Quality Professional, December 2006) "I recommend this book to all those…using UML in small or medium-sized projects…it will serve as a useful guide for their next UML modeling task." (Computing Reviews.com, November 3, 2005)

• Figures xixForeword xxiiiPreface xxvAcknowledgments xxxiGlossary of Acronyms and Terms xxxiiiAuthor Profile xxxv1 The Quality Strategy for UML 1Chapter Summary 11.1 Modeling and Quality 21.2 Positioning UML for Modeling 41.3 Quality Aspects of UML 51.4 Understanding Modeling Spaces in Software 71.5 Modeling Spaces and UML 71.6 Verification and Validation 141.7 Quality Checks and Skills Levels 191.8 Levels of Quality Checks to UML Diagrams 201.9 Model-Driven Architecture (MDA) and Quality 231.10 Prototyping and Modeling Spaces 23Discussion Topics 24References 252 Nature and Basics of UML Diagrams 27Chapter Summary 272.1 The Nature of UML Diagrams 272.2 Use Case Diagrams 302.3 Activity Diagrams 332.4 Class Diagrams 352.5 Sequence Diagrams 372.6 Communication Diagrams 392.7 Interaction Overview Diagrams 412.8 Object Diagrams 412.9 State Machine Diagrams 432.10 Composite Structure Diagrams 442.11 Component Diagrams 452.12 Deployment Diagrams 462.13 Package Diagrams 472.14 Timing Diagrams 492.15 UML’s Extensibility Mechanisms 502.16 UML Meta-Models and Quality 53Discussion Topics 55References 563 Strengths, Weaknesses, Objectives and Traps (SWOT) of UML Diagrams 57Chapter Summary 573.1 SWOT Analysis of the UML Diagrams 583.2 SWOT of Use Case Diagrams 593.3 SWOT of Activity Diagrams 653.4 SWOT of Classes and Class Diagrams 673.5 SWOT of Sequence Diagrams 703.6 SWOT of Communication Diagrams 733.7 SWOT of Interaction Overview Diagrams 743.8 SWOT of Object Diagrams 753.9 SWOT of State Machine Diagrams 763.10 SWOT of Composite Structure Diagrams 773.11 SWOT of Component Diagrams 783.12 SWOT of Deployment Diagrams 793.13 SWOT of Package Diagrams 803.14 SWOT of Timing Diagrams 82Discussion Topics 82Note 83References 844 V&V of the Quality of MOPS 85Chapter Summary 854.1 UML Diagrams in MOPS 864.2 V&V of Use Cases and Use Case Diagrams in MOPS 884.3 Quality of Activity Diagrams in MOPS 1224.4 Quality of Package Diagrams in MOPS 1294.5 Quality of Classes and Class Diagrams in MOPS 1324.6 Quality of Sequence Diagrams in MOPS 1454.7 Quality of State Machine Diagrams in MOPS 1504.8 Quality of Interaction Overview Diagrams in MOPS 1544.9 Validating the Entire MOPS 1564.10 Summary of Quality Checks for MOPS 158Discussion Topics 158References 1605 V&V of the Quality of MOSS 161Chapter Summary 1615.1 UML Diagrams in the Solution Space (MOSS) 1615.2 Analyzing MOPS for MOSS for a Solution 1635.3 Quality of Classes and Class Diagrams in MOSS 1665.4 Quality of Sequence Diagrams in MOSS 1785.5 Quality of Communication Diagrams in MOSS 1825.6 Quality of Object Diagrams in MOSS 1845.7 Quality of State Machine Diagrams in MOSS 1865.8 Quality of Timing Diagrams in MOSS 1885.9 Converting Models into Systems 1895.10 Cross-Diagram Dependencies 189Discussion Topics 190References 1926 V&V of the Quality of MOBS 193Chapter Summary 1936.1 Working in the Background Space 1946.2 UML Diagrams in the Background Space (MOBS) 1946.3 V&V of Package Diagrams in MOBS 1996.4 Classes and Class Diagrams in the Background Space 2046.5 V&V of Class Diagrams in the Background Space 2086.6 V&V of Robustness through Class Diagrams in MOBS 2106.7 V&V of Component Diagrams in MOBS 2136.8 V&V of Composite Structure Diagrams in MOBS 2186.9 V&V of Deployment Diagrams in MOBS 2196.10 Cross-diagram dependencies in MOBS 222Discussion Topics 223References 2247 Managing the V&V Process 225Chapter Summary 2257.1 Processes and UML 2257.2 Understanding the Process and Process Components 2267.3 Iterations and Increments in a Process 228Discussion Topics 230Note 230References 230Appendix A LUCKY Insurance Case Study 231Appendix B UML CASE Tools 237Appendix C Summary of Checks for V&V of the Quality of MOPS 241Appendix D Summary of Checks for V&V of the Quality of MOSS 251Appendix E Summary of Checks for V&V of the Quality of MOBS 257Appendix F Templates for Actors, Use Cases and Classes in MOPS 263Index 267