权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

基于形式化规范的自适应软件开发研究

基本信息

批准号：
09245216
负责人：
水野忠則
金额：
$ 1.41万
依托单位：
Shizuoka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1997
资助国家：
日本
起止时间：
1997 至无数据
项目状态：
已结题

项目摘要

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

This study is aimed at studying the structure and development methods of the appropriate software development. This paper presents a framework for the development of autonomous communication systems. Existing large-scale technologies for environmental adaptation are being developed and tested. In addition, the methodological study of the development of new system is focused on the evaluation of the basic and incremental system models, the generation of self-regulatory systems, and the trial and error management of systems. This year, we will focus on the construction of self-discipline environment, the existing environment is not suitable for the part of the focus. In the mobile environment, self-discipline is adopted by inter-party communication mechanisms. This year, we propose a new method for determining the desired number of copies, for consistency management, for asynchronous updates, and for extension. This is the only way to operate the system. In addition, the performance of the company was evaluated. Now,JAVA speech. The environment is not suitable for the part of the cut out. This year, the existing large-scale software has been reviewed and prepared for implementation. Parallel to each other, there are two ways to calculate the number of existing problems. The second time, the implementation of the test, the results of the test, the adoption of the test. Now, you're in the middle of a development.