FOSDメタモデル

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

メタモデル

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

M=[a,b,c]

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

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

ここで、0はヌル特徴量です。モデルMはMMのメタ特徴量を追加することで構築されます。ここで、+は合成演算です（FOSDを参照）。

{\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 フィーチャ相互作用 – フィーチャ相互作用を指定する操作を含む、フィーチャに対するその他の操作

参考文献

^ 「スケーリング段階的改良」(PDF)。2017年7月6日時点のオリジナル(PDF)からのアーカイブ。

[ahead-1] 「スケーリング段階的改良」(PDF)。2017年7月6日時点のオリジナル(PDF)からのアーカイブ。