Foreword Preface 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.1.1 Domain Identification 2.1.2 Use Cases 2.1.3 Iterating the System Model 2.2 Modeling a Single Domain 2.2.1 Classes 2.2.2 State Machines 2.2.3 Procedures 2.2.4 Iterating the Domain Models 2.2.5 Iterating between System and Domain Modeling 2.3 Verification and Execution 2.3.1 Model Verification 2.3.2 Model Compilation 2.3.3 Iterating Verification and Execution 2.4 The Big Picture 2.5 References Chapter 3 Domains and Bridges 3.1 Domains 3.1.1 Domain Missions 3.1.2 Domain Autonomy 3.1.3 Domain Replacement 3.2 Domains and Requirements 3.3 Bridges 3.4 Aspects and Join Points 3.5 Domains and Aspects 3.6 References Chpater 4 Use Cases 4.1 Basics of Use Cases 4.1.1 Actors 4.1.2 Use Cases 4.1.3 External Signals 4.2 Working with Use Cases 4.2.1 Single-Domain Use Cases 4.2.2 Levels of Use Cases 4.2.3 Applying Use Cases 4.3 Activity Diagrams 4.4 Formalizing Use Cases 4.4.1 Preconditions 4.4.2 Postconditions 4.4.3 Linked Use Cases 4.5 Scenarios and Testing 4.6 System Modeling 4.7 References Chapter 5 Classes and Attributes 5.1 Classes 5.1.1 Finding Classes 5.1.2 Naming Classes 5.2 Attributes 5.2.1 Finding Attributes 5.3 Attribute Data Types 5.3.1 Core Data Types 5.3.2 Domain-Specific Data Types 5.3.3 Using Types 5.4 Documenting Classes and Attributes 5.4.1 Diagramming Classes and Attributes 5.4.2 Class Descriptions 5.4.3 Attribute Descriptions 5.5 Checking Classes and Attributes 5.5.1 Subject-Matter Check 5.5.2 Abstraction Checks 5.5.3 Attribute Checks 5.6 Rules, Rules, Rules 5.7 References Chapter 6 Relationships and Associations 6.1 Associations 6.1.1 Association Names 6.1.2 Association Meanings 6.1.3 Multiplicity 6.2 Association Descriptions 6.3 Checking Associations 6.3.1 Conditionality 6.3.2 Capturing the Correct Classes and Roles 6.3.3 Multiple Associations 6.4 Association Classes 6.5 Generalization and Specialization 6.5.1 The Concept of Generalization and Specialization 6.5.2 Mutual Exclusion and its Implications 6.5.3 Repeated Specialization 6.5.4 Multiple Generalization 6.5.5 Compound Generalization 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.6.1 Small 7.6.2 Tall 7.6.3 Actions and Syntax 7.7 References Chapter 8 Constraints 8.1 Unique Instance Constraints 8.1.1 Single Attribute Identifiers 8.1.2 Multiple Attribute Identifiers 8.1.3 Multiple Identifiers 8.2 Derived Attributes 8.3 Referential Constraints 8.3.1 Referential Attributes 8.3.2 Derived Identifiers 8.4 Association Loops 8.4.1 Unconstrained Association Loops 8.4.2 Redundant Associations 8.4.3 Equal Set Constraints 8.4.4 Subset Constraints 8.5 Constraints Capture Semantics 8.6 References Chapter 9 Lifecycles 9.1 Concept of a Lifecycle 9.2 State Machine 9.2.1 Example Class with a State Machine 9.2.2 States 9.2.3 Events 9.2.4 Transitions 9.2.5 Procedures 9.3 State Transition Table 9.3.1 Basics of the State Transition Table 9.3.2 Discovering New Transitions 9.3.3 Discovering New States and Events 9.3.4 Event Ignored and Can't Happen 9.4 Creating and Deleting Objects 9.4.1 Initial Pseudostates 9.4.2 Final Pseudostates 9.5 Forming Lifecycles 9.6 Lifecycles for Classes 9.7 References Chapter 10 Communicating Objects 10.1 Signals 10.1.1 Sending Signals 10.1.2 Event Parameters 10.1.3 Signals with Parameters 10.1.4 Signals to Self 10.1.5 Signals to External Entities 10.2 Creating and Deleting Objects 10.2.1 Asynchronous Creation and Deletion 10.2.2 Synchronous Creation and Deletion 10.3 Visualizing Domain Dynamics 10.3.1 Collaboration Diagrams 10.3.2 Concept of a Execution Trace 10.3.3 Sequencing Signals on a Collaboration Diagram 10.3.4 Sequence Diagram 10.3.5 Applicability 10.4 Domain Dynamics Chapter 11 Synchronizing Objects 11.1 How to Think about Time 11.2 Rules about Signals 11.3 Rules about Procedures 11.4 Rules about Data Access 11.5 Delayed Signals and Time Events 11.6 Rules, Rules, Rules 11.7 References Chapter 12 Using Lifecycles 12.1 Statechart Diagram Construction Techniques 12.1.1 Modeling Intention 12.1.2 Modeling Progression 12.1.3 Simultaneous Signals 12.1.4 Distinct Signals 12.2 Reworking the Class Diagram 12.2.1 Refactoring Behavior 12.2.2 Saving Signals in Data 12.3 References Chapter 13 Relationship Dynamics 13.1 Dynamically Simple Associations 13.1.1 Associations without Explicit Lifecycles 13.1.2 Dynamic Associations with Association Classes 13.2 Associations Involving Competition 13.2.1 Competition in the Domain 13.2.2 Competition in the Models 13.2.3 An Example 13.2.4 Multi-Instance Contention 13.2.5 Object Selection and Selection Policies 13.3 Dynamics in Generalization Hierarchies 13.3.1 Superclass State Machines 13.3.2 Subclass State Machines 13.4 Polymorphic Events and Polymorphic Signals 13.5 Reclassification 13.5.1 Superclass State Machine 13.5.2 Subclass State Machines with Reclassification 13.6 References Chapter 14 Domain Dynamics 14.1 Partitioning Control 14.2 Control Strategies 14.2.1 Push and Pull Control 14.2.2 The Pivot Point 14.2.3 Finding the Pivot 14.3 Delegation of Control 14.3.1 Hierarchical Delegation 14.3.2 Networked Delegation 14.3.3 Distributing Control in Associations 14.4 Input Conditioning 14.4.1 Input Sequencing 14.4.2 Distributing the Inputs 14.5 Distributed Dynamics 14.6 References Chapter 15 Domain Verification 15.1 Finding Unit Tests for a Single Use Case 15.2 Test Execution 15.3 System Tests 15.4 Finding Test Cases from the Models 15.5 The Verification Gap 15.6 References Chapter 16 Model Management 16.1 Dividing Large Domains 16.2 Subsystems and the Class Diagram 16.3 Collaborations between Subsystems 16.4 Adjusting Subsystem Partitioning 16.5 Model Management Chapter 17 Joining Multiple Domains 17.1 Kinds of Domains 17.1.1 Application User Interface 17.1.2 Generic Service Domains 17.1.3 Realized Domains 17.2 Anonymous Explicit Bridges 17.2.1 External Entities 17.2.2 Signals from External Entities 17.2.3 Signals to External Entities 17.2.4 Bridge Operations 17.2.5 Synchronous or Asynchronous Bridging? 17.3 Implicit Bridging with Join Points 17.3.1 Rationale for Join Points 17.3.2 Class-Class Joins 17.3.3 Class-Instance Joins 17.4 Bridging to the Model Compiler Chapter 18 Model Compilers 18.1 Compiling the Models: The Bookstore 18.1.1 Mechanisms 18.1.2 Archetypes 18.1.3 Archetype Language 18.2 Model Compilers and the Software Platform 18.3 Fit 18.4 Buying, Modifying, and Building a Model Compiler 18.5 Modeling the Model Compiler as a Domain 18.6 References Appendix AGlossary Appendix BCase Study B.1 Subsystem ProductSpecification B.2 Subsystem Ordering B.3 Subsystem Shipping B.4 Domain Data Types B.5 Object Collaboration Diagram Index
鄂公網(wǎng)安備 42010302001612號(hào) 