Executable UML is designed to produce a comprehensive and understandable model of a solution independent of the organization of the software implementation. It is a highly abstract thinking tool that aids in the formalization of knowledge, and is also a way of describing the concepts that make up abstract solutions to software development problems. This integrated modeling method has been a key to successful development of software projects in subject matters ranging from avionics to e-commerce to self-driving vehicles.
This 20th Anniversary Edition thoroughly introduces, documents, and explains this technology. Learn how to formalize requirements and use cases into a rich set of verifiable diagrams, to produce executable and testable models, and to translate these models directly into code.
Learn how a system into subject matters based on individual aspectsPick the right level for use case modeling to speed subject matter comprehensionModel classes and focus on relationships to capture subject matter semantics preciselyExpress behavior using the newly adopted UML action semantics and action languagesSpecify constraints using tags specified in OCL (Object Constraint Language)In addition, this book tackles topics of particular importance in execution, such as how objects by building lifecycles using statechart diagramsModel relationships and contention safelyDistribute dynamics to avoid unmaintainable controller objectsVerify the models by executing test cases against the statechart diagrams and constraintsA large-scale, fully developed case study runs throughout the book to illustrate concepts and techniques.
A complete introduction to Executable UML. Quite abstract for those looking for a real-sized complete example, but enough to understand the big picture.