(57)【特許請求の範囲】
【請求項１】
プロセス装置のための新しい状態を決定する方法であって、該プロセス装置は、トリガ事象を受信して該プロセス装置のための前記新たな状態を決定する論理エンジンを含んでおり、該論理エンジンは、第１のトリガ事象を受信すると、
（ａ．１）該第一のトリガ事象に対応する第一のプロセス条件を満足するかどうかを検出するステップと、
（ａ．２）検出された前記プロセス条件を満足する場合には、該第一のプロセス条件に対応する第一の状態を前記新たな状態として決定するステップと、
（ａ．３）検出された前記プロセス条件を満足しない場合には、追加のプロセス条件を自動的に検出し、該追加のプロセス条件に基づいて、前記プロセス装置のための前記新たな状態を決定するステップと
を実行するものである方法。
【請求項２】
前記プロセス装置の初期状態を決定するために、前記論理エンジンが前記追加のプロセス条件の全てを起動時に実行する請求項１に記載の方法。
【請求項３】
（ｂ）第二のトリガ事象を受信して前記プロセス装置の状態を決定するステップが、
（ｂ．１）前記第二のトリガ事象に対応する第二のプロセス条件を満足するかどうかを前記論理エンジンが検出するステップと、
（ｂ．２）検出された前記第二のプロセス条件を満足する場合には、該第二のプロセス条件に対応する第二の状態を前記論理エンジンが決定するステップと、
（ｂ．３）検出された前記第二のプロセス条件を満足しない場合には、前記論理エンジンが追加のプロセス条件を自動的に検出し、追加のプロセス条件に基づいて、前記プロセス装置のための前記新たな状態を選択するステップと
を実行する請求項１に記載の方法。
【請求項４】
プロセス装置の第一のトリガ事象を受信して該プロセス装置のための新たな状態を決定する動的なリアルタイム論理エンジンを含むインテリジェント型論理行動分解システムであって、前記第１のトリガ事象の受信に応答して前記論理エンジンはプロセス条件の集合を検出するものであり、該プロセス条件の集合は前記第１のトリガ事象の種類に基づいて選択されるものであり、異なるプロセス条件は異なるトリガ事象の種類のために検出されるものであり、ここで、前記論理エンジンは、前記検出されたプロセス条件の集合を満足すると判断した場合には前記第１のプロセス条件の集合に対応する第１の状態を新たな状態として決定し、前記検出されたプロセス条件の集合を満足しないと判断した場合には追加のプロセス条件を自動的に検出し、該追加のプロセス条件に基づいて、前記プロセス装置のための前記新たな状態を決定するものである、インテリジェント型論理行動分解システム。
【請求項５】
前記論理エンジンが、第二のトリガ事象を受信すると、前記第二のトリガ事象に対応する第二のプロセス条件の集合を検出し、該第二のプロセス条件の集合が満足する場合には該第二のプロセス条件の集合に対応する第二の状態を入力し、該第二のプロセス条件の集合が満足しないと判断した場合には、追加のプロセス条件を自動的に検出し、追加のプロセス条件に基づいて、前記プロセス装置のための前記新たな状態を決定する請求項４に記載のシステム。
【請求項６】
前記プロセス装置の現在の状態に基づいて、前記論理エンジンが追加のプロセス条件を選択することを特徴とする請求項４に記載のシステム。
【請求項７】
プロセス装置の種類と、プロセスのトリガ事象と、追加のプロセス条件及び事前に定義されたプロセス条件とをユーザが指定できるようにするためのグラフィカルユーザインターフェースをさらに含む請求項４に記載のシステム。
【請求項８】
前記論理エンジンと前記トリガ事象を検出する前記プロセス装置の監視手段との間の通信を助ける分散型メッセージハブを更に含む請求項４に記載のシステム。
【請求項９】
複数の規定されたトリガ事象から任意のトリガ事象が発生すると、リアルタイム論理エンジンが、複数のプロセス条件からプロセス条件の集合を自動的に検出した結果に基づいて、現在のプロセス状態を判断し、異なる種類のトリガ事象のために異なるプロセス条件を検出する、プロセスの以前の履歴とは独立に現在のプロセス状態を判断するステップであって、ここで、複数の規定されたトリガ事象から任意のトリガ事象が発生すると、
前記複数のプロセス条件の集合の部分集合と、前記ユーザにより事前に定義されたプロセス条件の集合の部分集合とを、前記論理エンジンが実行するサブステップと、
該プロセス条件の集合の部分集合内の全てのプロセス条件を満足する場合には、前記論理エンジンが前記現在のプロセス状態を第１の状態に設定するサブステップと、
該プロセス条件の集合の部分集合内の任意のプロセス条件の集合を満足しない場合には、前記論理エンジンが前記複数のプロセス条件の集合から追加のプロセス条件の集合を検出して前記現在のプロセス状態を決定するサブステップと
を実行するものであるステップを含む、プロセス用にプロセス状態を決定するための方法。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は自動プロセス制御に関するものであり、より具体的には自動プロセス制御システム内部のインテリジェントな論理的アクティビティー分析の使用に関する。
【０００２】
【従来の技術】
自動製造プロセス制御において採用されている現在の手法は、予め定義された挙動の予測をあるプロセスに課す為の静的接続型状態遷移モデル（ｓｔａｔｉｃ  ｃｏｎｎｅｃｔｅｄ  ｓｔａｔｅ  ｔｒａｎｓｉｔｉｏｎ  ｍｏｄｅｌ）に限定されている。
【０００３】
標準的な状態遷移モデル（ｓｔａｎｄａｒｄ  ｓｔａｔｅ  ｔｒａｎｓｉｔｉｏｎ  ｍｏｄｅｌ）においては、各状態は、固定遷移事象に基づいて限定された数の他の状態にしか遷移できない。例えば、第一の状態の製造プロセスは、第一の遷移事象の発生により第二の状態に、或いは第二の遷移事象の発生により第三の状態へとしか遷移できないのである。他の全ての状態及び遷移事象は無効とみなされる。この静的状態遷移プロセスモデル（ｓｔａｔｉｃ  ｓｔａｔｅ  ｔｒａｎｓｉｔｉｏｎ  ｐｒｏｃｅｓｓ  ｍｏｄｅｌ）のもとでは、第一の状態において第三の遷移事象が生じると、モデルは次の有効状態を決定できない。代わりに、システムは、例えば、アラームを発してこの製造プロセスを停止させる。
【０００４】
【発明が解決しようとする課題】
標準的な状態遷移モデルに基づいた自動製造プロセス制御システムのさらなる制約事項は、状態モデルの静的な性質である。このようなシステムは、大幅な手動操作を行わない限り新たな状態及び遷移事象に適応することが出来ない。
【０００５】
本発明の推奨される実施例によれば、プロセスに対してインテリジェントな論理的アクティビティー分析（intelligent logic activity resolution：以下、「ＩＬＡＲ」と呼ぶ）を提供する。第一のトリガ事象を受信するプロセス条件の第一の部分集合を検出する。第一の部分集合の条件を第一のトリガ事象に基づいて選択する。第一の部分集合の条件が予定された値に一致した場合には、第一の状態を入力する。第一の部分集合の条件が予定された値と一致しなかった場合には、追加の条件を照合する。照合した追加の条件に基づいて入力すべき新たな状態を選択する。
【０００６】
推奨される本発明の実施例においては、条件の第一の部分集合の検出を、条件の第一の部分集合中の各条件を検出する個別のメタプロシージャ（metaprocedure）を実行することにより行う。メタプロシージャとは、条件の自動照合を実行するソフトウエア機能である。メタプロシージャは、メッセージの外部システムへの送出や、またはそのプロセスに関連するデータ変数の記憶及び検索といった非状態変化関連機能を実行できる。推奨される実施例においては、各条件は、単一のメタプロシージャにより表示される。
【０００７】
推奨される本発明の実施例においては、プロセスの現在の状態に基づいた部分集合の条件も選択される。
【０００８】
第二のトリガ事象を受信すると、プロセス条件の第二の部分集合を検出する。第二の部分集合の条件を第二のトリガ事象に基づいて選択する。第二の部分集合の条件が予定された値に一致した場合には、それに対応する状態へと入力する。第二の部分集合の条件が予定された値と一致しなかった場合には、追加の条件を照合する。照合した追加の条件に基づき、入力すべき新たな状態を選択する。
【０００９】
本願に記載のＩＬＡＲシステムは、静的接続型状態遷移モデルにおける制約を排除するものである。ＩＬＡＲシステムは状態と遷移事象との関係性を切り離し、各状態及び各遷移事象をユニークな、独立したものとして取り扱う。静的接続型状態モデルのかわりに動的なリアルタイム論理エンジンを利用することにより、ＩＬＡＲは検出された遷移事象に基づいてではなく、全ての検出可能な製造プロセス条件に基づいて帰納的に次の状態を決定する。この方法によれば、ユーザが特定して無効宣言を行わない限り全ての状態及び遷移は常に有効であることになる。これは従来技術による状態装置に比べて大きな利点である。
【００１０】
【発明の実施の形態】
図１は従来技術に基づく標準的な状態遷移モデルを示す。図示した標準的状態遷移モデルにおいては、現在、状態１０１にある製造プロセスは遷移事象１０６の発生により状態１０２へと遷移することが出来る。現在状態１０１にある製造プロセスは遷移事象１０９が発生すると状態１０４に遷移することもできる。製造プロセスが現在状態１０２にある場合には、プロセスは遷移事象１０７の発生により状態１０３へと遷移することができる。他の全ての状態及び遷移事象は無効とみなされる。この静的状態遷移プロセスモデルによれば、状態１０１にある時点で事象１０７が生じた場合には、次の有効状態を決定できない。代わりに、このシステムは、例えば、アラームを発して製造プロセスを停止させる。
【００１１】
図２は本発明の推奨される実施例に基づくインテリジェント型論理行動分解法（ＩＬＡＲ）を示す。本願に記載のＩＬＡＲシステムは、静的接続型状態遷移モデルの制約を排除するものである。ＩＬＡＲシステムは状態と遷移事象との関係を切り離し、状態及び遷移事象の各々をユニークな、独立したものとして取り扱う。静的接続型状態モデルのかわりに動的なリアルタイム論理エンジンを採用することで、ＩＬＡＲシステムは検出し得る全ての製造プロセス条件の分析に基づいて次の状態を決定する。これにより単に検出された遷移事象に基づいて状態遷移を行っている標準的な手法では得られない高い柔軟性を提供できる。
【００１２】
図２を参照すると、ＩＬＡＲ論理決定エンジン１１０は、プロセス状態を決定する為に全ての可能なプロセス条件を照会する１つ以上の独立した決定プロセスから構成されている。照会プロセスは、例えば、ブーリアン論理樹（Ｂｏｏｌｅａｎ  ｌｏｇｉｃ  ｔｒｅｅ）とリンクしており、プロセス照会に基づいて決定を行うことができる。
【００１３】
本発明の推奨される実施例においては、ＩＬＡＲシステムをプログラムするユーザが特定して無効宣言を行わない限り、全ての状態及び遷移は常に有効である。ＩＬＡＲ論理決定エンジン１１０は特定的に無効宣言された事象を検出した場合には、静的状態モデルと同様にアラームを発してプロセスを停止するという行動を取る。無効宣言をされていない状態を生じることになる遷移事象であって、以前に検出されたことがない事象が発生した場合には、ＩＬＡＲ論理決定エンジン１１０は正しいプロセス状態を再確立する為にディファレンシア（ｄｉｆｆｅｒｅｎｔｉａ）として知られるユーザ定義のデフォルトのメタプロシージャ（ｍｅｔａｐｒｏｃｅｄｕｒｅ）を実行する。この方法によれば、ＩＬＡＲ論理決定エンジン１１０は新たな製造プロセス条件をリアルタイムで検出して通知できる。
【００１４】
従って、図２に示したように、状態１１１と状態１１２と状態１１３とは独立した状態位置であり、これらが動的に割り当てられた事象遷移１１６、１１７、１１８、１１９によってリンクする。この構成によれば、リアルタイムでプロセス実行時の行動決定を提供できるようにＩＬＡＲ論理決定エンジン１１０を容易に適合及び変更できる。
【００１５】
図２に示した構成であれば、遷移および異なるプロセスからの状態をＩＬＡＲ論理決定エンジン１１０中のより高次の論理決定エンジンへと併合できる。これによりＩＬＡＲ論理決定エンジン１１０はプロセスのより広い範囲を監視及び制御できる。製造プロセスの動的性質を、ＩＬＡＲ論理決定エンジン１１０の動的設定能力により表示する。
【００１６】
更に、図２に示した構成によれば、状態及び遷移の各々に時間パラメータを割り当てることができる。状態又は遷移が時間パラメータをトリガした場合には、ＩＬＡＲ論理決定エンジン１１０は特定のプロセス遷移がなくても実行できる。このようにすれば、プロセス活動が行われていない状況も検出及び監視できる。
【００１７】
図３は製造プロセスに実現した特定のＩＬＡＲシステムを示す概略ブロック図である。
【００１８】
図３に示したように、１台以上の装置が実施する処理によりプロセスを構成している。図３において、これをプロセス装置１２１により表現している。プロセス装置１２１は、例えば、アジレントテクノロジー社から販売されている試験装置Ａｇｉｌｅｎｔ８３０００等でも良い。代わりに、プロセス装置１２１は材料ハンドラ、またはワークステーションにより管理可能な他のプロセス装置でありうる。
【００１９】
プロセス装置１２１は、プロセス装置ワークステーション１２２により管理される。プロセス装置ワークステーション１２２においては、ワークステーションオペレーティングシステム（以下、「ＯＳ」と呼ぶ）１２６が起動している。ワークステーションＯＳ１２６は、例えば、ＵＮＩＸ、Ｗｉｎｄｏｗｓ  ＮＴ、Ｌｉｎｕｘ、または他の市販のＯＳである。
【００２０】
ＩＬＡＲシステムは、ローカル端末上でスクリプト１２５を使って所要の条件照合機能を実行する。ローカルＩＬＡＲプロセス１２４は、スクリプト１２５の実行をＩＬＡＲサーバワークステーション１２８から送られる命令に基づいて調整する。ローカルＩＬＡＲプロセス１２４は接続１２７を介してプロセストリガ事象をＩＬＡＲサーバワークステーション１２８へと伝送する際の調整も行う。例えば、ＴＣＰ／ＩＰネットワークの一部として接続１２７を実施する。
【００２１】
ＩＬＡＲワークステーション１２８内部で、ワークステーションＯＳ１２８が起動している。ワークステーションＯＳ１２９は、例えば、ＵＮＩＸ、Ｗｉｎｄｏｗｓ  ＮＴ、Ｌｉｎｕｘ、または他の市販のＯＳである。図３は、ワークステーションＯＳ１２９内で実行される様々なソフトウエア処理を描いている。これらのソフトウエア処理が、ローカルＩＬＡＲプロセス１２４と共にＩＬＡＲシステムを構築している。
【００２２】
分散型メッセージハブ１３０は、処理ワークステーション１２２からのプロセストリガ事象等のプロセス間通信を提供する。分散型メッセージハブ１３０は、例えば、Ｈｕｍｅ  Ｉｎｔｅｇｒａｔｉｏｎ  Ｓｅｒｖｉｃｅｓ社（住所：３５  Ｓｕｎｄｏｗｎ  Ｐａｒｋｗａｙ，  Ａｕｓｔｉｎ，  Ｔｅｘａｓ  ７８７４６）のＨｕｍｅ  Ｉｎｔｅｇｒａｔｉｏｎ  Ｓｅｒｖｉｃｅｓ  Ｄｉｓｔｒｉｂｕｔｅｄ  Ｍｅｓｓａｇｅ  Ｈｕｂメールボックスサーバを利用して実現できる。Ｈｕｍｅ  Ｄｉｓｔｒｉｂｕｔｅｄ  Ｍｅｓｓａｇｅ  Ｈｕｂは、ＴＣＰ／ＩＰネットワークにおいて実行されるアプリケーション用のプロセス間通信を提供する高レベルのソフトウエア機能である。
【００２３】
例えば、ローカルＩＬＡＲプロセス１２４、またはプロセス装置ワークステーション１２２、またはプロセス装置を制御する為に用いられる他のワークステーション上に存在する他の発信元接続処理等のような、いずれの発信元接続処理（装置、ドライバプロセス、ユーザ等）も、特定の外部ソースから分散型メッセージハブ１３０にあるＨｕｍｅメールボックス（ｍｂｘ）システム中のメールボックスメッセージを通じてデータを要求して提示する。
【００２４】
ＩＬＡＲ実行エンジン１３１はプロセス装置１２１（及び潜在的に他の装置）の現在の状態についての決定を行う。ＩＬＡＲ実行エンジン１３１は、感知している状態が変化した場合に作動する。実行される動作は、ＩＬＡＲシステム内部におけるプロセス装置状態表示の更新を含み、プロセス装置ワークステーション１２２へのメッセージの生成、ユーザからの情報の要求及び／又はユーザへのメッセージの表示を含みうる。
【００２５】
ユーザはＩＬＡＲグラフィカルユーザインターフェース１３３を使用してデータベース１３７中にプロセス装置タイプ及びプロセストリガ事象を指定する。データディストリビュータ１３７は、実行時にＩＬＡＲ実行エンジン１３１が使用するランタイム装置データベース１３５を装置データベース１３６から作成する。図３のブロック１３２に示したように、ユーザはグラフィカルユーザインターフェース１３３を使って、プロセス分析メタプロシージャ及びプロセス状態ディファレンシアを定義して保存する。実行エンジンが従う決定ロジックはユーザにより定義されたものであり、ＳＱＬデータベース１３５中にある。論理ユニット及びそれらの間のリンクから決定ロジックを構成する。ＩＬＡＲ実行エンジン１３１は、ランタイムプロセス状態変数及び他のランタイム情報をＳＱＬデータベース１３４内に記憶する。
【００２６】
グラフィカルユーザインターフェース１３３は、ＪＡＶＡベースのもので、Ｈｕｍｅ  Ｄａｔａ  Ｈｕｂツールを使って集中装置データベース１３７を作成して記憶する。推奨される実施例においては、ＩＬＡＲ実行エンジンはＨｕｍｅ  Ｄａｔａ  Ｈｕｂ  ｍｂｘ及びデータベース拡張部を使用してｔｃｌで書かれたものである。発信元接続処理は、発信元の通信方法及びＨｕｍｅ  ｍｂｘシステムへの書き込み条件に適したものであればいずれの言語で書かれたものでも良い。
【００２７】
ＩＬＡＲシステム全体は、その固有のプロセス論理構造を有効活用するものである。上述したように、プロセスは１台以上の装置が行う処理から構成される。各装置をその種類により定義する。
【００２８】
直線的に連続時間にわたり、プロセスは一連の状態を経ることになる。例えば、ある状態では材料を積載する。別の状態では材料を試験する。第三の状態ではプロセスシステムを校正する等である。
【００２９】
各プロセスは１つ以上の識別可能なプロセス条件を有している。例えば、あるプロセス条件では、操作者をプロセスシステムへとログインする。別のプロセス条件では、試験プログラムをロードする。別のプロセス条件では、試験プログラムを実行する。別のプロセス条件では、材料ハンドラによる材料のプロセス用チャンバへの移動等が挙げられる。
【００３０】
各状態は、１つ以上のプロセス条件を含むユニークな集合により識別できる。例えば、あるプロセス条件集合においては、操作者による処理システムへのログインと、試験プログラムのロードと、試験プログラムの起動との条件が全てＴｒｕｅの場合に、「試験」状態を識別する。
【００３１】
１つの状態から次の状態への遷移は、プロセス事象と捉えられる。このプロセス事象の発生をプロセストリガ事象と呼ぶ。プロセストリガ事象は、例えば、材料が積載された時に発生する。プロセストリガ事象は、試験が開始された時に発生する。プロセストリガ事象は、試験が終了した時に発生する。プロセストリガ事象は、材料が取り外された時等に発生するといったものである。
【００３２】
プロセストリガ事象を監視することにより、１つの状態から次の状態への遷移を検出する。
【００３３】
ＩＬＡＲシステムを実現及び実行する為に、ユーザは５種類のプロセス情報を定義する。５種類のプロセス情報とは、（１）装置タイプと、（２）装置状態と、（３）プロセストリガ事象と、（４）メタプロシージャと、（５）ディファレンシアである。
【００３４】
メタプロシージャとは、条件の自動照合を実施するソフトウエア機能である。各条件は単一のメタプロシージャにより表される。
【００３５】
ディファレンシアとは、プロセス状態を表す定義プロセス条件集合を意味する。各ディファレンシアはユニークなプロセス状態を定義するプロセス条件のユニークな集合を表す。
【００３６】
ＩＬＡＲグラフィカルユーザインターフェース１３３を使って、ユーザは、５つのプロセス情報要素を関連付けることにより特定のプロセス実行インスタンスを定義する。ＩＬＡＲは生成されたプロセス論理を実行することにより機能する。
【００３７】
図４は、ユーザがプログラムしたトリガ事象と、メタプロシージャ及び経時タイマ間の論理関係とを示している。７つのトリガ事象１４１（トリガ事象Ｔ１〜Ｔ７）と、５つのプロセス条件メタプロシージャ１４２（メタプロシージャＭ１〜Ｍ５）と、５つのプロセス事象経時タイマ１４３（経時タイマＥＴ１〜ＥＴ５）とを示している。
【００３８】
下記の表１は、図４に描いた論理関係に対するプロセス実行ロジックを示している。ＩＬＡＲシステムは、プロセスに生じ得る状態の各々についてユニークなプロセス実行ロジック及び表を提供できる。
【００３９】
【表１】
0003623465.tif 000002
【００４０】
表１において、一列目はトリガ事象を列挙している。二列目は、一列目にあげたトリガ事象の各々に対してどのメタプロシージャ（以下、「ＭＰ」と呼ぶ）が起動されるかを示している。三列目は、一列目にあげたトリガ事象の各々に対してどのタイマが始動するかを示している。四列目は、一列目にあげたトリガ事象を受けて二列目のメタプロシージャが起動してパスした場合には、どのプロセス状態（以下、「Ｐ．Ｓ．」と呼ぶ）が設定されるかを示している。五列目は、一列目のトリガ事象を受けて二列目のメタプロシージャが起動してパスしなかった場合には、どのメタプロシージャが起動するか（例えば全てのメタプロシージャ）を示している。六列目は、一列目のトリガ事象を受けて三列目のタイマが始動し、経過して切れた場合にどのメタプロシージャが起動するか（例えば、全てのメタプロシージャ）を示している。タイマが切れると新たなトリガがＩＬＡＲ実行エンジン１３１の入力に発生することにもなる。
【００４１】
メタプロシージャが失敗した、又はタイマが切れたことにより全てのメタプロシージャが実行され場合には、どのメタプロシージャがパスしたかによって状態を設定する。下記の表２は、どのメタプロシージャがパスすると、どの状態が設定されるかを示すものである。
【００４２】
【表２】
0003623465.tif 000003
【００４３】
図５は、ＩＬＡＲシステムの処理を説明するフローチャートである。ステップ１５１においてＩＬＡＲシステムが起動する。ステップ１５２では、プロセスに可能な全ての処理を照会する為に、全てのメタプロシージャを実行する。上述したように、メタプロシージャは条件の自動照合を実施するソフトウエア機能である。条件の各々は１つのメタプロシージャによりあらわされる。
【００４４】
ステップ１５３においては、ＩＬＡＲ実行エンジン１３１が得られた条件のマップを比較するが、このマップは全ての定義プロセス条件集合に対する論理Ｔｒｕｅ及び論理Ｆａｌｓｅの結果を返すものである。これらの条件集合は、ＩＬＡＲシステムにおいてディファレンシアとして知られている。上述したように、各ディファレンシアは、ユニークなプロセス状態を定義するユニークなプロセス条件集合を表す。ＩＬＡＲ実行エンジン１３１は識別したユニークなプロセス状態を結果として返す。
【００４５】
ステップ１５４において、ＩＬＡＲシステムはプロセストリガ事象を待つ。ユーザが予定した期間中にトリガ事象が生じない場合には、これ自体の内部的に発生したトリガ事象（例えば、タイマ切れ）を表示する。
【００４６】
トリガ事象が発生するとステップ１５５へと進む。このステップにおいて、ＩＬＡＲシステムは、プロセスが以前の状態及びトリガ事象に基づいてユーザが予期し得る状態にあるかどうかを判定する為に、ユーザ定義メタプロシージャの部分集合を実行する。
【００４７】
ステップ１５６においては、プロセスが以前の状態及びトリガ事象に基づいてユーザが期待し得る状態にあるかどうかを調べる照合（パスするかどうか）が行われる。パスした場合、ステップ１５７において適正な状態が設定され、ステップ１５４に戻って次のトリガ事象を待つ。
【００４８】
ステップ１５６において、ＩＬＡＲ照合でパスしなかった場合（例えばステップ１５８においてプロセスが以前の状態及びトリガ事象から期待し得る状態にない場合）には、ＩＬＡＲはパスするディファレンシアを再度確立し、適正な状態を決定出来るまで更なるメタプロシージャを走らせる。そして、ステップ１５４に戻って次のトリガ事象を待つ。
【００５１】
上述した本発明の方法例及び実施例は。単に開示して説明したものにすぎない。当業者に明らかなように、本発明は、その精神及び基本的な特性から離れることなく、他の特定の形式によっても実現できる。従って、本発明の開示は、説明の目的で提示したものであり、請求項に示した本発明の範囲を制約するものではない。
【図面の簡単な説明】
【図１】従来技術に基づく標準的な状態遷移モデルの処理を説明するブロック図である。
【図２】本発明の推奨される実施例に基づくインテリジェント論理的なアクティビティー分析法を説明する概念図である。
【図３】本発明の推奨される実施例に基づくインテリジェント論理的なアクティビティー分析システムの概略ブロック図である。
【図４】本発明の推奨される実施例に基づく、トリガ事象と、メタプロシージャと、経時タイマとの間の論理関係を説明する概念図である。
【図５】本発明の推奨される実施例に基づくインテリジェント論理的なアクティビティー分析システムの処理を説明するフローチャートである。
【符号の説明】
１２４  ローカルＩＬＡＲ
１１１〜１１３  状態
１３１  ＩＬＡＲ実行エンジン
１４１  トリガ事象
１４２  メタプロシージャ
【図１】
0003623465.tif 000004
【図２】
0003623465.tif 000005
【図３】
0003623465.tif 000006
【図４】
0003623465.tif 000007
【図５】
0003623465.tif 000008