用UML设计并发、分布式、实时应用

　　内容简介 Authorized translation from the English language edition， entitled DESIGNING CONCURRENT， DISTRIBUTED， AND REALTIME APPLICATIONS WITH UML，1st Edition，ISBN：0201657937 by GOMAA， HASSAN，published by Pearson Education， Inc.， publishing as Addison Wesley Professional， Copyright2000.All rights reserved. No part of this book may be reproduced or transmitted in any form or by any means， electronic or mechanical， including photocopying， recording or by any information storage retrieval system， without permission from Pearson Education， Inc.CHINESE SIMPLIFIED language edition published by BEIJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS PRESS， Copyright2004.本书中文简体字版由Pearson Education， Inc. 授权北京航空航天大学出版社在中华人民共和国境内（不包括香港、澳门、台湾地区）独家出版发行。版权所有。北京市版权局著作权登记号：图字：01－2003－0421

　　HassanGomaa，维吉尼亚州Fairfax郡乔治梅森大学的软件工程教授，是分布式和实时系统设计的国际知名的权威，同时也是SoftwareDesignMethodsforConcurrentandReal-TimeSystems的作者。Hassan在软件工程方面的经历跨越了业界和学术界，为业界开发并发、分布式和实时系统，同时设计软件开发方法并将它们用于实践；同时他也为世界各地的专业软件工程师们讲授短期的课程。他在英国伦敦大学学院获得电子工程的理学学士学位，并在伦敦帝国学院获得计算机科学的博士学位。

第一篇 UML表示方法、设计概念、技术、生命周期和方法
     第1章 导言3
     1.1 面向对象方法和统一建模语言UML4
     1.2 方法和表示法5
     1.3 并发应用5
     1.4 实时系统和应用7
     1.5 分布式系统和应用8
     1.6 小结9
    
     第2章 UML表示法概述10
     2.1 UML图10
     2.2 用例图11
     2.3 类和对象的UML表示法11
     2.4 类图12
     2.5 交互图13
     2.6 状态图15
     2.7 包16
     2.8 并发协作图17
     2.9 部署图18
     2.10 UML的扩展机制19
     2.11 UML的标准化20
     2.12 小结20
    
     第3章 软件设计和体系结构的概念22
     3.1 面向对象的概念22
     3.2 信息隐藏24
     3.3 继承29
     3.4 主动对象和被动对象30
     3.5 并发处理31
     3.6 并发任务间的协作33
     3.7 访问同步化中的信息隐藏41
     3.8 管程42
     3.9 设计定式44
     3.10 软件体系结构和基于构件的系统45
     3.11 小结46
    
     第4章 并发和分布式系统技术47
     4.1 并发处理环境47
     4.2 对于多道程序设计和多处理环境的运行时支持49
     4.3 任务调度52
     4.4 操作系统输入/输出考虑54
     4.5 客户端/服务器和分布式系统技术56
     4.6 万维网技术60
     4.7 分布式操作系统的服务62
     4.8 中间件65
     4.9 通用对象请求代理体系结构——CORBA68
     4.10 其他构件技术71
     4.11 事务处理系统72
     4.12 小结74
    
     第5章 软件生命周期和方法75
     5.1 软件生命周期方法75
     5.2 设计的验证和确认82
     5.3 软件测试83
     5.4 软件设计方法的演进84
     5.5 面向对象分析和设计方法的演进86
     5.6 并发和实时设计方法调查87
     5.7 小结88
    
    
     第二篇 COMET:用UML的并发对象建模和体系结构设计
     第6章 COMET概述91
     6.1 COMET面向对象软件生命周期91
     6.2 对比COMET生命周期和其他软件过程94
     6.3 需求、分析和设计模型94
     6.4 简述COMET96
     6.5 小结98
    
     第7章 用例建模99
     7.1 用例99
     7.2 行为者100
     7.3 行为者、角色和用户102
     7.4 标识用例102
     7.5 写出用例模型中的用例文档104
     7.6 用例的例子104
     7.7 用例关系108
     7.8 用例包110
     7.9 小结111
    
     第8章 静态建模112
     8.1 类之间的关联112
     8.2 组合和聚集层次结构118
     8.3 泛化/特化层次结构119
     8.4 约束121
     8.5 静态建模和UML122
     8.6 系统上下文环境的静态建模123
     8.7 实体类的静态建模126
     8.8 小结127
    
     第9章 构造对象和类128
     9.1 对象构造准则128
     9.2 应用类的归类129
     9.3 对象构造分类129
     9.4 外部类和接口类131
     9.5 接口对象132
     9.6 实体对象137
     9.7 控制对象139
     9.8 应用程序逻辑对象141
     9.9 子系统143
     9.10 小结145
    
     第10章 有限状态机和状态图146
     10.1 有限状态机146
     10.2 事件和状态147
     10.3 有限状态机和对象148
     10.4 状态图示例148
     10.5 事件和条件152
     10.6 动作154
     10.7 为系统的不同方面建模161
     10.8 层级状态图161
     10.9 并发状态图164
     10.10 开发状态图的方针165
     10.11 从用例开发状态图166
     10.12 从用例开发状态图的示例167
     10.13 小结174
    
     第11章 动态建模175
     11.1 对象交互建模175
     11.2 交互图上的消息标记179
     11.3 动态分析182
     11.4 非状态依赖的动态分析182
     11.5 非状态依赖动态分析的例子183
     11.6 状态依赖动态分析184
     11.7 状态依赖动态分析的例子：银行系统187
     11.8 状态依赖动态分析的例子：巡航控制系统195
     11.9 小结205
    
     第12章 软件体系结构设计206
     12.1 软件体系结构样式206
     12.2 系统分解?侍?211
     12.3 确定子系统的方针211
     12.4 综合协作图212
     12.5 子系统软件体系结构214
     12.6 子系统设计中关注的分离215
     12.7 子系统构造准则216
     12.8 子系统分解的例子220
     12.9 设计层的静态建模220
     12.10 小结224
    
     第13章 分布式应用的体系结构设计225
     13.1 可配置体系结构和软件构件226
     13.2 设计分布式应用的步骤226
     13.3 系统分解227
     13.4 设计子系统接口232
     13.5 事务管理239
     13.6 服务器子系统的设计242
     13.7 数据的分布246
     13.8 系统配置247
     13.9 小结249
    
     第14章 任务构建250
     14.1 并发任务构建综述251
     14.2 任务构建分类251
     14.3 I/O任务构建准则252
     14.4 内部任务构建准则259
     14.5 任务优先级准则265
     14.6 任务群集准则266
     14.7 使用任务倒置重构设计276
     14.8 开发任务体系结构281
     14.9 任务通信和同步284
     14.10 任务行为规范292
     14.11 小结295
    
     第15章 类的设计296
     15.1 设计信息隐藏类296
     15.2 设计类的操作297
     15.3 数据抽象类300
     15.4 设备接口类302
     15.5 状态依赖类305
     15.6 算法隐藏类308
     15.7 用户接口类309
     15.8 业务逻辑类309
     15.9 数据库包装类312
     15.10 软件决策类313
     15.11 设计中的继承313
     15.12 继承的例子315
     15.13 类接口规范320
     15.14 小结322
    
     第16章 详细软件设计323
     16.1 复合任务的设计323
     16.2 类访问的同步化330
     16.3 设计任务间通信的连接器338
     16.4 任务事件的顺序逻辑343
     16.5 小结344
    
     第17章 并发实时软件设计的性能分析345
     17.1 实时调度理论345
     17.2 高级实时调度理论352
     17.3 用事件顺序分析作性能分析356
     17.4 用实时调度理论和事件顺序分析作性能分析356
     17.5 用事件顺序分析作性能分析的例子357
     17.6 用实时调度理论作性能分析的例子360
     17.7 用实时调度理论和事件顺序分析作性能分析的例子362
     17.8 设计重构368
     17.9 性能参数的评估和度量369
     17.10 小结370
    
     第三篇 并发、分布和实时应用设计的实例研究第18章电梯控制系统实例研究373
     18.1 问题描述373
     18.2 用例模型374
     18.3 问题域静态模型378
     18.4 对象构建380
     18.5 动态模型380
     18.6 状态图模型388
     18.7 协作图的联合392
     18.8 子系统构建394
     18.9 把系统构建为任务398
     18.10 分布式电梯控制系统的设计406
     18.11 信息隐藏类的设计416
     18.12 开发软件详细设计418
     18.13 目标系统的配置421
     18.14 非分布式电梯控制系统的性能分析422
     18.15 分布式电梯控制系统性能分析430
    
     第19章 银行系统实例研究440
     19.1 问题描述440
     19.2 用例模型441
     19.3 静态建模444
     19.4 对象分析449
     19.5 动态建模454
     19.6 ATM状态图465
     19.7 银行系统的设计470
     19.8 整合协作模型470
     19.9 把系统构建为子系统474
     19.10 设计ATM客户端子系统475
     19.11 Bank Server Subsystem的设计483
     19.12 银行系统的配置490
     19.13 另外一种设计思路490
     19.14 任务行为规范490
    
     第20章 巡航控制和监视系统实例研究496
     20.1 问题描述496
     20.2 用例模型498
     20.3 用例描述502
     20.4 问题域静态建模504
     20.5 动态建模506
     20.6 子系统构建520
     20.7 静态建模求精528
     20.8 把系统构建为任务530
     20.9 信息隐藏类的设计552
     20.10 开发软件详细设计559
     20.11 分布式汽车系统的软件体系结构565
    
     第21章 分布式工厂自动化系统实例研究567
     21.1 问题描述567
     21.2 用例模型569
     21.3 问题域的概念静态模型571
     21.4 对象构建574
     21.5 动态模型575
     21.6 子系统构建589
     21.7 分布式软件体系结构595
     21.8 系统配置600
    
     第22章 电子商务系统实例研究602
     22.1 电子商务问题602
     22.2 用例模型603
     22.3 代理对电子商务系统的支持604
     22.4 对象中介对电子商务系统的支持605
     22.5 问题域静态建模606
     22.6 协作模型608
     22.7 分布式软件体系结构616
     附录约定的和替换的表示法623
     1本书采用的约定 623
     2衍类型的替换表示法625
     3主动对象的替换表示法625