EXECUTABLE UML技术内幕（影印版） 下载 pdf 百度网盘 epub 免费 2025 电子书 mobi 在线

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

本书适合软件系统分析、设计人员阅读。

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.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 Attributes 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 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 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

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 References

Chapter 12 Using Lifecycles

12.1 Statechart Diagram Construction Techniques

12.2 Reworking the Class Diagram

12.3 References

Chapter 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 References

Chapter 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 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 Verifiction Gap

15.6 References

Chapter 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 Management

Chapter 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 Compiler

Chapter 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 References

Appendix A Glossary

Appendix B Case Sthdy

B.1 Subsystem producSpecification

B.2 Subsystem Ordering

B.3 Subsystem Shipping

B.4 Domain Data Types

B.5 Object Collaboration Diagram

Index

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：EXECUTABLE UML技术内幕（影印版）在线阅读

在线听书地址：EXECUTABLE UML技术内幕（影印版）在线收听

在线购买地址：EXECUTABLE UML技术内幕（影印版）在线购买

暂无原文赏析，正在全力查找中！

书籍介绍

Executable UML技术内幕（影印版），ISBN：9787030114013，作者：（美） 梅勒（Mellor,S.J.），（美）巴尔塞（Balcer,M.J.） 著