抄録

○中村正治（所属なし）

FIT2014で紹介した、MDAを構成するモデル群とその関連についての、数学的な形式化を試みる。MDAのモデルは、全て、クラス/インスタンスという対応を基にするが、こられの数学的な定義はかなり込み入ったものになっている。MDAの運用にあたっては、生後の判断に迷う場面に遭遇することもあるが、この定式化が判断の指針となりうることを目指している。