什么是UML用例中的前置条件、后置条件?

  • 前置条件( precondition):即用例的必须满足的条件。前置条件是另一个用例已经执行或用户具体有运行当前用例的权限。并不是每个用例都有前置条件。
  • 后置条件(postcondition):后置条件描述的是用例结束时的系统状态或持久数据(会影响到执行其他用例),并不是每个用例都有后置条件。

注:后置条件还有另外一种定义(国内网站上出现较多):该项是用例执行完后必须为真的条件,本质上两者一致。

什么是UML 构造型?

在 UML 模型中,构造型是用来指出其他模型元素的用途的模型元素。UML 提供了一组可以应用于模型元素的标准构造型。

可以使用构造型来精化模型元素的含义。例如,可以对工件应用 «library» 构造型以指示它是一个特定类型的工件。可以对使用关系应用 «call»、«create»、«instantiate»、«responsibility» 和 «send» 构造型,以准确指示一个模型元素如何使用另一个模型元素。还可以使用构造型来描述含义或用法不同于另一个模型元素的模型元素。

构造型可以具有称为标注定义的属性。将一个构造型应用于模型元素时,属性的值称为标注值。

本文摘自https://www.ibm.com/support/knowledgecenter/zh/SS5JSH_9.5.0/com.ibm.xtools.profiles.doc/topics/cconstrnt.html