uml - 宣言型言語をモデル化する方法

Question

人形を使用しています。puppet は宣言型言語であり、コードをモデル化する必要があります。

私の質問は、宣言型プログラミング言語のモデリング言語は何ですか?

つまり、uml を使用して命令型言語をモデル化しますが、uml は宣言型プログラミング言語には適していません。

Answer 1

Puppet DSL は、それ自体でシステム状態をモデル化します。メタモデリングの必要はないと思いますが、マニフェストをグラフィカルな表現に変換してみることができます。

グラフには 3 種類のノードが必要です

1. クラス
2. 定義型
3. 資源

後者の2つはかなり似ています。

関係 (エッジ) には 2 つの基本的なタイプがあります。

1. includeクラス
   • 常にクラスに向けられる
   • クラスまたは定義された型に由来する
2. declareリソース (つまり、マニフェストでは、リソースは定義の本文に表示されます)
   • リソースまたは定義されたタイプに向けられた
   • クラスまたは定義された型に由来する

仮想リソースは、リソース/定義されたタイプの単なるバリエーションであり、エッジrealizeに加えて複数のエッジ (クラスまたは定義からも発生)のターゲットになる可能性がありdeclareます。

他の詳細が不足している可能性がありますが、単純なマニフェストの場合はこれで十分です。