UML语义差异是必要的吗？

我想问的是，在UML中使用语义差异是否必要或有用。当它更正式，因此可验证，甚至用于快速原型时，它不是更有用吗。差异的好处是什么？你能举一些例子吗？

我更愿意去掉UML的语义变化点。当我为图表建模时，一个典型的例子是多分类语义变化点。在类图中对泛化进行建模时，您可以选择假设该图允许多种分类（一个对象可以是两个或多个与子类型关系无关的类的实例），也可以不允许

---

通常，具有编程背景的设计师会隐式地认为这是不可能的，而在概念层面上，我们中的许多人倾向于隐式地认为这是可能的。你可以想象结果。

语义变化点的一个很好的例子，实际上很难删除，任何一种选择对一些UML用户都是不好的（尽管单类继承是一种Java病…），也许我们需要某种折衷，比如单类继承加上特征（以及一些对他们来说很好的语义）。这是一个例子，其中imHUML不是OO足够的，它作出了太多的假设（关于目标语言是C++…）。这方面的其他例子可能是动态语言建模的挑战。