发布时间 : 星期六 文章软件工程导论(第六版)张海藩-牟永敏课后习题答案更新完毕开始阅读2fdaefa50a1c59eef8c75fbfc77da26924c596ec
4，考虑下述的自动化图书馆流通系统：每本书都有一个条形码，每个人都有一个带条形码的卡片。但一个借阅人想借一本书时，图书管理员扫描书上的条形码和借阅人卡片的条形码，然后在计算机终端上输入C；当归还一本书时，图书管理员将再次扫描，并输入R。图书管理员可以把一些书加到（+）图书集合中，也可以删除（—）它们。借阅人可以再终端上查找到某个作者所有的书（输入“A=”和作者名字），或具有指定标题的所有书籍（输入“T=”和标题），或属于特定主题范围内的所有图书（输入“S=”加主题范围）。最后，如果借阅人想借的书已被别人借走，图书管理员将给这本书设置一个预约，以便书归还时把书留给预约的借阅人（输入“H=”加书号）。
试用有穷状态机说明上述的图书流通系统
：图书馆流通系统的有穷状态机描述如下：
一）图书状态的有穷状态机描述
态机J：{书在图书馆S1，书被借出S2，书被预约S3}
入集K：{书上条形码，借阅卡条形码，终端输入各种命令}
换函数T：如图4.4.1所示
始态S：{书在图书馆S1，书被借出S2}
态集F：{书被借出S2，书被预约S3}
扫描两个书在图书被扫描两图在终端书归还，扫书被预
二)图书馆终端管理员模式的有穷状态机描述
态机J：{管理员设置状态，书入库，书出库（删除），预约}
入集K：{终端输入管理员命令，书的各种状态（S1，S2，S3}
换函数T：如图4.4.2所示
始态S：{管理员设置状态}
F：{书入库，书出库（删除），预约，} 书状态为预管理员设管理员管理员书出库书图)图书馆终端用户模式的有穷状态机描述
J：{读者查询状态，查询结果}
K：{终端输入用户查询命令，书的各种状态（S1，S2，S3）}
T：如图4.4.3所示
S：{读者查询状态} F：{查询结果读者} 终端输查入各种查询询状态 查询命结果 图4.4.3
态集二态机入集换函数始态态集
，试用Petri网说明第四题所述图书馆中一本书的循环过程，在规格说明中应该包括操作H、C及R。
答：其中P1表示书在图书馆P2表示书在读者手上，P3书被预约
PP. . P
6，试用Z语言对第四题所描述图书馆图书流通系统做一个完整的规格说明。答：(这题真的不会！) BOOK_STATE Book_in,Book_out,Book_reserve Book_in∩Book_out∩Book_reserve=Φ Book_in∪Book_out∪Book_reserve=BOOK_STATE
第五章
5.1为每种类型的模块耦合举一个具体的例子。
答：耦合是对一个软件结构内不同模块之间互联程度的度量。耦合强弱取决于接口的复杂度，进入或访问某一模块的点，以及通过接口的数据。一般模块之间的可能的连接方式有七种，构成耦合的七种类型，它们的关系为：
低 耦合性 高
非直数据特征控制外部公共内接耦合 耦合 耦合 耦合 耦合 耦合 容耦合
强 独立性 弱
下面举例说明以上耦合：
A． 非直接耦合：两个模块没有直接的关系（模块1和模块2），独立性
最强 B.数据耦合：即一个模块访问另一个模块的时候，彼此之间是通过数据参数来交换输入、输出信息的，这种耦合为数据耦合。这种耦合较为松散，模块间独立性较强。
模模模模单 C.特征耦合：即一组模块通过参数传递记录信息，用户情况是个数据结构，图开 金交