[系分] Function Model

知识点：

系统顺序图：学会使用系统顺序图 (System Sequence Diagram) 描述应用对系统的功能需要。

操作契约：使用操作契约(Operation contracts)描述数据的变化。

对于用例的一个特定场景（一般是一个用例），外部参与者产生的事件，其顺序和系统之类的事件。该图强调的是从参与者到系统的跨越系统边界的事件。（也就是说系统被视为黑盒）

注意：一般只需用到简单消息和返回消息，SSD不超过5个消息，尽可能简单

绘图要点：

1.不应该超过5个消息

2.后置条件借用注释写在后面

例子：

（以电影售票系统为例）

注册模型：

登录模型：

预定模型：

部分操作契约如下：

契约 CO1： enterRegisterInfo

操作：enterRegisterInfo(name: String, password: String, e-mail: String)

交叉引用： 用例：用户注册

前置条件： 无

后置条件：创建了一个新customer账号，将该账号信息写入系统数据库中。

契约 CO2：confirmReservation

操作： confirmReservation(reservation: boolean)

交叉引用：用例：用户确认电影票订单
前置条件：用户正在确认订单
后置条件：系统确认订单并且在数据库中将该订单状态改为已确认。