| 研究分担者 |
小林 良岳 電気通信大学, 情報システム学研究科, 助教 (20345424)
中山 健 津田塾大学, 数学・計算機科学研究所, 専任研究員 (40296348)
大須賀 昭彦 電気通信大学, 情報システム学研究科, 教授 (90393842)
川村 隆浩 電気通信大学, 情報システム学研究科, 客員准教授 (10426653)
|
|---|
| 研究概要 |
近年,情報システムやソフトウェアシステムが巨大化している.多数のユーザに提供し得るシステムとするためには,機能面だけでなくセキュリティや頑強性などについても所期の特性も持たせなければならない.しかしこれらのシステムは多数のブラックボックスコンポーネントを用いて実装されるのが通常で,セキュリティや頑強性などの特性を確認するのは難しい.
さらに近年,モバイルコード等のようにより流動性の高いコンポーネントが動的にシステムに組み込まれて動作することが増えており,システム構築時のみならず実行時においても,組み込むコンポーネントの特性をよく把握してから使用すべき事を示唆している.
この目的を達成するための技術目標は,(1)構築する対象システムでの動作範囲内において,(2)使用するコンポーネントが要求される基準を満たすか否か(コンフォーミティ)を検証することである.他の状況におけるコンポーネントの動作は問わない.そのためには,与えられたコンポーネントの動作特性を特定する手法の確立が必要となる.
本研究課題では,こうした環境におけるセキュリティや頑強性などの特性保証を行なう新しい方式として「エレメント指向開発法」を提案した.そこでは,あるコンポーネントが動作する文脈内におけるコンポーネントの特定の動作局面を捉え,それをそのコンポーネントの「エレメント」と定義し,このエレメントが要求仕様を満足するようにコンポーネントを選択する.
本年度は昨年度からの要素技術の研究を継続するとともに,得られた成果をもとに2つのシステム構築実験を行なった.
|
