如何为声明性语言建模

Question

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

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

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

Answer 1

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

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

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

后两者非常相似。

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

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

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

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