設計過程の論理的モデルへの複数観点の導入に関する研究

点击翻译按钮获取中文摘要

本研究では、観点という概念を取り込んだ設計過程の論理的な形式化を行なった。これまでの設計過程の研究では知識の普遍性を前提としてきたので、観点という概念は含まれてこなかった。ところが実際の設計では、複数の対象モデルを扱うことが多く、これらをどう使い分けていくかなど、観点に関わる設計行為が設計過程の中で頻出する。本研究では論理的な記述方法によって、観点の記述とその利用について考察を行なった。ここでは観点とは、一つの概念化による対象世界の記述であると考える。まず観点(aspect)は他に依存しない基本aspectと他のaspectを利用して定義を行なう複合aspectに大別される。さらに複合aspectは異なる対象領域のaspectを結合する組み合わせaspectと同じ領域に対するaspectを関連づけるカテゴリーaspectに分けられる。特に後者は観点の多重性などを実現する際重要である。基本aspectは、論理的な理論(logical theory)とその名前の組として定義され、組み合わせaspectはその和として定義される。カテゴリーaspectは様相論理を用いて定義され、各利用aspectを可能性としてもつ理論として定義される。この定義により、compactness、rigidnessなど各種のaspectの性質を議論することができた。次にaspect間の知識の変換についても考察し、カテゴリーaspectにある定義を利用することで変換が可能であることを示した。また、設計の中でどのようにaspectが使われるかをみるために、設計過程に現れる知識をaspectに分散化し、それらのaspectを適宜利用することで、設計が進行することを示した。