随着第四单元图书馆管理系统的收官，长达一学期的OO课程终于画上了句号。在此，对本单元及整个学期的学习进行复盘。 一、 正向建模与开发 本单元的核心要求是正向建模与开发，这彻底颠覆了以往“边写边想、边想边改”的开发模式。新引入的两阶类图机制，在其中扮演

oo第4单元博客 两阶类图在正向建模中的作用 在完成第四单元作业的过程中，我先根据题目描述画一阶类图，将系统拆分为不同组成部分，明确每个组成部分的功能；之后编写代码并调试；最终根据代码调整类图并画相应的状态图和顺序图。画一阶类图可以帮我梳理清楚程序结

第四单元的训练以一个小型图书馆管理系统为背景，重点锻炼我们对程序架构的设计和抽象能力，以及UML建模能力，包括类图、状态图和顺序图。本单元共经历两次迭代作业，第一次作业完成了图书馆的基本借阅、还书、预约、取书和查询功能，第二次作业在原有基础上新增了精

通过本单元的学习，我主要接触了以下几类JML语法构造：原子表达式、量词、前置条件、后置条件、不变式以及异常行为。这些语法构造为精确描述程序行为提供了基础。 规格驱动开发的核心价值在于将自然语言转化为机器能够理解并执行的语言，从而有效确保设计者的本意

一 正向建模与开发 以前写代码，遇到需求直接上手敲，写到哪里算哪里，这导致类与类之间的关系往往是“面条式”纠缠在一起的。而本单元引入了两阶类图（一阶设计，二阶重构）的机制： 编写第一行 Java 代码前，我会绘制了一阶类图。一阶类图不需要事无巨细地包

一 JML和规格驱动开发的理解 我对“规格驱动开发（Design by Contract）”的理解，可以浓缩为一句话：“规格定义了底线，但仍有很高的优化空间。” JML 是一份具有绝对法律效力的“契约”。它用严谨的语言定义了方法执行前需要满足的条件以

北航面向对象设计与构造（OO）课程总结与技术报告 一、 单元总结：正向建模与开发的实践与思考 本单元的核心训练目标是正向建模与开发（Forward Modeling and Development）。与以往“拿到需求直接写代码，写完再逆向画图”的开发

OO课程总结报告 一、总结第四单元所实践的正向建模与开发，重点分析两阶类图在正向建模过程中的作用 1.1 关于正向建模 第四单元的作业围绕一个图书馆管理系统展开，涉及书籍的借还、预约、取书、查询、在馆阅读、续借、信用分等业务功能。与前三单元最大的不同

OO第四单元正向建模与UML总结 一、对正向建模与开发的理解 UML 是软件工程领域的标准建模语言，类图是其中最核心的工具。说白了，它是一张写代码之前的设计蓝图，根据我们的想法绘制，然后指导我们撰写代码。 在第四单元之前，我写 OO 作业都是把指导书

一、第四单元总结 1. 正向建模与开发实践 1.1 正向建模：先设计，后实现 本单元遵循的工作流程： 明确需求 → 设计（UML）→ 实现 → 对齐修正 第一阶段，我们根据需求用UML画出图书馆系统的设计图。这迫使我们在写任何代码之前，就要想清楚系统

OO 第四单元学习博客 本单元以图书馆管理系统为背景，重点考查正向建模、UML 表达与代码实现之间的一致性。类图、状态图和顺序图分别对应静态结构、状态迁移和对象协作，是对系统设计的不同侧面描述。 一、第四单元建模与开发 本单元的主要任务是从需求中提取

本单元三次作业均围绕图书馆系统展开，我最终的代码结构大致如下： 类/模块 职责说明 Main 解析输入，处理 OPEN/CLOSE 指令，其余请求交给管理层 LibraryManager 系统总控，负责初始化与开闭馆流程，组织各服务模块 Reques

一、 正向建模与开发实践及两阶类图的作用 在本单元的实践中，我经历了从“面向代码编程”到“面向模型编程”的思维转变。正向建模与开发的核心思想是“先设计，后实现”，即将思考的过程前置，通过UML（统一建模语言）等工具，在动手编写代码之前，先从宏观架构、

第四单元正向建模与开发实践总结 第四单元的三次作业与前三个单元最大的不同在于，它不再只要求我们根据需求完成代码实现，而是要求在开发过程中引入 UML 模型，通过类图、状态图和顺序图来表达系统设计。也就是说，本单元强调的是一种正向建模与开发的过程：先对

Part 1 两阶类图在正向建模过程中的作用 OO_pre 的惨痛教训告诉我在着手写代码之前理清楚架构是非常有必要的，但具体怎么理是个问题。我在前几个单元的训练中已经形成了一套自己的设计习惯，大致上是设计文档 -> 手绘草图 -> 代码骨架 的流程，

2026OO课程第四单元总结与全课程回顾：正向建模驱动下的架构演进之路 一、引言 2026年面向对象设计与构造课程已圆满落幕。回顾四个单元的学习历程，从基础的Java语法训练到复杂的系统设计，从手工编码到UML正向建模，每一阶段都是一次思维的跃迁。第

第四单元及 OO 课程博客总结 一.正向建模总结 在面向对象第四单元中，我经历了一场从先写代码到模型驱动的思维转变。按以往的习惯都是是拿到需求直接敲代码，最后为了应付检查才补画 UML 图，而本单元要求实践的正向建模与开发完全相反。需要我们先从需求出

第四单元 一、本单元实践的正向建模与开发 1.1 一阶类图：从需求到架构设计 在本单元的任务完成中，一阶类图往往需要在代码具体实现之前，先确定好系统的架构设计。完成类图首先要确定类的核心属性，以及类与类之间的关系。尤其是类与类的关系，直接关系到实际完

一、第四单元总体回顾第四单元的三次作业围绕“图书管理系统”展开。与前三个单元相比，本单元最明显的变化是：开发过程不再只是从需求直接写代码，而是要求先完成 UML 建模，再依据模型进行代码实现，也就是实践正向建模与正向开发。 本单元作业的业务对象并不算

1. 正向建模与开发总结 本单元的作业形式与先前的三个单元都不太一样，以前都是简单的构思后直接开始代码实现，而本单元则是需要先建模再完成代码实现。在本单元的建议图书馆系统的任务中，两阶类图发挥了“先稳定结构、后沉淀实现”的关键作用。 一阶类图：确立“