JPH02109127A - 仕様処理方法 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、設計仕様情＠１（開発システムに対する現仕
様情報）、この設計仕様情報を対象としたシステムに対
する専門知識情報、システムの分野ごとの専門知識情報
を入力し、これら情報によって開発システムのドキュメ
ントの編集・出力及び、設計仕様情報の検証を行なう仕
様処理方法に関する。

〔従来の技術〕

システムの信頼性を高めるためには、設計時に明確な仕
様を定義し、正しい設計を行なうことが必要不可欠であ
る。

明確な仕様を定義するだめのシステムの記述方式に要求
されることとして、 （イ）記述のあいまいさを含まないこと（ロ）記述を静
的に検証し易い （ハ）　ソースコードよりも仕様の方が書き易く、また
読み易いこと、か受けられるが、従来の設計工程では、
以下のように実現されていた。

（ａ）　　実用性の高い仕様化技法の提案が無く、設計
者の経験や勘に依存して仕様化登行なう。

（ｂ）　　実用性の亮い仕様化技法の提案が無く、ドキ
ュメントの作成は、設計者の経験や勘に依存していて、
自然語によって記述している。

（ｃ）　　システムの正しさの検証は、仕様化過程では
行なわず、テスト工程で行なっている。

（ｄ）　　設計仕様の検証は、テキスト形式による検証
方法で行っている。

〔発明が解決しようとする課題〕

」二連した従来の仕様構築方法及び仕様検証方法では、
以下の問題があった。

（１）従来の実現方法（、ａ　）によって作成された仕
様は、あいまいさを含んでいる。

（２）従来の実現方法（ｂ）によって作成された１〜キ
ユメントは、設計者の経験や勘に依存している所が多く
、専門用語の並びになっている。このために、書かれて
いる内容を３′！Ｉ！解することが容易でない（理解容
易性に欠けている）。

（３）従来の実現方法（ｂ）によって作成されたドキュ
メントは、実行可能性を含んだものではなく、仕様の上
でその仕様の正しさを検証することは不可能である。

（４）仕様の正しさをテスト工程で検証していたのでは
、テスト工程の負荷が大きい。また、テスト工程で設計
時以酢に作り込んだ照りを全て発見することは回能であ
る。各工程毎の仕様の正しさの検証は、各工程で行なう
必要がある。これが、システムの信頼性の向上につなが
る。すなわち、設計仕様の誤りをテスト工程で発見して
いたのでは、開発システムの信頼性は低いとｄうことで
ある。

（５）従来の実現方法（ｄ）では、理解用意性に欠ける
。

本発明の目的は、このような従来の問題点を解決すべき
仕様処理方法を提供することにある。

〔課題を解決するための手段〕

目的を達成するために、本発明では、設計仕様を表現す
る設計仕様情報（開発システムの現仕様情報）、この設
計仕様情報を対象としたシステムに対する専門知識情報
、システムの分野ごとの専門知識情報を順次入力し、設
計仕様情報をシミュレートするためにこの情報を表形式
の情報（設計仕様情報の検証情報）に変換し、この情報
を検証し、設計仕様情報をモデル仕様情報に編集し、編
集された情報および設計仕様専門知識情報を基に、ドキ
ュメント情報の出力を行なうことを特徴とする。

また、本発明では、設計仕様情報を入力し、設計仕様情
報を表形式の情報として蓄積し、蓄積された表形式の設
計仕様情報をアクセスし、テキスト形式により検証を行
い、グラフィック形式により検証を行い、グラフィック
出力の出力位置を決定し、グラフィック出力の際の基本
コマンドと決定された位置情報とによりグラフィックの
作図を行い、作図された情報を実行することを特徴とし
ている。

〔作用〕

本発明に係わる仕様構築方法及び仕様検証方法において
は、設計仕様情報（開発システムの現仕様情報）、設計
仕様情報を対象としたシステムに対する専門知識情報、
システムの分野ごとの専門知識情報を入力し、これら情
報に従って、開発システムの仕様を完全に構築すること
によって、あいまいさを含まない、「形式性」と「理解
容易性」を兼ね備えたドキュメント情報を出力すること
を可能としている。

また、実行可能性を含んだ仕様情報の構築によす、設計
仕様の正しさの検証を可能としている。

また、設計仕様情報をドキュメント情報出力時のモデル
仕様情報（命令語）として変換し、このモデル仕様情報
（命令語）によりドキュメント情報の出力を行なうこと
によって、処理効率の向」二を口丁能としている。

〔実施例〕

以下、本発明の詳細な説明した後、一実施例を図面に基
づいて詳細に説明する。

第６図は、本発明が適用されるためのシステム構成図で
ある。

本実施例における設計仕様処理方法は、第６図に示す如
く、設計仕様情報（開発システムの現仕様情報）３１と
、本設計仕様情報を対象としたシステムに対する専門知
識情報３２と、システムの分野ごとの専門知識情報３２
とを順次入力し、これら情報に従って、「形式性」と「
理解容易性」を兼ね備えたドキュメント情報３４を編集
・出力する方法である。また、実行可能性を含んだ仕様
において、この仕様の正しさの検証を行なう方法である
。

上記設計仕様情報３１．専門知識情報３２゜３３の構造
例を以下に示す。

〈設計仕様情報１＞二：＝＜設計仕様の並び）〈甜刊士
様の並ひ’＞　：：＝（＜設計仕樗ひ）〈糾刊士樗ひ：
：＝〈プロセス実体性し　〈せ１鑓Ｉ剣士秘）〈プロセ
ス仕４Ｅ：：＝＜プロセス実体仕樗シ〈プロセス関係仕
梼）〈メツセージ（刊影 〈プロセス実体性Φ：：＝（＜プロセス名〉儲信属性）
）（蚤信属性）：：＝◇６邑洛仕梼しく同期Ｊ属性）〈
プロセス関係任侠ひ：：＝＝ｉ信元プロセス仕栃ひ（蚤
信先プロセスｔｔａ個信元プロセス仕Φ、儲信先プロセ
ス付：ｅ：＝（＜プロセス名〉個信属性）） 〈プロセス依存関係仕ｍ：：＝ｉプロセス名〉〈子プロ
セス名〉〈（ロ）１−ζｍ同！帆−［ヨｌ：４Ｅ＞：：
＝＜ｔ＾ミｍミ（−１＝（づ１陀＞＠閂！≠１；ド・ｊ
−［コＥ〈状態仕梼Ｄ：：＝＜プロセス名＞　／ｌ、　
＋１　＜状飛油）ｍ針淋し：：＝〈データ構造什器 〈設計仕様情報匁（２）＃南り：：＝＜設計仕様専門知
識の並の〈設計仕様専門知識の並の：：＝（＜設計仕様
専門知識）〈設計仕様専門卸ｖｉ：）：：＝ぐ■語の辞
書上田◇〈分野ごとの設計仕様専１当知ａ’＃４Ｅ：：
＝ｅ野ごとの団子イま４袂型ｆ「１り■−睨の並の ０野ごとの設計仕様題１物１識の並’ｐ：：＝（（分野
ごとの設計仕様専門矢淵し） 〈分野ごとの設Ｈ−１仕様専門知Ｅ：：＝◇］語の辞招
士櫛〈システム運用化→ 〈システ１１操作仕り 〈不良時対策仕暮ゆ これら情報の構文はバッカス記憶で定義されており、ｒ
ｒ　、　、　：　１１は左辺は右辺で定義されることを
示しており、ＩＩ（）＋１は「〈〉の並び」。

［１１＋１４は終端記号を意味している。設計仕様情報
は、上述のように、くプロセス仕様〉情報とく状態遷移
仕様〉情報によって表現する。

記述対象のシステムの機能を下位機能に分け、分けられ
た機能を並行動作の単位、プロセスの集りとして定義し
たものが、〈プロセス仕様〉情報であり、分けられた機
能は、逐次的に処理される下位機能群の集り、有限状態
オート７１〜ンとして定義したものが、〈状態遷移仕様
〉情報である。

また、設計仕様情報を対象としたシステムに対する専門
知識情報、システムの分野ごどの専門知識情報は、〈用
語の辞書仕様〉情報、〈システムの運用仕様〉情報、〈
システムの操作仕様〉情報。

〈不良時の対策仕様〉情報によって表現する。

第１−図は、本発明の−・実施例を示す設Ｈ］仕様処理
方法を説明するための機能構成図である。

本設計仕様処理方法は、第１図に示すように、人力処理
１と、ドキュメント情報出力処理２と、ドキュメント情
報出力処理３と仕様検証処理４から構成される。入力処
理１は、入力情報である設計仕様情報（開発システムの
現仕様情報）、この設計仕様情報を対象としたシステム
に対する専門知識情報、及びシステムの分野ごとの専門
知識情報を入力し、各々の情報を設計仕様情報、専門知
識情報として記憶ファイルにそれぞれ格納する。

また、設計仕様情報をこの情報の検証時の情報に変換し
て（設計仕様情報ｐ表形式の情報に変換。

この表形式の情報を検証情報と呼ぶ。）、記憶ファイル
に格納する。

ドキュメント情報編集処理２は、格納された設計仕様情
報を入力し、この情報を形式的記述（図式による記述）
によるドキュメント情報として出力するために、モデル
仕様情報に変換して記憶ファイルに格納する。

ドキュメント情報出力処理３は、変換されたモデル仕様
情報及び専門知識情報に従って、プロセス仕様、状態遷
移仕様を形式的記述によりドキュメント情報として出力
し、記憶ファイルに格納する。また、上記設計仕様に対
する専門用語の用語朶の作成・出力を行なったり、開発
システムの運用・操作法、または不良時の対策法をドキ
ュメント情報として出力する。

第７図に形式的記述による仕様を示す。

」二連した処理によって格納されたそれぞれの情報は、
それぞれの情報の参照を効率良く行なうために、表形式
の情報で表現したものである。第８図に、設計仕様情報
のスキーマを示す。第９図に表形式の情報の構造を示し
、以下説明する。

第９図（ａ）は、設計仕様情報の中で現れる実体情報（
第８図の一］部分）として、プロセス。

状態、データ、メツセージ情報を示したものである。（
ｂ）、（ｄ）は、プロセス間、状態間の関係を示した情
報（第８図の０部分）を示したものである。（ｃ）、（
ｅ）は、プロセスとサブプロセスの依存関係、プロセス
と状態の依存関係を示した情報（第８図の９部分）を示
したものである。

（１）プロセス情報 プロセス情報は、記述対象のシステムの機能群を並行動
作の単位の集りとして定義した情報であり、設計仕様情
報の中で現れる実体情報として定義される。本情報は、
プロセス名をキーとして、プロセス名１通信属性から構
成される。

（２）状態情報 状態情報は、並行動作するプロセスは逐次的に処理され
る下位機能群の集り、有限状態オートマトンとして定義
した情報であり、設計仕様情報の中で現れる実体情報と
して定義される。本情報は、状態名をキーとして、プロ
セス名、状態名から構成される。

（３）メツセージ情報 プロセス間で送受信される情報であり、設計仕様情報の
中で現れる実体情報として定義される。

本情報は、メツセージ名をキーとして、メツセージ名、
メツセージ構造情報から構成される。

（４）データ情報 有限状態オートマトンにおける状態間で入出力される情
報であり、設計仕様情報の中で現れる実体情報として定
義される。本情報は、データ名をキーとして、データ名
、データ構造情報から構成される。

（５）プロセス関係情報 プロセス関係情報は、並行動作するプロセス間の関係を
定義した情報であり、通信元仕様をキーとして、通信元
プロセス名２通信元通信属性７通信先プロセス名２通信
先通信属性、メツセージ名から構成される。

（６）状態関係情報 状態関係情報は、遷移を伴う状態間の関係を定義した情
報であり、遷移先仕様をキーとして、遷移光プロセス名
、遷移元状態名、遷移先プロセス名、遷移先状態名、デ
ータ名から構成される。

（７）プロセス依存関係情報 プロセス、サブプロセスの関係仕定義した情報であり、
親プロセス名をキーとして、親プロセス名、子プロセス
名から構成される。

（８）プロセスと状態依存関係情報 プロセス内部の状態遷移を定義した情報であり、プロセ
ス名をキーとして、プロセス名、関係状態（プロセス名
、状態名）から構成される。

ドキュメント情報の編集・出力処理は、」二足情報に従
って、以下の処理を行う。処理ステップを以下に示す。

ステップ（１）二上記情報の入力 上記情報を取り出しながら、次のステップ（２）を繰り
返す。入力が空になれば、ステップ（２）の編集結果を
第９図に示すようなモデル仕様として出力する。

ステップ（２）：ドキュメント情報の編集・出力（ａ）
　　プロセス仕様の編集 プロセス仕様情報よりプロセス名を取り出し、このプロ
セス名と係る通信先プロセス仕様、メツセージ名を、通
信元プロセス仕様をキーとして取り出す。取り出したメ
ツセージ名と係るメツセージ構造情報を取り出す。また
、先に取り出したプロセスに子（サブ）プロセスがあれ
ば、プロセス名をキーとして子（サブ）プロセス名を取
り出す。プロセス情報より取り出したプロセスを先の各
々の情報に従って結合し、プロセス仕様として編集する
。

（ｂ） 状態遷移仕様の編集 状態情報より状態名を取り出し該状態名と係る遷移先仕
様、データ名、遷移元状態仕様をキーとして取り出す。

取り出したデータ名と係るデータ構造情報を取り出す。

状態情報より取り出した状態を先の各々の情報に従って
結合し、状態遷移仕様として編集する。

また、ドキュメント情報として、上記情報以外に、専門
知識情報より〈用語の辞書仕様〉、＜システムの運用仕
様〉、〈システム操作仕様〉、＜不良時体策仕様〉を取
り出し、用語集等を編集・出力する。

各処理の動作を第３図〜第５図のフローチャートにて更
に詳しく説明する。

第３図（ａ）および（ｂ）は、ドキュメント情報編集処
理３の動作を説明するためのフローチャートである。以
下、第３図のフローチャートに従って動作を説明する。

（１）プロセス仕様の編集 まず、設計仕様情報記憶ファイルから設計仕様情報（プ
ロセス名）を入力する（ステップ１０１゜１１０）。そ
して、入力情報（入力プロセス名）が空に成るまで（ス
テップ］０２）以下を繰り返す。プロセス名と係る設計
仕様情報（通信先プロセス仕様、メツセージ名）を入力
する（ステップｉ−０３）。メツセージ名と係る設計仕
様情報（メツセージ構造情報）を入力する（ステップ１
０４）。

ステップ１．０１，１１０で入力したプロセスにすブプ
ロセスが存在すれば（ステップ１０５）、ｉｌ計仕様情
報（子プロセス名）を入力する（ステップ１０６）。子
プロセス名の設計仕様情報（通信属性）を入力する（ス
テップ１０７）。この入力した情報により、プロセス間
、サブプロセス間。

プロセス、サブプロセス間を通信属性、エラーメツセー
ジに従って、結合・編集する（ステップ１０８）。そし
て、編集結果を処理内のプロセス仕様バッファへ出力す
る（ステップ１０９）。入力するプロセス名が空になる
と（ステップ１０２）、プロセス仕様バッファの情報を
モデル仕様情報としてモデル仕様情報記憶ファイルへ出
力する（ステップ１１１）。

（２）状態仕様の編集 まず、設計仕様情報記憶ファイルから設計仕様情報（状
態名）を入力する（ステップ２０１゜２０７）。そして
、入力情報（入力状態名）が空になるまで（ステップ２
０２）以下を繰り返す。

状態名と係る設計仕様情報（遷移先仕様、データ名）を
入力する（ステップ２０３）。データ名と（■９） 係る設計仕様情１（データ構造情報）を入力する（ステ
ップ２０４）。この入力した情報により状態間を遷移仕
様（データ）に従って結合・編集する（ステップ２０５
）。そして、編集結果を処理内の状態仕様バッファへ出
力する（ステップ２０６）。

入力する状態が空になると（ステップ２０２）、状態仕
様バッファの情報をモデル仕様情報として、モデル仕様
情報記憶ファイルへ出力する（ステップ２０８）。

モデル仕様情報記憶ファイルへ出力した」：記情報は、
ドキュメント情報を形式的記述によって出力する時の命
令語となる。この命令語を形式別に第４図に示した。

第４図（ａ）は出力ウィンドウ制御命令、同（ｂ）はウ
ィンドウ座標指令制御命令、同（ｃ）は直線表示制御命
令、同（ｄ）は円表示制御命令、（ｅ）は多角形表示制
御命令、同（ｆ）は文字列表示制御命令を示している。

第４図（ａ）〜（ｆ）において、”　Ｆ　Ｗ　”　　”
　ＦＷ　Ｍ　”　　”　ＦＷ　Ｌ　””ＦＶ／Ｃ”　　
　”ＦＷＰ”　　”Ｆ″Ｗ　Ｔ　”はニモニツり命令コ
ードである。他の記号については、個別に説明する。

（１）ウィンドウ制御命令は、出力領域をマルチウィン
ドウとして定義する命令で、オペランド部”Ｘｎｕｍ”
と１１　ｙ　ｎＵｆｆＩＩＩによってウィンドウの大き
さを指定する。その際、ｔｒＲｅＰｒ＋オペランド部で
指示された書式指定繰返し因数は、実行の度にｒｒ　１
　ｎだけ減算される。

（２）ウィンドウ座標指定制御命令は、出力ウィンドウ
上での出力位置を制御する命令語で、オペランド部”Ｘ
ｎｕｍ”と“Ｙｎｕｍ”によってウィンドウ上での位置
を指定する。

（３）直線指定制御命令は、オペランド部ＩＩ　ｘ　ｎ
ｕｍＩＩとＬＬ　ｙ　ｎｕ、　ＴＴの組で指定された座
標間に直線を引くための命令語で、オペランド部“Ｋｉ
ｎｄ”によって、線の種類を、１１１　ｔ　ｙｐｅ１″
によって線の太さをそれぞれ指定する。

（４）円表示制御命令は、オペランド部ＩＩ　Ｘｎｕｍ
ＩＩと”ｖｎｕｍ″′で指定された位置を円の中心とし
て、オペランド部”Ｒｌａｎｇ”の半径値によって円を
作図するための命令語で、オペランド部”Ｋｉｎｄ″′
によって、線の種類を、ｉｔ　１．ｔ　ｙＰｅ″によっ
て線の太さをそれぞれ指定する。

（５）多角形表示制御命令は、オペランド部１１Ｘｎｕ
ｍｌＩとｔｒＹｎＵｍ＋＋の組で指定された座標間に直
線多角形を作図するための命令語で、オペランド部１１
　Ｋ　ｊｎｄ　ｕによって、線の種類を、ＩＩ　Ｌ　ｔ
　ｙ　ｐｃ＋＋によって線の太さをそれぞれ指定する。

（６）文字列表示制御命令は、オペランド部″Ｘ　ｎ　
ｕ　ｍ　”とＹｎｕＩ１１′″によって指定される座標
位置にオペランド部”Ｃｈｎｕｍ”の長さのオペランド
部”Ｓｔｒ”の文字列を出力するための命令語である。

第５図（ａ）および（ｂ）は前記ドキュメント情報出力
処理３の動作を説明するためのフローチャートである。

以下第５図のフローチャートに従って動作を説明する。

まず、モデル仕様情報（命令語）を取り出す（ステップ
３０１，３０４．）。取り出す命令語が空になるまで（
ステップ３０２）、命令の実行を行う（プロセス仕様情
報、状態仕様情報を形式的記述法により出する）（ステ
ップ３０３）。次に、プロセス仕様、状態仕様に関する
専門知識情報を取り出す（ステップ３０５，３０７）。

取り出す情報１７が空になるまで（ステップ３０６）、
取り出し情報を出力する（ステップ３０８）。

また、開発システムに関する専門知識情報を取り出す（
ステップ４．ＯＬ、４０８）取り出す情報が空になるま
で（ステップ４０２）取りだし情報毎に（ステップ４０
３）、用語情報の編集（ステップ４０５）、システム操
作情報の編集（ステップ４．０６）、不良対策時情報の
編集（ステップ４０７）を行い、取り出し情報が空にな
ると（ステップ４０２）、ｍ集結果を出力する。

第１図における仕様検証処理４は、入力処理１によって
記憶ファイルに格納された設計仕様の検証情報を入力し
、この情報をシミュレートする。

そして、検証結果（シミュレート時のログ情報）を出力
装置および記憶ファイルに出力する。

仕様検証処理４について、更に詳しく説明する。

第１８図は、仕様検証処理の原理を説明するための図で
あり、（ａ）は仕様検証方法を、（ｂ）は人力情報の形
式及び形式例を、（ｄ）は状態遷移ログ情報の出力形式
である。

（ｂ）においてＬＬ　、　ＩＩは情報の区切り、；′″
は一単位毎の区切りである。（ｃ）は状態が遷移し、現
状態が”　Ｓ　２　”である事、その時の遷移出力がＩ
、　２である事を表し、現状態に対する遷移入力情報の
入力待ちを示している。（ｅ）は、状態遷移グラフィッ
ク情報で、入力されたテキスト情報（ｂ）をグラフィッ
クで表現したものである。

（ｅ）において、０　は、状態を表し、→は、遷移を表
す。状態（（Ｉ））に斜線を施したのが、現状態である
。状態遷移入力情報の入力、遷移出力情報、メツセージ
の出力は、画面下の口で囲まれた領域で行なう。（ｆ）
は、遷移ロググラフィック情報で、（ｄ）の遷移ログ情
報の表形式のものをグラフィックで表現したものである
。なお、図の（ｅ）と（ｆ）はメニュー画面でグラフィ
ック出力の形式を選んだ時にだけ出力される。

本実施例における仕様検証方法は、第８図（ａ）に示す
如く、状態遷移情報（状態種別、状態名。

遷移条件、遷移先状態名、遷移出力）を入力し、本状態
遷移情報を、遷移条件入力情報に従って検証（シミュレ
ート）し、その結果として状態遷移ログ情報又は、遷移
ロググラフィック情報を出力する方法である。状態遷移
情報の検証は、第１８図（ｃ）、（ｅ）で示したように
、テキスト形式、又はグラフィック形式による方法で行
う。

ここで、状態遷移情報を構成する状態種別、状態名、遷
移条件、遷移先状態名、遷移出力情報、及び遷移条件入
力情報、遷移ログ情報、状態遷移グラフィック情報、遷
移ロググラフィック情報。

遷移情報を説明する。

（１）状態遷移情報 状態種別、状態名、遷移条件、遷移先状態名。

遷移出力情報から構成される。

（２）状態種別 初期状態、中間状態、終了状態の種別を示す。

初期状態をｌ　Ｔ　１１、中間状態をＬＬ　Ｑ　ＩＩ、
終了状態をｒｒ　Ｆｎで示す。

中間状態とは、初期状態と終了状態の中間にある状態の
事をいう。

（３）状態名 状態を識別するために付けた名前である。ここでは、Ｓ
ｘと表す。

（４）遷移条件 状態から状態へ遷移するときの条件を示す。遷移条件は
く関係式〉、〈数値定数〉、〈文字列定数〉から構成さ
れる。ここでは、ＣＸと表す。

（５）遷移先状態名 遷移先の状態名である。ここではＳＸと表す。

（６）遷移出力情報 状態遷移に伴う、出力情報である。ここでは、Ｔ、　Ｘ
と表す。

（７）遷移条件入力情報 遷移条件入力情報は、遷移条件に対応した入力情報（値
）である。現状態を参照しながら会話的に入力する。

（８）遷移ログ情報 仕様検証結果を表形式の情報として表示した情報である
。

（９）状態遷移グラフィック情報 入力された状態遷移情報をグラフィックで表現したもの
である。状態の遷移に応じて現状態を（）で表現する。

尚、遷移条件入力情報の入力。

遷移出力情報の出力、メツセージの出力は、画面下のロ
ロ枠の中で行なわれる。

（１０）遷移ロググラフィック情報 仕様検証結果をグラフィックの形式として表示した情報
である。

（１１）遷移情報 状態番号と、遷移先状態番号から構成される。

第２図は仕様検証処理の一実施例を示す仕様検証方法の
機能構成図である。

仕様検証処理方法は、第２図に示すように、構文チエツ
ク処理１１．入力処理１０．画面制御処理１２．テキス
ト検証処理１３．グラフィック検証処理１４．状態遷移
情報テーブルアクセス処理１８、位置ぎめ処理１５．作
図処理１６．実行処理１７から構成される。

人力処理１０は、状態遷移情報（第１８図の（ｂ））を
、−単位毎に逐次入力し、状態遷移情報テーブルアクセ
ス処理１Ｂを経由して（後述するテーブルアクセス手続
きを呼び出す）、状態遷移情報を状態遷移情報子−ゴル
１１）に格納する。。

構文チエツク処理１１は、入りされた。状態遷移情報に
、構文エラーが無いかチエツクする。

画面制御処理１２は、テキスト検証処理１３゜クラフィ
ック検証処理１４の制御を行う。

メニュー画面においてテキスト形式の選択キーが入力さ
れた場合、テキスト検証処理１；３において検証を開始
する。テキスト検証処理］−３は、初期状態から終了状
態に至る遷移の過程を、遷移条件入力情報を入力しなが
ら検証（シミュレート）する。検証の結果は、遷移ログ
情報（第２４図。

第２５図の形式）として出力する（遷移ログ情報テーブ
ル１９に格納する）。検証時に、エラーがあればその都
度エラーメツセージを出力する。エラーのレベルによっ
ては検証を終了する。

メニュー画面でグラフィック形式の選択キーが入力され
た場合、グラフィック検証処理１−４で、状態遷移情報
テーブル１９（第１７図）から、状態名、状態番号、遷
移情報を取り出して、位置ぎめ処理１５に出力する。状
態名、状態番号、遷移情報を入力した位置ぎめ処理１５
は位置情報を作図処理１６に出力する。位置情報を入力
した作図処理１６は、作図命令をファイル２０に蓄積し
、実行処理１７で、状態遷移グラフィック情報として、
出力する（第２２図、第２３図）。グラフィック検証処
理１４は、現状態の番号を位置ぎめ処理１５に出力する
。現状態番号を入力した位置ぎめ処理１５は位置情報を
作図処理１６に出力する。

位置情報を入力した作図処理１６は、作図命令をファイ
ル２０に蓄積し、実行処理１７では、現状態に斜線又は
編みかけを施す。遷移条件入力情報の入力を行いグラフ
ィック検証処理１４に出力する。グラフィック検証処理
１４は、入力された遷移条件入力情報について検証を行
い、メツセージ又は、遷移出力情報を画面制御処理１２
に渡す。

画面制御処理１２は、メツセージ又は、遷移出力情報を
出力する。更に、遷移ログ情報テーブル（第１７図）か
ら、状態名、遷移条件入力情報。

遷移条件遷移出力情報、エラ一番号を取り出して、遷移
ロググラフィック情報として出力する（第２４図、第２
５図）。

状態遷移情報テーブルアクセス処理」、８は、状態遷移
情報の書き込み、読み出しを行なう。

以下、状態遷移情報の仕様検証処理ステップを示す。

ステップ（１）：状態遷移情報の入力 状態遷移情報（状態種別、状態名、遷移条件。

遷移先状態名、遷移出力）を単位区切り毎に順次入力す
る。

読み込んだ状態遷移情報を単位情報ごとに状態遷移情報
テーブルアクセス処理を経由（後述するテーブルアクセ
ス手続きを呼び出す）して、状態遷移情報テーブルに格
納する。（テーブルの形式については後述する。） ステップ（２）：状態遷移情報の構文チエツク状態遷移
情報テーブルに格納されている状態遷移情報をテーブル
アクセス処理を経由して（後述するテーブルアクセスｆ
続きを呼び出す）取り出し、状態遷移情報の構文に矛盾
が無いがチエツクする。状態遷移情報の構文に矛盾が有
九ば、エラーメツセージを出力する。エラーのレベルに
よ−〕では終でする。

ステップ（３）：状ａ遷移情報の検ｄＩ）状態遷移情報
の検ｉ４＋ｈは、遷移条件入力情報を対話的に人力しな
から？ｉなう。

（Δ）　テキスト検証 状態遷移情報のテキスト形式の場合の処理ステップを示
す。

■　テーブル内から初期状態名を探しその初期状態名を
現状態とする。そして、現状態名を出力する。以下、次
に承すいずれかの条件が成り立つまで次の（＠を繰り返
す。

（ａ）、終で状態において遷移先が無い時。

（ｂ）、終了状態において、「検証を続ζプるか」とい
うメツセージを出力し、返ってきた答えが、Ｎｏの時。

■　遷移条件と遷移条件入力情報が一致した時、遷移先
状態を現状態し、現状悪名、遷移出力情報を出力する。

そして、現状態名。

遷移条件入力情報、遷移出力情報を状態遷移ログ情報テ
ーブル〈テーブルの形式については後述する。、）に格
納する。一致しなければ、メツセージを出力し７、再検
証し、なおす。

■　検証終了時において、現状態、遷移条件。

遷移条件入力情報、メツセージを状態遷移ログ情報テー
ブル（テーブルの形式については後述する）に格納する
４、 ■　遷移ログ情報出力 遷移ログ情報テーブルから状態名、遷移条件入力情報、
遷移条件、遷移出力、エラ一番号を取り出し、表形式と
して出力する。

（Ｂ）　　グラフィック検証 状態遷移情報のグラフィック形式の場合の仕様検証処理
ステップを示す。

メニュー画面でグラフィック形式の検証が選択された場
合、口）、（ｉｉ）を繰り返す（状態遷移情報テーブル
アクセス手続きについては。

後述する）。

（ｉ）　　状態名を状態遷移情報テーブルから全て読み
終わるまで■〜■を繰り返す（第２２図。

第２３図）。

■　状態遷移情報テーブルアクセス手続きの状態名取り
だし手続きを呼ぶ。

■　状態（（））及び、状態名を出力すべき位置を決定
する（位置ぎめの方法は後述する）。

■　状態（（））及び、状態名を出方する出力方法につ
いては、後述する。

（ｉｉ）　　遷移情報を状態遷移情報テーブルがら全て
読み終力るまで■〜■繰り返す。

■　状態遷移情報テーブルアクセス手続きの遷移情報取
り出し手続きを呼ぶ。

■　遷移（→）の出力すべき位置を決定する。

■　遷移（→）を出力する。出方形式は後述する。

（ｉｉｉ）　　状態遷移情報の検証は、遷移条件入力情
報を会話的に入力しながら行う。

■　テーブル内から初期状態名を探しその初期状態名を
現状態とする。そして、状態（（））に斜線又は編みか
けをする。

（斜線又は編みかけの方法については、後述する）。以
下、次に示すいずれかの条件が成り立つまで■を繰り返
す。

（ａ）、終了状態において遷移先が無い時。

（ｂ）、終了状態において、「検証を続けるか」という
メツセージを出力し、返ってきた答えが、Ｎｏの時。

■　遷移条件と遷移条件入力情報が一致した時、遷移先
状態を現状態とし、状ｍ＜ＣＩ））の斜線又は編みかけ
をし、前まで、現状態だった状態（０）の斜線又は編み
かけ の削除を行う。（編みかけ２編みかけ削除については、
後述する。）遷移出力情報を出力する。そして、現状悪
名、遷移条件入力情報、遷移出力情報を状態遷移ログ情
報テーブル（テーブルの形式については後述する。）に
格納する。一致しなければ、メツセージを出力しく出力
方法は後述する。）、再検証しなおす。

■　検証終了時において、現状態、遷移条件。

遷移条件入力情報、メツセージを状態遷移ログ情報テー
ブル（テーブルの形式については、後述する）に格納す
る。

（ｉｖ）　　遷移ロググラフィック情報出力■　遷移ロ
グ情報テーブルから状態名を取り出す。

■　状ｍ（０）と状態名の出力すべき、位置を決定する
。

■　状態＜（ｌＩ））と状態名を出力する。ただしエラ
一番号がＯ以外（エラーあり）の場合は出力しない（出
力方法は、後述する）。

■　遷移ログ情報テーブルからエラ一番号。

遷移条件入力情報、遷移条件、遷移出力と状態番号を取
り出す。

■　エラ一番号がＯ（エラーなし）だったら→（遷移）
、遷移条件入力情報、遷移を出力する（出力方法は後述
する）。

■　エラ一番号がＯ以外（エラーあり）だったら遷移条
件入力情報を出力する。

ここで、グラフィック形式による状態（Ｃ１２））と、
遷移（→）の出力方法について、説明する。尚、第１５
図の（１）〜（８）のコマンドは第１６１図の基本コマ
ンドを使用する。

■　位置ぎめ 第１５図において、状態番号（Ｓ）から、画面出力にお
ける、項数（Ｇ）を求めるには（１）の式に、状態番号
（Ｓ）を代入する事により求められる。状態番号（Ｓ）
から、状態番号の位置（Ｘ。

Ｙ）を求めるには、（２）の式に、状態番号（Ｓ）を代
入する事により求められる。状態の位置（Ｘ。

Ｙ）から、状態のカラム単位の位置（ｍ、ｎ）を求める
には、（３）の式に状態の位置？代入する事により求め
られる。

■　状態出力 ■で求めた、状態のカラム単位の位置（ｍ、ｎ）を引き
数として、第１５図により、状態を出力する。また、第
２７図（ｂ）において、遷移（→）を一つの状態に、接
続できる本数は、８本である。

図のように、一つの状態は（ｏＬ　（ｐ）、（ｑ）。

（ｒ）の４つの領域に別れる。一つの領域に、（Ｐ）。

（ｒ）の場合１１以上、ｃｏ）、（ｑ）の場合３以上、
接続される場合は、遷移を重ねる。重ねる遷移の優先度
は、第２７図の、（ｂ）の様になる（番号が若いほど優
先度が高い）。

■　遷移出力 （ａ）　　■で求めた、状態の位置（Ｘ、Ｙ）と、遷移
先状態の位置（Ｘ’　、Ｙ’　）により、遷移（→）を
出力するのに必要な、遷移の曲がり角の数を、以下の様
な条件で、算出する。

・線の曲がり角が１の時の条件　第２７図（ｃ）■（Ｘ
’　−Ｘ＝Ｏ）ａｎｄ（Ｙ’−Ｙ＝１）の時■（Ｘ’　
　Ｘ＝Ｏ）ａｎｄ（Ｙ’−Ｙ＝−１）の時■（Ｙ’　−
Ｙ＝Ｏ）ａｎｄ（Ｘ’−Ｘ＝１）の時■（Ｙ’　−Ｙ＝
Ｏ）ａｎｄ（Ｘ’　−Ｘ＝−１）の時・線の曲がり角が
２の時の条件　第２７図（ｄ）■（Ｙ’　　−Ｙ＝Ｏ）
ａｎｄ（（Ｘ、’　　−Ｘ、＝Ｏ）ａｎｄ（Ｘ’−Ｘ＝
十−１）以外）の時 ■（Ｙ’　−Ｙ＝１）ａｎｄ（（Ｘ’　　Ｘ、＝Ｏ）以
外）の時 ■（Ｙ’　　Ｙ　−１）ａｎｄ（Ｘ、’　−Ｘ＝　Ｏ）
以外）の時 線の曲がり角が４の時の条件　第２７図（０）■（Ｘ’
　−Ｘ＝Ｏ）ａｎｄ（Ｙ’−Ｙ−正）の時■（Ｘ’　−
Ｘ＝０）ａｎｄ（Ｙ’　−Ｙ＝負）の時■（Ｘ、’　−
Ｘ、＝１以外）ａｎｄ（Ｘ、’　−Ｘ−正）ａｎｄ（Ｙ
’　−Ｙ＝１以外）ａｎｄ（Ｙ　’　−Ｙ−正）の時 ■（Ｘ’　−Ｘ＝−１以外）ａｎｄ（Ｘ’　−Ｘ＝：負
）ａｎｄ（Ｙ′−Ｙ＝−１以外）ａｎｄ（Ｙ　’　−Ｙ
　＝負）の時 ■（Ｘ、’　−Ｘ＝１以外）ａｎｄ（Ｘ、’　−Ｘ＝正
）ａｎｄ（Ｙ’　−Ｙ＝−４以外）ａｎｄ（Ｙ　’　−
Ｙ−負）の時 ■（Ｘ、’　−Ｘ＝−１以外）ａｎｄ（Ｘ　’　−Ｘ、
　＝負）ａｎｄ（Ｙ　’　−Ｙ　＝　１以外）ａｎｄ（
Ｙ’　−Ｙ＝正）の時 （ｂ）　　　（ａ）で求めた、遷移（→）の曲がり角の
数により、第１５図の（８）のコマンドを使用し、遷移
を出力する。ただし、第１６図の（８）において、遷移
を一つの画面により出力可能な場合は、（ａ）の、一つ
の画面で出力不可の場合は（ｂ）のコマンドを使用する
。尚、一画面で遷移を出力可能か不可能かを判別する条
件を以下に示す。

・一画面で出力不可の場合の条件 ０＜＞遷移先状態の画面項数（Ｇ′）−状態の画面項数
（Ｇ） ・一画面で出力可能の場合の条件 ０−遷移先状態の画面項数（Ｇ′）−状態の画面項数（
Ｇ） 一方、状態遷移情報アクセス処理は、以下の手続きによ
り、後述する第１７図の形式のテーブルとアクセスを行
う。

ａ）状態名、遷移条件登録手続き 状態名ならびに状態種別を状態テーブルに登録する。

ｂ）遷移条件、遷移出力情報登録手続き遷移条件、遷移
出力情報を遷移テーブルに−Ｖ＠する。

Ｃ）遷移先状態番号登録手続き 遷移先状態番号を遷移テーブルの遷移先状態番号フィー
ルドに登録する。

ｄ）同状態番号登録手続き 一つの状態において遷移先がいくつもの状態に分かれる
場合、遷移テーブルの同状態名番号フィールドに、同状
態番号の登録されたフィールド（インデックス）番号の
登録登行う。

ｅ）前フィールド、後フィールド連結番号登録手続き 一単位毎に分かれた状態遷移情報をそれぞれ結び付ける
ための番号を遷移テーブルの前フイールド連結番号、後
フィールド連結番号フィールドに登録する。

ｆ）遷移ログ情報登録手続き 仕様検証時における現状態、遷移条件入力情報。

遷移条件、遷移出力情報を登録する。又、エラー発生時
におけるエラ一番号を登録する。

ｇ）状態名、状態種別、遷移テーブル連結番号取り出し
手続き 状態テーブルから状態名、状態種別、遷移テーブル連結
番号を取り出す。

ｈ）状態名番号、遷移条件、遷移先状態番号取りだし手
続き 遷移テーブルから状態名番号、遷移条件、遷移先状態番
号、遷移出力情報、同状態名番号を取り出す。

１）状態名サーチ手続き 引数として渡された状態名と、状態テーブルに既に登録
されている状態名を比較し、一致すればその時のフィー
ルドの番号（インデックス）を引数として返す。一致し
なければＯを返す。

ｊ）状態名取り出し手続き 状態テーブルから状態名を取り出す。

ｋ）遷移情報取り出し手続き 遷移テーブルの状態名番号と遷移先状態名番号を取り出
す。

ここで、テーブルの形式を第１−７図に示す。

第１７図の状態テーブルの′遷移テーブル連結番号フィ
ールド′とは状態テーブルと遷移テーブルを結ぶために
設けたフィールドである。遷移テーブルの′同状態名番
号フィールド′は一つの状態から幾つもの状態に遷移す
る時のために設けたフィールドで、　゛前フィールド連
結番号、後フィールド連結番号′とは一単位ごとに分か
れた状態遷移情報をそれぞれ結び付けるためのフィール
ドである。遷移ログ情報テーブルで゛エラ一番号フィー
ルド′とは仕様検証時における、エラ一番号を格納する
フィールドである。

各処理の動作を第１０図〜第Ｊ５図で更に詳細に説明す
る。

入力処理１０の動作の内容は第１０図及び第１１図のフ
ローチャートで詳細に説明する。

まず、状態遷移情報を入力しくステップ５０１゜５０４
）、入力終了に至るまで（ステップ５０２）、入力した
状態遷移情報を一単位毎に（ステップ５０３）テーブル
に格納する（ステップ５０５）。

テーブル格納については第１１図で説明する。

状態遷移情報を一単位毎テーブルに格納するまで（ステ
ップ５０６）、情報区切り毎に、′状態種別″、′状態
名′、゛遷移条件′、′遷移先状態名′、′遷移出力′
かを判断しくステップ５０７゜５０８）、第１８図で示
したテーブルに格納する（ステップ５０９〜５１３）。

テキス１−検証処理１３については、第１２図で説明を
行う。

状態遷移情報を状態遷移情報テーブルから一単位取り出
しくステップ５１４，５２１）、現状態名を出力する（
ステップ５１５）。現状態が終了状態でなければ（ステ
ップ５１７）、遷移条件入力情報を入力しくステップ５
１８）、遷移条件と遷移条件入力情報が一致すれば（ス
テップ５１９）、遷移先状態名と遷移出力情報を出力し
くステップ５２０）、状態′Ｍ移情報な状態遷移情報テ
ーブルから一単位取り出しくステップ５１４，５２１）
、現状悪名、遷移条件入力情報、遷移出力情報、工ラ一
番号を遷移ログ情報テーブルに格納する（ステップ５２
３　）。遷移条件と遷移条件入力情報か−１１，なけれ
ば（ステップ５．１９）、エラーメツセージを出力しく
ステップ５２２）、その結果を遷移ログ情報テーブルに
格納する（ステップ５２３　）。

現状態が終了状態であり（ステップ５１．、７）　、検
証終了であれば（ステップ５１６）、遷移ログ情報を出
力しくステップ５２４）−検証を終える。

グラフィック検証処理１４については、第１４図で説明
を行う。

状態名の取り出しが、終了するまで（ステップ６５１）
、状ｊｍｍ移情報テーブルから状態名、状態番号を取り
出しくステップ６５２）、位置ぎめ処理１５を呼び状態
名、状態番号を渡す（ステップ６５３）。遷移情報の取
り出しが終了するまで（ステップ６５４）、状態遷移情
報テーブルから遷移情報を取り出しくステップ６５５）
、位置ぎめ処理１５を呼び遷移情報を渡すくステップ６
５６）。

取り出しが終了すると（ステップ６５４）、状態遷移情
報を状態遷移情報テーブルから一単位取り出しくステッ
プ６５７，６６６）、位置ぎめ処理１−５を呼び現状態
名を渡す（ステップ６５８）。

現状態が終了状態でなければ（ステップ６６０）、遷移
条件入力情報を入力しくステップ６６１）、遷移条件と
遷移条件入力情報が一致すれば（ステップ６６２）、位
置ぎめ処理１５を呼び現状態番号と遷移出力情報を渡し
くステップ６６５）、状態遷移情報を状態遷移情報テー
ブルから一東位取り出しくステップ６５７，６６６）、
現状態名。

遷移条件入力情報、遷移条件、遷移出力情報、エラ一番
号を遷移ログ情報テーブルに格納する（ステップ６６４
）。遷移条件と遷移条件入力情報が一致しなけれは（ス
テップ６６２）、位置ぎめ処理１５を呼びエラーメツセ
ージを渡しくステップ６６３）、その結果を遷移ログ情
報テーブルに格納する（ステップ６６４）。現状態が終
了状態であり（ステップ６６０）、検証終了であれば（
ステップ６５９）、位置ぎめ処理１５を呼び遷移ログ情
報を渡しくステップ６６７）、検証を終える。

位置ぎめ処理１−５については第１３図を用いて説明す
る。位置ぎめの方法については、後述する。

何の情報を出力するかを設定しくステップ５２５゜５２
６）、状態出力の場合、状態名取り出しくステップ５２
７，５３１）、状態名の入力がある間（ステップ５２８
）、位置ぎめを行い（ステップ５２９）作図処理１６を
呼び、状態名及び、出力位置を渡す（ステップ５３０）
、状態名を取り出しくステップ５３１）。状態名の入力
なしの場合（ステップ５２８）、処理終了。遷移出力の
場合、遷移情報を取り出しくステップ５３２）、遷移情
報が入力される間（ステップ５３３）、位置ぎめを行い
（ステップ５３４．）、作図処理１６に出力位置、遷移
情報を渡す（ステップ５３５）ａ遷移情報数り出しくス
テップ５３６）。遷移情報が入力なしの場合、終了。現
状態出力の場合、検証が終わるまで（ステップ５３７）
、現状態を検証処理から入力しくステップ５３８）、出
力すべき位置を決定する（ステップ５３９）。作図処理
１６に、現状態を出力すべき位置を渡す（ステップ５４
０）。遷移条件入力情報を画面＊Ｊ御処理１２から人力
する（ステップ５４１）。画面制御処理１２から人力し
た遷移条件入力情報をグラフィック検証処理１４に渡す
（ステップ５４２）。グラフィック検証処理１４からエ
ラーメツセージを人力する（ステップ５４３）。

エラーメツセージが合った場合（ステップ５４４）、画
面制御処理」２を呼びエラーメツセージを渡す（ステッ
プ５４５）。検証が終わると（ステップ５３７）、終了
。遷移ログ情報出力の場合、遷移ログデープルから状態
名とエラ一番号を取り出す（ステップ５４６）、取り出
しが終わるまで（ステップ５４．７）、エラ一番号がＯ
（エラーなし）だったら（ステップ５４８）、出力すべ
き位置を決める（ステップ５４９）。作図処理１６に、
状態名と出力位置を渡す（ステップ５５０）、状態番号
にプラス１する（ステップ５５１　）。作図処理１６を
呼び状態番号マイナス１．出力位置、遷移出力情報、遷
移条件入力情報を渡す（ステップ５５２）。エラ一番号
がＯでなければ（エラーあり）（ステップ５４８）、作
図処理１６に、状態番号、Ｗ７移条件入力情報を渡す（
ステップ５５４）。

取り出しが、終ると（ステップ５４７）、処理を終了す
る。

ここで、位置ぎめについて説明する。状態（Ｓ）から、
画面出力における、項数（Ｇ）を求めるには、第１５図
（］−）の式に、状態番号（Ｓ）を代入することにより
求められる。状態番号（Ｓ）から、状態番号の位置（Ｘ
、、Ｙ）を求めるには。

（２）の式に、状態番号（Ｓ）を代入することにより求
められる。状態の位置（ｘ、、ｙ）から、状態のカラム
単位の位置（ｍ、ｎ）を求めるには、第１５図（３）の
式に状態の位置を代入する事により求められる。

第Ｊ−５図の（４）〜（８ンを用いて２作図処理１５の
説明を行う。

第１５図において、Ｌ　Ｉ　Ｎ　Ｅ　、　ＬＣＹＣＬＩ
Ｅ、　ＲＣＹＣＬＩイは第１６図の基本コマンドを使用
している。なお、Ｓは、状態番号を表しく第２６図参照
）、Ｇは、両面項を表わす、（ｘ、ｙ）は、第２６図に
おける、状態番号１を基準にし、右にＸ個、下に７個、
進んだ所にある、状態を表わす。（ｍ、ｎ）は、出力フ
ァイルの左−にを基準にし、右にｍカラム、下にｎカラ
ム、進んだ所の位置を表わす。第１５図の、（４）は、
状態を（ｍ、ｎ）の位置に出力するためのものである。

（５）は、（ｍ、ｎ）の位置の状態の両端を黒く塗り潰
す物である。（６）は、（ｍ、ｎ）の位置の黒く塗り潰
された状態を削除するものである。（７）は、遷移を出
力する時に使う、矢印を書くコマンドである。（８）の
（ａ）は、（ｍ、ｎ）の状態と（ｍ、ｎ’）の遷移先状
態を遷移で結ぶものである。（ｂ）は遷移するにおいて
、異なる画面に遷移する場合の、遷移を現す。

尚、実行処理は、作図処理１６で設定された基本コマン
ドを実行する。基本コマンドを以下に示す。

第１６図において、（ａ）Ｉ、ＩＭＥコマンドは、座標
（ｍｌ、ｎｌ）と、座標（ｍ２．ｎ２）を直線で結ぶコ
マンド、（ｂ）のＬ　ＣＹ　ＣＬ　Ｅコマンドは、座標
（ｍ　ｊ、　、　ｎ　１）を中心にし、半径ｒ１の左半
円を描くコマンドで、（Ｃ）のＲＣＹＣＬＥコマンドは
、座標（ｍｌ、ｎｌ）を中心にし、半径ｒ１の右半円を
描くコマンドで、（ｄ）のＰＡＴＮＴコマンドは、座標
（ｍＩ、ｎｌ）と（ｍ２．ｎ２）を中心にし、状態の編
みかけを行うコマンドで、（ｅ）のＤ　Ｅ　１．Ｅ　Ｔ
　Ｅは、座標（ｍｌ、ｎｌ）を中心にし、状態の編みか
けを削除するコマンドで、（ｆ）は、座標（ｍｌ、ｎｌ
、）と座標（ｍ２．ｎ２）の範囲内において、文字の出
力を行うコマンドである。

範囲内において文字が、はみ出す場合は、改行を行う。

例えば、（２，２）と（６，６）の領域内でＡ−Ｌまで
出力するとき（Ｆ）のように出力される。

〔発明の効果〕

以上述べた如く、本発明によれば、設計仕様情報を入力
し、該情報をモデル仕様情報の命令語に変換し、本情報
命令語と設計仕様情報に係る専門知識情報によって形式
的記述法によるドキュメント情報は、あいまいさを含ま
ない理解容易性の高いドキュメン１〜情報となる。また
、理解容易性の高いドキュメン１〜情報は、ソフトウェ
ア開発過程において開発担当者間のコミニュケーション
（設計レビュー等）の円滑化、ソフトウェア保守過程に
おける保守性の向上等を図るものとしてなりうる。また
、開発システムの分野ごとの専門知識情報も合わせて入
力することによって、開発システムに係わる専門用語集
、システム運用情報、システム操作情報、不良対策時の
情報等を先のドキュメント情報に合わせて編集・出力す
ることが可能となる。また、先のモデル仕様情報（命令
語）によりドキュメント情報の出力を行うことによって
。

処理効率の向上を図れる。

次に、設計仕様情報を設計仕様の検証時の情報（実行可
能性を含んだ情報）に変換し、本情報をシミュレートす
ることによって、設計仕様の正しさの検証を可能として
いる。これは、テスト工程での負荷を小さくし、システ
ムの信頼性の向上を図るものである。

【図面の簡単な説明】

第１図は本発明の一実施例を示す設計仕様処理方法の機
能構成図、第２図は仕様検証処理方法の機能構成図、第
３図はドキュメント情報編集処理の動作を示すフローチ
ャート、第４図はモデル仕様情報記憶ファイルへ蓄積さ
れた命令語形式を示す図、第５図はドキュメント情報出
力処理での動作を示すフローチャート、第６図は設計仕
様処理のシステム構成を示す図、第７図は形式的記述法
による設計仕様を示す図、第８図は設計仕様情報のスキ
ーアを示す図、第９図は設計仕様情報の内部形式を示す
図、第１０図は入力処理の動作を示すフローチャート、
第１１図はテーブル設定の動作を示すフローチャー１−
１第１２図はテキスト検証処理の動作を示すフローチャ
ート、第１−３図は位置ぎめ処理の動作を示すフローチ
ャート、第１４図はグラフィック検証処理の動作を示す
フローチャート、第１５図は作図処理の動作を示す図、
第１６図は基本命令の形式を示す図、第１７図は、状態
遷移情報テーブル及び、遷移ログ情報テーブルの形式を
示す図、第１８図は仕様検証処理の原理図、第１９図は
テキスト検証におけるテキスト検証画面を示す図、第２
０図及び第２１図はテキスト検証による遷移ログ情報の
出力形式を示す図、第２２図及び第２３図はグラフィッ
ク検証におけるグラフィック検証画面を示す図、第２４
図及び第２５図はグラフィック検証における遷移ロググ
ラフィック情報の出力形式を示す図、第２６図は状態の
出力形式を示す図、第２７図は状態及び遷移の出力形式
を示す図である。 １・・・入力処理、２・・ドキュメント編築処理、３ド
キユメント出力処理、４・・仕様検証処理、５設計仕様
情報、６・・・専門知識情報、７・・設計仕様処理の検
証情報、１．０・・・入力処理、１１・・・構文チエツ
ク処理、１２・・画面制御処理、１３・・テキスト検証
処理、１４・・グラフィック検証処理、１５・・・位置
ぎめ処理、１６・・・作図処理、１７・・・実行処理、
１８・・・状態遷移情報アクセス処理、１９・・・状態
遷移情報テーブル、遷移ログ情報テーブル、２０・・・
作図命令情報。 図 （Ｉ！−） 図 （匁） ■ ■ ■ （Ｌ）よか゛Ｉ、Ｉ角０ ■ ＜ｄ）ｔ、す゛″ソ角Ｚ ■ Ｌｊθに仁−」 ＜ｅ） ぼが１）角４ ■ ■ ■

Claims (1)

1. 【特許請求の範囲】 １、設計仕様情報と、該設計仕様情報を対象としたシス
   テムに対する専門知識情報、システムの分野ごとの専門
   知識情報を入力し、該設計仕様情報を表形式の情報に変
   換し、変換した情報を検証し、上記設計仕様情報をモデ
   ル仕様情報に編集し、編集された情報と上記専門知識情
   報を基にドキュメント情報を編集・出力する事を特徴と
   する仕様処理方法。 ２、上記設計仕様情報を表形式の情報に変換し、該表形
   式の情報である検証情報をシミユレートすることによつ
   て、設計仕様の検証を行なうことを特徴とする特許請求
   の範囲第１項記載の仕様処理方法。 ３、上記表形式の検証情報をグラフィック情報に変換し
   、該グラフィック形式の情報をシミユレートして、設計
   仕様の検証を行うことを特徴とする特許請求の範囲第１
   項記載の仕様処理方法。 ４、設計仕様情報と、該情報を対象としたシステムに対
   する専門知識情報と、システムの分野ごとの専門知識情
   報とを表形式の情報に変換し、該表形式の情報に従つて
   、ドキュメント情報を編集・出力することを特徴とする
   仕様処理方法。 ５、上記設計仕様情報を対象とした専門知識情報、シス
   テムの分野ごとの専門知識情報によつて、設計仕様の中
   で用いられる用語を用語に関するドキュメント情報とし
   て編集・出力することを特徴とする特許請求の範囲第４
   項記載の仕様処理方法。 ６、設計仕様情報と、前記設計仕様情報を対象としたシ
   ステムに対する専門知識情報、システムの分野ごとの専
   門知識情報を順次入力する入力制御ステップと、該入力
   した情報を各々格納する蓄積ステップと、上記設計仕様
   情報をシミユレートするために該情報を表形式の検証情
   報に変換し、格納する変換・蓄積ステップと、該情報を
   検証する設計仕様検証ステップと、上記設計仕様情報を
   モデル仕様情報に編集するドキュメント情報編集ステッ
   プと、ドキュメント情報編集ステップにより変換された
   情報をドキュメント情報出力時の命令語として格納する
   モデル仕様情報蓄積ステップと、モデル仕様情報蓄積ス
   テップにより格納された命令語、設計仕様専門知識情報
   蓄積ステップにより格納された専門知識情報を基に、ド
   キュメント情報の出力を行なうドキュメント情報出力ス
   テップとを有することを特徴とする仕様処理方法。 ７、設計仕様検証のために、動作の制御を行う制御ステ
   ップと、画面出力の制御を行う画面制御ステップと、設
   計仕様情報を入力する入力ステップと、該設計仕様情報
   を表形式の情報として蓄積する状態遷移情報蓄積ステッ
   プと、該状態遷移情報蓄積ステップによつて蓄積された
   表形式の設計仕様情報をアクセスする設計仕様情報アク
   セスステップと、テキスト形式により検証を行うテキス
   ト検証ステップと、グラフィック形式により検証を行う
   グラフィック検証ステップと、グラフィック出力の出力
   位置を決定する位置ぎめステップと、グラフィック出力
   の際の基本コマンドを有する基本命令を蓄積する蓄積ス
   テップと、上記位置ぎめステップにより決定された位置
   情報と基本命令蓄積ステップにより蓄積された基本コマ
   ンドによりグラフィックの作図を行う作図ステップと、
   該作図ステップで作図された情報を蓄積する基本命令蓄
   積ステップと、該基本命令蓄積ステップで蓄積された情
   報を実行する実行ステップとを有することを特徴とする
   特許請求の範囲第６項記載の仕様処理方法。