- Main Page
- Main Page
- Table of content
- Copyright
- List of Figures
- Foreword
- Preface
- Frequently Asked Questions
- Acknowledgments
- Chapter 1. Introduction
- 1.1 Raising the Level of Abstraction
- 1.2 Executable UML
- 1.3 Making UML Executable
- 1.4 Model Compilers
- 1.5 Model-Driven Architecture
- 1.6 References
- Chapter 2. Using Executable UML
- 2.1 The System Model
- 2.2 Modeling a Single Domain
- 2.3 Verification and Execution
- 2.4 The Big Picture
- 2.5 References
- Chapter 3. Domains and Bridges
- 3.1 Domains
- 3.2 Domains and Requirements
- 3.3 Bridges
- 3.4 Aspects and Join Points
- 3.5 Domains and Aspects
- 3.6 References
- Chapter 4. Use Cases
- 4.1 Basics of Use Cases
- 4.2 Working with Use Cases
- 4.3 Activity Diagrams
- 4.4 Formalizing Use Cases
- 4.5 Scenarios and Testing
- 4.6 System Modeling
- 4.7 References
- Chapter 5. Classes and Attributes
- 5.1 Classes
- 5.2 Attributes
- 5.3 Attribute Data Types
- 5.4 Documenting Classes and Attributes
- 5.5 Checking Classes and Attributes
- 5.6 Rules, Rules, Rules
- 5.7 References
- Chapter 6. Relationships and Associations
- 6.1 Associations
- 6.2 Association Descriptions
- 6.3 Checking Associations
- 6.4 Association Classes
- 6.5 Generalization and Specialization
- 6.6 Reflexive Associations
- 6.7 The Class Model
- 6.8 References
- Chapter 7. Class Actions
- 7.1 Object and Attribute Actions
- 7.2 Selection Expressions
- 7.3 Link Actions
- 7.4 Link Object Actions
- 7.5 Generalization Hierarchies
- 7.6 Other Action Languages
- 7.7 References
- Chapter 8. Constraints
- 8.1 Unique Instance Constraints
- 8.2 Derived Attributes
- 8.3 Referential Constraints
- 8.4 Association Loops
- 8.5 Constraints Capture Semantics
- 8.6 References
- Chapter 9. Lifecycles
- 9.1 Concept of a Lifecycle
- 9.2 State Machine
- 9.3 State Transition Table
- 9.4 Creating and Deleting Objects
- 9.5 Forming Lifecycles
- 9.6 Lifecycles for Classes
- 9.7 References
- Chapter 10. Communicating Objects
- 10.1 Signals
- 10.2 Creating and Deleting Objects
