JPS60237573A - システム機能シミユレ−シヨン方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔発明の利用分野〕 本発明は、オンライン性、リアルタイム性が要求される
分散システムの規模の大小にかかわらず容易に機能のシ
ミュレーションを行なうに好適な機能シミュレーション
方式に関する。

〔発明の背景〕

システムの機能をシミュレーションする方式として従来
より知られているものにペトリネットモデルを用いた方
法がある（ペトリネットの理論については例えば「情報
処理Ｊ　ＶＯＩ　、　２５．４３ｐｐ１８８〜１９８あ
るいは［ｂｉｔＪ　Ｖｏｌ　、　１０゜ｌ６１０）。し
かしながらペトリネットモデルを適用しようとすると、
機能としてのデータ変換過程を表現することができない
１機能の選択条件が不明確でおる、などの問題がある。

これを解決する方法として、ペトリネットモデルを用い
、トークンにデータ構造を、トランジションにトークン
の分岐条件を設けて機能シミュレーションをおこなう方
法が考えられる。

この方式は単体システムのシミュレーションに対しては
有効であるが、大規模な自立分散システムに適用するに
は次のような問題がある。その第１はシステムを考えた
場合、システムは種々の単体（以下構成成分）が集まっ
た集合体として構成され、各構成成分同士が情報を交換
しながら、それぞれの構成成分は独自に動作している。

たとえば、銀行のオンラインシステムを考えた場合、「
ホストコンピュータ」、複数個の「キャッシュディスペ
ンサ」という構成成分により構成されておシ、このホス
トコンピュータとキャッシュディスペンサの間には、「
口座番号」　「払出し金額」の情報交換を行なっている
。またホストコンピュータは、「残高の更新」キャッシ
ュディスはンサは、「キャッシュカードの確認」　「払
出し金の受付」　「お金の支払」を独自に行なっている
。

この様なシステムの機能をシミュレーションをおこなう
と各構成成分の区別が行なわれず渾然一体となってしま
うためシステム全体の動作や機能がどの構成成分に属す
るものなのか、各構成成分がどの様な係夛を持って動作
するかが分らずシステム本来の機能動作を確認すること
ができない。

このオンラインシステムの例を第１図に示す。

第１図においては、どの部分が「キャッシュディスペン
サ」でどの部分が「ホストコンピュータ」か不明確であ
り、「キャッシュディスペンサ」と「ホストコンピュー
タ」の間の関係も不明確である。

第１図において丸印で示した例えばＣＤｓはプレースを
示し、矢印と直線で示した例えばＣＤ。

はトランジションを示している。第１図はプレースとト
ランジションという２種類の節点をもつ２分有向グラフ
で表わした銀行のオンラインシステム例である。ＣＤ１
〜７はキャッシュディスペンサ側のモデルを、Ｃ！〜３
はホスト計算機との間の通信回線とそれにつながってい
るプレースを、ｈ４〜４はホスト計算機側のモデルを、
それぞれ示している。

処理の流れの概略を説明すると、ＣＤｔではキャッシュ
カードを受付け、ＣＤｓでカード番号を読みとＦ）、Ｃ
Ｄｓではキャッシュカードの確認をおこなう。ＣＤ４で
は払出金受付要求を発し、ＣＤｓでは払出金の受付をし
、Ｃｓを介してホスト計算機に払出金額を伝送する。一
方ＣＤ、からは口座番号を０２を介してホスト計算機側
に伝送する。ホスト計算機では、ｈ４において払出金額
と口座番号とかつ払出金額を払出したときの残高（ｈ３
）をめ残高を確認（ｈＩ　）し、所定の条件が満足され
たとき、ＣＩを介して払出し金額をキャッシュディスペ
ンサ側に伝送し、お金の支払いがおこなわれる（ＣＤ＋
　）。そしてこれらの一連の処理が終ると、次のカード
受付要求を許す（ＣＤｉ）。なおホスト計算機側のｈ２
はデータの記帳すなわち払出金額の記帳処理を示してい
る。

その第２は大規模複雑なシステムではシミュレーション
をおこないたい機能レベルの選択ができない、などの欠
点がある。第２図は第１図のＣＤｓの部分の詳細処理例
であるが、何らかの対応関係を把握しておかないとキャ
ッシュディスペンサ側のどの部分の処理なのか分らなく
なってしまう。

本発明は仁の点に着目した機能シミュレーション方法で
ある。

〔発明の目的〕

本発明の目的は、前述の従来技術で述べた欠点を解決し
、システムの機能シミュレーションヲ行なうシミュレー
ション方法を提供することにある。

〔発明の概要〕

本発明は複数の構成システムが他の構成システムとの間
で情報を交換しつつそれぞれの構成システムが独自に処
理をおこなうシステムの機能シミュレーション方法であ
って、前記複数構成システムから成る分散システムの構
成を特定する構成情報を全体構成テーブルに記憶し、前
記構成システムを機能単位にかつ情報の処理として定義
されるト２ジション、データ構造の集合として定義され
るトークンとトークンの移動条件、前記トークンが待機
するシステム上の位置としてのプレースをシステム構成
テーブルに記憶し、前記処理データのデータ構造をデー
タ構造テーブルに記憶し、システムシミュレーションプ
ログラムによリデータ処理に伴なうデータ構造変化とと
もにトレースし前記分散システムの機能をシミュレーシ
ョンすることに特徴がおる。

〔発明の芙施例〕

第３図は、本発明の実施例を示す構成図である。

全体構成テーブル３１、システム構成テーブル３２、デ
ータ構造テーブル３３は記憶装置Ｍｅ上にオシ、シミュ
レーション対象システムについての情報が記憶されてい
る。システム設定プログラム３４は、出力装置３６よシ
設定されたシミュレーションシステムを読込み、シミュ
レーションシステム３０に知らせる。

情報入力プログラム３５は、シミュレーションシステム
３０が必要となった情報を入出力装置３６に入力要求を
表示し、同装置よシ必要な情報を入力し、シミュレーシ
ョン３０に知らせる。シミュレーションシステム３０は
、システム設定プログラム３４にヨシ、シミュレーショ
ン対象システム及びシミュレーション開始場所（プレー
ス）を知らされたら全体構成テーブル３１とシステム構
成テーブル３２とデータ構造テーブル３３に記憶されて
いるシステムのシミュレーションを行ない入出力装置３
６にその過程を懺示する。

次に第３図の個々の構成要素について説明する。

全体構成テーブル３１の構成を第４図に示す。図におい
てシステムを構成するプロセス名記憶域（ＰＲ１〜ＰＲ
Ｉ　）４ａはシステムを構成するプロセスの識別名（以
降プロセス名）が記憶されている記憶域である。ここで
ｉは、シミュレーション対象システムを表現する上で必
要となるプロセスの個数である。

機能名記憶域（ＦＮＫｉ、１，１〜ＦＮＫｉ。

ｉ、ｊ）４ｂはシステムを構成するプロセス名記憶域に
記憶されているプロセス間において、列のプロセスの持
つ機能の内、行のプロセスよシデータを入力し、変換出
力する機能の機能名が記憶されている記憶域。ここでｉ
は上記と同様の意味でおる。ｊは列のプロセス−の持つ
機能の内、行のプロセスが利用する機能の総数である。

入力データ構造名記憶域（ＩＤ８１，１，１〜ＩＤ８１
１　’ｌ　Ｊ　）’Ｃは機能名記憶域に対応し、機能名
記憶域に記憶されている機能が入力するデータ構造名が
記憶されている記憶域。ここでｉ。

ｊは上記と同様の意味でおる。

出力データ構造名記憶域（ＯＤＳＩ、１．ｌ〜０ＤＳｉ
、ｉ、ｊ）４ｄは機能名記憶域に対応し、機能名記憶域
に記憶されている機能が出力するデータ構造名が記憶さ
れている記憶域。ここでｉ。

ｊは上記と同様の意味である。

システム構成テーブル３２の構成を第５図に示す。図に
おいて機能名又は、プロセス名記憶域（ＰＦＩ〜ｐｐｉ
）５ａはシステム構成テーブルで機能（含むプロセス）
単位に記憶されてお如、各機能（含むプロセス）の構成
が記憶されている記憶域である。ここでｉは、シミュレ
ーション対象システム全体で必要となる機能及びプロセ
スの総数である。

トラジション名記憶域（ＴＭＩ〜ＴＭｍ）５ｂはトラク
ションを識別する識別名が記憶されている記憶域。ここ
でｍは、シミュレーション対象システムを表記する上で
必要となるトラジション名の個数でちる。

機能名記憶域（ＮＦＩ〜ＮＦｍ）５Ｃはトラジション名
記憶域と対応し、該トラクションが行なう機能の機能名
が記憶されている記憶域。ここでｍは、上記と同様の意
味である。

機能の詳細の存在フラグ記憶域（ＮＦＦＩ〜ＮＦＦｍ）
５ｄは機能名記憶域と対応し、該機能名記憶域の機能名
の機能が他のシステム構成テーブルによシ詳細化されて
いるか、いないかが記憶されている記憶域。ここでｍは
、上記と同様の意味である。

作業依頼状態フラグ記憶域（ＷＳＦＩ〜Ｗ８Ｆｍ）５ｅ
は機能の詳細の存在フラグ記憶域と対応し、トーク／が
、他のシステム構成テーブルに移動しトークンがもどっ
て来るのを待っている状態か、どうかが記憶されている
記憶域。ここでｍは、上記と同様の意味でおる。

プレース名記憶域（ＰＭＩ〜ＰＭｎ）５ｆはトークンが
待機する場所を識別する識別名（以降プレース名）が記
憶されている記憶域。ここでｎは、シミュレーション対
象システムを表現する上で必要となるプレース名の個数
である。

データ構造基記憶域（ＤＳＭ１〜Ｄ８Ｍｎ　）５ｇはプ
レース名記憶域と対応し、該プレースに待機するトーク
ンが保持しなければならないデータ構造基が記憶されて
いる記憶域。ここでｎは、上記と同様の意味である。

トークンの存在フラグ艷憶域（ＴＦＭＩ〜ＴＦＭｎ）５
ｈはプレース名記憶域と対応し、該プレースにトークン
が存在するかしないかを示すフラグが記憶されている記
憶域。ここでｎは、上記と同様の意味である。

プレースとトラクションの関係記憶域（ＰＴＭＩ。

１〜ＰＴＭｎ、ｍ）５ｔはプレース名記憶域とトラシシ
ョン名記憶域に対応しておシ、プレーストトラジション
の間の関係がどの様なものであるかが記憶されている記
憶域。その関係、とけ、プレースからトラジションヘト
ークンが移動できる関係。

トラクションからプレースへトークンが移動できる関係
、トラクションとトークンの間に何も関係がない、とい
う関係である。ここでｎ、ｍは、上記と同様の意味であ
る。

トークンの移動条件記憶域（ＴＴＭＩ、１〜ＴＴＭｎ、
ｍ）５にはプレースとトラクションの関係記憶域と対応
し、トークンが、プレースから複数のトラクションへ移
動できる場合、トークンがどのトラクションへ移動する
かを示す条件が記憶する記憶域。ここでｎ、ｍは上記と
同様の意味である。

次にデータ構造テーブル３２の構成を第６図に示す。図
においてデータ構造基記憶域（Ｄ８Ｅ１〜ＤＳＥｉ）６
ａはデータ構造の持つ名前であるデータ構造基が記憶さ
れている記憶域。ここでｌは、シミュレーション対象シ
ステムを表現する上で必要となるデータ構造基の個数で
ある。

下位データ構造病記憶域（ＤＵＥＩ〜ＤＵＥｋ）６Ｃは
データ構造基記憶域に対応し、データ構造基記憶域内に
記憶されているデータ構造基がもつ下位のデータ構造基
が記憶されている記憶域。ここでｋは、データ構造基が
持つ下位データ構造基の総数である。

関係記憶域（ＤＲＭ１〜ＤＲＭ、）６ｂはデータ構造基
記憶域に対応し、データ構造基が下位データ構造基をど
の様々関係にあるかが記憶されている記憶域。ここでＪ
は、シミュレーション対象システムを表現するデータ構
造を作成する上で必要となる関係の個数である。

プロセッサかう成ルシミュレーションシステム３０は第
７図に示す如きフローチャートの内容を実行する。

本シミュレーションシステム３０の動作全具体例を用い
て説明する。具体例として第８図の様に記述したシステ
ムを用いる。第８図（ａ）は、システム構成が単純な場
合の例である。第８図（ａ）はホストコンピュータには
複数のキャッシュディスペンサが接続されているが、そ
のうちの１台とホストコンピュータの例を示している。

プロセス名キャッシュディスペンサ、ホストコンピュー
タノ関係を示している。キャッシュディスペンサからホ
ストコンピュータに伝送されるデータ構造基は「払出し
データタ１ｊ」、ホストコンピュータからキャッシュデ
ィスペンサへ伝送されるデータ構造基は「払出し金額夕
１月である。ホストコンピュータでは、キャッシュディ
スペンサからのデータ構造を入力・変換・出力をおこな
う機能、す々わち残高の確認という機能を実行する。

第８図（ｂ）、　（ｃ）はプロセス間を流れるデータ構
造を示している。例えばデータ構造基「払出しデーメタ
１月と払出しデータとの関係は時間列で表わされること
を示している。

第８図（ｄ）〜（ωは、機能内部を示したものである。

第８図（ｈ）は、第８図（ｄ）〜（めで示されたデータ
構造名の一部のデータ構造を示したものである。Ｐはプ
レース、Ｔはトラジショ／を示している。

第８図（ａ）は、システムは、「キャッシュディスペン
サ」と「ホストコンピュータ」というプロセスよシ成シ
立ち、キャッシュディスペンサとホストコンピュータの
間には、「払出しデータ列」「払出し金額列」というデ
ータのやシとシがある。

第８図（ｂ）はキャッシュディスペンサからホストコン
ピュータに伝送されるデータ構造基「払出しデータ列」
の構成を示し、「払出しデータ列」は口座番号と払出し
金額から成る払出しデータの時間列として与えられてい
ることを示している。

第８図（ｄ）はキャッシュディスペンサのペトリネット
モデルを示している。Ｐｔ〜６はプレース、’Ｉ’ｔ、
ｓはトラクションを示している。

トラクションＴ４の持つ機能「ホストコンピュータ：残
高の確認」は、キャッシュディスペンサにおいて本機能
を実行するのではなく、「ホストコンピュータ」の持つ
機能「残高の確認」にデータを送ることによシ、結果の
データを得ることを示している。すなわち、本機能実行
時に、プロセス間でデータのやりとりが行なわれること
を示している。

シミュレーションシステムａｏは、１ｆ初ａ６に第７図
のステップ７１においてシミュレーションで必要となる
全体構成テーブル、システム構成テーブル、データ構造
テーブルの初期設定を、第３図システム設定プログラム
３４によシ行なう。全体構成テーブルは、第８図（ａ）
に示された情報に基づいて作成する。ここでこの実施例
の全体構成図を第９図に示す。ホストコンピュータは複
数のキャッシュディスペンサとつながっている。ホスト
コンピュータの「残高の確認」という機能はキャッシュ
ディスペンサにも利用される機能である。

そして、「残高」というプレースと、キャッシュディス
ペンサの「払出し金額」というプレースおよび「口座番
号」というプレース全てにトークンが存在するときに実
行される。なお１つのキャッシュディスペンサがホスト
コンピュータの「残高の確認」を利用している場合には
、他のキャッシュディスペンサは「残高の確認」、「払
出し金額１１０座番号ＪＫ）−クンを設定することが出
来力いため待たされることになる。

第８図（ａ）の情報を反映した全体構成テーブルを第１
０図に示す。システム構成テーブルは、第８図（ｄ）〜
（功に示された情報に基づき作成する。第８図（中の情
報を反映したシステム構成テーブルを第５図にならい作
成し第１１図に示す。第８図（ｅ）〜（ロ）についても
同様に作成する。（本例では、記述を省略している。）
第１１図において、トークンの存在フラグ記憶域５ｈは
、「非存在」に、作業依頼状態フラグ記憶域は、「非待
ち」とする。データ構造テーブルは第８図（ｂ）　、　
（Ｃ）　、　（ｈ）に示された情報に基づき作成する。

第８図（ｂ）、　（ｃ）、　（ｈ）の情報を反映したデ
ータ構造テーブルを第１２図に示す。

さらにシミュレーションの開始位置に各プロセス単位に
、１ヶ以上のトークンを設定する。以上の初期データの
設定を行なう。

以下シミュレーションの例を示す々ζ今回は、第８図（
ｄ）のＰｌ及び筑８図（ｆ）のＰ２にトークンを設定し
た場合について示す。

第７図のステップ７２では、全てのシステム構成テーブ
ルの全てのトークンの存在フラグ記憶域を調ベトークン
が「存在」するプレースを全て検索する。本例の場合は
、キャッシュディスペンサのＰ、及びホストコンピュー
タのＰ２である。

第７図ステップ７３では、ステップ７２で明らかになっ
た個々のトークンに対し、システム構成テーブルのプレ
ースとトラクションの関係を調べる。すなわち「プレー
スからトラクションへの移動」という関係が２個以上ぬ
るか、１個か、１個もないかを調べる。本例の場合は、
「キャッシュディスペンサのＰｌはＴ２へ」、「ホスト
コンピュータのＰｚはＴｔへ」の移動先トラクションが
存在する。

ステップ７４では、ステップ７３で判明した次に実行で
きる機能がシミュレーションできるかどうかを判定する
。ステップ７３で調べたプレースとトラクションの関係
の個数が２個以上存在している場合は、トークンの移動
先が決定できずステツブ７５を行なう。本例ではキャッ
シュディスペンサのＰ！にあるトークンはトラクション
Ｔｍに、ホストコンピュータのＰ８におるトークンはト
ラクションＴ２に移動できる。よってステップ７７を行
なう。

ステップ７５では、プレースとトラジショ／の関係で「
プレースからトラクションへの移動」という関係が記憶
されているものに対応する。トークンの移動条件記憶域
の内容を入出力装置３６の表示装置に表示しトーク／が
移動すべきトラクションの選択要求をする。

ステップ７６では、入出力装置３６の入力装置よシ情報
入カプログラム３５を用いて、トーク／の移動先である
トラクションを入力する。

ステップ７７では、ステップ７４及びステップ７６で調
べた移動先のトラクションの同期について確認する。す
なわち第５図においてステップ７４、ステップ７６で明
らかになった移動先のトラクションについて「プレース
からトラクションへの移動」関係があるプレース塩に対
応するトークンの存在フラグが全て「存在」を示してお
シ、「トラクションからプレースへの移動」関係がある
プレース塩に対応するトークンの在存フラグが全て「非
存在」を示しているかを調べる。なおその時に、トーク
ンの移動条件記憶域が存在する場合は、ステップ７６で
移動先トラクションが選択されたかを調べる。

移動先のトラクションのないトークンについては、該ト
ークンの存在するシステム構成テーブル内で、他に「プ
レースからトラクションへの移動」関係を持たない全て
のプレース塩のトークンの存在フラグが「存在」の場合
は、同期がとれたとする。それ以外は同期がとれないと
する。

ステップ７８では、ステップ７７によシ調べた結果によ
り、トークンの存在フラグが全て「存在」を示し、移動
先プレースにトークンがなく、トークンの移動条件があ
る場合に、移動先トラクションが選択されている場合同
期がとれたとし、ステップ７９に移動する。それ以外は
、ステップ７２に移動する。本例の場合は、両トークン
とも、同期がとれておシ、両トークンともステップ７９
を行なう。

ステップ７９では、第５図の移動すべきトークンの移動
先のトラクションが存在する場合は、そのトラクション
の機能の詳細の存在フラグ記憶域５ｄを調べ、「機能な
し」の状態の場合は、移動先のトラクションのプレース
とトラクションの関係記憶域の「プレースからトラクシ
ョンへの移動」関係のあるプレース塩のトークンの存在
フラグ記憶域のデータを「非存在」にし、「トラクショ
ンからプレースへの移動」関係のあるプレース塩のトー
クンの存在フラグ記憶域５ｔのデータを「存在」とする
。５ｔは「０」：関係なし、「１」ニブレースかラトラ
ジションへの移動ｒ−ＩＪ：）ラジションからプレース
への移動とする。

「機能詳細あシ」の状態の場合は、該トラクションに対
応する作業依頼状態フラグ記憶域５ｅを「他システム構
成テーブルへトークン移動中」とし、「１」１機能名記
憶域の機能名と７致する他のシステム構成テーブルの［
機能名又はプロセス名記憶域」に記憶されている識別子
と一致するシステム構成テーブルを調べる。（一致する
システム構成テーブルを以降移動先システム構成テーブ
ル、該トークンの存在するシステム構成テーブルを以降
移動元システム構成テーブルという。）依頼なしのとき
は「０」とする。

移動元システム構成テーブルの、プレースとトラクショ
ンの関係記憶域５ｔにおいて、移動先トラクションから
トークンが移動できるプレース塩の持つデータ構造病を
得る。

移動先システム構成テーブルのデータ構造病記憶域にお
いて該データ構造病と一致するものを調べ、一致するデ
ータ構造病と対応するトークンの存在フラグ記憶域のフ
ラグを「存在」とする。

移動元システム構成テーブルにおいて、移動の対象とな
ったトークンを示す。トークンの存在フラグを「非存在
」とする。

移動すべきトークンの移動先のトラクションが存在しな
い場合は、該トークンの存在するシステム構成テーブル
（以降移動元システム構成テープル）の「機能名又はプ
ロセス名記憶域」の機能名及び該トークンの存在するプ
レース名に対応するデータ構造基を調べる。（以降移動
元機能名、移動元データ構造基） 次に、他のシステム構成テーブルの機能名記憶域を調べ
移動元機能名と一致するものを調べる。

一致した場合は、一致した機能名に対応する作業依頼状
態フラグ記憶域のデータが「他システム構成テーブルへ
トークン移動中」か確認する。一致しない場合は、続け
て調べる。一致した場合は、作業依頼状態フラグ記憶域
のデータを「非待ち」とし、移動元データ構造基と一致
するデータ構造基を持つプレース名の、トークンの存在
フラグ記憶域を「存在」とし、移動元システム構成テー
ブルの移動対象となったトークンを示すトークン存在フ
ラグを「非存在」とする。

ステップ８０では、トークンの通過したトラクションの
入力データ構造と出力データ構造を作成する。すなわち
前ステップでのトラジション名と関係を持つ全てのプレ
ース名のプレースに存在したトークンが保持していたデ
ータ構造を第６図を参照して作成する。すなわちデータ
構造を作成するプレース名に対応するデータ構造基をキ
ーにしデータ構造テーブルよシデータ構造名と下位のデ
ータ構造基との関係とその下位のデータ構造基を調べる
。調べた結果得られた下位のデータ構造基についてさら
に同様に調べる。調べた結果下位のデータ構造基が全て
存在しない場合までくシ返し行なう。

ステップ８１では、入出力装置３６に上記機能の実行過
程を表記する。本ステップ終了後ステップ７２にもどる
。

この例のシステムシミュレーションを実施した時の表示
過程を第１３図（ａ）〜（ｄ）及び第１４図（ａ）〜（
Ｃ）に示す。ここでは、表示過程は、最上位の機能で実
行したものを示す。

第１３図は、システム全体の動作をマクロに示したもの
で、第１回目の遷移で、キャッシュディスペンサは、「
キャッジカード受付」を実行し、ホストコンピュータは
、「残高の確認」の実行待ちとなった（第１３図（ａ）
）。第２回目の遷移で（第ｘ：［（ｂ））キャッシュデ
ィスペンサは、「払出し金の受付」を実行し、ホストコ
ンピュータは、「残高の確認」の実行待ちのままである
。第３回目の遷移で（第１３図（Ｃ））キャッシュディ
スペンサは、ホストコンピュータの「残高の確認」に作
業を依頼し作業待ちとなり、ホストコンピュータは、「
残高の確認」を実行する。第４回目の遷移で（第１３図
（ｄ））キャッシュディスペンサは「お金の支払」を実
行し、ホストコンピュータは「残高の更新」を行なう。

なお第３回目の遷移時に、「払出しデータ」が、キャッ
シュディスペンサからホストコンピュータに移動し、第
４回目の遷移時に、「払出し金額」がホストコンピュー
タからキャッシュディスペンサにわたされている。

第１４図（ａ）〜（Ｃ）は、具体的なトークンの移動に
よるデータ構造の変換過程を示している。表示例の内（
Ｃ）は、１回目の遷移時の表示である。

第１４図で「・」印はトークンの初めの位置を、「○」
印は１回目の位置を、「＾」印は２回目の位置を、「△
」印は３回目の位置を、「−」印は４回目の位置を示し
ている。

第１５図（ａ）、（ｂ）は機能シミュレーション中の第
１１図に示されたトークン存在フラグの変化を示してい
る。（ａ）はキャッシュディスペンサにおけるトークン
の存在フラグでアシ、第１４図（ａ）に対応している。

また第１５図（ｂ）はホストコンピュータにおけるトー
クンの存在フラグで第１４図（ｂ）に対応して示した。

〔発明の効果〕

本方式を用いることによ）、大規模で複雑なシステムに
おいても分散処理システムの機能シミュレーションを適
格に実施することができる。

【図面の簡単な説明】

第１図、第２図は、従来技術の例を、第３図は本発明の
実施例の全体構成図を、第４図は全体構成テーブルの構
成を、第５図はシステム構成テーブルを、第６図はデー
タ構造テーブルを、第７図はシミュレーションシステム
の処理フローラ、第８図（ａ）〜（ｈ）は具体例を、第
９図は第８図の全体構成を、第１０図は全体構成テーブ
ルを、第１１図は第８図のシステム構成テーブルを、第
１２図はデータ構造テーブルを、第１３図（ａ）〜（ｄ
）、第１４図（ａ）〜＜Ｃ＞はシミュレーションの過程
を、第１５図（ａ）（ｂ）は機能シミュレーション中の
トークン存在フラグの変化を示している。 ３０・・・シミュレーションシステム、３１・・・全体
構成テーブル、３２・・・システム構成テーブル、３３
・・・データ構造テーブル。 茅１図 ｔ 第　３　図 第　１＋　図 第　５　図 記榎懺記・罠賊　記硯域 第　７　図 第　８　図 フｅロｔス 第　８　口 第９図 キヤ・／ムデンス■ン＋ｊｚ 第　１０　図 第　ＩＩ　図 ｖ、１２　図 第１３図 第　Ｉ４　図 第　１５　図 （ａ） （ｂ）

Claims (1)

1. 【特許請求の範囲】 １、複数の機能が非同期に動作し、複数構成システムか
   ら成る分散システムの機能シミュレーションをおこなう
   方法であって前記複数の構成システムは他の構成システ
   ムとの間で情報を交換しつつ前記それぞれの構成システ
   ムが独自に処理をおこなうシステムの機能シミュレーシ
   ョン方法において、 前記複数構成システムから成る分散システムの構成を特
   定する構成情報を全体構成テーブルに記憶し、 前記構成システムを機能単位にかつ情報の処理として定
   義されるトランジション、データ構造の集合として定義
   されるトーク／とトークンの移動条件、前記トークンが
   待機するシステム上の位置としてのプレースをシステム
   構成テーブルに記憶し、 前記処理データのデータ構造をデータ構造テーブルに記
   憶し、 システムシミュレーションプロクラムニヨＤ−ｊ’−タ
   処理に伴なうデータ構造変化とともにトレースし前記分
   散システムの機能をシミュレーションすることを特徴と
   するシステム機能シミュレーション方法。