OO第四单元总结 && 课程总结

周晋磊-24371053 2026-06-19 22:02:38

OO第四单元总结 && 课程总结

一、正向建模与开发的实践总结

1.1 正向建模的核心思想

本单元的主题是正向建模——"先建模，后编码"。先建立完整的UML模型（类图、状态图、顺序图），再以此指导代码实现。本单元的任务是构建图书馆管理系统，涵盖借书/还书、预约取书、阅览室、信用分系统、每日开闭馆整理等功能。

1.2 两阶类图在正向建模过程中的作用

第一阶段类图：宏观架构设计

在编码前，先设计核心类及其关系，例如：

Library 作为全局协调者，持有 Bookshelf、TreasuredBookshelf、BorrowAndReturnOffice、AppointmentOffice、ReadingRoom 五大物理地点
Book 与 BookCopy 的聚合关系（一书多副本）
User 与 BookCopy 的借阅/阅读/预约关联

这一阶段的作用类似建筑蓝图——先确立骨架，明确每个类的职责边界。例如 Bookshelf 仅负责物理存储和查找，借阅规则（B/C类数量限制）完全归属 User 处理。

第二阶段类图：细化设计与模型追踪

编码完成后，类图进一步细化，例如：

在 BookCopy 中引入 Guard 变量（isBorrowable、isHighScore、isHeldByUser、hasReading、canPick），直接映射状态图的守卫条件
新增 LibraryHelper 静态工具类，抽离整理逻辑
设计 @Trigger 和 @SendMessage 注解，在代码层面标记状态转移和顺序图消息

第二阶段类图的核心价值是建立UML模型与代码的追踪关系——精确描述每个方法归属、每个状态转移由哪个方法触发、每条顺序图消息对应哪个方法调用。

跳过第一阶段直接编码容易失去全局视角；只停留在第一阶段则无法指导具体实现。两阶递进是正向建模的完整链条。

二、架构设计与UML模型追踪关系分析

2.1 架构设计

最终架构采用分层 + 委托设计：

Main（输入解析层）
  ↓
LibraryManager（门面层，委托给Library）
  ↓
Library（核心业务逻辑层）── 持有 ── Bookshelf / TreasuredBookshelf
                                  BorrowAndReturnOffice / AppointmentOffice
                                  ReadingRoom
  ↓
LibraryHelper（静态辅助逻辑层）
  ↓
Book / BookCopy / Isbn / BookCategory / User / MovingRecord / OrderRecord（数据模型层）

关键设计决策：

Library 作为中心调度器：集中持有全部地点和用户数据，跨模块操作（如"书架取下→送预约处→标记配送"）在同一上下文中完成，避免多对象间复杂的消息传递。
LibraryHelper 静态工具类：整理逻辑涉及大量跨模块操作，抽离到 LibraryHelper 既保持 Library 简洁，又通过 Library 参数方便访问全局状态。
Guard 变量驱动状态转移：BookCopy 中的 isHeldByUser、hasReading、canPick 等布尔变量不仅是业务逻辑判断，更直接对应状态图守卫条件，使状态转移逻辑在代码中精确复现。
@Trigger / @SendMessage 注解：标注方法对应的状态转移和顺序图消息，形成"活的文档"。

2.2 代码与UML模型的追踪关系

通过以下机制建立双向追踪链：

（1）状态图 → @Trigger 注解 → 代码方法

@Trigger(from = "BS", to = "USER")
@Trigger(from = "TBS", to = "USER")
void triggerBorrow(BookCopy copy) { move(copy, Location.USER); }

（2）顺序图 → @SendMessage 注解 → 代码方法

@SendMessage(from = "Main", to = "Library")
public boolean orderNewBook(User user, Isbn isbn) { return handleOrder(user, isbn); }

（3）完整追踪示例（用户借书场景）：

UML层: 状态图 BS → USER [Guard: isBorrowable && !isHeldByUser]
       顺序图 Main → Library → Bookshelf → User

代码层: Main.handleBorrowed() → Library.handleBorrow()  // @SendMessage
         → findAvailableBookOnShelf() → Bookshelf.findAvailableBook()
         → User.canBorrow()
         → triggerBorrow(copy)  // @Trigger

三、大模型辅助正向建模的体验与引导策略

3.1 使用体验

本单元大模型的使用重心转向UML建模辅助：

擅长： 类图结构快速生成、状态图完整性检查（如提醒"闭馆后阅览室的书也需要处理"）、注解设计方案建议。

不擅长： 类图/状态图/顺序图之间的引用一致性（如 Guard 变量在三种图间不统一），精细业务规则（如"B类书一人只能持有一本"）容易被简化或遗漏。

3.2 引导策略

策略一：分阶段递进式 Prompting。 先要求列出核心实体类→设计类间关系→设计状态图→设计顺序图→交叉验证一致性。每阶段输出作为下一阶段输入，保持聚焦、早期发现错误。

策略二：约束注入。 在 prompt 中显式列出全部约束条件（如"信用分>80才能借阅B/C类"、"每个用户一次只能阅读一本书"），迫使大模型在设计时逐条考虑。

策略三：反例驱动验证。 让大模型构造异常场景（如"用户持有B类书时再借B类"、"预约过期不取"）攻击已生成的设计方案，检查模型是否覆盖。

策略四：人工审查作为最终防线。 大模型的最佳角色是加速器而非自动驾驶仪。本单元中 LibraryHelper 是否独立成类、注解粒度如何确定等关键架构决策，由我在大模型给出多种建议后结合可维护性自主决定。

四、四个单元架构设计思维的演进

第一单元：解析-计算分离

将 Lexer/Parser/AST 和 Poly 彻底分开，通过 Factor 接口实现多态求值。核心收获：好架构让复杂度被隔离在少数核心类中。

第二单元：并发分层

输入层→调度层→执行层→数据层，层间通过线程安全队列通信。引入影子电梯 Simulator 做预判调度。核心收获：架构设计要考虑动态的线程交互和时序。

第三单元：契约驱动

通过 JML 的 requires/ensures/assignable 先写契约后写实现。核心收获：架构不仅包含类结构，还应包含行为契约。

第四单元：模型驱动

融合前三单元的思维，形成 UML模型 → @Trigger/@SendMessage注解 → 代码实现 的三层映射。核心收获：先设计模型，再让代码印证模型。

演进轨迹：

怎么把代码组织好 → 怎么在并发下组织好 → 怎么让代码被验证好 → 先设计模型，再让代码印证模型

五、四个单元测试思维的演进

单元	测试重心	核心方法	关键认知
第一单元	功能边界	黑盒 + TLE构造	性能和正确性同等重要
第二单元	并发时序	极简样例 + 日志	不可复现Bug需要新测试范式
第三单元	规格验证	JUnit + 逐条ensures	规格就是测试用例的答案
第四单元	模型一致性	注解验证 + 状态覆盖	测试不仅验证代码，更要验证模型