データ駆動パラダイムによる協調的ソフトウェア開発支援手法の研究

基于数据驱动范式的协同软件开发支持方法研究

• 批准号: 07750428
• 负责人: 岩田 誠
• 金额: $ 0.64万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07750428/
• 关键词: 多面的図的仕様記述; データ駆動パラダイム; CASE; 協調的要求分析; プログラム自動生成; 動的データ駆動型マルチプロセッサ

本研究は,申請者らが提唱している,図的な仕様記述から高度並列処理実行に至るまで一貫したデータ駆動パラダイムの研究の一環として,以下の点に着目し,複数人での図的データ駆動ソフトウェアの開発支援環境の構成法の確立を目指している.1.要求仕様の協調的記述手法:現在採用している,図的表現を許す多面的な仕様記述の表現形式を,グループ内での発散的思考ならびに収束的思考の調和が要求される,いわゆる,要求分析段階にも適用可能なように定式化した.具体的には,必要な機能の列挙が可能な機能ブロック図,ならびに,必要なデータ(集合)の列挙が可能なデータ構造図をブレーン・ストーミングの経過を表現可能なように拡張した.これらに加えて、システム外部から見た可観測な振舞の列挙が可能なシーケンス図も同様に拡張した.2.要求仕様の協調的記述の支援手法:上記手法による記述を,データ駆動原理に基づき解釈し,内部仕様記述,さらには,実行可能プログラムを導出する基礎的手法を定式化した.本手法では,必ずしも完全には記述されない要求仕様記述に対して,不足箇所の誘導ならびに記述相互間の一貫性保証のために,異なる協調者により記述された異なる表現形式間での相互変換を施す.すなわち,処理実行に本質的なデータ依存関係とデータ構造を自然に表現できる,データ駆動型処理モデルを介して,このような相互変換機能を実現する.さらに,上記の手法のカーネル部分を,設備備品として購入した,デスクトップコンピュータ上に構築し,その実現可能性を確認した.今後,実時間制御や通信システムなどの分野における実用的なシステムの開発を想定して,本手法の実用性を実証することが残されている.

This study is a part of the applicant's research on the description of the problem from the highly parallel processing implementation to the consistent development of the problem, focusing on the following points: 1. The description method of the requirement of coordination: Now, the performance of the problem is adopted, the expression form of the description of the problem is allowed, the reflection of the problem inside the problem is scattered, and the harmonization of the requirements is required. Specific, necessary, list of functions possible, list of functions necessary, list of functions possible, list of functions necessary, list of functions possible, list of functions necessary, list of functions possible, list of functions possible, list 2. Support methods for description of coordination required: The description of the above method, the basic solution of the dynamic principle, the internal description, and the formalization of the basic method for deriving the possible vibration. This technique requires complete description of all aspects of the subject matter and ensures consistency between all aspects of the subject matter and all aspects of the subject matter. The nature of the process depends on the structure of the process and the nature of the process. In addition, the above method of production part, equipment spare parts purchased, the cost of construction, the possibility of realization is confirmed In the future, the development of communication systems in different fields will be planned, and the practicability of this method will be demonstrated.

项目成果

Makoto Iwata: "Multilateral Diagrammatical Specification Environment based on Data-Driven Paradigm" “Advanced Topics in Dataflow Computing and Multithreading"IEEE CS Press. 103-112 (1995)

Makoto Iwata：“基于数据驱动范式的多边图解规范环境”“数据流计算和多线程高级主题”IEEE CS Press 103-112 (1995)。

岩田 誠: "図的仕様記述からのデータ駆動型プログラムの生成手法" 情報処理学会論文誌. 36. 1203-1210 (1995)

Makoto Iwata：“根据图形规范描述生成数据驱动程序的方法”，日本信息处理学会汇刊 36. 1203-1210 (1995)。