氏名: 福安 直樹 (289634407)
論文題目: ソフトウェアの無矛盾な変更を可能とする三層モデル
論文概要
ソフトウェアの大規模化にともない，リポジトリを用いてソフトウェアを安全に変更
することにより，ソフトウェアの保守や部品化，再利用などを行なうことが要求さ
れている．
ソフトウェアの変更を行なう場合，変更後も，構文規則や意味規則などの制約に関し
て，一貫性が保たれている必要がある．
ソフトウェアの保守や部品化，再利用などにおけるソフトウェアの変更は，
- コメントやインデントといった構文に影響を与えない変更，
- 文の削除といった識別子の宣言に影響を与えない構文の変更，
- 新たな変数の宣言や関数の追加といった識別子の宣言に影響を与える変更
の3つに分類することができる．
そこで，ソフトウェアの一貫性を保った変更を目指したソフトウェアモデル
「三層モデル」を提案した．
三層モデルはソフトウェアを(1)表現層，(2)構文層，(3)記号層の三層によって表現
するモデルである．
三層モデルを用いることにより従来のモデルでは困難であった変更操作を見通し良く
行うことが可能となる．
また，再解析をすることなくモデル上でソフトウェアを管理することができるため，
ソフトウェアの再利用やメインテナンスなどに有用である．
目次に戻る