软件工程状态图

1．“图书馆借还书系统”一本书的状态图

若再加上超期罚款状态，上图如何变化？

用英文表示：

或再增加“New Book”和“Delete”状态

如果当你借书时书已被借走，或新书尚未到货，可以在图书馆预定这本书。这时应增加一个“预订状态”，如何办？

见下图：

或

注意：上图反映不出“有预定者优先”这个原则。如果想真正解决这类问题，需要使用“形式化技术”。