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

Meso软件概念要素与结构研究

• 批准号: 07680428
• 负责人: 鰺坂 恒夫
• 金额: $ 0.64万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-07680428/
• 关键词: ソフトウェア開発環境; CASE; リポジトリ; データ統合; ツール相互接続; ソフトウェア設計

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

This study is based on the concept of the relationship between the elements and the production of computer support. The independent concept/relationship element of this situation is different from the abstract, granularity and relationship element of this situation. This study is aimed at identifying the problem of software failure and the problem of software failure. The most basic conceptual elements are: activity and passivity, instantaneity and persistence. There are four kinds of "software" in duality, namely, basic, event, event, response, and response. The relationship elements include four kinds of relations, two kinds of relations, three kinds of basic functions, two kinds of combinations, three kinds of conditions, four kinds of combinations, five kinds of structures, four kinds of combinations, four kinds of combinations. The 5 types of relationship elements are set. Second, the software is designed to provide consistency management and service effectiveness confirmation. The software is designed to create a fine-grained design for service traceability. As a result, the consistency of the design methodology is to formulate detailed design rules, and the design support is possible.

项目成果

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

T. Ajisaka：“软件 Quark 模型：CASE 存储库的通用模型”，《信息和软件技术》，第 38 卷，第 3 期（1996 年）。

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)

T. Ajisaka：“从带有约束的 PCTE 模式生成数据访问程序”国际软件工程和知识工程杂志，第 5 卷，第 327-345 期（1995 年）

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

Tsuneo Ajisaka：“关于对象管理系统中的约束管理”讲义/软件研究，第 15 卷，153-158 (1995)。