• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

メゾソフトウェアの概念要素と構造に関する研究

Research Project

Project/Area Number 07680428
Research Category

Grant-in-Aid for General Scientific Research (C)

Allocation TypeSingle-year Grants
Research Field 情報システム学(含情報図書館学)
Research InstitutionKyoto University

Principal Investigator

鰺坂 恒夫  京都大学, 工学研究科, 助教授 (30175864)

Project Period (FY) 1995
Project Status Completed (Fiscal Year 1995)
Budget Amount *help
¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1995: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywordsソフトウェア開発環境 / CASE / リポジトリ / データ統合 / ツール相互接続 / ソフトウェア設計
Research Abstract

本研究は,ソフトウェアに含まれる本来的な情報を,ソフトウェア開発保守のさまざまな局面とは独立に,概念や関係の要素とその組み立てとしてとらえ,これをソフトウェア生産の計算機支援に役立てることを目的として行なった.このような局面に独立な概念/関係要素は,ソフトウェア表現の抽象度,粒度に関係なく普遍的に存在するもので,その意味でこれをメゾソフトウェア要素と呼ぶ.
本研究ではまず,メゾソフトウェアのモデルとして「ソフトウェアクォークモデル」を確立した.その最も基本的な概念要素は,能動性と受動性,瞬間性と持続性という2つの二元性に基づく,イベント,データ,ファンクション,アクションの4種の「ソフトウェアクォーク」である.関係要素はこれら4種クォークの2項関係から系統的に導かれ,(1)ファンクションのイベントやデータに対する基本的作用,およびファンクションやアクションとデータとの結合,(2)値と型の構成,(3)条件の構成,(4)条件と能動的要素の組合せ,(5)データやファンクションの構造,の5つのカテゴリの22種類の関係要素を設定した.
次に,このソフトウェアクォークモデルに基づくリポジトリが提供する一貫性管理やトレースなどのサービスの有効性を確認するため,クォーク管理システムのプロトタイプを作成し,データ/制御フローと状態遷移でモデル化された仕様を出発点とする細粒度の設計プロセスを追跡する実験を行なった.その結果,クォークの一貫性検査に基づくイベント-ファンクション連鎖や等価データの簡約,データの設定-参照の一貫性検査,積和を用いた条件の集約,アクションの詳細化など,これまでの設計方法論では示されていなかった詳細な設計規則を定式化し,それに基づくきめ細かい設計支援が可能となることが明らかになった.

Report

(1 results)
  • 1995 Annual Research Report
  • Research Products

    (3 results)

All Other

All Publications (3 results)

  • [Publications] T. Ajisaka: "The Software Quark Model: a Universal Model for CASE Repositories" Information and Software Technology. 38巻3号. (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] T. Ajisaka: "Generating Data Access Programs from PCTE Schemas with Constraints" Int'l Journal on Software Engineering and Knowledge Eng.5巻3号. 327-345 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 鰺坂恒夫: "オブジェクト管理システムにおける制約管理について" レクチャーノート/ソフトウェア学. 15巻. 153-158 (1995)

    • Related Report
      1995 Annual Research Report

URL: 

Published: 1995-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi