EXECUTABLE UML技术内幕

出版时间：2003-5  出版社：科学出版社  作者：（美） 梅勒（Mellor,S.J.），（美）巴尔塞（Balcer,M.J.） 著  页数：368  字数：478000  

内容概要

Executable UML是软件开发领域的一项重大发明，这方面的著作尚不多见。本书对这一技术做了深入的介绍，比如，怎样用UML将需求和用况物化成为直观的图表，如何用UML产生可执行、可测试的模型，如何将模型直接翻译成代码，以及如何Executable UML模型编译器将分散的系统域编译在一起。为加深读者对有关概念和技巧的理解，书中还提供了一个开发成功的大型案例。另外，还提供了两个网址，以便于读者下载有关的模型以及翻译和运行这些模型的工具。    本书适合软件系统分析、设计人员阅读。

书籍目录

ForewordPrefaceAcknowledgmentsChapter 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 ReferencesChapter 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 ReferencesChapter 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 ReferencesChapter 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 ReferencesChapter 5 Classes and Attributes  5.1 Classes  5.2 Attributes  5.3 Attributes Data Types   5.4 Documenting Classes and Attributes   5.5 Checking Classes and Attributes  5.6 Rules，Rules，Rules   5.7 ReferencesChapter 6   Relationships and Associations  6.1 Associations  6.2 Associations Descriptions  6.3 Checking Associations  6.4 Associations Classes  6.5 Generalization and Specialization  6.6 Reflexive Associations  6.7 The Class Model  6.8 ReferencesChapter 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 ReferencesChapter 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 ReferencesChapter 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 ReferencesChapter 10 Communicating Objects  10.1 Signals  10.2 Creating and Deleting Objects  10.3 Visualizing Domain Dynamics   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 ReferencesChapter 12  Using Lifecycles  12.1 Statechart Diagram Construction Techniques  12.2 Reworking the Class Diagram  12.3 ReferencesChapter 13  Relationship Dynamics  13.1 Dynamically Simple Associations  13.2 Associstions Involving Competition  13.3 Dynamics in Generalization Hierarchies  13.4 Polymorphic Events and Polymorphic Signals  13.5 Reclassification  13.6 ReferencesChapter 14  Domain Dynamics  14.1 Partitioning Control  14.2 Control Strategies  14.3 Delegation of Control  14.4 Input Conditioning  14.5 Distrbuted Dynamics  14.6 ReferencesChapter 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 Verifiction Gap  15.6 ReferencesChapter 16  Model Management  16.1 Dividing Large Domains   16.2 Subsystems and the Class Diagram  16.3 Collaboations between Subsystems  16.4 Adjusting Subsystem partitioning   16.5 Model ManagementChapter 17  Joining Multple Domains  17.1 Kinds of Domains  17.2 Anonymous Explicit Bridges  17.3 Implicit Bridging weth Join Points  17.4 Bridging to the Model CompilerChapter 18  Model Compilers  18.1 Compiling the Models：The Bookstore  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 ReferencesAppendix A  GlossaryAppendix B Case Sthdy  B.1 Subsystem producSpecification  B.2 Subsystem Ordering  B.3 Subsystem Shipping  B.4 Domain Data Types  B.5 Object Collaboration DiagramIndex