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

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

• 批准号: 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.要求仕様の協調的記述の支援手法:上記手法による記述を,データ駆動原理に基づき解釈し,内部仕様記述,さらには,実行可能プログラムを導出する基礎的手法を定式化した.本手法では,必ずしも完全には記述されない要求仕様記述に対して,不足箇所の誘導ならびに記述相互間の一貫性保証のために,異なる協調者により記述された異なる表現形式間での相互変換を施す.すなわち,処理実行に本質的なデータ依存関係とデータ構造を自然に表現できる,データ駆動型処理モデルを介して,このような相互変換機能を実現する.さらに,上記の手法のカーネル部分を,設備備品として購入した,デスクトップコンピュータ上に構築し,その実現可能性を確認した.今後,実時間制御や通信システムなどの分野における実用的なシステムの開発を想定して,本手法の実用性を実証することが残されている.

作为研究申请人提出的一致数据驱动范式的研究的一部分，从图形规范描述到高度平行处理的执行，我们旨在建立一种构建支持环境的方法，以开发与多个人一起开发数据驱动的软件的支持环境。阶段，需要在一个组中需要发散思维和收敛性思维。具体而言，允许列举必要功能的功能框图以及允许枚举所需数据（集合）列举的数据结构图已扩展以表达头脑风暴的进展。除此之外，我们还扩展了序列图，这些序列图允许从系统外部枚举可观察的行为。2。支持说明的协作要求规范：使用上述方法的描述是根据数据驱动的原则解释的，并制定了用于派生内部规格和可执行程序的基本方法。在这种方法中，对于不一定完全描述的要求规范陈述，进行不同合作社编写的不同表达格式之间的相互转换是为了指导缺乏点并确保描述之间的一致性。换句话说，通过数据驱动的处理模型来实现此功能，该模型可以自然地表达用于处理执行的基本数据依赖项和数据结构。此外，上述方法的内核部分是建立在以设备供应为设备的台式计算机上构建的，并确认了其可行性。将来，还可以证明这种方法的实用性，考虑到在实时控制和通信系统等领域中开发实用系统。

项目成果

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)。