JP3137865B2 - 仕様書作成方法 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、仕様書作成方法に係
り、特に、利用者の既開発のソフトウェアの再利用や保
守作業を支援するためにするソフトウェア設計支援のた
めにする仕様書作成に関するものであって、詳細な処理
記述をした下流工程の仕様書（以下、「下位仕様書」と
もいう）から処理の概要を記述する上流工程の仕様書
（以下、「上位仕様書」ともいう）を作成する仕様書作
成方法に関する。

【０００２】

【従来の技術】従来、ソフトウェアの生産性を向上させ
るための方法として、既開発システムを構成するソフト
ウェアドキュメントの少なくとも一部を再利用して、新
規のシステムを開発する方法が知られている。

【０００３】既開発システムを構成するソフトウェアを
再利用して新規のシステムを開発する場合には、上記の
方法のように、先ず既開発システムのソフトウェアの生
産物、すなわち、計算機用の高級プログラミング言語で
記述されたプログラムのソースコードや、ソフトウェア
の機能仕様書等を調査して、ソフトウェアのなかのどの
部分が再利用可能であるか、あるいは、どの部分を修正
する必要があるのかを判断することが行なわれていた。

【０００４】しかしながら、多くの場合、既開発のシス
テムの上流工程の仕様書が存在しなかったり、あるいは
存在しても、プログラムや下流工程の仕様書等のソフト
ウェア生産物と内容が一致しない。そのような場合に
は、既開発システムの下流工程のソフトウェア生産物の
どの部分が再利用できるかの判断が極めて難しかった。

【０００５】そこで、この問題を解決する方法として、
例えば、特開平１−２３７７２６号公報に記載された
「ソフトウェア仕様書の自動生成方法」がある。この方
法によれば、プログラムや下流工程のソフトウェア生産
物から上流工程のソフトウェア生産物を逆生成すること
により、下流工程ソフトウェア生産物と意味的に一致し
た上流工程ソフトウェア生産物を作成している。

【０００６】

【発明が解決しようとする課題】上記従来技術に係る方
法は、下流工程のソフトウェア生産物の記述内容から、
処理の課程で入力あるいは出力するファイルなどの同一
項目の記述内容の項目を抽出・集約し、これらの集約し
た項目と、単独で存在する項目をまとめネットワーク状
の項目情報を作成し、ネットワーク状に配置された各項
目の表現形式を変換し目的とする仕様書を生成する方法
であった。すなわち、この方法は、入力または出力する
ファイルが一致するなどの同一項目の記述内容、いわば
共通項目を集約し、これらの共通項目の間の処理の関係
の理解を容易とする方法であった。

【０００７】しかしながら、上記従来技術は、生成され
る上流工程のソフトウェア生産物の利用のしやすさにつ
いては考慮されておらず、柔軟性に欠けるという問題点
があった。というのも、上記従来技術では、生成する上
流工程の仕様書の記述内容をどのような細かさにして記
述するかということ、すなわち、下流工程のソフトウェ
ア生産物を抽象化するときの抽象度は固定されており、
この抽象度を利用者が指定することは不可能だったから
である。このことから、上記従来技術に係る方法では、
利用者が求めている上流工程の仕様書の処理記述と生成
された処理記述が齟齬をきたし、プログラムの処理の内
容を充分に理解することは難しいという問題点を生じる
こともあった。

【０００８】また、上流工程の仕様書を生成する際に、
印刷する用紙の大きさと処理の記述内容の細かさとは無
関係であるため、用紙の大きさとは不釣合なレイアウト
を持つ上流工程の仕様書を生成したり、用紙の大きさに
は収まりきらない仕様書を生成してしまうという問題点
があった。

【０００９】さらに、上流工程の各処理の出力データの
重要性によって処理内容を記述する方法がなく、重要な
データに着目しての上流工程の仕様書が作りにくいとい
う問題点があった。

【００１０】本発明は、上記問題点を解決するためにな
されたもので、その目的は、下流工程のソフトウェア仕
様書から上流工程の仕様書を生成する際に、上位仕様書
の記述内容のレベルを細かく指定することが可能で、利
用者のニーズにあった仕様書作成方法を提供することに
ある。

【００１１】またその目的は、生成された仕様書を印刷
する際に、用紙のサイズと調和するレイアウトを持った
上流工程の仕様書を生成可能な仕様書作成方法を提供す
ることにある。

【００１２】さらに各処理の出力するデータの重要性に
着目し、重要なデータを上流工程の処理でどのように処
理されているかを確かめることのできる仕様書作成方法
を提供することにある。

【００１３】

【課題を解決するための手段】上記目的を達成するた
め、本発明の仕様書作成方法に係る発明の構成は、ある
処理単位を記述する複数の論理素子とそれらの接続関係
からなる系列によって一連の処理を示す下位仕様書に対
し、前記複数の論理素子の一部を意味的に等価な一つの
抽象論理素子に変換することによって、前記下位仕様書
よりも論理素子の数が少ない上位仕様書を作成する仕様
書作成方法において、抽象論理素子に変換される論理素
子は、利用者が上位仕様書に要求する抽象度に応じて決
定されるようにしたものである。

【００１４】また、上記目的を達成するため、本発明の
仕様書作成方法に係る発明の構成は、ある処理単位を記
述する複数の論理素子とそれらの接続関係からなる系列
によって一連の処理を示す下位仕様書に対し、前記複数
の論理素子の一部を意味的に等価な一つの抽象論理素子
に変換することによって、前記下位仕様書よりも論理素
子の数が少ない上位仕様書を作成する仕様書作成方法に
おいて、抽象論理素子に変換される論理素子は、利用者
より与えられた上位仕様書の用紙サイズに応じて決定さ
れるようにしたものである。

【００１５】更に、上記目的を達成するため、本発明の
仕様書作成方法に係る発明の構成は、ある処理単位を記
述する複数の論理素子とそれらの接続関係からなる系列
によって一連の処理を示す下位仕様書に対し、前記複数
の論理素子の一部を意味的に等価な一つの抽象論理素子
に変換することによって、前記下位仕様書よりも論理素
子の数が少ない上位仕様書を作成する仕様書作成方法に
おいて、前記下位仕様書の論理素子に対してその論理素
子における処理の結果生成されるデータのデータ次元を
設定し、利用者から与えられた抽象度と設定された前記
データ次元とに基づいて抽象論理素子に変換する論理素
子を決定するようにしたものである。

【００１６】

【００１７】

【００１８】

【００１９】

【００２０】

【００２１】

【００２２】

【００２３】

【００２４】

【００２５】

【００２６】

【００２７】

【００２８】

【００２９】

【００３０】

【００３１】

【作用】本発明によれば、抽象論理素子に変換される論
理素子は、利用者が上位仕様書に要求する抽象度に応じ
て決定される。

【００３２】したがって、これにより、利用者が要求す
る抽象度に応じた処理の記述内容の細かさを持つ上位仕
様書を自動的に生成することができる。

【００３３】また、本発明においては、抽象論理素子に
変換される論理素子は、利用者より与えられた上位仕様
書の用紙サイズに応じて決定される。

【００３４】これにより、利用者が要求する仕様書の大
きさに関係するパラメータに応じた上流工程の仕様書を
自動的に生成することが可能となり、印刷したい大きさ
とは不釣合なレイアウトを持った仕様書や印刷できない
大きさの仕様書が作成されることをなくすことができ
る。

【００３５】また、本発明においては、下位仕様書の論
理素子に対してその論理素子における処理の結果生成さ
れるデータのデータ次元を設定し、利用者から与えられ
た抽象度と設定されたデータ次元とに基づいて抽象論理
素子に変換する論理素子を決定する。したがって、利用
者にとって重要なデータを表示した上位仕様書を生成す
ることができる。

【００３６】

【実施例】以下、本発明に係る各実施例を、図１ないし
図４２を用いて説明する。以下の実施例は、プラントに
おける制御機能を実現するソフトウェアに関する設計支
援に用いることができる仕様書作成方法および装置に関
するものである。すなわち、詳細な処理の内容を記述す
る下流工程の仕様書のデータを、その処理の概要を示す
上流工程の仕様書に変換することにより利用者のソフト
ウェアの処理内容の理解を支援するためのものである。

【００３７】〔実施例１〕以下、本発明に係る第一の実
施例を、図１および図２、図５および図６、図１６ない
し図２３を用いて説明する。 （I）仕様書作成装置の入力と出力 本実施例で対象とするソフトウェアの仕様書は、プラン
ト制御用プログラマブルコントローラ（以下、「ＰＣ」
と記す）の中央処理装置（以下、「ＣＰＵ」と記す）に
対する命令を論理素子に対応づけて記述し、この論理素
子とその接続関係からなる系列によりデータの受渡し
や、処理の実行順序を記述するものである。

【００３８】先ず、図５および図６を用いてこの仕様書
作成装置の入力と出力について具体的に説明しよう。図
５は、本発明の第一の実施例に係る仕様書作成装置の入
力となる下位仕様書を示す図である。図６は、本発明の
第一の実施例に係る仕様書作成装置の出力となる上位仕
様書を示す図である。

【００３９】図５に示す論理素子２ａ〜２ｊは、ＰＣの
以下の表１に示す命令を表している。すなわち、この図
５に示される仕様書では、ＰＣの命令ごとの動作を記述
する。

【００４０】本発明に係る仕様書作成装置では、この図
５に示すような下位レベルの仕様書を入力として、より
大まかな処理の概要を記述する上位レベル仕様書を作成
するものである。

【００４１】

【表１】

【００４２】（II）仕様書作成装置のシステム構成と仕
様書作成のためのデータ構造 次に、図１および図２、図１６ないし図２１、図２３を
用いて本発明の第一の実施例に係る仕様書作成装置のシ
ステム構成と仕様書作成のためのデータ構造とについて
説明する。図１は、本発明の第一の実施例に係るソフト
ウェアの仕様作成装置の機能ブロックとデータファイル
の模式図である。図２は、本発明の第一の実施例に係る
ソフトウェアの仕様作成装置のハードウェア構成を示す
模式図である。図１６は、下位仕様データ５０１を表す
模式図である。図１７は、論理素子詳細データ５０２ａ
を表す模式図である。図１８は、抽象論理素子関連デー
タ５０２ｂを表す模式図である。図１９は、抽象論理素
子変換規則データ５０３を表す模式図である。図２０
は、論理素子レコードデータ５０４を表す模式図であ
る。図２１は、本発明の第一の実施例に係るパスレコー
ドデータ５０５を表す模式図である。図２３は、上位仕
様データ５００を表す模式図である。

【００４３】先ず、仕様書作成のためのデータ構造につ
いて説明しよう。下位仕様ファイル３１は、変換の対象
とする下位の仕様書のデータを記憶し、上位仕様ファイ
ル３２は、変換の結果生成する上位の仕様書のデータを
記憶する。

【００４４】下位仕様ファイル３１は、仕様書の図面の
データとして、図１６に示される下位仕様データ５０１
を保持する。この下位仕様データ５０１は、レコード
の番号を表すレコードＮｏ．５ａ、論理素子の種類別
に個別に予め定めた識別コードを表す論理素子ＩＤ５
ｂ、それぞれの論理素子に対応する命令を実行する際
にデータの読みだしまたは書き込みの対象とするメモリ
またはインターフェースをとるための情報のアドレスを
表す参照メモリ番地５ｃ、次に命令を実行する論理素
子のレコード番号を表す次素子レコードＮｏ．５ｄを保
持する。

【００４５】参照メモリ番地５ｃは、例えば、論理素子
２ａの場合は、Ｍ１であり、仕様書の論理素子が表示さ
れている所の下に表示されている。また、次素子レコー
ドＮｏ．５ｄは、その論理素子の次の論理素子のレコー
ドＮｏ．をあらわしている。すなわち、その論理素子の
図５の実線４で接続される論理素子の下位仕様データ５
０１の該当項目におけるレコードＮｏ．をあらわしてい
る。

【００４６】ここで、次に命令を実行する論理素子がな
いときは、次素子レコードＮｏ．５ｄに「−１」を入れ
ておくものと約束する。

【００４７】上位仕様ファイル３２は、図２３に示され
る上位仕様データ５００を保持する。この上位仕様デー
タ５００については、構造的には下位仕様データ５０１
と同じものである。

【００４８】抽象化パラメータファイル４１は、利用者
が要求する抽象度の値「Ｖｌ」を保持する。ここで、抽
象度とは、出力となる上位仕様書のレベルを規定する値
であり、値が大きくなるほど上位仕様書の処理の記述
は、大きくなるものと約束する。

【００４９】論理素子定義ファイル４２は、図１７に示
される論理素子詳細データ５０２ａと図１８に示される
抽象論理素子関連データ５０２ｂとを保持する。

【００５０】論理素子詳細データ５０２ａは、変換の
対象とする論理素子の論理素子ＩＤ５ｂ、論理素子を
表示装置において表示する際の形状のデータ５ｅ、そ
の論理素子に対応するＰＣに対する命令５ｆ、抽象度
を考慮して、上位ファイルを生成する際に、その論理素
子の重要度の値を示す重み値「Ｖｇ１」５ｇからなる。
この重み値Ｖｇ１が大きい程、重要な論理素子であると
され、上位仕様書においても細かく表示されることにな
る。

【００５１】抽象論理素子関連データ５０２ｂは、抽
象論理素子の論理素子ＩＤ５ｂ、その抽象論理素子の
形状のデータ５ｅからなる。

【００５２】ここで、「抽象論理素子」とは、一つ以上
の論理素子を組み合わせた処理を一つの論理素子として
対応付けたものである。すなわち、下位の論理素子を組
み合わせて上位の論理素子としたものと理解できる。

【００５３】抽象論理素子変換規則ファイル４３は、図
１９に示される抽象論理素子変換規則データ５０３を保
持する。

【００５４】抽象論理素子変換規則データ５０３は、
一つ以上の下位の論理素子ＩＤ５ｂ１の組み合わせ、
それらに対応する抽象論理素子５ｂ２からなる。

【００５５】論理素子接続データファイル４４は、仕様
データから論理素子のデータを抽出したもので構成され
ていて、図２０に示される論理素子レコードデータ５０
４、図２１に示されるパスレコードデータ５０５を保持
する。

【００５６】論理素子レコードデータ５０４は、レコ
ードの番号を表すレコードＮｏ．５ｈ、論理素子ＩＤ
５ｂ、その論理素子の重み５ｇ、次に説明するパス
レコードデータ５０５におけるレコード番号を表す次パ
スレコードＮｏ．５ｉからなる。

【００５７】パスレコードデータ５０５は、レコード
の番号を表すレコードＮｏ．５ｉ、論理素子間を結ぶ
パスに関し、第１の端点に接続する論理素子の前記論理
素子レコードデータ５０４におけるレコードＮｏ．５ｂ
１、その論理素子の重み５ｇ１、論理素子間を結ぶ
パスに関し、第２の端点に接続する論理素子の前記論理
素子レコードデータ５０４におけるレコードＮｏ．５ｂ
２、その論理素子の重み５ｇ２、そのパスにおいて
論理素子間を分割するかどうかを表す分割フラグ５ｊか
らなる。パスレコードデータ５０５の各項目は、論理素
子間の接続情報を表すものであり、以下、「パスレコー
ド」ともいうことにする。

【００５８】次に、図１に示される仕様書作成装置の各
機能について説明しよう。入力データ編集機能１１は、
利用者が要求する上位の仕様書の抽象度に対応する値
「Ｖｌ」を要求抽象度ファイル３０に書き込む機能であ
る。

【００５９】論理素子間データ関係解析機能１２は、論
理素子定義ファイル４２のデータを参照し、必要な下位
仕様ファイル３１のデータ５０１を読み込む。そして、
このデータを分析して前記論理素子レコードデータ５０
４およびパスレコードデータ５０５を生成して、これら
を前記論理素子接続データファイル４４に書き込む機能
である。

【００６０】論理素子間分割点判定機能１３は、抽象化
パラメータファイル４１を参照して、論理素子接続デー
タファイル４４のパスレコードデータ５０５を読み込
み、このパスレコードファイル５０５の分割フラグ５ｊ
の設定、解除を判定して、これを分割フラグ５ｊに書き
込んで、パスレコードデータ５０５を更新する。そして
更新されたパスレコードデータ５０５を論理素子接続デ
ータファイル４４に書き込む機能である。

【００６１】抽象論理素子変換機能１４は、論理素子接
続データファイル４４の論理素子レコードデータ５０４
およびパスレコードデータ５０４を読み込み、パスレコ
ードデータ５０５の分割フラグ５ｊが設定されている区
間内に含まれる論理素子の論理素子ＩＤ５ｂの組み合わ
せと、抽象論理素子変換規則ファイル５０３の下位の論
理素子ＩＤ５ｂ１の組み合わせとを比較し一致する組み
合わせを抽象論理素子ＩＤ５ｂ２に変更する。そしてそ
れとともに、論理素子レコードデータ５０４のデータの
変更に応じて、パスレコードデータ５０５のデータも修
正する機能である。そして、論理素子接続データファイ
ル４４の論理素子レコードデータ５０４とパスレコード
データ５０５から上位仕様データ５００を生成する機能
である。

【００６２】表示用情報生成機能１５は、上位仕様デー
タ５００読み込み、論理素子レコードデータの形状５ｅ
のデータを参照し、次に説明する表示装置５５に表示す
るための論理素子の表示位置を含むデータを生成する機
能である。

【００６３】次に、図２を用いて本発明に係る仕様書作
成装置のハードウェア構成について説明する。

【００６４】ＣＰＵ５１は、メモリ５２に記憶されたデ
ータとプログラムにしたがって、本発明の仕様書作成方
法をおこなう。外部記憶装置５３は、上述の様々なファ
イルを記憶している。入力装置５４は、具体的には、マ
ウスやキーボードであり、この仕様書作成装置に対する
命令やパラメタを入力することができる。表示装置５５
は、ＣＲＴディスプレイや液晶ディスプレイであり、仕
様書を表示することができる。

【００６５】（III）仕様書作成方法の処理手順 次に、図３４ないし図４０を用いて本発明の第一の実施
例に係る仕様書作成方法の処理手順について説明する。
以下では、この実施例では図１に示される機能ブロック
とファイルを適宜、参照しながら説明することにしよ
う。そして、下位仕様ファイル３１には、図１６に示さ
れる下位仕様データ５０１、論理素子定義ファイル４２
には、図１７に示される論理素子詳細データ５０２ａと
図１８に示される抽象論理素子関連データ５０２ｂと
を、論理素子変換規則ファイル４３には、図１９に示さ
れる抽象論理素子変換規則データ５０３を保持している
ものとする。また、抽象化パラメータファイル４１と、
論理素子接続データファイル４４には、データがない状
態であるとする。

【００６６】（１）仕様書作成方法の処理手順の概要 先ず、図３４を用いて仕様書作成方法の処理手順の概要
について説明しよう。図３４は、本発明の第一の実施例
に係る仕様書作成方法の処理手順の概要を示すゼネラル
フローチャートである。

【００６７】先ず、入力データ編集機能１１が、利用者
が要求する上位の仕様書の抽象度の値「Ｖｌ」を抽象化
パラメータファイル４１に書き込む（ステップ１０
０）。

【００６８】次に、論理素子間データ解析機能１２が、
下位仕様ファイルのデータ５０１を読み込み、この下位
仕様中の論理素子のデータを解析し、その結果から前記
論理素子レコードデータ５０４とパスレコードデータ５
０５とを生成し、それらを論理素子接続データファイル
４４に書き込む（ステップ１１０）。

【００６９】次に、下位仕様に含まれる論理素子を利用
者が要求する抽象度に対応する抽象論理素子に変換する
ため、論理素子間分割点判定機能１３が、下位仕様に含
まれる論理素子間の分割点を設定する（ステップ１２
０）。すなわち、ステップ１１０で生成したパスレコー
ドデータ５０５の分割フラグのカラム５ｊの値を設定す
る。本実施例では、論理素子間の接続つまりパスを分割
する場合は、分割フラグのカラム５ｊの値は「１」、分
割しない場合は「０」と約束する。

【００７０】次に、抽象論理素子変換機能１４が、ステ
ップ１２０の処理の結果分割された区間に含まれる論理
素子の組み合わせを、論理素子定義ファイル４２に定義
する抽象論理素子に変換する（ステップ１３０）。

【００７１】次に、表示用情報生成機能１５が、上位仕
様データ５０１を図形として表示するためのデータを生
成する（ステップ１４０）。すなわち、上位仕様ファイ
ル３２に保持する上位仕様データ５０１の、論理素子及
びその接続関係の情報と論理素子定義ファイル４２に保
持するそれぞれの論理素子の形状のデータ（論理素子詳
細データ５０２ａの形状５ｅ、抽象論理素子関連データ
５０２ｂの形状５ｅ）をもとに、各論理素子の表示装置
上の表示位置のデータを生成する。

【００７２】（２）下位仕様書中の論理素子のデータを
解析するステップ１１０の詳細 次に、図３５を用いて上記の下位仕様書中の論理素子の
データを解析するステップ１１０を、より詳細に説明し
よう。図３５は、下位仕様書中の論理素子のデータを解
析するステップ１１０の処理手順を示すディテールフロ
ーチャートである。

【００７３】論理素子間データ解析機能１２は、下位仕
様データ５０１を読み込み、この下位仕様中の論理素子
の次論理素子との間の関係を解析する（ステップ１１
１）。これは、例えば、図５の仕様書１において、実線
４に接続関係する論理素子、すなわち、論理素子２ａと
論理素子２ｂとの関係情報を生成することを意味する。

【００７４】次に、下位仕様データ５０１の参照メモリ
番地５ｃデータを解析し、この参照メモリ番地５ｃが共
通するか否かに応じて、パスレコードデータ５０５の項
目（パスレコード）を生成する（ステップ１１５）。

【００７５】（３）次論理素子関係を解析するステップ
１１１の詳細 次に、図３６を用いて次論理素子関係を解析するステッ
プ１１１を、より詳細に説明しよう。図３６は、次論理
素子関係を解析するステップ１１１の処理手順を示すデ
ィテールフローチャートである。

【００７６】このステップは、図１６に示される下位仕
様データ５０１と、図１７に示される論理素子詳細デー
タ５０２ａとから、論理素子関係を解析し、図２０に示
される論理素子レコードデータ５０４と、図２１に示さ
れるパスレコードデータ５０５を生成するものである。
すなわち、下位仕様データ５０１の各論理素子に対応す
る重みをとってきて、論理素子レコードデータ５０４の
論理重み値５ｇとし、各素子につながるパスに対応する
項目を、パスレコードデータ５０５の項目としてとっ
て、そのＮｏ．を次パスレコード５ｇに設定する。

【００７７】パスレコードデータ５０５の各項目は、論
理素子間にあるパスを表していて、一方の端が、第一端
点、その対となる端点を第二端点として、パスにつなが
る論理素子のそれぞれ、５ｂ１と５ｂ２に、またその重
みが、それぞれ５ｇ１と５ｇ２に設定するわけである。

【００７８】最初に、記法の約束をする。例えば、論理
素子レコードデータ５０４の５ｈのカラムを表すのに５
０４−５ｈのように符号の組み合わせで書くことにす
る。

【００７９】また、論理素子レコードデータ５０４のＮ
番目のレコードのカラム５ｂを、大括弧［］を用いて５
０４［Ｎ］−５ｂの様に書くことにする。

【００８０】さて先ず、変数「ｒｅｃＮｏ」に値「１」
をセットする（ステップ１１１１）。変数「ｒｅｃＮ
ｏ」は、カウンタに用いられる。

【００８１】次に、論理素子レコードデータ５０４に新
規レコードを追加し、このレコードの「レコードＮ
ｏ．」５０４−５ｈに「ｒｅｃＮｏ」の値をセットする
（ステップ１１１２）。

【００８２】次に、５０１［ｒｅｃＮｏ］−５ｂの値
を、５０４［ｒｅｃＮｏ］−５ｂに複写する（ステップ
１１１３）。

【００８３】次に、論理素子定義ファイル５０２ａにお
いて、論理素子ＩＤのカラム５０２ａ−５ｂの値が、５
０４［ｒｅｃＮｏ］−５ｂの値に等しいレコードの論理
素子重み（Ｖｇ１）のカラム５０４−５ｇの値を、５０
４［ｒｅｃＮｏ］−５ｇに複写する（ステップ１１１
４）。

【００８４】次に、５０１［ｒｅｃＮｏ］−５ｄの値が
０以上、すなわち、次に接続する論理素子が存在するな
らば、ステップ１１１６に進み、そうでなければ、ステ
ップ１１２５に進む（ステップ１１１５）。

【００８５】次に、パスレコードデータ５０５に新規レ
コードを追加する（ステップ１１１６）。

【００８６】次に、５０４［ｒｅｃＮｏ］−５ｈの値
を、第１端点素子のレコードＮｏのカラム５０５−５ｂ
１に複写する（ステップ１１１７）。

【００８７】次に、５０４［ｒｅｃＮｏ］−５ｇの値
を、第１端点素子の重みのカラム５０５−５ｇ１に複写
する（ステップ１１１８）。

【００８８】次に、「ｒｅｃＮｏ」に次素子レコードＮ
ｏ５０１［ｒｅｃＮｏ］−５ｄの値をセットする（ステ
ップ１１１９）。

【００８９】次に、論理素子レコードファイル５０４に
新規レコードを追加する（ステップ１１２０）。

【００９０】次に、ステップ１１１３と同様に５０１
［ｒｅｃＮｏ］−５ｂの値を、５０４［ｒｅｃＮｏ］−
５ｂに複写する（ステップ１１２１）。

【００９１】次に、ステップ１１１４と同様にして、論
理素子の重みの値を複写する（ステップ１１２２）。

【００９２】次に、第２端点素子のレコードＮｏを複写
する。すなわち、５０４［ｒｅｃＮｏ］−５ｈを５０５
−５ｂ２に複写する（ステップ１１２３）。

【００９３】次に、第２端点素子の重み（Ｖｇ１）を複
写する（ステップ１１２４）。すなわち、５０４［ｒｅ
ｃＮｏ］−５ｇを５０５−５ｇ２に複写する。

【００９４】そして、ステップ１１１５からステップ１
１２４の処理を５０１−５ｄの値が「−１」すなわち、
次の論理素子がなくなるまでくりかえす。

【００９５】次に、下位仕様データ５０１に次のレコー
ドがあるかどうかを検査し、次のレコードが存在すれ
ば、ステップ１１２６に進み、なければ、このステップ
１１１の処理は終了である（ステップ１１２５）。

【００９６】次に、「ｒｅｃＮｏ」の値を、「１」増加
させる（ステップ１１２６）。

【００９７】これらのように、この次論理素子関係を解
析するステップ１１１では、ステップ１１１２からステ
ップ１１２５の処理を下位仕様のデータがなくなるまで
繰り返す。

【００９８】（４）参照メモリを解析するステップ１１
５の詳細 次に、図３７を用いて参照メモリを解析するステップ１
１５を、より詳細に説明しよう。図３７は、参照メモリ
を解析するステップ１１５を示すディテールフローチャ
ートである。

【００９９】このステップでは、図１６に示される下位
仕様データ５０１の参照メモリ番地５ｃを参照して、参
照メモリが一致するときには、同じ処理を記述するもの
として、パスをつけ加え、パスレコードデータのそれぞ
れの端点の論理素子のレコードＮｏ．５ｂ１と５ｇ２に
値を設定していくものである。

【０１００】先ず、整数変数「ｒｅｃＮｏ＿１」「ｒｅ
ｃＮｏ＿２」の値をそれぞれ「１」と「２」にセットす
る（ステップ１１５１）。これらｒｅｃＮｏ＿１とｒｅ
ｃＮｏ＿２は、カウンタに用いられる。

【０１０１】次に、下位仕様データ５０１のレコードＮ
ｏ．のカラムがｒｅｃＮｏ＿１、ｒｅｃＮｏ＿２に等し
いレコードの「参照メモリ番地」のカラム５ｃの値を比
較する（ステップ１１５２）。

【０１０２】この結果、値が一致した場合、すなわち、
ｒｅｃＮｏ＿１、ｒｅｃＮｏ＿２の論理素子が同一のメ
モリを参照メモリとして持つ場合、ステップ１１５３〜
ステップ１１５７の処理を実行する。

【０１０３】一致しなかった場合、ステップ１１５８に
進む。

【０１０４】次に、前記ステップ１１１で生成したパス
レコードデータ５０５のパスレコードを追加する（ステ
ップ１１５３）。

【０１０５】次に、５０４［ｒｅｃＮｏ＿１］−５ｈの
値を第１端点．レコードＮｏ．５０５−５ｂ１に複写す
る（ステップ１１５４）。

【０１０６】次に、５０４［ｒｅｃＮｏ＿１］−５ｇの
値を第１端点．重み５０５−５ｇ１に複写する（ステッ
プ１１５５）。

【０１０７】次に、５０４［ｒｅｃＮｏ＿２］−５ｈの
値を第２端点．レコードＮｏ．５０５−５ｂ２に複写す
る（ステップ１１５６）。

【０１０８】次に、５０４［ｒｅｃＮｏ＿２］−５ｇの
値を第２端点．重み５０５−５ｇ２に複写する（ステッ
プ１１５７）。

【０１０９】次に、下位仕様データ５０１にｒｅｃＮｏ
＿２の次のレコードがあるかどうかを検査し、もしあれ
ばステップ１１５９に進み、なければステップ１１６０
に進む（ステップ１１５８）。

【０１１０】ステップ１１５９では、ｒｅｃＮｏ＿２の
値を「１」増加させる。

【０１１１】そして、以上のステップ１１５２〜ステッ
プ１１５９の処理を、下位仕様データ５０１の末尾のレ
コードまで繰り返す。

【０１１２】次に、下位仕様データ５０１にｒｅｃＮｏ
＿１の次のレコードがあるかどうかを検査し、もしあれ
ばステップ１１６１に進み、なければ全ての下位仕様デ
ータ５０１について、参照メモリ関係の解析を完了した
ことになる（ステップ１１６０） ステップ１１６１で
は、ｒｅｃＮｏ＿１の値を「１」増加させる。

【０１１３】そして、以上のステップ１１５２〜ステッ
プ１１６１の処理を、下位仕様データの末尾のレコード
まで繰り返す。

【０１１４】（５）論理素子間パス分割点を選択するス
テップ１２０の詳細 次に、図３８を用いて論理素子間パス分割点を選択する
ステップ１２０を、より詳細に説明しよう。図３８は、
論理素子間パス分割点を選択するステップ１２０を示す
ディテールフローチャートである。

【０１１５】このステップは、利用者が要求する抽象度
の値「Ｖｌ」とパスレコードデータ５０５に設定した論
理素子の重み値５ｇ１、５ｇ２と比較し、分割点を決め
て、パスレコードデータ５０５の分割フラグ５ｊに値を
設定していくステップである。

【０１１６】先ず、論理素子間分割点判定機能１３が、
抽象化パラメータデータファイル４１から、利用者が要
求する抽象度の値「Ｖｌ」を読みだし、変数Ｖに複写す
る（ステップ１２０１）。

【０１１７】次に、変数「ｒｅｃＮｏ」の値を「１」に
セットする（ステップ１２０２）。

【０１１８】次に、（ステップ１２０３で、論理素子接
続データファイル４４のパスレコードデータ５０５の第
１端点素子．重み５０５［ｒｅｃＮｏ］−５ｇ１の値と
第２端点素子．重み５０５［ｒｅｃＮｏ］−５ｇ２の値
についてそれぞれ、Ｖの値と比較し、いずれが一方の値
がＶよりも大きければ、すなわち、

【０１１９】

【数１】５０５［ｒｅｃＮｏ］−５ｇ１ ＞ Ｖ または、 ５０５［ｒｅｃＮｏ］−５ｇ２ ＞ Ｖ が成立すれば、ステップ１２０４に進み、成立しなけれ
ばステップ１２０５に進む（ステップ１２０４）。

【０１２０】ステップ１２０５では、分割フラグ５０５
［ｒｅｃＮｏ］−５ｊに「１」をセットする。すなわ
ち、利用者が要求する抽象度の値より大きい重みを持つ
論理素子が端点に存在する場合に、このパスレコードに
対応するパスが分割されるようにして、出力される仕様
書のレベルを低いものにする。

【０１２１】最後に、パスレコードデータ５０５のｒｅ
ｃＮｏに対応するレコードの次のレコードがあるかどう
かを検査し、もしあればステップ１２０３にもどる。

【０１２２】このようにして、ステップ１２０３〜１２
０５の処理を、パスレコードファイルの全てのレコード
について施す。

【０１２３】もし、次のレコードがなければ、処理を終
了する。

【０１２４】（６）分割した区間に含まれる論理素子を
抽象論理素子に変換するステップ１３０の詳細 次に、図３９を用いて分割した区間に含まれる論理素子
を抽象論理素子に変換するステップ１３０を、より詳細
に説明しよう。図３９は、分割した区間に含まれる論理
素子を抽象論理素子に変換するステップ１３０を示すデ
ィテールフローチャートである。

【０１２５】このステップは、ステップ１２０で設定さ
れた分割点に従って、かつ、図１９に示される抽象素子
変換規則データ５０３を参照して、下位仕様の論理素子
を上位素子の抽象論理素子に置き換えていくステップで
あり、その結果、図５０４に示される上位仕様データ５
０１を生成するステップである。

【０１２６】先ず、変数「ｒｅｃＮｏ」の値に「１」を
セットし、複数のデータを保持する配列、「ｗｏｒｋＩ
Ｄ」と「ｗｏｒｋＭｅｍ」のデータをクリアする（ステ
ップ１３０１）。

【０１２７】次に、変数「ｐａｓＲｅｃＮｏ」に論理素
子接続データファイル４４の論理素子レコードファイル
５０４のレコードｒｅｃＮｏの次パスレコードＮｏ．５
０４［ｒｅｃＮｏ］−５ｉを複写する（ステップ１３０
２）。

【０１２８】次に、論理素子接続データファイル４４の
パスレコードファイル５０５のレコードｐａｓＲｅｃＮ
ｏの分割フラグの値

【０１２９】

【数２】５０５［ｐａｓＲｅｃＮｏ］−５ｊ ＝ １ が成立するかどうかを検査し、成立すればステップ１３
０４に進み、成立しなければステップ１３０６に進む
（ステップ１３０３）。すなわち、ｐａｓＲｅｃＮｏの
パスで論理素子間の分割をしない場合は、ステップ１３
０６に進む。

【０１３０】数２が成立しているときには、ｗｏｒｋＩ
Ｄに保持する論理素子ＩＤ、すなわち、分割点間の区間
に含まれる論理素子を抽象論理素子に変換し、この結果
から上位仕様データ５００を生成する（ステップ１３０
４）。

【０１３１】次に、ｗｏｒｋＩＤおよびｗｏｒｋＭｅｍ
の内容をクリアする（ステップ１３０５）。

【０１３２】そして、数２が成立しないときには、ｗｏ
ｒｋＩＤの末尾に、論理素子レコードファイル５０４の
レコードｒｅｃＮｏの論理素子ＩＤ５０４［ｒｅｃＮ
ｏ］−５ｂの値を追加する（ステップ１３０６）。

【０１３３】次に、ｗｏｒｋＭｅｍの末尾に、下位仕様
ファイル３１の下位仕様データ５０１のレコードｒｅｃ
Ｎｏの参照メモリ番地５０１［ｒｅｃＮｏ］−５ｃの値
を追加する（ステップ１３０７）。

【０１３４】次に、ｒｅｃＮｏにパスレコードファイル
５０４のレコードｐａｓＲｅｃＮｏの第２端点．レコー
ドＮｏ．５０５−５ｂ２［ｐａｓＲｅｃＮｏ］の値をコ
ピーする（ステップ１３０８）。

【０１３５】次に、ｐａｓＲｅｃＮｏに論理素子レコー
ドファイル５０５のレコードｒｅｃＮｏの次パスレコー
ドＮｏ．５０４−５ｉ［ｐａｓＲｅｃＮｏ］の値をコピ
ーする（ステップ１３０９）。

【０１３６】次に、ステップ１３１０では、

【０１３７】

【数３】ｐａｓＲｅｃＮｏ ＞ ０ が成立するかどうかを検査し、成立すれば、すなわち、
ｒｅｃＮｏの論理素子の次の接続する論理素子があれ
ば、ステップ１３０２に戻る。成立しなければ、ステッ
プ１３１１で論理素子レコードのｒｅｃＮｏの次のレコ
ードがあるかどうかを検査する。

【０１３８】もし、次のレコードがあれば、ステップ１
３１２に進む。なければ処理を終了する（ステップ１３
１２）。

【０１３９】ステップ１３１２では、ｒｅｃＮｏの値に
「１」を加え、ｗｏｒｋＩＤおよびｗｏｒｋＭｅｍの内
容をクリアする。

【０１４０】（７）抽象論理素子に変換し上位仕様ファ
イルに書きこむステップ１３０４の詳細 次に、図４０を用いて抽象論理素子に変換し上位仕様フ
ァイルに書きこむステップ１３０４を、より詳細に説明
しよう。図４０は、抽象論理素子に変換し上位仕様ファ
イルに書きこむステップ１３０４を示すディテールフロ
ーチャートである。

【０１４１】先ず、変数「ｒｕｌｅＮｏ」に値「１」を
セットする（ステップ１３５１）。

【０１４２】次に、分割区間内に含まれる論理素子の論
理素子ＩＤの組み合わせと、抽象論理素子変換規則ファ
イル４３に保持する抽象論理素子変換規則データ５０３
の論理素子ＩＤ５０３［ｒｕｌｅＮｏ］−５ｂ１の値と
を比較する（ステップ１３５２）。そして、ステップ１
３５２の結果を検査し、もし、一致していればステップ
１３５４に進み、一致していなければ、ステップ１３５
５に進む（ステップ１３５３）。

【０１４３】ステップ１３５５では、抽象論理素子変換
規則データ５０３のｒｕｌｅＮｏの次のレコードが存在
するかどうかを検査する。そして、もし次のレコードが
あれば、ステップ１３５６に進み、なければ、ステップ
１３５７に進む（ステップ１３５５）。

【０１４４】ステップ１３５６では、変数「ｒｕｌｅＮ
ｏ」の値に「１」を加えたものを再びｒｕｌｅＮｏにセ
ットし、ステップ１３５２に戻る。すなわち、分割区間
内に含まれる論理素子の論理素子ＩＤの組み合わせと、
抽象論理素子変換規則ファイル４３に保持する抽象論理
素子変換規則データ５０３の論理素子ＩＤ５０３［ｒｕ
ｌｅＮｏ］−５ｂ１の値が一致するか、または、抽象論
理素子変換規則５０３のデータの末尾に達するまでステ
ップ１３５２〜１３５５の処理を繰り返す。

【０１４５】さて、ステップ１３５３で分割区間内に含
まれる論理素子の論理素子ＩＤの組み合わせと、抽象論
理素子変換規則ファイル４３に保持する抽象論理素子変
換規則５０３の論理素子ＩＤ５０３［ｒｕｌｅＮｏ］−
５ｂ１の値が一致すると判定した場合、変数「ｎｅｗＩ
Ｄ」に抽象論理素子ＩＤ５０３［ｒｕｌｅＮｏ］−５ｂ
２の値をセットする（ステップ１３５４）。

【０１４６】また、ステップ１３５５で、ｒｕｌｅＮｏ
の次のレコードがないと判定した場合、すなわち、分割
区間内に含まれる論理素子の論理素子ＩＤの組み合わせ
と、抽象論理素子変換規則データ５０３の論理素子５ｂ
１の値に一致するものがなかった場合、ステップ１３５
７で、変数「ｎｅｗＩＤ」にデフォルトの抽象論理素子
の論理素子ＩＤとして、「ＩＤ９９」をセットする。

【０１４７】以上のステップ１３５１〜１３５７の処理
の結果として分割区間内に含まれる論理素子の論理素子
ＩＤの組み合わせに対応する、抽象論理素子の論理素子
ＩＤが変数「ｎｅｗＩｄ」にセットできる。

【０１４８】次に、ステップ１３５８〜１３６３の処理
で上位仕様データ５００のレコードを生成し、上位仕様
ファイル３２に書き込む。

【０１４９】上位仕様ファイル３２のデータである上位
仕様データ５００のフォーマットは、下位仕様ファイル
３１の下位仕様データ５０１のフォーマットと同じであ
る。

【０１５０】次に、変数「ｏｌｄＲｅｃ」の値として、
上位仕様ファイル３２の末尾のレコードのレコードＮ
ｏ．の値５ａをセットする（ステップ１３５８）。

【０１５１】次に、変数「ｎｅｗＲｅｃ」の値としてｏ
ｌｄＲｅｃ＋１の値をセットする（ステップ１３５
９）。

【０１５２】次に、上位仕様データ５００のｏｌｄＲｅ
ｃのレコードの次素子レコード５ｄのカラムの値とし
て、ｎｅｗＲｅｃの値をセットする（ステップ１３６
０）。

【０１５３】次に、上位仕様データ５００のｎｅｗＲｅ
ｃのレコードの論理素子ＩＤ５ｂのカラムの値として、
ｎｅｗＩＤの値をセットする（ステップ１３６１）。

【０１５４】次に、上位仕様データ５００のｎｅｗＲｅ
ｃのレコードの参照メモリ番地５ｃのカラムの値とし
て、ｗｏｒｋＭｅｍの値をセットする（ステップ１３６
２）。

【０１５５】次に、上位仕様データ５００のｎｅｗＲｅ
ｃのレコードの次素子レコード５ｄのカラムの値とし
て、「−１」をセットする（ステップ１３６３）。

【０１５６】以上のステップ１３５８〜１３６３の処理
で上位仕様データ５００のレコードが生成できる。

【０１５７】（IV）具体的データへの適用 次に、図１６ないし図２３、図３４を用いて本実施例に
係る仕様書作成方法を具体的なデータに適用した場合に
ついて説明する。図２２は、本発明の第一の実施例に係
る値設定後のパスレコードデータを表す模式図である。
図２３は、既に述べた様に、本発明の第一の実施例に係
る上位仕様データ５００を表す模式図である。図３４の
ステップ１１０で入力されたＶ１の値は、５だったとす
る。

【０１５８】また、既に説明したように、下位仕様デー
タ５０１には、図１６のデータが設定されているものと
する。同様に、論理素子詳細データ５０２ａには、図１
７のデータが、抽象論理素子関連データ５０２ｂには、
図１８のデータが設定されているものとする。さらに、
これらの論理素子と抽象論理素子の間には、図１９に示
すような抽象論理素子変換規則データ５０３が設定され
ているものとする。

【０１５９】これらのデータを基にして、ステップ１１
０の処理を実行すると、図２０の論理素子レコードデー
タ５０４と図２１のパスレコードデータ５０５が論理素
子間データ解析機能１２により生成される。

【０１６０】次に、ステップ１２０を実行すると、図２
１の分割フラグには、図２２に示すように値が設定され
る。

【０１６１】そして、ステップ１３０を実行した生成結
果が、図２３に示される上位仕様データ５００である。

【０１６２】最終的には、この上位仕様データ５００と
表示データから、表示装置５５に図６に示したような上
位の仕様書が表示されることになる。このｂｉ（ｉ＝
１，…，６）の各々の論理素子が上位仕様データ５００
のレコードＮｏがｉのレコードに対応している。また、
図では示していないが、仕様書を印刷装置からプリント
することも可能である。

【０１６３】（V）本実施例の特徴 以上説明したように、本実施例に係る仕様書作成方法お
よび装置によれば、論理素子を定義するデータに、その
論理素子の重み（重要度）のデータ（Ｖｇ１）を保持し
て、利用者が要求する抽象度（Ｖｌ）を入力させて、そ
れに応じた上位の仕様書を自動的に生成し、それを表示
装置に表示することが可能である。

【０１６４】したがって、利用者が、既存のソフトウェ
アの処理の内容の理解が容易となる。すなわち、本実施
例によれば、利用者が、既存のソフトウェアを再利用し
ようとする場合に、ソフトウェアの全体の処理の流れ、
詳細の処理の内容など様々な段階での処理の内容を示す
仕様書が生成可能であり、この仕様書を用いることによ
り、ソフトウェアを別の目的用に変更する際の、変更箇
所や変更による影響の波及箇所などを利用者が容易に理
解することができる。

【０１６５】〔実施例２〕以下、本発明に係る第二の実
施例を、図３、図７および図８、図２４および図２５を
用いて説明する。上述の本発明に係る第一の実施例で
は、目的とする上流工程のソフトウェアの生産物は、設
計工程のレベルつまり段階に関係する抽象化パラメータ
（以下、レベル値（Ｖｌ）と記す）をユーザに入力さ
せ、それに対応する仕様書を生成した。

【０１６６】これに対して、本実施例では、上位レベル
の仕様書を表示、印刷する場合を想定し、利用者に印刷
する用紙の大きさや、その枚数に関係するパラメータ
（以下、サイズ値（Ｖｓ）と記す）を入力させ、出力し
ようとする上位レベルの仕様書を生成して、表示、印刷
する際に、そのパラメータを満足して表示、印刷できる
か、否かを判定する。そして、利用者の入力したパラメ
ータに適合しないときは、レベル値（Ｖｌ）を変更し
て、上位レベルの仕様書のデータ再生成することによっ
て、利用者が要求するサイズ値（Ｖｓ）に適合する上位
レベルの仕様書の自動生成を実現するものである。

【０１６７】（I）仕様書作成装置の入力と出力 先ず、図７および図８を用いて本発明の第二の実施例に
係る仕様書作成装置の入力と出力について説明する。図
７は、パラメータ設定画面に用紙サイズと枚数を入力し
ているところを表す図である。図８は、本発明の第二の
実施例に係る仕様書作成装置の出力となる上位仕様書を
示す図である。

【０１６８】本実施例でも、入力となる下位仕様書は、
第一の実施例と同様に図５に示される仕様書であるとす
る。また、利用者が要求する抽象度のレベル値Ｖ１も、
第一の実施例と同様に、５としよう。

【０１６９】本実施例では、図７に示すように、表示装
置５５に表示されるパラメータ設定画面６２から、入力
領域６２ａに用紙サイズを、入力領域６２ｂに枚数を入
力する。ここで、用紙サイズとは、出力となる上位仕様
書を表示、印刷する出力媒体（主に紙を想定している）
を規定するサイズであり、枚数とは、その出力媒体を出
力する枚数である。

【０１７０】図７では、入力領域６２ａに「Ａ４」を、
用紙の枚数として「１」を入力して、上位仕様書をＡ４
サイズ（日本工業規格Ａ列４番）、１枚で出力すること
を示している。

【０１７１】図８は、この値に従って出力され上位仕様
書を模式的に表したものであり、中央の二つのブロック
が圧縮されて一つになっていることが理解される。

【０１７２】（II）仕様書作成装置のシステム構成と仕
様書作成のためのデータ構造 次に、図３を用いて本発明の第二の実施例に係る仕様書
作成装置のシステム構成と仕様書作成のためのデータ構
造について説明する。図３は、本発明の第二の実施例に
係る仕様書作成装置の機能ブロックとデータファイルの
模式図である。

【０１７３】本実施例は、第一の実施例に対して、抽象
化結果評価機能１６と、サイズ値要求抽象度変更機能１
７がつけ加えられたものである。

【０１７４】抽象化結果評価機能１６は、出力される仕
様書のデータを評価し、そのサイズ値を求め、利用者が
要求するサイズ値に適合するかどうかを判定するもので
ある。

【０１７５】要求抽象度変更機能１７は、サイズ値（Ｖ
ｓ）が利用者が要求する様にレベル値（Ｖｌ）を変更す
るものである。

【０１７６】それ以外のシステム構成とデータ構造は、
第一の実施例と同じである。

【０１７７】（III）仕様書作成方法の処理手順 次に、図２４および図２５、図４１を用いて本発明の第
二の実施例に係る仕様書作成方法の処理手順について説
明する。本実施例では、実施例１と相違する処理の部分
を中心に、実施例１と同様の図１６に示す下位仕様デー
タ５０１に対する処理を例として、具体的な数値に基づ
いて説明しよう。

【０１７８】図２４は、本発明の第二の実施例に係るパ
スレコードデータ５０５を表す模式図である。図２５
は、本発明の第二の実施例に係る上位仕様データ５００
を表す模式図である。図４１は、本発明の第二の実施例
に係る仕様書作成方法の処理手順の概要を示すゼネラル
フローチャートである。

【０１７９】このフローチャートは、図３４のフローチ
ャートに対して、ステップ１５０，１６０，１７０をつ
け加えたものである。

【０１８０】また、本実施例では、ステップ１００にお
いて、第一の実施例でもおこなった利用者が要求する抽
象度のレベル値の「Ｖｌ」に加えて、入力データ編集機
能１１が、利用者が入力する前記サイズ値「Ｖｓ」を抽
象化パラメータデータファイル４１に書き込む。

【０１８１】入力は、前述の如くパラメータ設定画面か
らおこなわれたものとする。この場合、入力データ編集
機能１１は、「Ａ４」用紙の有効長さである２６（ｃ
ｍ）に用紙の枚数１（枚）を乗じた値、すなわち、２６
をサイズ値Ｖｓとして抽象化パラメータデータファイル
４１に書き込む。すなわち、Ｖｓは、利用者が仕様書作
成のために使おうとしている面積と考えることができ、
この場合は、利用者は、Ａ４サイズ、１枚以内に仕様書
を収めたい考えていることを意味する。

【０１８２】さらに、本実施例では、入力データ編集機
能１１は、レベル値として予め初期値として設定される
値「５」をＶｌとして抽象化パラメータデータファイル
４１に書き込む。

【０１８３】本実施例では、抽象化パラメータデータフ
ァイル４１のレベル値がＶｌ＝５であることから、ステ
ップ１１０からステップ１４０までは、第１の実施例と
同じように処理が実行される。すなわち、ステップ１３
０の結果として抽象素子変換機能１４が生成し上位仕様
ファイル３２に書き込む上位仕様データ５０１は、図１
６に示された値を持っている。

【０１８４】次に、抽象化結果評価機能１６が、上位仕
様ファイル３２から、ステップ１４０で生成した上位仕
様の表示装置への表示用データを読み取り、このデータ
から表示のために要する長さを計算する（ステップ１５
０）。

【０１８５】ここで、本実施例では、予め各論理素子の
表示に要する長さは、「６ｃｍ」でと設定しているもの
とする。このとき、図２３に示される上位仕様データ５
０１に６個の論理素子が存在することから、表示に要す
る長さが、Ｖｓ´＝６ｃｍ×５＝３０ｃｍであることが
計算される。さらに、抽象化結果評価機能１６が、抽象
化パラメータデータファイル４１から要求サイズ値Ｖｓ
を読み込み、Ｖｓ´の計算結果と比較する。つまり、
Ｖｓ＞Ｖｓ´ が成立するかどうかを評価する。本実施
例では、Ｖｓ＝２６であったので、Ｖｓ´＝３０である
ことから、 Ｖｓ＞Ｖｓ’ が成立しないと判定され
る。すなわち、レベル値の設定値が初期値「５」の仕様
の生成結果は、利用者が要求する用紙サイズ（Ａ４用紙
１枚を）満足しないと判定されるわけである。

【０１８６】さて、この処理としては、Ｖｓ＞Ｖｓ´が
成立した場合、処理を終了し、Ｖｓ＞Ｖｓ’が成立しな
かった場合、ステップ１７０に進む（ステップ１５
０）。

【０１８７】ステップ１７０では、仕様の生成結果が要
求サイズ値Ｖｓを満足するようにレベル値Ｖｌを再設定
する。すなわち、要求抽象度変更機能１７が、抽象化パ
ラメータデータファイル４１からレベル値Ｖｌを読み取
り、その値に「１」を加えた値を再び抽象化パラメータ
データファイル４１に書き込む。本実施例の説明に用い
ている例題の場合、Ｖｌに「５」から「１」を加えた
値、すなわち、「６」をセットして抽象化パラメータデ
ータファイル４１に書き込む。

【０１８８】以上のステップ１１０〜１７０の処理を、
ステップ１５０でＶｓ＞Ｖｓ´が成立するまで、すなわ
ち、利用者が要求するサイズとなるまで繰り返す。

【０１８９】本実施例では、Ｖｌの値が「６」の時の、
パスレコードの生成結果は、図２４のパスレコードデー
タ５０５に示されるようになる。表９では、Ｖｌ値が
「６」であることから、「レコードＮｏ．」が「５」で
あるパスの分割フラグが「１」から「０」に変わってい
る。この時の、上位仕様の生成結果は、図２５の上位仕
様データ５０１のようになり、論理素子の数が４個であ
ることからＶｓ´＝２４となり、Ｖｓ＞Ｖｓ´が成立し
処理が終了する。

【０１９０】（IV）本実施例の特徴 以上に説明したように、本実施例による仕様書作成装置
によれば、仕様書のサイズに関するパラメータについ
て、利用者が要求する値と、仕様の自動生成結果のそれ
とを比較し、利用者の要求に一致するように、設計工程
のレベルに関するパラメータを調整して仕様を再生成す
ることにより、利用者が要求する仕様書のサイズに応じ
た上位仕様書を自動的に生成することが、可能になるの
で印刷時で使える用紙サイズと枚数が限られているとき
には特に便利である。

【０１９１】〔実施例３〕以下、本発明に係る第三の実
施例を、図４、図９ないし図１５、図２６ないし図３３
を用いて説明する。第一の実施例では、予め論理素子の
種類ごとにその論理素子の重要度に関係する値を定め、
これを利用して利用者が要求する設計工程のレベルの上
位仕様を生成していた。そのため、同一種類の論理素子
で処理の課程で取り扱うデータの重要度（以下、Ｖｇ１
と記す）が相違しても、同じように扱われていた。

【０１９２】ところが、あるデータを入力とし、演算し
た結果を出力するタイプの論理素子が２個下位工程の仕
様の中に含まれていたとする。そのときに、一方の論理
素子の演算結果は、そのソフトウェアによる処理の中間
的な結果であり、これが設計者にとって意味があるが、
他方の論理素子の演算結果は、単なる作業用のデータで
ある場合がある。すなわち、一方の演算結果は、利用者
にとってそれを知ることにより、仕様の理解が容易にな
るが、他方は、それを知ってもさして意味が無い場合が
ある。

【０１９３】本実施例では、このような同一の種類の論
理素子を、その論理素子が参照／更新するデータの属性
を利用してさらに詳細に論理素子間の重みを設定し、こ
の詳細な重みにより論理素子間の分割点の判定をおこな
うようにする。具体的には、設計者は、長さの次元を持
つデータは、結果を知りたいが、電圧に関するデータ
は、あまり関心がない場合を想定すればよい。

【０１９４】これにより、さらに利用者が理解容易な上
位工程の仕様書を自動生成し、利用者の作業効率を向上
するようにする。また、本実施例は、論理素子の定義
や、抽象論理素子変換規則を編集するステップを持つこ
とにより、利用者の操作性を向上させるようにする。

【０１９５】（I）仕様書作成装置の入力と出力 先ず、図９ないし図１５を用いて本発明の第三の実施例
に係る仕様書作成装置の入力と出力について説明する。
図９は、本発明の第三の実施例に係る仕様書作成装置の
入力となる下位仕様書を示す図である。図１０は、論理
素子重み設定画面に重み値を入力しているところを表す
図である。図１１は、抽象論理素子登録画面で、論理素
子と抽象論理素子の関連を登録しているところを表す図
である。図１２は、データ次元定義画面にデータ次元と
重みとを入力しているところを表す図である。図１３
は、データ次元登録画面にメモリ番地とデータ名称とデ
ータ次元とを入力しているところを表す図である。図１
４は、データ次元変換規則登録画面に論理素子と第１デ
ータ次元と第２データ次元と結果データ次元と入力して
いるところを表す図である。図１５は、本発明の第三の
実施例に係る仕様書作成装置の出力となる上位仕様書を
示す図である。

【０１９６】本実施例の入力となる下位仕様書は、図９
に示すような論理素子の組合せからなるものとする。そ
して、図１５に示される上位仕様書を作成する。この仕
様書では、論理素子の出力にデータの次元が表示されて
いる。

【０１９７】次に、利用者は、論理素子のデータ次元に
関する情報を入力する。これらのデータは、以下のよう
に、表示装置５５に画面が表示され、データ入力後は、
入力データ編集機能１１によって、論理素子定義ファイ
ル４２に書き込まれる。

【０１９８】図１０に示される論理素子重み設定画面で
は、利用者が、それぞれの論理素子の重みの値（Ｖｇ
１）（これは、図１７に示す５０２ａ−５ｇに反映され
る）の設定をおこなう。

【０１９９】図１１に示される抽象論理素子登録画面で
は、利用者が、論理素子（図１９のの５０３−５ｂ１に
該当）と抽象論理素子（図１９の５０３−５ｂ２に該
当）の対の設定をおこなう。入力されると図１８のそれ
ぞれの形状５０２−５ｅのデータを利用して論理素子の
形状の表示が画面におこなわれる。入力されると、入力
データ編集機能１１が、抽象論理素子変換規則ファイル
４３の抽象論理素子変換データに入力データを書き込
む。

【０２００】図１２に示されるデータ次元定義画面で
は、利用者が、データ次元に対する重み（Ｖｇ２）の値
を設定する。図では、データ次元「ｍｍ」に対し、重み
「１０」であることを設定している。入力されると、入
力データ編集機能１１が、データ次元定義ファイル４６
のデータに書き込む。

【０２０１】図１３に示されるデータ次元登録画面で
は、利用者が、メモリ番地「Ｍ１００」、データ名称、
データ次元を設定する。図では、論理素子は、メモリ番
地「Ｍ１００」に関連情報を有しており、そのデータ名
称が「速度指令」で、そのデータの次元が「ｄｉｇｉ
ｔ」であることを設定している。入力されると、入力デ
ータ編集機能１１が、下位仕様ファイル３１のデータ辞
書５１０に入力データを書き込む。

【０２０２】図１４に示されるデータ次元変換規則登録
画面では、利用者が、それぞれのについて、第１データ
次元と第２データ次元とを演算したときの結果データ次
元を設定する。図では、論理素子ＩＤが「ＩＤ３」の論
理素子について、第１データ次元が「ｄｉｇｉｔ」で、
第２データ次元が「ｃｍ／ｄｉｇｉｔ」であるときに結
果データ次元が「ｃｍ」になることを設定している。入
力されると、入力データ編集機能１１が、入力データを
データ次元変換規則ファイル４５に書き込む。

【０２０３】この様に、データ次元の変換規則を入力す
ることにより、二つ以上のデータ次元から一つのデータ
次元を合成することができるようになる。

【０２０４】図では特に示さなかったが、本実施例は、
さらに、利用者の要求に応じ、下位仕様ファイル３１の
データを表示装置５５に表示し、この下位仕様に対し利
用者が入力した仕様の修正結果を下位仕様ファイル３１
に書き込むこともできる。

【０２０５】（II）仕様書作成装置のシステム構成と仕
様書作成のためのデータ構造 次に、図４、図２６ないし図２９を用いて本発明の第三
の実施例に係る仕様書作成装置のシステム構成と仕様書
作成のためのデータ構造とについて説明する。図４は、
本発明の第三の実施例に係る仕様書作成装置の機能ブロ
ックとデータファイルの模式図である。図２６は、本発
明の第三の実施例に係る下位仕様データ５０１を表す模
式図である。図２７は、データ辞書情報５１０を表す模
式図である。図２８は、データ次元変換規則データ５１
１を表す模式図である。図２９は、データ次元定義デー
タ５１２を表す模式図である。本実施例では、第一の実
施例に対し、機能ブロックとして、データ次元解析機能
１８が、データファイルとして、データ次元変換規則フ
ァイル４５とデータ次元定義ファイル４６とがつけ加わ
っている。

【０２０６】ここで、データ次元解析機能１８は、仕様
書に含まれる論理素子により、値が参照／更新されるデ
ータの次元の属性を、上位仕様書の論理素子に表示され
る次元に変換する機能である。データ次元変換規則ファ
イル４５は、論理素子の種類毎の、処理の前と後のデー
タの次元の組み合わせの情報を保持する。データ次元定
義ファイル４６は、データの次元毎のデータの重要度に
関係する値（Ｖｇ２）の組み合わせの情報を保持する。

【０２０７】本実施例の下位仕様書は、図２６のような
仕様データとして内部でデータを保持する。このデータ
の記述方式は第一の実施例と同じである。

【０２０８】さらに、本実施例では、システムに入力さ
れる仕様データとして、上記の論理素子の構成データ以
外に、図２７に示されるような対象とするソフトウェア
の処理の課程で値の参照や更新をおこなうデータ毎の属
性情報を保持するデータ辞書情報５１０がある。このデ
ータ辞書情報５１０は、ソフトウェアで利用する情報
が記憶されているメモリの番地６ａ、データの名称６
ｂ、データの次元６ｃの値とを保持する。例えば、図
２７に示されるデータ辞書情報において、表１２の第１
番目のレコードは、関連情報がメモリ番地が「Ｍ１０」
の所にあり、データが「速度信号」の値を意味してい
て、そのデータの次元は、「ｍ／ｍｉｍ」であることを
示している。

【０２０９】このデータ辞書情報は、下位仕様書データ
５０１と同じ、下位仕様ファイル３１に保持される。

【０２１０】図２８に示されるデータ次元変換規則デー
タ５１１ａ，５１１ｂは、データ次元変換規則ファイル
４５に保持されている。このデータ次元変換規則データ
５１１ａ，５１１ｂは、論理素子の処理で参照する第
１のデータの次元６ｃ−１、その処理で参照する第２
のデータの次元６ｃ−２、その処理の結果生成される
データが持つ結果データ次元６ｃ−３の組み合わせで構
成される。すなわち、それぞれの論理素子について、第
１データ次元と第２データ次元の組合せごとに結果デー
タ次元を保持するのである。

【０２１１】この内で、データ５１１ａは、二つのデー
タの乗算した結果を求める論理素子、すなわち、図２６
に示した「ＩＤ３」の論理素子ＩＤを持つ論理素子に対
するデータ次元変換規則である。これは、「ｍ／ｍｉ
ｎ」の次元を持つデータと「ｍｍ／ｍ」の次元を持つデ
ータの乗算をした結果得られるデータは、「ｍｍ／ｍｉ
ｎ」の次元を持つことを示している。また、５１１ｂの
データのＮｏ．１は、図２６に示した「ＩＤ４」の論理
素子に対するデータ次元変換規則である。さらに、５１
１ｂのデータのＮｏ．２は、二つのデータの除算した結
果を求める論理素子、つまり、図２６に示した「ＩＤ
４」の論理素子ＩＤを持つ論理素子に対するデータ次元
変換規則である。

【０２１２】図２９に示されるデータ次元定義データ５
１２は、データ次元定義ファイル４５に保持される。デ
ータ次元定義データ５１２は、データ次元６ｃ、そ
のデータ次元毎の設計工程に関係する重み（Ｖｇ２）６
ｄの値で構成される。

【０２１３】（III）仕様書作成方法の処理手順 次に、図３０ないし図３３、図４２を用いて本発明の第
三の実施例に係る仕様書作成方法の処理手順を説明す
る。図３０は、本発明の第三の実施例に係る値設定後の
論理素子レコードデータ５０４を表す模式図である。図
３１は、本発明の第三の実施例に係る値設定後のパスレ
コードデータ５１５を表す模式図である。図３２は、本
発明の第三の実施例に係る分割フラグ設定後のパスレコ
ードデータ５１５を表す模式図である。図３３は、本発
明の第三の実施例に係る上位仕様データ５００を表す模
式図である。図４２は、本発明の第三の実施例に係る仕
様書作成方法の処理手順を示すゼネラルフローチャート
である。

【０２１４】以下、本実施例では、第一の実施例と相違
する部分を中心に、（I）で説明した入力がおこなわれ
たものとして具体的に説明する。

【０２１５】本実施例の処理の流れを示すフローチャー
トは、図３４で示した第一の実施例のフローチャートに
対しステップ１８０，１９０をつけ加えたものである。

【０２１６】先ず、利用者は、（I）で説明したような
論理素子、そのデータ次元に関する情報を入力する。入
力データ編集機能１１は、入力があると、それぞれ対応
するデータファイル３１，４１〜４３，４５，４６の所
定の形式でデータを書き込む（ステップ１８０）。

【０２１７】次に、論理素子間データ関係解析機能１２
が、論理素子接続データファイル４４に書き込む論理素
子レコードデータ５０４とパスレコードデータ５１５に
値を設定する（ステップ１１０）。値を設定されたの
が、図３０と図３１に示されている例である。本実施例
のデータの形式は、第一の実施例のパスレコードデータ
５１５に、データ属性の「次元」６ｄとデータ属性の
「重み」５ｇ３のカラムが加わったものである。それら
以外のデータの処理は、第一の実施例と同様である。

【０２１８】次に、データ次元解析機能１８が、仕様書
中にある各論理素子の処理の結果、更新されるデータの
次元を解析し、この結果を図３１のパスレコードデータ
５１５の、データ属性の「次元」６ｄにセットし、か
つ、データ属性の「重み」５ｇ３のデータをセットする
（ステップ１９０）。

【０２１９】すなわち、データ次元解析機能１８が、論
理素子レコードファイル５０４に登録されている論理素
子について、その論理素子の前に接続する論理素子の処
理の結果更新されるデータの次元（次元Ａ）と、その論
理素子が参照するメモリの番地のデータの次元（次元
Ｂ）の組み合わせに適合する結果データ次元（次元Ｃ）
を作成する。具体的には、結果データ次元変換規則ファ
イル４５に保持するデータ次元変換規則５１１から選択
し、この次元Ｃをパスレコードファイル５１５のデータ
属性．次元５１５−６ｄにセットする。また、データ次
元解析機能１８は、次元Ｃに対応する重み（Ｖｇ２）を
データ次元定義ファイル４６から検索し、この値があれ
ばそれを、パスレコードファイル５１５のデータ属性．
重み５１５−５ｇ３にセットする。もし、次元Ｃに対応
する重みの値がデータ次元定義ファイル４６になけれ
ば、データ次元解析機能１８は、次元Ｃに対応する重み
のデフォルト値として「０」をパスレコードファイル５
１５のデータ属性．重み５１５−５ｇ３にセットする。

【０２２０】以上は、データ次元に関する処理であった
が、データ次元解析機能１８は、論理素子の処理がメモ
リに対するデータの更新処理である場合には、下位仕様
ファイル３１のデータ辞書５１０の対応するメモリ番地
５１０−６ａのデータのデータ次元５１０−６ｃの値を
次元Ｃに書き替える。

【０２２１】ここで、前記次元Ａは、パスレコードファ
イル５１５で、それぞれの論理素子の前に接続する論理
素子とのパスのレコードのデータ属性．次元５１５−６
ｄ値であり、また、次元Ｂは、下位仕様ファイル３１の
データ辞書５１０を参照し得ることができる。

【０２２２】以上のステップ１９０の処理により、仕様
書の処理中で論理素子によって、参照／更新されるデー
タ次元およびその重みが設定できる。

【０２２３】次に、ステップ１２０で論理素子間分割点
判定機能が、論理素子接続データファイル４４のパスレ
コードファイル５１５を参照し論理素子間の分割点を設
定する。すなわち、この処理によって、図３２に示され
るようにパスレコードファイルに分割フラグが設定され
る。この処理は、第一の実施例の図３８のフローチャー
トで、パスレコードファイルが５０５から５１５にかわ
り、ステップ１２０３の判定処理に、

【０２２４】

【数４】データ属性．重み（５１５−５ｇ３） ＞ Ｖ の判定がつけ加わる。それ以外の処理は、第一の実施例
１と同じである。

【０２２５】また、図３４のステップ１３０，１４０に
ついても、処理の内容は実施例１と同一である。

【０２２６】この処理によって、図３２に示されるよう
にパスレコードファイルに分割フラグが設定される。

【０２２７】以上の処理の結果生成された図３３の上位
仕様データ５００が上位仕様ファイル３２に書き込まれ
る。

【０２２８】（IV）本実施例の特徴 以上説明したように、本実施例に係る仕様書作成装置に
よれば、仕様書中にある論理素子の処理の課程で取り扱
うデータの重要度が相違する場合、それぞれのデータの
次元に応じた重み付けを施す。すなわち、その論理素子
が参照／更新するデータの属性を利用して、さらに詳細
に論理素子間の重みを設定し、この詳細な重みにより論
理素子間の分割点の判定をおこなうことにより、さらに
利用者のデータを知りたいというニーズにそった上位工
程の仕様書を自動生成することができ、利用者の作業効
率を向上することができる。また、本実施例によれば、
論理素子の定義や、抽象論理素子変換規則を編集するス
テップを持つことにより、利用者の操作性を向上させる
ことが可能である。

【０２２９】

【発明の効果】本発明によれば、下流工程のソフトウェ
ア仕様書から上流工程の仕様書を生成する際に、上位仕
様書の記述内容のレベルを細かく指定することが可能
で、利用者のニーズにあった仕様書作成方法を提供する
ことができる。

【０２３０】また本発明によれば、生成された仕様書を
印刷する際に、用紙のサイズと調和するレイアウトを持
った上流工程の仕様書を生成可能な仕様書作成方法を提
供することができる。

【０２３１】さらに本発明によれば、各処理の出力する
データの重要性に着目し、重要なデータを上流工程の処
理でどのように処理されているかを確かめることのでき
る仕様書作成方法を提供することができる。

【図面の簡単な説明】

【図１】本発明の第一の実施例に係るソフトウェアの設
計支援装置の機能ブロックとデータファイルの模式図で
ある。

【図２】本発明の第一の実施例に係るソフトウェアの設
計支援装置のハードウェア構成を示す模式図である。

【図３】本発明の第二の実施例に係る仕様書作成装置の
機能ブロックとデータファイルの模式図である。

【図４】本発明の第三の実施例に係る仕様書作成装置の
機能ブロックとデータファイルの模式図である。

【図５】本発明の第一の実施例に係る仕様書作成装置の
入力となる下位仕様書を示す図である。

【図６】本発明の第一の実施例に係る仕様書作成装置の
出力となる上位仕様書を示す図である。

【図７】パラメータ設定画面に用紙サイズと枚数を入力
しているところを表す図である。

【図８】本発明の第二の実施例に係る仕様書作成装置の
出力となる上位仕様書を示す図である。

【図９】本発明の第三の実施例に係る仕様書作成装置の
入力となる下位仕様書を示す図である。

【図１０】論理素子重み設定画面に重み値を入力してい
るところを表す図である。

【図１１】抽象論理素子登録画面で、論理素子と抽象論
理素子の関連を登録しているところを表す図である。

【図１２】データ次元定義画面にデータ次元と重みとを
入力しているところを表す図である。

【図１３】データ次元登録画面にメモリ番地とデータ名
称とデータ次元とを入力しているところを表す図であ
る。

【図１４】データ次元変換規則登録画面に論理素子と第
１データ次元と第２データ次元と結果データ次元と入力
しているところを表す図である。

【図１５】本発明の第三の実施例に係る仕様書作成装置
の出力となる上位仕様書を示す図である。

【図１６】下位仕様データ５０１を表す模式図である。

【図１７】論理素子詳細データ５０２ａを表す模式図で
ある。

【図１８】抽象論理素子関連データ５０２ｂを表す模式
図である。

【図１９】抽象論理素子変換規則データ５０３を表す模
式図である。

【図２０】論理素子レコードデータ５０４を表す模式図
である。

【図２１】本発明の第一の実施例に係るパスレコードデ
ータ５０５を表す模式図である。

【図２２】本発明の第一の実施例に係る値設定後のパス
レコードデータを表す模式図である。

【図２３】本発明の第一の実施例に係る上位仕様データ
５００を表す模式図である。

【図２４】本発明の第二の実施例に係るパスレコードデ
ータ５０５を表す模式図である。

【図２５】本発明の第二の実施例に係る上位仕様データ
５００を表す模式図である。

【図２６】本発明の第三の実施例に係る下位仕様データ
５０１を表す模式図である。

【図２７】データ辞書情報５１０を表す模式図である。

【図２８】データ次元変換規則データ５１１を表す模式
図である。

【図２９】データ次元定義データ５１２を表す模式図で
ある。

【図３０】本発明の第三の実施例に係る値設定後の論理
素子レコードデータ５０４を表す模式図である。

【図３１】本発明の第三の実施例に係る値設定後のパス
レコードデータ５１５を表す模式図である。

【図３２】本発明の第三の実施例に係る分割フラグ設定
後のパスレコードデータ５１５を表す模式図である。

【図３３】本発明の第三の実施例に係る上位仕様データ
５００を表す模式図である。

【図３４】本発明の第一の実施例に係る仕様書作成方法
の処理手順の概要を示すゼネラルフローチャートであ
る。

【図３５】下位仕様書中の論理素子のデータを解析する
ステップ１１０の処理手順を示すディテールフローチャ
ートである。

【図３６】次論理素子関係を解析するステップ１１１の
処理手順を示すディテールフローチャートである。

【図３７】参照メモリを解析するステップ１１５を示す
ディテールフローチャートである。

【図３８】論理素子間パス分割点を選択するステップ１
２０を示すディテールフローチャートである。

【図３９】分割した区間に含まれる論理素子を抽象論理
素子に変換するステップ１３０を示すディテールフロー
チャートである。

【図４０】抽象論理素子に変換しファイルに書きこむス
テップ１３０４を示すディテールフローチャートであ
る。

【図４１】本発明の第二の実施例に係る仕様書作成方法
の処理手順の概要を示すゼネラルフローチャートであ
る。

【図４２】本発明の第三の実施例に係る仕様書作成方法
の処理手順を示すゼネラルフローチャートである。

【符号の説明】

１…仕様書、２…論理素子、３…参照メモリ番地、４…
パス、５…データファイルカラム、１１〜１８…機能ブ
ロック、３１、３２、４１〜４６…データファイル、５
１…ＣＰＵ、５２…メモリ、５３…外部記憶装置、５４
…入力装置、５５…表示装置、１００、１１０、１１
１、１１５、１２０、１３０、１４０、１１１１〜１１
２４、１１５１〜１１６１、１２０１〜１２０５、１３
０１〜１３１２、１３５１〜１３６３…処理ステップ、
５００〜５１５…各データ。

───────────────────────────────────────────────────── フロントページの続き (72)発明者 宮坂 義輝 茨城県日立市大みか町五丁目２番１号 株式会社日立製作所大みか工場内 (56)参考文献 特開 平１−237726（ＪＰ，Ａ) 更科克幸，”仕様の段階的詳細化とグ ラフ表現に基づく統合型記述支援”，電 子情報通信学会技術研究報告（ＳＳＥ93 −61），（1993），Ｖｏｌ．93，Ｎｏ. 256，ｐｐ．139−144 関本理佳，”プログラム理解のための 仕様記述の分析”，電子情報通信学会技 術研究報告（ＫＢＳＥ94−９）, （1994），Ｖｏｌ．94，Ｎｏ．61，ｐ ｐ．25−32 (58)調査した分野(Int.Cl.⁷，ＤＢ名) G06F 9/06 - 9/44 G06F 17/50

Claims (7)

(57)【特許請求の範囲】
1. 【請求項１】 ある処理単位を記述する複数の論理素子
   とそれらの接続関係からなる系列によって一連の処理を
   示す下位仕様書に対し、前記複数の論理素子の一部を意
   味的に等価な一つの抽象論理素子に変換することによっ
   て、前記下位仕様書よりも論理素子の数が少ない上位仕
   様書を作成する仕様書作成方法において、 抽象論理素子に変換される論理素子は、利用者が上位仕
   様書に要求する抽象度に応じて決定されることを特徴と
   する仕様書作成方法。
2. 【請求項２】 ある処理単位を記述する複数の論理素子
   とそれらの接続関係からなる系列によって一連の処理を
   示す下位仕様書に対し、前記複数の論理素子の一部を意
   味的に等価な一つの抽象論理素子に変換することによっ
   て、前記下位仕様書よりも論理素子の数が少ない上位仕
   様書を作成する仕様書作成方法において、 抽象論理素子に変換される論理素子は、利用者より与え
   られた上位仕様書の用紙サイズに応じて決定されること
   を特徴とする仕様書作成方法。
3. 【請求項３】 ある処理単位を記述する複数の論理素子
   とそれらの接続関係からなる系列によって一連の処理を
   示す下位仕様書に対し、前記複数の論理素子の一部を意
   味的に等価な一つの抽象論理素子に変換することによっ
   て、前記下位仕様書よりも論理素子の数が少ない上位仕
   様書を作成する仕様書作成方法において、 前記下位仕様書の各論理素子には論理素子の重要度が予
   め設定されており、利用者から与えられた抽象度と前記
   重要度とに基づいて抽象論理素子に変換する論理素子を
   決定することを特徴とする仕様書作成方法。
4. 【請求項４】 前記複数の論理素子の一部を意味的に等
   価な一つの抽象論理素子に変換することによって作成さ
   れる上位仕様書の大きさを求め、求められた前記上位仕
   様書の大きさが利用者から与えられた仕様書の用紙サイ
   ズよりも大きい場合には、前記上位仕様書の大きさが前
   記用紙サイズよりも小さくなるまで、前記抽象度を変更
   して論理素子から抽象論理素子への変換を繰り返すこと
   を特徴とする請求項３記載の仕様書作成方法。
5. 【請求項５】 前記重要度は、利用者によって設定され
   ることを特徴とする請求項３及び４のいずれかに記載の
   仕様書作成方法。
6. 【請求項６】 ある処理単位を記述する複数の論理素子
   とそれらの接続関係からなる系列によって一連の処理を
   示す下位仕様書に対し、前記複数の論理素子の一部を意
   味的に等価な一つの抽象論理素子に変換することによっ
   て、前記下位仕様書よりも論理素子の数が少ない上位仕
   様書を作成する仕様書作成方法において、 前記下位仕様書の論理素子に対してその論理素子におけ
   る処理の結果生成されるデータのデータ次元を設定し、
   利用者から与えられた抽象度と設定された前記データ次
   元とに基づいて抽象論理素子に変換する論理素子を決定
   することを特徴とする仕様書作成方法。
7. 【請求項７】 論理素子で扱うデータのデータ次元と処
   理の結果生成されるデータのデータ次元との組合せが利
   用者によって予め与えられ、論理素子で扱うデータのデ
   ータ次元と前記組合せとに基づいて論理素子における処
   理の結果生成されるデータのデータ次元を設定すること
   を特徴とする請求項６記載の仕様書作成方法。