| 研究分担者 |
小川 瑞史 北陸先端科学技術大学院大学, 情報科学研究科, 特任教授 (40362024)
片山 卓也 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (70016468)
権藤 克彦 東京工業大学, 情報理工学研究科, 助教授 (50262283)
田島 敬史 京都大学, 情報学研究科, 助教授 (60283876)
|
|---|
| 研究概要 |
研究の目的は,プログラミング言語,ソフトウエア方法論,プログラミングシステムや実行環境技術,およびデータベースシステムの各分野の最先端の成果を統合し,次世代高信頼高機能インターネットソフトウエアの効率よい開発を可能にするコンポーネントフレームワークを構築することである.この目的の下,平成17年度は,16年度に引き続き以下の項目に関する研究を行った.
1.コンポーネントの合成および再利用のための型理論(主な担当者:小川,大堀)
大規模プログラム解析のための効率的アルゴリズムの実現法,および関数間プログラム解析のラピッドプロトタイピングをめざした実装法を研究し,最適レジスタ割当に動的プログラミングを用いる手法や,Weighted Pushdown Model Checkingを解析エンジンとして用いる手法などの成果を得た.さらにそれらの次世代関数型言語コンパイラSML#への応用を検討した.
2.コンポーネント指向ソフトウエア方法論(主な担当者:片山)
コラボレーション概念を用いて,オブジェクト指向ソフトウェアの構築や進化発展を科学的に行う方法論,オブジェクト指向論理体系の高階論理証明系HOLによる実装,その体系による企業内セキュリティポリシーモデルの形式化と検証などを行った.
3.コンポーネント環境技術(主な担当者:権藤)
XMLマークアップによる,ソースレベルおよびバイナリレベルのコンポーネント記述および応用システムの総括を行い,本方式の有効性を明らかにした.
4.コンポーネントレポジトリ(主な担当者:田島)
XML形式のデータに関して,共通部分と差分の形で記述するための枠組みと,そのようなデータを効率よく関係データベースに格納して検索する手法を開発した.この手法では,データの更新時には,共通点と差分の記述の形で,データの検索時には,差分記述を解釈した通常のデータの形で,ユーザにデータを見せることができる.
|
