17.4 建模实例：创建图书管理系统动态行为模型