階層的プロセスモデルの提案とそのJSDへの適用

井上, 克郎; 野村, 研仁; 稲田, 良造 他

ソフトウェア・シンポジウム’88論文集, 1988, 315-324

アクセス数:538件（2026-04-05 00:42 集計）

固定URL: https://hdl.handle.net/11094/51278

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
SoftwareSymposium_88_315 pdf なし 1.83 MB 84 2015.03.09 出版社版/publisher  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
階層的プロセスモデルの提案とそのJSDへの適用
カイソウテキ　プロセス　モデル　ノ　テイアン　ト　ソノ　JSD　ヘノ　テキヨウ
著者
NRID
1000020168438 1000020168438
著者名
井上, 克郎
著者名
野村, 研仁
著者名
稲田, 良造
NRID
1000050093745 1000050093745
著者名
菊野, 亨
NRID
1000010172222 1000010172222
著者名
鳥居, 宏次
抄録
ソフトウェアの生産性や信頼性を向上させるために、ソフトウェアの開発過程を理解しやすい形で正確に記述することが重要になってきている。本報告では、階層的なプロセスのモデルに基づき、開発過程を形式的に記述することにより、ソフトウェア開発方法論の一つであるジャクソンシステム開発法（JSD）を定義する。プロセスの記述については、手続き的記述によるプロセス・プログラミングが最近提案された。一方、プロセスは、入力を用いて出力を生成する過程であるとみなすいわゆる動作的モデルの提案もある。本報告では、動作的モデルに基づき、前提条件、完了条件、及びサブプロセスの関係の三つの要素から構成されるモデルを用いる。ISDによる開発の過程に関する記述は、例を用いた説明などによって定義を類推させる形で行なわれていることが多い。従って、これらの記述からJSDの定義を正確にとらえることは容易ではない。本報告では、まず、プロセスのモデルに基づいて、JSDを自然語で記述し、次に、代数的言語ASL/1を用いて記述するという段階を経て、JSDの定義を試みた。JSDを定義する作業を通して、JSDの各過程の入出力の関係、および、各過程で行なうべきことを明らかにすることができた。
出版者
ソフトウェア技術者協会
Software Engineers Association
ソフトウェア　ギジュツシャ　キョウカイ
収録物名
ソフトウェア・シンポジウム’88論文集
ページ
315-324
刊行年月
1988-06-08
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/51278
アクセス権
open access
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article