| 研究課題/領域番号 |
16016284
|
|---|
| 研究種目 |
特定領域研究
|
| 配分区分 | 補助金 |
|---|
| 審査区分 |
理工系
|
|---|
| 研究機関 | 国立情報学研究所 |
|---|
研究代表者 |
佐藤 健 国立情報学研究所, 情報学基礎研究系, 教授 (00271635)
|
|---|
| 研究分担者 |
宇野 毅明 国立情報学研究所, 情報学基礎研究系, 助教授 (00302977)
兼岩 憲 国立情報学研究所, 情報学基礎研究系, 助手 (00342626)
|
|---|
| 研究期間 (年度) |
2004 – 2005
|
| 研究課題ステータス |
完了 (2005年度)
|
| 配分額 *注記 |
9,900千円 (直接経費: 9,900千円)
2005年度: 5,000千円 (直接経費: 5,000千円)
2004年度: 4,900千円 (直接経費: 4,900千円)
|
|---|
| キーワード | ソフトウェア発展 / 宣言的プログラミング / UML / 論理プログラミング / 記述論理 |
|---|
| 研究概要 |
現在のように、ソフトウェアのバージョンアップが頻繁に生じる状況では、ソフトウェア変更管理(ソフトウェア発展)の技術は大変重要なものである。本研究では、宣言的プログラミングにおけるソフトウェア発展を考える。これは、論理型プログラミングや関数型プログラミングなどの宣言的なプログラミングが数学的な体系に基づいているため、ソフトウェア発展技術の構築のための理論が構築しやすいと考えたためである。
本年度は、前年度行ったUML(Unified Modelling Language)クラス図の矛盾検出および自動修正の検討を発展させ、論理プログラミングによる実装を行った。クラス図の各コンポーネントを論理プログラミングのルールに変換し、そのルール上での矛盾の導出がクラス図での矛盾検出と同値になるような手法の開発を行った。さらに論理プログラミングにおけるメタルールを用いることでルール集合のどの部分が矛盾であるかを検出できるようになった。このルール集合の矛盾部分に対して極小被覆集合アルゴリズムを用いて極小にUMLの部分を消去することで矛盾除去ができる手法を開発した。この手法を検証するためにプロトタイプシステムを作成し、高速処理への見通しを得た。
また、UMLクラス図の部分クラスにおいて矛盾検証そのものが不要になるものを発見し、さらに部分クラスを分類して各表現能力に応じて矛盾検証アルゴリズムがどの程度計算量的に複雑になるかについても見当した。
|
