| 研究課題/領域番号 |
11878050
|
|---|
| 研究種目 |
萌芽的研究
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
計算機科学
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
二木 厚吉 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (50251971)
|
|---|
| 研究分担者 |
緒方 和博 北陸先端科学技術大学院大学, 情報科学研究科, 助手 (30272991)
|
|---|
| 研究期間 (年度) |
1999 – 2001
|
| 研究課題ステータス |
完了 (2001年度)
|
| 配分額 *注記 |
2,200千円 (直接経費: 2,200千円)
2001年度: 800千円 (直接経費: 800千円)
2000年度: 600千円 (直接経費: 600千円)
1999年度: 800千円 (直接経費: 800千円)
|
|---|
| キーワード | コンポーネント / 高信頼 / UML / OCL / CafeOBJ / Java / 分散(実時間)システム / 検証 / コーディネーション / 射影型振舞仕様 / 詳細化検証 / 木アーキテクチャ / 開発支援ツール / モデル / 言語 / モジュールシステム / Linda / 仕様記述 |
|---|
| 研究概要 |
本年度は、以下のことを行った。
・高信頼コンポーネントソフトウェア開発:前年度に引き続き、コンポーネントを組み上げることで高信頼のソフトウェアを開発するための開発法に関する研究を行った。コンポーネントにより作成するソフトウェアの仕様をUMLとOCLで記述し、それらを代数仕様言語CafeOBJに変換し、作成しようとするソフトウェアが望ましい性質等を有している事をCafeOBJシステム支援のもとで検証する。さらに、CafeOBJからJavaプログラムに変換することでプロトタイプを容易に得ることが出来る。
・高信頼コンポーネントソフトウェア開発支援ツール:上記開発方法を支援するツールを設計、開発した。いくつかの例題をとおして有効性を確認した。
・分散(実時間)システムの仕様記述と検証:分散(実時間)システムのモデル化および検証方法を整理、提案した。提案手法の有効性を示すため、実時間相互排除在アルゴリズム(Fischerプロトコル)等の実時間システムをモデル化および検証の実験を行った。モデルの記述にはCafeOBJを用い、検証はCafeOBJシステム支援のもとで行った。
|
