Verification and Validation for Quality of UML 2.0 Models

A practical approach to enhancing quality in software models usingUML Version 2.0 "Despite its increasing usage, many companies are not taking thebest advantage of UML and, occasionally, individuals haveexperienced frustration in applying its standards. Perhaps this isbecause they have not yet read this book!" -From the Foreword by Prof. Brian Henderson-Sellers This book presents a practical checklist approach to enhancing thequality of software models created with the Unified ModelingLanguage (UML) Version 2.0. The foundation for quality is set bythe discussion on the nature and creation of UML models. This isfollowed by a demonstration of how to apply verification andvalidation checks to these models with three foci: syntacticalcorrectness, semantic meaningfulness, and aesthetic symmetry. Thequality work is carried out within three distinct yet relatedmodeling spaces: * Model of problem space (MOPS) * Model of solution space (MOSS) * Model of background space (MOBS) Readers can then choose a specific quality approach according totheir roles in their projects. Verification and validation checks are also organized according tothese three modeling spaces, making it easier for the reader tofocus on the appropriate diagrams and quality checks correspondingto their modeling space. In addition, a major element of thispublication is the Strengths, Weaknesses, Objectives, and Traps(SWOT) analysis. This analysis is performed on each UML diagram,enabling readers to fully comprehend these diagrams, theiradvantages and limitations, and the way in which they can be usedin practical projects for modeling. A consistent case study of the Lucky Insurance System is providedthroughout the chapters to illustrate the creation of good qualityUML diagrams, followed by application of quality checks to them.With its emphasis on quality in UML-based projects, this book is anessential resource for all quality professionals, including qualityanalysts, process consultants, quality managers, test designers,and testers.