FOSDメタモデル

機能指向ソフトウェア開発 (FOSD)は、ソフトウェア生成の一般的なパラダイムであり、製品ラインのモデルは 0 項関数と 1 項関数 (プログラム変換) の組です。このページでは、メタモデルと呼ばれる製品ラインの製品ラインのモデル (PL**2) のより抽象的な概念、メタメタモデルと呼ばれる製品ラインの製品ラインの製品ラインのモデル (PL**3)、およびさらに抽象的な概念について説明します。

メタモデルとは、インスタンスがモデルであるモデルです。^{[1]製品ラインの}GenVocaモデルは、コンポーネントが機能 (0 項または 1 項関数) であるタプルです。モデルの拡張 (別名デルタまたはリファインメント) は「メタ機能」であり、既存の機能を変更したり新しい機能を追加したりすることで既存の製品ラインを変更できるデルタのタプルです。簡単な例として、3 つの機能 ac を含む GenVoca モデル M を考えてみましょう。

${\displaystyle M=[a,b,c]}$

メタモデル MM に AAA ～ CCC の 3 つのメタ機能が含まれており、各メタ機能が単一の非同一機能を持つタプルであるとします。

${\displaystyle {\begin{aligned}MM&=[AAA,BBB,CCC]\\&=[[a,0,0],[0,b,0],[0,0,c]]\end{aligned}}}$

ここで、0 はヌル特徴です。モデル M は、MM のメタ特徴を追加することによって構築されます。ここで、+ は合成操作です ( FOSD を参照)。

${\displaystyle {\begin{aligned}M&=AAA+BBB+CCC&{\text{式}}\\&=[a,0,0]+[0,b,0]+[0,0,c]&{\text{置換}}\\&=[a+0+0,0+b+0,0+0+c]&{\text{合成}}\\&=[a,b,c]&{\text{0+x=x+0=x の簡略化}}\end{aligned}}}$

MM は、製品ラインの製品ライン (PL**2) をモデル化します。つまり、異なる MM 式は、異なる製品ラインの GenVoca モデルに対応します。

• 機能指向プログラミング– 基本概要
• FOSD折り紙
• FOSD プログラム キューブ– 多次元製品ライン
• FOSD フィーチャ相互作用 – フィーチャ相互作用を指定する操作を含む、フィーチャに対するその他の操作