uml - 这份合同要写什么

Question

我正在设计一个学术决策支持系统。我必须为该项目编写文档。我坚持的部分是写合同。

我有一个用例Generate custom reports。

用户将与系统进行的交互是setParametersforReport()。

在此函数中，他将设置属性，如student_rollNumber或marks，或warning count他想在报告中看到的任何其他内容。

但是我很困惑在合同的后期条件中写什么。

我应该提到的三件事是：

1. 创建的实例
2. 协会成立或破裂
3. 属性已更改

我不知道该写什么以及如何解释，因为实际上没有创建任何内容。我在数据库中有我想要的所有数据，并且我在没有类的情况下访问它们。我很困惑，因为无法创建数据库实例。

请任何帮助将不胜感激。

Answer 1

后置条件用于指定操作执行结束时系统的状态。在您的情况下，由于您没有修改数据库（并且您也没有存储报告实例），因此系统最后的状态看起来与开始的状态相同。因此，我看不出为此操作定义合同的意义。