如何表达树结构约束

Question

如何表达以下约束：

1 - 恰好有一个文件夹不是另一个目录的子目录。 （我无法完全理解文件夹/子文件夹主题以及如何描述文件夹系统中唯一可能的排除项）

还有一些问题来自第一个问题

2 文件夹的最高嵌套数不超过n。

3) 你系统上的文件总数不能超过n。

4) 给定系统中的文件（子目录）总数不能超过n。

Answer 1

你的四个约束不能简单地用多重性来表达。

在 UML 中，这些约束可以使用 OCL 编写，请参阅 formal/2014-02-03

当然，约束可以写在类图中，例如参见formal/2017-12-05 的第 37 页的图 7.14 注释符号中的约束。

1 - 恰好有一个文件夹不是另一个目录的子目录

一种写法是：

Folder.allInstances()->select(f | f.upfolder->isEmpty())->size() = 1

在哪里

• Folder.allInstances() 返回类 Folder 的实例
• Folder.allInstances()->select(f | f.upfolder->isEmpty()) 迭代实例并返回没有 upfolder 的实例
• Folder.allInstances()->select(f | f.upfolder->isEmpty())->size() = 1 然后检查有一个没有 upfolder 的文件夹

2 文件夹的最高嵌套数不超过n

一种方法是定义一个计算文件夹深度的函数，然后检查所有文件夹的深度小于或等于 n

context Folder
def: depth() : Integer =
  if upfolder->notEmpty() then
    upfolder->first().depth() + 1
  else
    0

Folder.allInstances()->forAll(f | f.depth() <= n)

如果条件depth() <= n 对所有元素都为真，则forAll 为真

但是只有计算没有子文件夹的文件夹的深度才有用，所以

Folder.allInstances()
  ->select(f | f.subfolder->isEmpty())
     ->forAll(f | f.depth() <= n)

3) 您系统上的文件总数不能超过n。

4) 给定系统中的文件（子目录）总数不能超过数量n。

我不明白为什么 4 中的 (subdirectory) 也不明白为什么 3 说 on your system 而 4 说 a given system 而有1 和 2 中没有关于 system 的内容。

假设目标是检查文件总数小于或等于 n 并且文件夹的文件由属性 file 给出：

Folder.allInstances()->collect(f | f.file.size()).sum() <= n

在哪里

• Folder.allInstances()->collect(f | f.file.size()) 返回所有文件夹的文件数集合
• Folder.allInstances()->collect(f | f.file.size()).sum()返回文件总数

Answer 2

不鼓励使用 allInstances()。

1. 非常希望有一些 FileSystem 类只有一个根文件夹，因此可以保证简单的多重性约束。

2. 很容易通过 [0..3] 多重性声明处理。

3. 由派生属性缓存的 depth() 助手是一个很好的解决方案。

或者只是：context File inv: Folder->closure(upFolder).size()

1. 上下文文件夹 inv: self->closure(subfolder).File->size()