赵良软件工程面向数据流的分析方法.pptx

一个小型图书馆管理系统,需完成以下工作:
1借书、还书;
2在图书馆中增加/删除一本书;
3按照作者名或专业领域检索一批书;
4找出被某位读者借出的一批书;
5找出最近借走某本图书的读者。
该系统有两类用户:图书管理员与普通读者。
功能4供普通读者使用。功能1、2、5供图书管理员使用。
系统必须满足条件:
1馆中所有未借出的书籍能够供读者随时借阅
2在同一时刻,一本书不能既被借出,又被借阅。
3一个读者一次借出的书籍数目不能超过预定值。
问题A图书馆管理
库文档分享
需求是什么?
库文档分享
库文档分享
现实世界
计算机世界
映射
库文档分享
抽象(Abstract)
计算中抽象的本质和使用。
源于实验科学,主要要素是数据采集方法和假设的形式说明,模型的构造与预测实验分析结果分析。
在为可能的算法、数据结构和系统结构等构造模型时使用抽象。
抽象的结果是概念符号模型。
库文档分享
需求分析的过程
1 通过对现实环境的调查,获得当前系统的物理模型。
学
生
学
生
信北107
张
教务科
信北206
王
会计室
信北206
李
出纳员
(实南)
赵
教材科
购
书
申
请
购书
单
发
票
领
书
单
书
学生购买教材的实际处理流程:当前系统物理模型
库文档分享
需求分析的过程
2 去掉具体模型中的非本质因素:
抽取现实系统的实质,抽象出当前系统的逻辑模型。
学
生
学
生
购
书
申
请
购书
单
发
票
领
书
单
书
审查
有效性
开发票
开领
书单
发书
学生购买教材的逻辑模型
库文档分享
需求分析的过程
3 分析当前系统与目标系统的差别,建立目标系统的逻辑模型。
学
生
审查并
开发票
开领
书单
购书单
发票
领书单
无效购书单
学
生
计算机教材管理系统的逻辑模型
库文档分享
需求分析的过程
4 对目标系统的逻辑模型进行细化、改进与优化
5 需求分析的验证
库文档分享
当前
系统
目标
系统
物理
模型
逻辑
模型
逻辑
模型
物理
模型
模型化
抽象化
具体化
实例化
怎
么
做
做
什
么
当前
系统
目标
系统
需
求
定
义
需求分析的过程
库文档分享