uml - 如何为声明性语言建模

Question

我正在使用木偶。puppet 是一种声明性语言，我需要为我的代码建模。

我的问题是声明性编程语言的建模语言是什么？

换句话说：我们使用 uml 来建模命令式语言，但 uml 不适合声明式编程语言。

Answer 1

Puppet DSL 自己模拟系统状态。我认为不需要元建模，但您可以尝试将清单转换为图形表示。

您的图中需要三种类型的节点

1. 班级
2. 定义类型
3. 资源

其中后两个相当相似。

有两种基本类型的关系（边）

1. include一类
   • 总是针对一个班级
   • 起源于一个类或定义的类型
2. declare资源（即，在清单中，资源出现在定义的主体中）
   • 针对资源或定义的类型
   • 起源于一个类或定义的类型

虚拟资源只是资源/定义类型的变体，realize除了边缘之外，它还可以作为多个边缘（也源自类或定义）的目标declare。

我可能会遗漏一些其他细节，但对于简单的清单，这些就足够了。