Foreword.
Preface.
Acknowledgments.
1. Introduction.
Raising the Level of Abstraction.
Executable UML.
Making UML Executable.
Model Compilers.
Model-Driven Architecture.
References.
2. Using Executable UML. The System Model.
Domain Identification.
Use Cases.
Iterating the System Model.
Modeling a Single Domain.
Classes.
State Machines.
Procedures.
Iterating the Domain Models.
Iterating between System and Domain Modeling.
Verification and Execution.
Model Verification.
Model Compilation.
Iterating Verification and Execution.
The Big Picture.
References.
3. Domains and Bridges. Domains.
Domain Missions.
Domain Autonomy.
Domain Replacement.
Domains and Requirements.
Bridges.
Aspects and Join Points.
Domains and Aspects.
References.
4. Use Cases. Basics of Use Cases.
Actors.
Use Cases.
External Signals.
Working with Use Cases.
Single-Domain Use Cases.
Levels of Use Cases.
Applying Use Cases.
Activity Diagrams.
Formalizing Use Cases.
Preconditions.
Postconditions.
Linked Use Cases.
Scenarios and Testing.
System Modeling.
References.
5. Classes and Attributes. Classes.
Finding Classes.
Naming Classes.
Attributes.
Finding Attributes.
Attribute Data Types.
Core Data Types.
Domain-Specific Data Types.
Using Types.
Documenting Classes and Attributes.
Diagramming Classes and Attributes.
Class Descriptions.
Attribute Descriptions.
Checking Classes and Attributes.
Subject-Matter Check.
Abstraction Checks.
Attribute Checks.
Rules, Rules, Rules.
References.
6. Relationships and Associations. Associations.
Association Names.
Association Meanings.
Multiplicity.
Association Descriptions.
Checking Associations.
Conditionality.
Capturing the Correct Classes and Roles.
Multiple Associations.
Association Classes.
Generalization and Specialization.
The Concept of Generalization and Specialization.
Mu...