如何建模聲明性語言

Question

我正在使用puppet。 puppet是一種聲明性語言，我需要對我的代碼進行建模。

我的問題是聲明式編程語言的建模語言是什麼？

換句話說：我們使用uml來建模命令式語言，但uml不適用於聲明式編程語言。

Answer 1

Puppet DSL自己模擬系統狀態。我沒有看到元建模的需要，但你可以試着將你的清單轉換成圖形表示。

，就需要在你的圖

1. 類
2. 定義類型
3. 資源

，其中後兩種的有相當類似的三種類型的節點。

有兩種基本類型的關係（邊緣）

1. include類
   • 總是針對一個類
   • 起源於一類或定義類型
2. declare一個資源（即，在清單中，資源出現在定義的主體中）
   • 針對資源或在一個類中定義的類型
   • 始發或定義類型

虛擬資源只是對資源/定義的類型的變化，並且可以作爲多個realize邊緣目標（除了declare邊緣之外，還來自類別或定義）。

我可能會遺漏一些其他細節，但對於簡單清單，這些應該就足夠了。