摘要:
(1)总结本单元三次作业的架构设计 本单元作业是UML图的解析,UML图主要分三类:类图、顺序图和状态图,第一次作业是对UML类图的解析,包括查询类的数量、方法、参数、关联等信息,第二次作业是对UML顺序图和状态图的解析,第三次作业是基于已有的类图信息,对类图进行检查。总的来说,这三次作业属于递进式 阅读全文
摘要:
OO第三单元总结 一、 梳理JML语言的理论基础、应用工具链情况 1、JML语言的理论基础 JML语言确实是个好东西,JML是一种规格化的语言,JML采用了一种信任机制,通过JML语言,实现者信赖使用者一定是按照规格规定的条件来使用的,而使用者则确信方法实现了自己想要的功能而不会出现其它改变。无论是 阅读全文
摘要:
(1) 从多线程的协同和同步控制方面,分析和总结自己三次作业的设计策略 第一次作业设计策略: 第一次作业仅要求一部电梯,我采用的策略是生产者—消费者的模式,生厂者是输入乘客信息,消费者则是电梯,生产者和消费者之间有一个缓冲托盘。首先,生产者收到乘客信息后把请求传给托盘,然后电梯则查看托盘中是否有请求 阅读全文