形式仕様に基づく適応型ソフトウェア開発に関する研究

1997 Fiscal Year Annual Research Report

• Project/Area Number: 09245216
• Research Institution: Shizuoka University
• Principal Investigator: 水野 忠則 静岡大学, 情報学部, 教授 (80252162)
• Co-Investigator(Kenkyū-buntansha): 太田 剛 静岡大学, 情報学部, 助手 (40213730) ; 佐藤 文明 静岡大学, 情報学部, 助教授 (40273164) ; 吉田 敬一 静岡大学, 情報学部, 教授 (50091161)
• Keywords: 形式仕様 / プログラムスライシング / 適応型ソフトウェア / 形式記述法 / JAVA / 並列処理 / 自律モジュール / 仕様検証

Research Abstract

本研究では,適応的なソフトウェアを開発するために必要なソフトウェア構造と,開発方法の研究を行う.本研究のソフトウェア構造は,自律的なモジュールの連携によるシステム開発を基礎とする.既存プログラムの環境適応化については,既存の大規模プログラムに対して環境への適合化技術を開発しツールの試作をする.さらに,新規のシステムの開発の方法論の研究では,形式仕様を基本として,増分的な仕様の検証,自律モジュールの生成,及び試験とデバッグについてのツールの試作と評価を行う.今年度は,このうち,自律的なモジュールの動作環境の構築と,既存プログラムの環境不適合部分の切り出しに焦点を当てた.
動作環境については,自律モジュール間通信機構としてタプルスペース型通信を採用した.今年度は,タプルスペースの複製配置と一貫性管理方式について,定数合意方式に非同期更新を拡張した方式を提案した.これは,ロック操作の必要のない,既存の方式よりも軽い方式である.また,その性能についてシミュレーションと実装の両面から評価した.現在は,JAVA言語からこれを利用できるように開発を進めつつある.
環境不適合部分の切り出しについては,プログラムスライシング技術を採用した.今年度は,これを既存の大規模ソフトウェアに対処できるように並列化する方式について検討し,予備的実験を行なった.並列化にあたっては,まず,複数ある既存のスライス計算アルゴリズムそれぞれを並列化することの特質について検討し,有効だと思われる2つのアルゴリズムについて簡単な実装を行った.次に,実測実験をなうことによって,より効果の高いアルゴリズムを採用することを決めた.現在は,より効率の良いアルゴリズムを開発中である.

Research Products

• [Publications] 川口昇: "複製付きタプルスペース通信の管理方法と実装" 情報処理学会研究報告. Vol.97,No.35. 123-128 (1997)
• [Publications] 中村俊一郎: "Poster on A Distributed RAID VOD System" Proceedings of the Second IFCIS International Conference on Cooperative Information Systems CooplS'97. 226 (1997)
• [Publications] 太田剛: "モ-バイル電子会議におけるユーザ支援システムの設計" マルチメディア,分散,協調とモ-バイルワークショップ論文集 情処ワークショップ論文集. Vol.97,No.2. 43-48 (1997)
• [Publications] 福岡久雄: "サービス形態の特性に基づく分散仮想環境向け通信方式" マルチメディア,分散,協調とモ-バイルワークショップ論文集 情処ワークショップ論文集. Vol.97,No.2. 215-220 (1997)
• [Publications] 佐藤文明: "移動エージェントによる交渉システムの設計" マルチメディア,分散,協調とモ-バイルワークショップ論文集 情処ワークショップ論文集. Vol.97,No.2. 557-562 (1997)
• [Publications] 横田恵一: "移動型データベースにおけるネットワーク透過性の実現" 情報処理学会第55回全国大会講演論文集(3). 185-192 (1997)