前置条件，后置条件和不变约束之间有什么区别？

Question

我是编程和本网站的新手，我正在研究UML设计的一些术语，我正在寻找一个基本的响应。我查阅了每个术语的定义，但我仍然试图掌握这个概念。

Answer 1

在调用用例之前，前置条件必须为true。例如用例的前提条件＆＃34;在WebSite上购买Book＆＃34;可能是＆＃34;用户访问过该网站并希望购买一本书＆＃34;。

在用例结束后，必须为post条件。例如用户已成功购买了一本书。

在整个用例中必须始终保持不变量。例如用户的ID与数据库中Users表中的ID匹配。