JPH06110677A - システム静的情報の相関チェック・修正装置 - Google Patents

Abstract

(57)【要約】 【構成】 個々のプロセッサ毎に定義されたファイル５
中のＳＧ制御文に、プロセッサ間にまたがる相関関係の
矛盾点が存在するか否かを相関チェックファイル６の内
容に基づいて相関チェック処理部15がチェックし、マン
マシンインタフェイス処理部11は検出された矛盾点を示
す情報をディスプレイ３に表示する。利用者がこの表示
を見て、キーボード２から修正情報を入力すると、制御
文修正処理部14は修正情報に基づいてＳＧの制御文を修
正し、修正済ＳＧの制御文をバッファ141 に格納する。
相関チェック処理部15はバッファ141 に格納された修正
済ＳＧの制御文について相関関係の矛盾点を再度チェッ
クし、そのチェック結果をマンマシンインタフェイス処
理部11を通じてディスプレイ３に表示する。 【効果】 修正ミスが減少し、修正時間が短縮できる。
また再チェックを行うので、修正ミスを見過ごしてしま
うことがなくなる。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、複数のプロセッサが相
関関係を持って動作する複数プロセッサシステムにおけ
る各プロセッサに対して個別に定義されたシステム静的
情報の制御文を入力し、プロセッサ間にまたがる相関関
係の矛盾点を検出する機能を備えた相関チェック装置の
改良に関するものである。

【０００２】

【従来の技術】複数のプロセッサが相関関係を持って動
作する複数プロセッサシステムにおいて、利用者がプロ
グラム動作時に初期設定情報として複数のプロセッサに
対して個別に定義するシステム静的情報（以下、ＳＧと
称す）の制御文について、プロセッサ間にまたがる相関
関係に矛盾点が存在するか否かをチェックする装置とし
ては、例えば特願平３−３０２６０２号に見られるよう
な相関チェック装置が報告されている。

【０００３】この相関チェック装置は、各プロセッサ毎
に個別に定義されたＳＧの制御文について、相関チェッ
クファイルの内容に基づき、プロセッサ間にまたがる相
関関係に矛盾が存在するか否かを自動的にチェックする
装置であり、検出したＳＧの相関関係の矛盾点はリスト
の形式で出力される。そこで、利用者はこのリストを参
照することにより、ＳＧの制御文を机上で修正するよう
にしていた。

【０００４】

【発明が解決しようとする課題】このように、定義され
たＳＧの相関関係の矛盾点は相関チェック装置によって
自動的に検出されるものの、その後の修正は人手で行わ
なければならなかったため、修正時にミスが混入し、矛
盾点が折角見つかったのに修正ミスにより正しいＳＧ制
御文が得られず、また修正ミスしたこと自体も見過ごし
てしまうという問題点があった。

【０００５】本発明はこのような事情に鑑みて為された
ものであり、その目的は、ＳＧの制御文の相関チェック
装置に、ＳＧの修正機能と修正後の再チェック機能とを
新たに付加した相関チェック・修正装置を提供すること
にある。

【０００６】

【課題を解決するための手段】本発明は上記の目的を達
成するために、複数のプロセッサが相関関係を持って動
作する複数プロセッサシステムにおける各プロセッサに
対して個別に定義されたＳＧの制御文を入力し、プロセ
ッサ間にまたがる相関関係の矛盾点を検出する機能を備
えた相関チェック装置において、検出された矛盾点を示
す情報を表示装置に表示すると共に入力装置から修正情
報を入力するマンマシンインタフェイス処理部と、修正
前ＳＧの制御文および修正済ＳＧの制御文を保持するバ
ッファを有し、前記マンマシンインタフェイス処理部に
よって前記入力装置から入力された修正情報に基づいて
修正前ＳＧの制御文を修正し、修正済ＳＧの制御文およ
び修正前ＳＧの制御文を前記バッファに格納する制御文
修正処理部と、前記バッファに格納された修正済ＳＧの
制御文についてプロセッサ間にまたがる相関関係の矛盾
点の有無を再度チェックし、そのチェック結果を前記マ
ンマシンインタフェイス処理部を通じて前記表示装置に
表示する相関チェック処理部とを備えている。

【０００７】

【作用】本発明のＳＧの相関チェック・修正装置におい
ては、複数のプロセッサが相関関係を持って動作する複
数プロセッサシステムにおける各プロセッサに対して個
別に定義されたＳＧの制御文に、プロセッサ間にまたが
る相関関係の矛盾点が検出されると、マンマシンインタ
フェイス処理部が、検出された矛盾点を示す情報を表示
装置に表示する。利用者がこの表示を見て、入力装置か
ら修正情報を入力すると、これをマンマシンインタフェ
イス処理部が入力し、制御文修正処理部が、この入力さ
れた修正情報に基づいて修正前ＳＧの制御文を修正し、
修正済ＳＧの制御文および修正前ＳＧの制御文を内部の
バッファに格納し、次いで、相関チェック処理部が、バ
ッファに格納された修正済ＳＧの制御文についてプロセ
ッサ間にまたがる相関関係の矛盾点の有無を再度チェッ
クし、そのチェック結果をマンマシンインタフェイス処
理部が表示装置に表示する。

【０００８】

【実施例】次に本発明の実施例について図面を参照して
詳細に説明する。

【０００９】図１を参照すると、本発明のＳＧの相関チ
ェック・修正装置の一実施例は、処理装置１と、キーボ
ード２と、ディスプレイ３と、プリンタ４と、ＳＧ制御
文ファイル５と、相関チェックファイル６と、修正済Ｓ
Ｇ制御文ファイル７とで構成され、処理装置１は、マン
マシンインタフェイス処理部１１と、制御文読み込み部
１２と、相関チェック情報読み込み部１３と、制御文修
正バッファ１４１を含む制御文修正処理部１４と、バッ
ファ１５１，１５２を含む相関チェック処理部１５とを
備えている。なお、９はＳＧ作成ツール、１０はＳＧ設
計書である。

【００１０】図２および図３は図１に示した実施例の動
作説明用の流れ図であり、以下各図を参照して本実施例
の動作を説明する。

【００１１】利用者がＳＧ設計書１０を参照しながら公
知のＳＧ作成ツール９を使って作成した、複数プロセッ
サシステムにおける個々のプロセッサのＳＧ制御文は、
ＳＧ制御文ファイル５に格納されている。また、プロセ
ッサ間にまたがる相関関係の正当性を検証する際の判定
基準等を示す相関チェックレコードは、相関チェックフ
ァイル６に格納されている。

【００１２】利用者が、ＳＧ制御文ファイル５に格納さ
れたＳＧ制御文の相関チェックとその修正とを行うため
に、キーボード２から作業の開始を指示すると（図２の
Ｓ１）、処理装置１のマンマシンインタフェイス処理部
１１がこの指示を受け取り（Ｓ２）、相関チェック処理
部１５に対し作業の開始を指示する（Ｓ３）。

【００１３】相関チェック処理部１５は、先ず制御文読
み込み部１２を起動し（Ｓ４）、起動された制御文読み
込み部１２は、ＳＧ制御文ファイル５からチェック対象
となる個々のプロセッサのＳＧ制御文を読み込み（Ｓ
５）、それを相関チェック処理部１５のバッファ１５１
に格納する（Ｓ６）。

【００１４】次に相関チェック処理部１５は、相関チェ
ック情報読み込み部１３を起動し（Ｓ７）、起動された
相関チェック情報読み込み部１３は、相関チェックファ
イル６からＳＧ制御文のチェックに必要な相関チェック
レコードを読み込み（Ｓ８）、それを相関チェック処理
部１５のバッファ１５２に格納する（Ｓ９）。

【００１５】次に相関チェック処理部１５は、バッファ
１５２に格納された相関チェックレコードの内容に基づ
き、バッファ１５１に格納された個々のプロセッサのＳ
Ｇ制御文について、プロセッサ間にまたがる相関関係の
正当性を検証し、全ての矛盾点を洗い出す（Ｓ１０）。

【００１６】なお、この矛盾点の洗い出しにおいて、各
プロセッサのＳＧ制御文の情報からだけでは判断できな
い要因が検出された場合にはマンマシンインタフェイス
処理部１１を通じてディスプレイ３に不確定な要因に対
する種々の情報の入力促進メッセージを表示し、利用者
がこのメッセージに応答してキーボード２から入力した
情報に従って相関関係の検証を進めたり、また致命的な
矛盾を検出した場合にはマンマシンインタフェイス処理
部１１を通じてディスプレイ３にその旨を表示して次に
行うべき作業の決断を利用者に委ね、利用者がキーボー
ド２から何等かの指示を入力すると、その指示に従って
作業を再開するといった、対話的な方式が採用される。

【００１７】相関チェック処理部１５は、矛盾点の洗い
出しが終了すると、ＳＧ設計書１０とＳＧ制御文との変
換情報を保持するＳＧ設計書仕様ファイル８を参照し
て、バッファ１５１のＳＧ制御文を元のＳＧ設計書１０
の仕様に近い表現のＳＧ設計書に変換すると共にそれに
矛盾点の内容を示すメッセージを付加して出力情報の編
集を行う（Ｓ１１）。そして、この出力情報をマンマシ
ンインタフェイス処理部１１に渡し（Ｓ１２）、マンマ
シンインタフェイス処理部１１はそれをディスプレイ３
の画面に表示する（Ｓ１３）。なお、同様の内容をプリ
ンタ４からリスト出力するようにしても良い（Ｓ１
４）。

【００１８】以上のような動作は従来の相関チェック装
置においても行われていたものである。

【００１９】さて、利用者が、ディスプレイ３に表示さ
れたＳＧ設計書および矛盾点を指摘したメッセージと、
元のＳＧ設計書１０とに基づき、矛盾を生じた原因とな
った全ての不正値に対してその正解値をキーボード２か
ら入力し、且つ修正指示を入力すると（図３のＳ２
１）、マンマシンインタフェイス処理部１１がこれらを
受け取って相関チェック処理部１５に伝達する（Ｓ２
２）。

【００２０】相関チェック処理部１５は、修正指示が与
えられると、マンマシンインタフェイス処理部１１から
受け取った不正値に対する正解値およびバッファ１５１
のＳＧ制御文を制御文修正処理部１４に渡して修正を指
示する（Ｓ２３）。

【００２１】制御文修正処理部１４は、相関チェック処
理部１５から渡されたＳＧ制御文を制御文修正バッファ
１４１に格納した後、同じく渡された不正値に対する正
解値を用いて各矛盾の原因となった箇所を修正する（Ｓ
２４）。そして、修正したＳＧの制御文を制御文修正バ
ッファ１４１に格納し（Ｓ２５）、修正の終了を相関チ
ェック処理部１５に通知する（Ｓ２６）。

【００２２】この通知を受けると、相関チェック処理部
１５は、制御文修正バッファ１４１に格納された修正済
ＳＧの制御文をバッファ１５１に読み出してバッファ１
５２に格納されている相関チェックレコードに基づく相
関チェックを再度行って矛盾点を洗い出す（Ｓ２７）。

【００２３】そして、矛盾点の洗い出しが終了すると、
ＳＧ設計書仕様ファイル８を参照して、バッファ１５１
の修正後のＳＧ制御文を元のＳＧ設計書１０の仕様に近
い表現のＳＧ設計書に変換すると共にそれに矛盾点の内
容を示すメッセージを付加し、更に前回作成した修正前
のＳＧ制御文によるＳＧ設計書を付加して出力情報の編
集を行う（Ｓ２８）。そして、この出力情報をマンマシ
ンインタフェイス処理部１１に渡し（Ｓ２９）、マンマ
シンインタフェイス処理部１１はそれをディスプレイ３
の画面に表示する（Ｓ３０）。

【００２４】ここで、利用者が前回表示された矛盾点を
指摘したメッセージに従って正しい修正情報を入力して
いれば、全ての矛盾点が解消されて修正後のＳＧ制御文
には矛盾点が残っていないため、ディスプレイ３には矛
盾点を指摘したメッセージは表示されない。しかし、入
力ミス等により誤った修正を行うと、そのようなメッセ
ージが再度表示されることになる。このような場合は、
ディスプレイ３の表示と必要なら元のＳＧ設計書１０を
参照して、不正値に対する正解値を入力して再度修正を
指示すれば、図３の一点鎖線で示すように上述した修正
処理が再び行われる。これにより、修正ミスを無くし、
完全なＳＧ制御文の作成が行える。

【００２５】そして、矛盾点が無くなった時点で、利用
者が修正済ファイルの作成をキーボード２から指示する
と（Ｓ３１）、この指示がマンマシンインタフェイス処
理部１１，相関チェック処理部１５を通じて制御文修正
処理部１４に伝達され（Ｓ３２）、制御文修正処理部１
４は制御文修正バッファ１４１上の修正済ＳＧ制御文を
修正済ＳＧ制御文ファイル７に出力する（Ｓ３３）。

【００２６】

【発明の効果】以上説明したように、本発明のＳＧの相
関チェック・修正装置によれば、検出された矛盾点を修
正するための修正情報をキーボード等の入力装置から入
力することにより制御文修正処理部によって自動的にＳ
Ｇの制御文の修正が行え、更に、修正後のＳＧの制御文
について相関関係の再チェックが自動的に行われてその
結果が表示装置に表示されるので、矛盾点のリストを見
て机上でＳＧの修正を行っていた従来に比べ、修正ミス
を少なくすることができると共に修正時間も短縮でき、
更に修正ミスを犯せば再チェックによって直ちに検出さ
れるため、修正ミスを見過ごしてしまうことが防止でき
るという効果がある。

【図面の簡単な説明】

【図１】本発明の一実施例の要部構成図である。

【図２】本発明の実施例の動作説明用の流れ図の一部を
示す図である。

【図３】本発明の実施例の動作説明用の流れ図の残りの
部分を示す図である。

【符号の説明】

１…処理装置 １１…マンマシンインタフェイス処理部 １２…制御文読み込み部 １３…相関チェック情報読み込み部 １４…制御文修正処理部 １４１…制御文修正バッファ １５…相関チェック処理部 １５１，１５２…バッファ ２…キーボード ３…ディスプレイ ４…プリンタ ５…ＳＧ制御文ファイル ６…相関チェックファイル ７…修正済ＳＧ制御文ファイル ８…ＳＧ設計書仕様ファイル ９…ＳＧ作成ツール １０…ＳＧ設計書

Claims (1)

【特許請求の範囲】
1. 【請求項１】 複数のプロセッサが相関関係を持って動
   作する複数プロセッサシステムにおける各プロセッサに
   対して個別に定義されたシステム静的情報の制御文を入
   力し、プロセッサ間にまたがる相関関係の矛盾点を検出
   する機能を備えた相関チェック装置において、 検出された矛盾点を示す情報を表示装置に表示すると共
   に入力装置から修正情報を入力するマンマシンインタフ
   ェイス処理部と、 修正前システム静的情報の制御文および修正済システム
   静的情報の制御文を保持するバッファを有し、前記マン
   マシンインタフェイス処理部によって前記入力装置から
   入力された修正情報に基づいて修正前システム静的情報
   の制御文を修正し、修正済システム静的情報の制御文お
   よび修正前システム静的情報の制御文を前記バッファに
   格納する制御文修正処理部と、 前記バッファに格納された修正済システム静的情報の制
   御文についてプロセッサ間にまたがる相関関係の矛盾点
   の有無を再度チェックし、そのチェック結果を前記マン
   マシンインタフェイス処理部を通じて前記表示装置に表
   示する相関チェック処理部とを具備したことを特徴とす
   るシステム静的情報の相関チェック・修正装置。