人工衛星チェックアウト・システムの基本設計プロセスのプロセス・モデルHFSPによる記述とその評価
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェアの設計作業は,極めて論理的かつ知的思考作業の連続であり,また設計技術者への属人的性格が強く,これを顕在化することは難しい問題である.われわれは,熟練技術者の基本設計段階における手順を明らかにすべく,一つの実用システム(DAS)の設計経験者を集め,プロセス・モデルHFSPに基づき,過去における設計手順をできる限り忠実に分析,抽出した.(手続き中心型プロセス)これを他のシステム(設計課題)の設計に再利用する観点から評価した結果,このプロセスは対象システムを設計するときの手順そのものを表現しており,規模の異なるシステムの設計にそのまま適用することは難しく,また他の技術者に理解しにくいことが判明した.これを改善するためオブジェクトの生成過程を中心にプロセスをまとめ直した結果,規模の異なる他のシステムの設計にも適用できる,ある程度普遍的な設計プロセス(オブジェクト中心型プロセス)を得た.ここに得た手続き中心型プロセスおよびオブジェクト中心型プロセスの比較を通して設計作業の実態を解析し,さらにプロセス・モデルHFSPの表現能力を評価した.その結果,その機能的側面は標準的な設計技術を顕在化して静的に表現することができるが,動的側面においてはいくつかの課題があるという結論を得た.今後,この表現能力を充実させるためには,実際の設計作業そのものをさらに深く分析し,これを関数表現に反映させる必要がある.
- 一般社団法人情報処理学会の論文
- 1992-05-15
著者
-
片山 卓也
東京工業大学情報理工学研究科計算工学専攻
-
片山 卓也
東京工業大学
-
望月 純夫
淑徳短期大学
-
望月 純夫
三菱スペース・ソフトウエア(株)
-
山内 顯
三菱スペース・ソフトウエア(株)
-
山内 顕
三菱スペース・ソフトウエア
関連論文
- ソフトウェア設計プロセス構成法の一提案
- 出力指向の段階的詳細化による設計法
- 人工衛星チェックアウト・システムの基本設計プロセスのプロセス・モデルHFSPによる記述とその評価
- ソフトウェアプロセスの分析と評価(その2)
- ソフトウェア・プロセスを利用した教育用ツールの開発(その2)
- 第4回ソフトウェアプロセスワークショップ
- 属性文法 : 構造指向的かつ関数的計算モデル
- ソフトウェア基礎研究体制の充実を
- 第13回ACM POPL出席報告
- On the Description of the Communication Protocol HDLC in cHFP
- 並行処理のための関数型計算モデルconcurrent HFP
- 属性文法による在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
- コンパイラ生成のための意味付け構文図とその評価
- Lorel-2実行システムの構成とそのファームウェア化の効果
- Lorel-2言語について
- 分割アルゴリズムに基づく同型グラフの検索について
- リスト構造に対する整合機能の形式化
- リンク手法による多変数関数の極値探索
- 画像構造線の大域的性質に関する計算機実験とその考察 (パターン情報処理)
- 正規集合の構造母関数の特性化
- 質の高い学会活動を
- 非手続き型言語におけるデータ構造 (データ構造)
- 属性文法型計算モデル (非手続き型プログラミングのための計算モデル)
- J.D.Ullman 著, "Fundamental Concepts of Programming Systems", Addison-Wesley Pub. Co., B5判, 328ぺージ, \5,900, 1975
- 構造指向型システムのための実行可能な仕様記述言語
- オブジェクト指向属性文法OOAGの高速な処理系の設計と実現
- 自然言語処理を目的とした属性文法評価システム
- 双方向性階層的関数型プログラミングBi-HFPとその構文解析への応用
- 論理関係処理言語LOREL-1
- ソフトウェア・プロセスの設計支援ツールへの応用
- 文脈自由形言語における記号列の数え上げ
- 決定性プッシュダウン変換器の等価性判定について
- LORELデータの言語理論的クラスについて
- 大特集「アルゴリズムの最近の動向」の編集にあたって
- 10.プロセス指向のソフトウェア設計教育 (ソフトウェアプロセス)
- 再帰的属性評価器における領域割り当てアルゴリズム
- 変化を伴うオブジェクトを記述できるオブジェクトロジック
- プログラム合成/変換特集の編集にあたって (プログラム合成/変換)
- 特集「非手続き型プログラミングのための計算モデル」の編集にあたって