<aside> 💡 要点：
系统顺序图的目标：1、确定系统事件 2、为用例场景创建系统顺序图（对用例图的一个修正或细化）
对于用例中一系列特定事件，SSD展示了直接与系统交互的外部参与者、系统（作为黑盒）以及由参与者发起的系统事件。在图中，时间顺序是自上而下的，并且事件顺序应该遵循其在场景中的顺序。
什么是系统顺序图？用例描述外部参与者是如何与我们所希望创建的系统进行交互的。在交互中，参与者对系统发起系统事件（system event），通常需要某些系统操作（system operation）对这些事件加以处理。
系统顺序图表示的是，对于用例的一个特定场景，外部参与者产生的事件，其顺序和系统之内的事件。所有系统被视为黑盒，该图强调的是从参与者到系统的跨越系统边界的事件。
UML没有定义所谓的“系统”顺序图，而只是定义了顺序图。这一限定强调将系统的应用视为黑盒。
<aside> 💡 要点：
可以为系统操作（SSD中的系统操作）定义操作契约，系统操作是作为黑盒构件的系统在其公共接口提供的操作。
操作契约使用前置和后置条件的形式，描述领域模型里对象的详细变化，并作为系统操作的结果。
后置条件（postcondition）描述了领域模型内对象状态的变化。领域模型状态变化包括创建实例、形成或消除关联以及改变属性。
操作契约的作用： 1、操作契约能够详细描述系统操作（就领域模型对象而言）所需的变化，而无需描述这些操作是如何完成的。（业务逻辑） 2、对用例模型起补充作用 3、操作契约中的操作与系统时序图中的系统事件是一一对应的。（enterItem）
