这些UML符号是什么意思

我正在浏览类属性中的UML类图，下面的符号是什么意思

~package（默认）
/衍生

我试着搜索，但没有找到太多线索。有人能告诉我这些符号是什么意思吗？

包（~）

具有包可见性的NamedElement对所有人都可见 最近的封闭包中的元素（假定其他 元素具有适当的可见性）。在最近的围墙外 包，则标记为具有包可见性的NamedElement不可用 看得见的只有不属于包的namedelement才能被删除 标记为具有包可见性

这意味着同一包中的所有元素都可以访问具有包可见性的元素，而包外的元素则无法访问该元素

派生（/）

如果某个属性已isDerived=true，则将派生该属性及其值或 可根据其他信息计算值。涉及 派生属性的行为与非派生属性的行为相同。衍生 属性通常被指定为只读（即，客户端可能不是只读的） 直接更改值）。但是如果派生属性是可变的， 预期实现将对模型进行适当的更改 为了满足所有约束条件，特别是 派生属性的派生约束。a的推导 派生属性可以由约束指定

这意味着属性在元素中不是这样表示的，而是作为某种计算的结果来表示的。但从模型的角度来看，这一点很重要，例如，如果你对父亲有一个属性，对母亲有一个属性，那么你知道父母是谁。但有时您对属性父级更感兴趣。因此，将根据定义派生父项。

包（~）

具有包可见性的NamedElement对所有人都可见 最近的封闭包中的元素（假定其他 元素具有适当的可见性）。在最近的围墙外 包，则标记为具有包可见性的NamedElement不可用 看得见的只有不属于包的namedelement才能被删除 标记为具有包可见性

这意味着同一包中的所有元素都可以访问具有包可见性的元素，而包外的元素则无法访问该元素

派生（/）

如果某个属性已isDerived=true，则将派生该属性及其值或 可根据其他信息计算值。涉及 派生属性的行为与非派生属性的行为相同。衍生 属性通常被指定为只读（即，客户端可能不是只读的） 直接更改值）。但是如果派生属性是可变的， 预期实现将对模型进行适当的更改 为了满足所有约束条件，特别是 派生属性的派生约束。a的推导 派生属性可以由约束指定

这意味着属性在元素中不是这样表示的，而是作为某种计算的结果来表示的。但从模型的角度来看，这一点很重要，例如，如果你对父亲有一个属性，对母亲有一个属性，那么你知道父母是谁。但有时您对属性父级更感兴趣。这样就可以导出父对象