主題指向型プログラミング

1997年にアスペクト指向プログラミングが導入されたことで^{[ 4 ]、}主体指向プログラミングとの関係や、主体とアスペクトの違いについて疑問が生じました。これらの疑問はしばらくの間未解決でしたが、1999年に出願されたアスペクト指向プログラミングに関する特許^{[ 5 ]}で取り上げられ、その特許では、従来の技術との特徴的な違いとして2つの点が明らかになりました。

• アスペクトプログラムは、a) クロスカッティング動作が含まれる実行上のポイントを含むクロスカッティングと、b) クロスカッティング動作を実装するコンピュータ可読プログラムコードを含む、クロスカッティングに関連付けられた実装部分を含むクロスカッティングアクションの両方を備える。
• この側面は、オブジェクトクラスやその他のソフトウェアエンティティに対して、横断的な動作を透過的に強制します。

主観的視点では、クロスカットはアスペクト（主観）とは別に配置され、動作はアスペクトによって強制されるのではなく、構成の規則によって制御されます。Hindsight ^{[ 6 ]}では、クエリのようなポイントカットの概念を導入して活用することで、アスペクトが一般的に使用する結合点を外部から強制し、アスペクト指向プログラミングを区別することも可能になります。

主題指向プログラミングの説明では、ジョインポイントはフィールドアクセスとメソッド呼び出しに意図的に制限されていました。これは、適切に設計されたフレームワークが機能拡張を受け入れるように設計されているポイントがそれらであるという理由からです。外部から課せられたポイントカットの使用は重要な言語機能ですが、アスペクト指向プログラミングの最も議論の的となる機能の1つです。^{[ 7 ]}

2000年代初頭には、多くの研究グループが、個別にパッケージ化された状態と機能の組み合わせや付加を利用してオブジェクトを形成するさまざまな技術を追求していることが明らかになった。^{[ 8 ]}共通の関心分野を、特定の特許定義を持つアスペクト指向プログラミングと区別し、構成技術がソフトウェア開発のコーディング段階だけにとどまらないことを強調するために、これらの技術はアスペクト指向ソフトウェア開発という用語の下にまとめられ、^{[ 9 ]}このテーマに関する国際会議の組織化とシリーズが始まった。アスペクト指向プログラミングと同様に、主題指向プログラミング、構成フィルタ、機能指向プログラミング、適応メソッドは、アスペクト指向ソフトウェア開発アプローチとみなされている。

主題指向プログラミングの当初の定式化では、関数とデータ型の空間をどちらの方向にも拡張できるパッケージング技術として意図的に構想されていました。最初の実装はC++ ^{[ 10 ]}とSmalltalk ^{[ 11 ]}向けでした。これらの実装では、ソフトウェアラベルと構成ルールの概念を利用して主題の結合を記述しました。

ソフトウェアの分析と構成のためのより良い基盤を、パッケージングだけでなく、これらのパッケージが対処するさまざまな懸念事項の観点から提供する必要があるという懸念に対処するために、懸念事項がそれを実装するソフトウェアユニットに関連付けられる多次元「マトリックス」の観点から資料の明示的な組織化が開発されました。この組織化は関心の多次元分離と呼ばれ、それを記述した論文^{[ 12 ]}はICSE 1999会議で最も影響力のある論文として認められています。^{[ 13 ]}

この新しい概念は、Hyper/Jというツール名を使用してJavaソフトウェアを構成するために実装されました。 ^{[ 14 ]}

構成と主体の概念は、要求仕様やドキュメントなど、実行可能な意味を持たないソフトウェア成果物にも適用できます。Eclipse の研究用ツールであるConcern Manipulation Environment (CME) が説明されています^{[ 15 ]} 。このツールでは、クエリ、分析、モデリング^{[ 16 ]}、および構成のためのツールが、適切なプラグインアダプタを使用して表現を操作することにより、あらゆる言語または表現の成果物に適用されます。

Hyper/J 合成エンジン^{[ 17 ]}の後継として、合成エンジンのいくつかの要素に対して一般的なアプローチを採用した CME の一部として開発されました。

• 結合点を識別するための統一機能を備えたクエリ言語、
• 柔軟な構造的取り付けモデル、
• 識別された要素を順序付けるためのネストされたグラフ仕様、
• また、相反する規則間の矛盾を解決するための優先順位付け仕様も含まれる。

^{Hyper/JとCMEはそれぞれalphaWorks [ 18 ]}またはsourceforge ^{[ 19 ]}から入手可能ですが、どちらも積極的にサポートされていません。

オブジェクト指向プログラミングにおけるメソッドディスパッチは、実行されるコードがメソッド名と対象オブジェクトの両方に依存するという意味で「二次元」と考えることができます。これは、プロシージャ名が直接的、つまり一次元的にサブルーチンに解決される手続き型プログラミングや、送信者または対象もディスパッチに関係し、^{第三の次元}を構成する対象指向プログラミングとは対照的です[20]。