JP7054033B2 - プロセス実行順序決定プログラム及びプロセス実行順序決定方法 - Google Patents

Description

本開示は、プロセス実行順序決定プログラム及びプロセス実行順序決定方法に関する。

一般に、制御対象の機器において実行される複数のプロセスを設計する場合、設計者は、複数のプロセスの処理内容を把握することにより、各プロセスの実行順序を決定する。

これに対して、例えば、下記特許文献１では、各プロセス間の入出力関係に基づいて、各プロセスを自動で関連付けることで、実行順序を決定する構成が提案されている。

特表２００４－５２１４０２号公報

しかしながら、制御対象の機器において複数のプロセスを正しく実行させるには、実行順序が適切に決定されている必要がある。また、そのためには、単に入出力関係に基づいて各プロセスが関連付けられているだけでなく、各プロセスが矛盾なく関連付けられていることが求められる。一方で、設計者にとって、各プロセスが矛盾なく関連付けられているか否かを確認する作業は、作業負荷が大きい。

本開示は、制御対象の機器において実行される複数のプロセスを設計する際の、各プロセスの実行順序を決定する作業を支援するプロセス実行順序決定プログラム及びプロセス実行順序決定方法を提供する。

本開示の第１の態様は、プロセス実行順序決定プログラムであって、
制御対象の機器において実行される複数のプロセスのうちのいずれかのプロセスが接続された場合に、接続経路内に同一の要素が出現したかを判定する第１の判定工程と、
前記第１の判定工程において判定されたことに応じて、ユーザにより、同一の要素が出現しない接続経路に修正されることで、前記複数のプロセスの実行順序を決定する決定工程と、
前記プロセスの処理内容に含まれるいずれかの変数が、２つ以上のプロセスによって更新されるか否かを判定する第２の判定工程と、
前記プロセスの処理内容に含まれる変数の中に、いずれのプロセスによっても更新されない変数が存在するか否かを判定する第３の判定工程と
をコンピュータに実行させる。

本開示の第１の態様によれば、制御対象の機器において実行される複数のプロセスを設計する際の、実行順序を決定する作業を支援するプロセス実行順序決定プログラムを提供することができる。

また、本開示の第２の態様は、第１の態様に記載のプロセス実行順序決定プログラムであって、
前記要素には、前記プロセスと、前記プロセスの処理内容に含まれる変数のいずれか一方が含まれる。

また、本開示の第３の態様は、第１の態様に記載のプロセス実行順序決定プログラムであって、
前記複数のプロセス全体に対する入力項目及び出力項目を始端及び終端として、プロセスごとに抽出された入力変数及び出力変数をプロセス間で接続することで前記プロセスを接続し、前記接続経路を形成する。

また、本開示の第４の態様は、第１の態様に記載のプロセス実行順序決定プログラムであって、
前記複数のプロセスそれぞれの処理内容に含まれる変数と、前記複数のプロセスとの間の関係性を示す行列を作成し、作成した行列を累乗した結果から特定される、変数を介したプロセス間の接続関係に基づいて前記プロセスを接続し、前記接続経路を形成する。

また、本開示の第５の態様は、第４の態様に記載のプロセス実行順序決定プログラムであって、
前記行列は、前記複数のプロセス及び前記複数のプロセスそれぞれの処理内容に含まれる変数をグラフ理論における頂点とみなし、かつ、前記プロセスと該プロセスに含まれる変数との入出力関係を有向辺とみなした場合の有向グラフの隣接行列である。

また、本開示の第６の態様は、第１の態様に記載のプロセス実行順序決定プログラムであって、
前記第１の判定工程は、
接続経路内に同一の要素が出現したと判定した場合に、判定結果を通知する。

また、本開示の第７の態様は、第３乃至第５の態様に記載のプロセス実行順序決定プログラムであって、
前記複数のプロセス全体に対する入力項目及び出力項目を取得する第１の取得工程と、
前記複数のプロセスそれぞれの処理内容を取得する第２の取得工程と、
前記第２の取得工程において取得された処理内容から、プロセスごとの入力変数及び出力変数を抽出する抽出工程とを更にコンピュータに実行させる。

また、本開示の第８の態様は、第１の態様に記載のプロセス実行順序決定プログラムであって、
前記第２の判定工程において２つ以上のプロセスによって更新されると判定された場合に、報知する報知工程を更にコンピュータに実行させる。

また、本開示の第９の態様は、第１の態様に記載のプロセス実行順序決定プログラムであって、
前記第３の判定工程においていずれのプロセスによっても更新されない変数が存在すると判定された場合に、報知する報知工程を更にコンピュータに実行させる。

また、本開示の第１０の態様は、プロセス実行順序決定方法であって、
第１の判定手段が、制御対象の機器において実行される複数のプロセスのうちのいずれかのプロセスが接続された場合に、接続経路内に同一の要素が出現したかを判定する第１の判定工程と、
決定手段が、前記第１の判定工程において判定されたことに応じて、ユーザにより、同一の要素が出現しない接続経路に修正されることで、前記複数のプロセスの実行順序を決定する決定工程と、
第２の判定手段が、前記プロセスの処理内容に含まれるいずれかの変数が、２つ以上のプロセスによって更新されるか否かを判定する第２の判定工程と、
第３の判定手段が、前記プロセスの処理内容に含まれる変数の中に、いずれのプロセスによっても更新されない変数が存在するか否かを判定する第３の判定工程とを有する。

本開示の第１０の態様によれば、制御対象の機器において実行される複数のプロセスを設計する際の、実行順序を決定する作業を支援するプロセス実行順序決定方法を提供することができる。

設計作業支援装置の利用シーンの一例を示す図である。 設計作業支援装置のハードウェア構成の一例を示す図である。 プロセス実行順序決定処理の流れを示すフローチャートである。 プロセス実行順序決定処理の概要を示す図である。 プロセス実行順序決定部の機能構成の一例を示す図である。 記述部の処理の具体例を示す第１の図である。 記述部の処理の具体例を示す第２の図である。 解析部の処理の具体例を示す第１の図である。 解析部の処理の具体例を示す第２の図である。 決定処理及び循環参照判定処理の流れを示すフローチャートである。 決定部の処理の具体例を示す第１の図である。 決定部の処理の具体例を示す第２の図である。 決定部の処理の具体例を示す第３の図である。 判定部の処理の具体例を示す図である。 チェック部の処理の具体例を示す第１の図である。 チェック部の処理の具体例を示す第２の図である。 報知部の処理の具体例を示す図である。 プロセス間の接続関係を特定する処理の具体例を示す第１の図である。 プロセス間の接続関係を特定する処理の具体例を示す第２の図である。

以下、各実施形態について添付の図面を参照しながら説明する。なお、本明細書及び図面において、実質的に同一の機能構成を有する構成要素については、同一の符号を付することにより重複した説明を省く。

［第１の実施形態］
＜設計作業支援装置の利用シーン＞
はじめに、制御対象の機器において実行される複数のプロセスを設計する際の、設計作業支援装置の利用シーンについて説明する。図１は、設計作業支援装置の利用シーンの一例を示す図である。図１に示すように、設計作業支援装置１１０は、例えば、機器システム１０に含まれる制御対象の機器において実行される複数のプロセスについての制御プログラムを提供する。

なお、図１において、機器システム１０は、複数のユニットを有し、それぞれのユニットにおいて、複数種類の機器（機器Ａ、機器Ｂ）が、ユニット外の機器（機器Ｃ）と連携して動作するシステムである。ただし、設計作業支援装置１１０により制御プログラムが提供される機器システム１０のシステム構成は任意であり、図１の例に限定されるものではない。

設計作業支援装置１１０には、設計作業支援プログラムがインストールされており、当該プログラムが実行されることで、設計作業支援装置１１０は、設計作業支援機能１２０を実現する。

また、設計作業支援プログラムには、複数のサブ機能を実現するサブプログラム（例えば、プロセス実行順序決定プログラム）が含まれ、設計作業支援プログラムが実行される際、当該サブプログラムもあわせて実行される。つまり、設計作業支援機能１２０が有する複数のサブ機能には、プロセス実行順序決定部１２１が含まれる。

プロセス実行順序決定部１２１は、ユーザ１３０によって記述された処理内容に基づいて、１ループ（例えば、０．５秒周期）内で実行される、複数のプロセスの実行順序を決定する。実行順序を決定する際、プロセス実行順序決定部１２１では、各プロセス間に矛盾がないか（的確性）を判定またはチェックする。これにより、ユーザ１３０は、制御対象の機器において実行される複数のプロセスを設計する際、各プロセスを矛盾なく関連付け、各プロセスの実行順序を適切に決定することができる。

なお、設計作業支援機能１２０が、複数のサブ機能を有することで、設計作業支援機能１２０では、機器システム１０に含まれる制御対象の機器において実行される複数のプロセスについての制御プログラムを提供することができる。

＜設計作業支援装置のハードウェア構成＞
次に、設計作業支援装置１１０のハードウェア構成について説明する。図２は、設計作業支援装置のハードウェア構成の一例を示す図である。

図２に示すように、設計作業支援装置１１０は、ＣＰＵ（Central Processing Unit）２０１、ＲＯＭ（Read Only Memory）２０２、ＲＡＭ（Random Access Memory）２０３を有する。ＣＰＵ２０１、ＲＯＭ２０２、ＲＡＭ２０３は、いわゆるコンピュータを形成する。

また、設計作業支援装置１１０は、補助記憶装置２０４、表示装置２０５、操作装置２０６、通信装置２０７、ドライブ装置２０８を有する。なお、設計作業支援装置１１０の各ハードウェアは、バス２０９を介して相互に接続される。

ＣＰＵ２０１は、補助記憶装置２０４にインストールされている各種プログラム（例えば、設計作業支援プログラム等）を実行する演算デバイスである。

ＲＯＭ２０２は、不揮発性メモリである。ＲＯＭ２０２は、補助記憶装置２０４にインストールされている各種プログラムをＣＰＵ２０１が実行するために必要な各種プログラム、データ等を格納する主記憶デバイスとして機能する。具体的には、ＲＯＭ２０２はＢＩＯＳ（Basic Input/Output System）やＥＦＩ（Extensible Firmware Interface）等のブートプログラム等を格納する、主記憶デバイスとして機能する。

ＲＡＭ２０３は、ＤＲＡＭ（Dynamic Random Access Memory）やＳＲＡＭ（Static Random Access Memory）等の揮発性メモリである。ＲＡＭ２０３は、補助記憶装置２０４にインストールされている各種プログラムがＣＰＵ２０１によって実行される際に展開される作業領域を提供する、主記憶デバイスとして機能する。

補助記憶装置２０４は、各種プログラムや、各種プログラムが実行される際に用いられる情報を格納する補助記憶デバイスである。

表示装置２０５は、設計作業支援装置１１０の内部状態を表示する表示デバイスである。操作装置２０６は、設計作業支援装置１１０のユーザ１３０が設計作業支援装置１１０に対して各種指示を入力する際に用いる入力デバイスである。

通信装置２０７は、不図示のネットワークに接続し通信を行うための通信デバイスである。

ドライブ装置２０８は記録媒体２１０をセットするためのデバイスである。ここでいう記録媒体２１０には、ＣＤ－ＲＯＭ、フレキシブルディスク、光磁気ディスク等のように情報を光学的、電気的あるいは磁気的に記録する媒体が含まれる。また、記録媒体２１０には、ＲＯＭ、フラッシュメモリ等のように情報を電気的に記録する半導体メモリ等が含まれていてもよい。

なお、補助記憶装置２０４にインストールされる各種プログラムは、例えば、配布された記録媒体２１０がドライブ装置２０８にセットされ、該記録媒体２１０に記録された各種プログラムがドライブ装置２０８により読み出されることでインストールされる。あるいは、補助記憶装置２０４にインストールされる各種プログラムは、通信装置２０７を介して、ネットワークよりダウンロードされることでインストールされてもよい。

＜プロセス実行順序決定処理の流れ＞
次に、プロセス実行順序決定部１２１によるプロセス実行順序決定処理の流れについて説明する。図３は、プロセス実行順序決定処理の流れを示すフローチャートである。ユーザ１３０からの指示に基づきプロセス実行順序決定部１２１が起動されることで、図３に示すプロセス実行順序決定処理が実行される。

ステップＳ３０１において、プロセス実行順序決定部１２１は、複数のプロセス全体に対する入力項目及び出力項目を取得する（第１の取得工程の一例）。

ステップＳ３０２において、プロセス実行順序決定部１２１は、ユーザ１３０により記述される各プロセスの処理内容を取得する（第２の取得工程の一例）。

ステップＳ３０３において、プロセス実行順序決定部１２１は、取得した処理内容に基づいて、各プロセスに含まれる入力項目（各プロセスに入力される変数。以下、入力変数と称す）を抽出する。また、プロセス実行順序決定部１２１は、取得した処理内容に基づいて、各プロセスに含まれる出力項目（各プロセスから出力される変数。以下、出力変数と称す）を抽出する（抽出工程の一例）。

ステップＳ３０４において、プロセス実行順序決定部１２１は、複数のプロセスの実行順序を決定する決定処理（決定工程の一例）を行う。また、プロセス実行順序決定部１２１は、各プロセス間の矛盾の一例である、循環参照の有無を判定する循環参照判定処理（第１の判定工程）を行う。なお、決定処理及び循環参照判定処理の詳細は後述する。

ステップＳ３０５において、プロセス実行順序決定部１２１は、複数のプロセスの実行順序を決定した後に、各プロセス間の他の矛盾の一例である、
・バッティングの有無をチェックする処理（第２の判定工程の一例）、及び、
・不足の有無をチェック処理（第３の判定工程の一例）、
を行う。

なお、バッティングの有無をチェックする処理とは、
プロセスの処理内容に含まれるいずれかの変数が、同一の条件（例えば、同一の周期、同一の実行モード（詳細は後述））のもとで、２つ以上のプロセスによって更新される構成になっていないか、
をチェックする処理をいう。

また、不足の有無をチェックする処理とは、
プロセスの処理内容に含まれる変数の中に、同一の条件（例えば、同一の周期、同一の実行モード（詳細は後述））のもとで、いずれのプロセスによっても更新されない変数が存在する構成になっていないか、
をチェックする処理をいう。

ステップＳ３０６において、プロセス実行順序決定部１２１は、ステップＳ３０５におけるチェック処理の結果、エラーを検出したか否かを判定する。ステップＳ３０６においてエラーを検出したと判定した場合には（ステップＳ３０６においてＹｅｓの場合には）、ステップＳ３０７に進む。

ステップＳ３０７において、プロセス実行順序決定部１２１は、検出したエラーの内容（対応するプロセスの処理内容の記述に誤りがあること）をユーザ１３０に報知する報知処理（報知工程の一例）を行う。

ステップＳ３０８において、プロセス実行順序決定部１２１は、ユーザ１３０による修正指示を受け付けたか否かを判定する。ステップＳ３０８において、修正指示を受け付けたと判定した場合には（ステップＳ３０８においてＹｅｓの場合には）、ステップＳ３０２に戻る。一方、ステップＳ３０８において、修正指示を受け付けていないと判定した場合には（ステップＳ３０８においてＮｏの場合には）、プロセス実行順序決定処理を終了する。

また、ステップＳ３０６においてエラーを検出しなかったと判定した場合には（ステップＳ３０６においてＮｏの場合には）、ステップＳ３０９に進む。

ステップＳ３０９において、プロセス実行順序決定部１２１は、決定した実行順序のもとで各プロセスのソースコードを生成し、プロセス実行順序決定処理を終了する。

＜プロセス実行順序決定処理の概要＞
次に、プロセス実行順序決定部１２１によるプロセス実行順序決定処理の概要について説明する（ただし、ここでは、循環参照判定処理、チェック処理については説明を省略し、入出力関係に基づいて各プロセスを関連付ける処理についてのみ説明する）。図４は、プロセス実行順序決定処理の概要を示す図である。

図４に示すように、プロセス実行順序決定部１２１では、まず、複数のプロセス全体に対する入力項目（始端）と、複数のプロセス全体に対する出力項目（終端）をそれぞれ取得する（符号４１０参照）。続いて、プロセス実行順序決定部１２１は、ユーザ１３０により記述される各プロセス（図４の例では、プロセス１～６）の処理内容を取得する（符号４１０参照）。なお、以降の説明において、「プロセス」とは、図４のプロセス１～６に示すように、ユーザ１３０が所定の記述フレームに記述する一まとまりの処理内容を指すものとする。また、上述したソースコードの生成は、この「プロセス」ごとの単位で行われるものとする。

続いて、プロセス実行順序決定部１２１では、各プロセスに含まれる入力変数と出力変数とを抽出し、各プロセス間の入出力関係を自動解析することで、複数のプロセスの実行順序を決定する。具体的には、プロセス実行順序決定部１２１では、複数のプロセス全体に対する入力項目及び出力項目を始端及び終端として、プロセスごとに抽出された入力変数及び出力変数を、異なるレイヤのプロセス間で順次接続していく。これにより、プロセス実行順序決定部１２１では、各プロセス間でパス（接続経路）を形成し、プロセス１～プロセス６の実行順序を自動的に決定する（符号４２０参照）。

＜プロセス実行順序決定部の機能構成＞
次に、プロセス実行順序決定部１２１の機能構成について説明する。図５は、プロセス実行順序決定部の機能構成の一例を示す図である。図５に示すように、プロセス実行順序決定部１２１は、端部情報取得部５０１、記述部５０２、解析部５０３、決定部５０４、判定部５０５、チェック部５０６、報知部５０７、生成部５０８を有する。

端部情報取得部５０１は、複数のプロセス全体に対する入力項目、及び、複数のプロセス全体に対する出力項目を取得する。また、端部情報取得部５０１は、取得した入力項目及び出力項目を、始端及び終端として決定部５０４に通知する。

記述部５０２は、ユーザ１３０により記述される複数のプロセスの処理内容を取得する。また、記述部５０２は、取得した複数のプロセスの処理内容を解析部５０３に通知する。

解析部５０３は、記述部５０２より通知された複数のプロセスの処理内容を解析し、各プロセスに含まれる入力変数及び出力変数を抽出する。また、解析部５０３は、各プロセスが、機器システム１０が有する複数の運転制御モードのうちのいずれの運転制御モードに遷移した際に実行されるか、を示す「実行モード」を識別する。

なお、機器システム１０が有する運転制御モードの種類は、予め定義されているものとし、各プロセスには、いずれの運転制御モードに遷移した際に実行されるかが記述されているものとする。

更に、解析部５０３は、プロセスごとに抽出した入力変数及び出力変数、各プロセスにおいて識別した実行モードを決定部５０４に通知する。

決定部５０４は、端部情報取得部５０１より通知された始端及び終端に対して、プロセスごとに抽出された入力変数及び出力変数を、異なるレイヤのプロセス間で順次接続していくことでパスを形成し、各プロセスの実行順序を決定する。

判定部５０５は、決定部５０４が異なるレイヤのプロセス間で、入力変数と出力変数とを接続することで形成されたパス内に出現する要素（プロセス、変数の少なくとも一方）を監視し、循環参照の有無を判定する。

循環参照とは、同一のパス内に同一の要素が複数出現する状態を指す。同一のパス内に同一の要素が複数出現すると、各プロセスの実行順序を決定する際、処理が循環して完了しなくなるため、判定部５０５では、循環参照の有無を判定する。なお、同一のパスとは、プロセスごとに抽出される入力変数及び出力変数を、プロセス間で接続することで形成されるパスであって、終端の方向（または下位のレイヤの方向）に向かって連なる１本のパスを指す。図４の例では、始端から見た場合、同一のパスとして、下記の３本が形成されている（なお、記載を簡略化するため、下記では、プロセスごとに抽出される入力変数及び出力変数の記載を省略している）。
・始端→プロセス１→プロセス３→プロセス２→終端、
・始端→プロセス１→プロセス４→プロセス６→プロセス２→終端、
・始端→プロセス１→プロセス５→プロセス６→プロセス２→終端。

また、判定部５０５は、循環参照有りと判定した場合、決定部５０４が各プロセスの実行順序を決定する処理を停止させ、判定結果をユーザ１３０に通知する。

チェック部５０６は、決定部５０４により複数のプロセスの実行順序が決定された状態で、バッティングの有無をチェックする処理及び不足の有無をチェックする処理を行う。チェック部５０６は、バッティングの有無をチェックする処理及び不足の有無をチェックする処理を行う際、各プロセスの実行モードを参照し、実行モードごとにチェック処理を行う。

報知部５０７は、チェック部５０６によりエラーが検出されたと判定された場合に、検出されたエラーの内容（対応するプロセスの処理内容の記述に誤りがあること）をユーザ１３０に報知する。

生成部５０８は、決定部５０４により決定された複数のプロセスの実行順序のもとで各プロセスのソースコードを生成する。

＜各部の処理の具体例＞
次に、プロセス実行順序決定部１２１の各部（ここでは、記述部５０２、解析部５０３、決定部５０４、判定部５０５、チェック部５０６、報知部５０７）の具体例について説明する。なお、以下の具体例は、機器システム１０が空調システムであり、機器Ａが圧縮機、機器Ｂが熱交換器、機器Ｃが室内機であるとして説明する。

（１）記述部の処理の具体例
はじめに、記述部５０２の処理の具体例について図６及び図７を用いて説明する。図６及び図７は、記述部の処理の具体例を示す第１及び第２の図である。図６及び図７に示すように、ユーザ１３０により記述されるプロセスの処理内容は任意である。

このうち、図６の例は、処理目的記述欄６０１に、プロセス６００の処理目的が記述され、実行モード記述欄６０２に、プロセス６００が実行される実行モードが記述された様子を示している。

具体的には、処理目的記述欄６０１に、"変数αの算出"が記述され、実行モード記述欄６０２に、"暖房定常制御"が記述された様子を示している。

また、図６の例は、処理内容記述欄６０３に、プロセス６００の処理内容として、状態遷移処理が記述された様子を示している。

具体的には、リセット中の状態である場合、変数αには"（）"で示す値が代入され、変数αが保持中の状態である場合、変数αには"（）"で示す値（リセット中の状態で代入される値とは異なる値）が代入されることを示している。また、リセット中の状態から保持中の状態へと遷移するのは、実行モードが"暖房定常制御"モードであって、変数βの値が"ＸＸ"であることが条件となっていることを示している。

このように、ユーザ１３０は、プロセスの処理内容として、所定の実行モードにおける状態遷移処理を記述することができる。

同様に、図７の例は、処理目的記述欄６０１に、プロセス７００の処理目的が記述され、実行モード記述欄６０２に、プロセス７００が実行される実行モードが記述された様子を示している。

具体的には、処理目的記述欄７０１に、"変数ｘ、ｙの算出"が記述され、実行モード記述欄７０２に、"暖房定常制御"が記述された様子を示している。

また、図７の例は、処理内容記述欄７０３に、プロセス７００の処理内容として、変数α、βに基づく条件分岐処理が記述された様子を示している。

具体的には、実行モードが"暖房定常制御"モードのもと、変数αの値が閾値Ｔｈ_α以上かつ変数βの値が閾値Ｔｈ_β以上の場合に、変数ｘにｘ_１／ｘ_２が代入され、変数ｙに"（）"で示す値のうち最大となる値が代入されることを示している。また、実行モードが"暖房定常制御"モードのもと、変数αの値が閾値Ｔｈ_α以上でないか、あるいは変数βの値が閾値Ｔｈ_β以上でない場合、変数ｘにｘ_１＋ｘ_２が代入され、変数ｙに"（）"で示す値に係数ａを乗算した値が代入されることを示している。

このように、ユーザ１３０は、プロセスの処理内容として、所定の実行モードにおける条件分岐処理を記述することができる。

（２）解析部の処理の具体例
次に、解析部５０３の処理の具体例について図８及び図９を用いて説明する。図８及び図９は、解析部の処理の具体例を示す第１及び第２の図である。図８及び図９は、図６及び図７に示したプロセス６００及びプロセス７００を解析対象として解析を行った様子を示している。

例えば、図８に示すように、解析部５０３では、記述部５０２より通知されたプロセス６００の処理内容記述欄６０３を解析し、代入文及び条件文を特定する。また、解析部５０３では、特定した代入文の左辺を出力変数（符号８１０参照）、右辺を入力変数（符号８２０）として抽出する。また、解析部５０３では、特定した条件文の左辺及び右辺を入力変数（符号８３０）として抽出する。更に、解析部５０３では、実行モード記述欄６０２を参照し、プロセス６００が実行する実行モードを識別する。

同様に、図９に示すように、解析部５０３では、記述部５０２より通知されたプロセス７００の処理内容記述欄７０３を解析し、代入文及び条件文を特定する。また、解析部５０３では、特定した代入文の左辺を出力変数（符号９１０参照）、右辺を入力変数（符号９２０）として抽出する。また、解析部５０３では、特定した条件文の左辺及び右辺を入力変数（符号９３０）として抽出する。更に、解析部５０３では、実行モード記述欄７０２を参照し、プロセス７００が実行する実行モードを識別する。

（３）決定処理及び循環参照判定処理の流れ
次に、決定部５０４及び判定部５０５による決定処理及び循環参照判定処理（図３のステップＳ３０４）の流れについて説明する。図１０は、決定処理及び循環参照判定処理の流れを示すフローチャートである。

ステップＳ１００１において、決定部５０４は、端部情報取得部５０１より取得した終端を、終端位置に配置する。

ステップＳ１００２において、決定部５０４は、記述部５０２にて処理内容が記述された複数のプロセスのうち、終端を出力変数として出力するプロセスを特定し、特定したプロセスを終端と接続する。

ステップＳ１００３において、決定部５０４は、接続したプロセスの処理内容から抽出された入力変数を、解析部５０３から取得する。

ステップＳ１００４において、判定部５０５は、解析部５０３から取得した入力変数に基づいて、循環参照の有無を判定する。

ステップＳ１００５において、決定部５０４は、記述部５０２にて処理内容が記述された複数のプロセスのうち、解析部５０３から取得した入力変数を出力変数として出力するプロセスを特定し、特定したプロセスを接続する。

ステップＳ１００６において、決定部５０４は、接続したプロセスの処理内容から抽出された入力変数を、解析部５０３から取得する。

ステップＳ１００７において、決定部５０４は、全パスについて始端となる入力変数が出現したか否かを判定する。ステップＳ１００７において、始端となる入力変数が出現していないパスがあると判定した場合には（ステップＳ１００７においてＮｏの場合には）、ステップＳ１００４に戻る。

一方、ステップＳ１００７において、全パスについて始端となる入力変数が出現したと判定した場合には（ステップＳ１００７においてＹｅｓの場合には）、決定処理及び循環参照判定処理を終了する。

（４）決定部の処理の具体例
次に、決定部５０４の処理の具体例について説明する（ここでは、判定部５０５が循環参照の有無を判定する処理についての記載は省略する）。図１１～図１３は、決定部の処理の具体例を示す第１乃至第３の図である。

図１１において、符号１１１０は、決定部５０４が、端部情報取得部５０１より取得した始端（外気センサ値）、終端（圧縮機周波数）、及び、記述部５０２にて処理内容が記述されたプロセス（プロセス１～プロセス６）の具体例を示している。

決定部５０４では、まず、端部情報取得部５０１より取得した終端を、終端位置に配置する（符号１１２０参照）。続いて、決定部５０４では、終端を出力変数として出力するプロセスとして、プロセス２を特定し、特定したプロセス２をレイヤ１に配置するとともに、終端と接続する（符号１１３０参照）。

続いて、決定部５０４では、プロセス２の処理内容から抽出された入力変数を取得する。図１１の例は、決定部５０４が、２つの入力変数を取得した様子を示している（符号１１４０参照）。

続いて、図１２に示すように、決定部５０４では、プロセス２の２つの入力変数を出力変数として出力するプロセスとして、プロセス３及びプロセス６を特定する。また、特定したプロセス３及びプロセス６をレイヤ２に配置するとともに、プロセス２と接続する（符号１２１０参照）。

続いて、決定部５０４では、プロセス３及びプロセス６の処理内容から抽出された入力変数を取得する。図１２の例は、決定部５０４が、プロセス３について１つの入力変数を取得し、プロセス６について２つの入力変数を取得した様子を示している（符号１２２０参照）。

以下、決定部５０４では、同様の処理を繰り返すことで、始端まで到達する。図１３の符号１３１０は、決定部５０４が始端に到達した様子を示している。このように、プロセスごとに抽出された入力変数及び出力変数を取得し、異なるレイヤのプロセス間で接続し、パスを形成することで（各プロセス間の入出力関係を自動解析することで）、決定部５０４によれば、複数のプロセスの実行順序を決定することができる。

（５）判定部の処理の具体例
次に、判定部５０５の処理の具体例について説明する。図１４は、判定部の処理の具体例を示す図である。なお、ここでは、説明の簡略化のため、決定部５０４が決定する複数のプロセスの実行順序のうち、特定の２つのプロセスの実行順序を決定する際の判定部５０５の処理の具体例について説明する。

図１４に示すように、決定部５０４により、変数Ｘを出力変数として出力するプロセス１４１０に入力変数として入力される変数Ｙを出力するプロセス１４２０が、プロセス１４１０に接続されたとする。また、解析部５０３により、プロセス１４２０の処理内容が解析され、プロセス１４２０に入力される入力変数として変数Ｘが抽出されていたとする。

この場合、判定部５０５では、プロセス１４２０に入力変数として入力される変数Ｘと同一変数（例えば、変数名が同一の変数）が、同一パス内に出現するか否かを監視することで、循環参照の有無を判定する。図１４の例では、同一パス（変数Ｘ→プロセス１４２０→変数Ｙ→プロセス１４１０→変数Ｘ）内に、変数Ｘが２つ出現するため、判定部５０５では、循環参照有り（プロセス間の矛盾有り）と判定する（×印１４００参照）。また、判定部５０５では、各プロセスの実行順序を決定する処理を停止させ、判定結果をユーザ１３０に通知する。

このように、判定部５０５では、決定部５０４がプロセス間で入力変数と出力変数とを接続し、パスを形成するごとに、循環参照の有無を判定する。これにより、判定部５０５によれば、決定部５０４による決定処理が循環し、完了しなくなるといった事態を回避することができる。

なお、判定部５０５により循環参照有りと判定された場合、ユーザ１３０は、対応するプロセスを修正することで、プロセス間の矛盾を解消する。例えば、ユーザ１３０は、プロセス１４２０の処理内容を、変数Ｘを入力変数とする処理内容から、変数Ｚを入力変数とする処理内容に修正する。これにより、同一パス内に同一変数（変数名が同一の変数）が出現するといった事態を回避することができる（符号１４２１参照）。

あるいは、ユーザ１３０は、プロセス１４２０の処理内容を、同一ループ内の変数Ｘを入力変数として用いる処理から、１ループ前の変数Ｘを入力変数として用いる処理内容に修正する。図１４の符号１４２２において、"変数Ｘ．ｐｒｅ"とは、プロセス１４２０に入力変数として入力される変数Ｘが、１ループ前の変数Ｘであることを示している。これにより、同一パス内に同一変数（変数名が同一の変数）が出現するといった事態を回避することができる（符号１４２２参照）。

（６）チェック部の処理の具体例
次に、チェック部５０６の処理の具体例について説明する。図１５及び図１６は、チェック部の処理の具体例を示す第１及び第２の図である。

このうち、図１５は、チェック部５０６が、バッティングの有無をチェックする処理を行った様子を示している。なお、図１５の例は、
・解析部５０３により、プロセス１５３０の処理内容が解析され、プロセス１５３０に入力変数として入力される変数Ｘが抽出されたこと、
・決定部５０４により、変数Ｘを出力変数として出力するプロセス１５１０及びプロセス１５２０が特定され、プロセス１５３０に接続されたこと、
・決定部５０４により接続されたプロセス１５１０及びプロセス１５２０が、いずれも、解析部５０３により、実行モードが"冷房定常制御中"モードであると識別されたこと、
を示している。

この場合、チェック部５０６では、
プロセス１５３０の処理内容に含まれる入力変数（"変数Ｘ"）が、プロセス１５３０と同一の条件（同一の周期、同一の"冷房定常制御中"モード）のもとで、２つ以上のプロセス１５１０、１５２０によって更新される（プロセス間に矛盾有り）、
と判定する。この結果、チェック部５０６では、バッティングエラーを検出する（×印１５００参照）。

なお、チェック部５０６によりバッティングエラーが検出された場合、ユーザ１３０は、対応するプロセスを修正することでプロセス間の矛盾を解消する。例えば、ユーザ１３０は、プロセス１５２０の実行モード記述欄を"冷房定常制御中"から"暖房定常制御中"に修正する。これにより、プロセスの処理内容に含まれる入力変数が、同一の条件のもとで、２つ以上のプロセスによって更新される状態（バッティングエラー）を回避することができる（符号１５４０参照）。

一方、図１６は、チェック部５０６が、不足の有無をチェックする処理を行った様子を示している。なお、図１６の例は、
・解析部５０３により、プロセス１６３０の処理内容が解析され、プロセス１６３０が"定常制御中"モード及び"起動制御中"モードにおいて実行されること、
・解析部５０３により、プロセス１６３０の処理内容が解析され、プロセス１６３０に入力変数として入力される変数Ｘが抽出されたこと、
・決定部５０４により、変数Ｘを出力変数として出力するプロセス１６１０及びプロセス１６２０が特定され、プロセス１６３０に接続されたこと、
・決定部５０４により接続されたプロセス１６１０及びプロセス１６２０が、いずれも、解析部５０３により実行モードが"定常制御中"モード（"冷房"か"暖房"かの違いはあるものの、いずれも、"定常制御中"モード）であると識別されたこと、
を示している。

この場合、チェック部５０６では、
プロセス１６３０の処理内容に含まれる変数の中に、プロセス１６３０と同一の条件（同一の周期、同一の"起動制御中"モード）のもとで、いずれのプロセスによっても更新されない入力変数（"変数Ｘ"）が存在する（プロセス間に矛盾有り）、
と判定する。この結果、チェック部５０６では、不足エラーを検出する（×印１６００参照）。

なお、チェック部５０６により不足エラーが検出された場合、ユーザ１３０は、対応するプロセスを追加することでプロセス間の矛盾を解消する。例えば、ユーザ１３０は、変数Ｘを出力変数として出力するプロセスであって、実行モードが"起動制御中"であるプロセス１６４０を追加する。これにより、プロセスの処理内容に含まれる変数の中に、同一の条件のもとで、いずれのプロセスによっても更新されない変数が存在する状態（不足エラー）を解消することができる（符号１６５９参照）。

（７）報知部の処理の具体例
次に、報知部の処理の具体例について説明する。図１７は、報知部の処理の具体例を示す図である。図１７において、符号１７００は、決定部５０４により、プロセスの実行順序が決定され、チェック部５０６により、バッティングの有無及び不足の有無がチェックされた様子を示している。

具体的には、プロセス２に対してバッティングエラーが検出され、ユーザ１３０に報知された様子を示している（×印１５００参照）。また、プロセス６において不足エラーが検出され、ユーザ１３０に報知された様子を示している。

このように、チェック部５０６により、バッティングの有無及び不足の有無がチェックされ、エラーが検出された場合、報知部５０７では、決定された実行順序に従って配列されたプロセス上において、エラーが検出されたプロセスを明示する。これにより、ユーザは、いずれのプロセス間に矛盾があったかを容易に把握することができる。

＜まとめ＞
以上の説明から明らかなように、第１の実施形態に係るプロセス実行順序決定プログラムでは、
・制御対象の機器において実行される複数のプロセスの、実行順序を決定する工程をコンピュータに実行させる。
・実行順序を決定する工程において形成された接続経路内に出現する要素を監視し、接続経路内に同一の要素が出現したか否かを判定する工程をコンピュータに実行させる。

これにより、第１の実施形態に係るプロセス実行順序決定プログラムによれば、ユーザは、循環参照の有無の観点から、各プロセスが矛盾なく関連付けられているか否かを容易に把握することができる。

また、第１の実施形態に係るプロセス実行順序決定プログラムでは、
・プロセスの処理内容に含まれるいずれかの変数が、２つ以上のプロセスによって更新されるか否かを判定する工程をコンピュータに実行させる。
・プロセスの処理内容に含まれる変数の中に、いずれのプロセスによっても更新されない変数が存在するか否かを判定する工程をコンピュータに実行させる。

これにより、第１の実施形態に係るプロセス実行順序決定プログラムによれば、ユーザは、バッティングチェック及び不足チェックの観点から、各プロセスが矛盾なく関連付けられているか否かを容易に把握することができる。

つまり、第１の実施形態によれば、制御対象の機器において実行される複数のプロセスを設計する際の、実行順序を決定する作業を支援することができる。

［第２の実施形態］
上記第１の実施形態では、解析部５０３が各プロセスから入力変数及び出力変数を抽出する際、代入文及び条件文を特定し、代入文の左辺を出力変数、代入文の右辺を入力変数、条件文の左辺及び右辺を入力変数、として抽出するものとして説明した。しかしながら、各プロセスにおける入力変数及び出力変数の抽出アルゴリズムはこれに限定されず、他の抽出アルゴリズムに基づいて入力変数及び出力変数を抽出するように構成してもよい。

また、上記第１の実施形態では、判定部５０５が循環参照の有無を判定する際、具体例として、同一パス内に同一の変数が出現する場合について説明した。しかしながら、同一パス内に他の同一の要素（同一のプロセス）が出現する場合についても同様である。

また、上記第１の実施形態では、判定部５０５が循環参照の有無を判定する際、及び、チェック部５０６がバッティングの有無をチェックする際、同一の変数であるか否かを、変数名に基づいて判定するものとして説明した。しかしながら、循環参照の有無の判定やバッティングの有無のチェックにおいて同一の変数であるか否かを判定するにあたっては、変数に対応付けられた属性情報であって、変数名以外の属性情報を用いてもよい。

また、上記第１の実施形態では、報知部５０７がエラーの内容（対応するプロセスの処理内容の記述に誤りがあること）をユーザ１３０に報知する際、決定された実行順序に従って配列されたプロセス上に、明示するものとして説明した。しかしながら、エラーの内容の明示方法はこれに限定されず、例えば、"変数Ｘを算出する同一の実行モードのプロセスが複数存在します。具体的には、プロセス３とプロセス６です。"などのように、文言により表現してもよい。また、決定された実行順序に従って配列されたプロセス上に明示する場合であっても、その表示態様は図１７に示した表示態様に限定されず、他の任意の方法により明示してもよい。

また、上記第１の実施形態では、不足チェックの際、プロセスの処理内容に含まれる変数を対象として、不足チェックを行うものとして説明した。しかしながら、プロセスの処理内容に含まれる変数のうち、始端となる変数は、いずれのプロセスによっても更新されることがない。このため、チェック部５０６は、プロセスの処理内容に含まれる変数から、始端となる変数を除外して、不足チェックを行うように構成されているものとする。

また、上記第１の実施形態では、プロセスの具体例として、処理内容が記述されるプロセスについてのみ説明したが、プロセスの種類はこれに限定されず、例えば、運転制御モードを決定するプロセス（運転制御モード決定プロセス）が含まれていてもよい。

運転制御モード決定プロセスは、運転制御モードの遷移に関わる入力（例えば、リモコンからの暖房指示や冷房指示等）に基づいて、予め定義された複数の運転制御モードの中から、いずれかの運転制御モードを決定する。

なお、プロセスの実行順序を決定する際、始端から終端までのパスの途中に、運転制御モード決定プロセスが組み込まれると、各プロセスは、例えば、以下のように動作する。
・当該運転制御モード決定プロセスよりも始端側に配置されたプロセスは、１ループ前の運転制御モード決定プロセスにより決定された運転制御モードで動作する。
・当該運転制御モード決定プロセスよりも終端側に配置されたプロセスは、当該運転制御モード決定プロセスにより決定された運転制御モードで動作する。

このため、同一パス内において、仮に、運転制御モード決定プロセスの始端側と終端側とに、同一変数が出現したとしても、判定部５０５が、循環参照ありと判定することはない。

［第３の実施形態］
上記第１及び第２の実施形態では、プロセスごとに抽出された入力変数及び出力変数をプロセス間で接続し、接続経路を形成することで実行順序を決定する場合について説明した。しかしながら、実行順序の決定方法はこれに限定されず、例えば、グラフ理論を用いてプロセス間の接続関係を特定することで、実行順序を決定してもよい。以下、第３の実施形態について、上記第１及び第２の実施形態との相違点を中心に説明する。

＜グラフ理論の概要＞
はじめにグラフ理論の概要について説明する。グラフ理論とは、頂点とそれらを結ぶ辺によってあらわされる対象であるグラフの性質を分析する理論である。当該グラフ理論によれば、
・複数のプロセス、
・複数のプロセスそれぞれの処理内容に含まれる変数（入力変数、出力変数）、
を頂点とみなし、
・各プロセスと、各プロセスに入力される入力変数との関係、
・各プロセスと、各プロセスから出力される出力変数との関係、
を辺（有向辺）とみなすことで、複数のプロセスと、複数のプロセスそれぞれの処理内容に含まれる変数との間の関係性を、行列（具体的には、有向グラフの隣接行列）として示すことができる。

そして、当該有向グラフの隣接行列を累乗することにより、頂点間の接続関係を分析することが可能となる。例えば、当該有向グラフの隣接行列を２乗することにより、変数を介したプロセス間の接続関係を特定することが可能となる。

＜プロセス間の接続関係を特定する処理の具体例＞
次に、グラフ理論を用いてプロセス間の接続関係を特定する処理の具体例について説明する。図１８及び図１９は、プロセス間の接続関係を特定する処理の具体例を示す第１及び第２の図である。

このうち、図１８の符号１８１０は、ユーザ１３０により記述される各プロセス（図１８の例では、プロセス１～３）の処理内容を示している。

本実施形態において、プロセス実行順序決定部１２１の解析部５０３は、各プロセスの処理内容を取得すると、各プロセスに含まれる入力変数と出力変数とを抽出する。続いて、プロセス実行順序決定部１２１の決定部５０４は、抽出した入力変数及び出力変数と各プロセスとの間の入出力関係を表すテーブル１８２０を生成する。

テーブル１８２０に示すように、決定部５０４は、行方向に、入力変数（"変数３"、"変数４"、"変数５"）、出力変数（"変数４"、"変数５"、"変数６"）、プロセス（"プロセス１"、"プロセス２"、"プロセス３"）を配置する。つまり、グラフ理論における各頂点を行方向に配置する。

同様に、決定部５０４は、列方向に、入力変数（"変数３"、"変数４"、"変数５"）、出力変数（"変数４"、"変数５"、"変数６"）、プロセス（"プロセス１"、"プロセス２"、"プロセス３"）を配置する。つまり、グラフ理論における各頂点を列方向に配置する。

なお、テーブル１８２０において、行方向に配置された項目と、列方向に配置された項目とが交差する領域には、
・列方向に配置された項目＝入力対象の要素、行方向に配置された項目＝入力対象が入力される入力先の要素、の関係にある場合、または、
・列方向に配置された項目＝出力元の要素、行方向に配置された項目＝出力元から出力される出力対象の要素、の関係にある場合、
"１"（有向辺が存在することを示す値）が格納される。

また、テーブル１８２０において、行方向に配置された項目と、列方向に配置された項目とが交差する領域には、
・列方向に配置された項目＝入力対象の要素、行方向に配置された項目＝入力対象が入力される入力先の要素、の関係にない場合、かつ、
・列方向に配置された項目＝出力元の要素、行方向に配置された項目＝出力元から出力される出力対象の要素、の関係にない場合、
"０"（有向辺が存在しないことを示す値）が入力される。

例えば、列方向に配置された"変数３"と、行方向に配置された"プロセス１"とは、"変数３"＝入力対象の要素、"プロセス１"＝入力対象が入力される入力先の要素、の関係にある。このため、列方向に配置された"変数３"と、行方向に配置された"プロセス１"とが交差する領域（領域１８２１）には、"１"が格納される。

同様に、列方向に配置された"プロセス１"と、行方向に配置された"変数４"とは、"プロセス１"＝出力元の要素、"変数４"＝出力元から出力される出力対象の要素、の関係にある。このため、列方向に配置された"プロセス１"と、行方向に配置された"変数４"とが交差する領域（領域１８２２）には、"１"が格納される。

一方、例えば、列方向に配置された"変数３"と、行方向に配置された"プロセス２"、"プロセス３"とは、"変数３"＝入力対象の要素、"プロセス２"、"プロセス３"＝入力対象が入力される入力先の要素、の関係にない。このため、列方向に配置された"変数３"と、行方向に配置された"プロセス２"、"プロセス３"とが交差する領域（領域１８２３）には、"０"が格納される。

同様に、例えば、列方向に配置された"プロセス１"と、行方向に配置された"変数３"、"変数５"、"変数６"とは、"プロセス１"＝出力元の要素、"変数３"、"変数５"、"変数６"＝出力元から出力される出力対象の要素、の関係にない。このため、列方向に配置された"プロセス１"と、行方向に配置された"変数３"、"変数５"、"変数６"とが交差するそれぞれの領域（領域１８２４）には、"０"が格納される。

続いて、プロセス実行順序決定部１２１の決定部５０４は、生成したテーブル１８２０に基づいて、行列１８３０を作成する。行列１８３０は、テーブル１８２０の各領域に格納された値（"０"または"１"）を、そのまま配列した行列（グラフ理論における有向グラフの隣接行列）である。

続いて、プロセス実行順序決定部１２１の決定部５０４は、図１９に示すように、行列１８３０を２乗する演算を行い、演算結果をテーブル１９１０に格納する。テーブル１９１０は、行方向に配置された項目及び列方向に配置された項目が、いずれも、テーブル１８２０に配置された項目と同じ項目を有するテーブルである。

なお、行列１８３０を２乗する演算を行うことで得られる演算結果は、変数を介して接続される２つのプロセスの接続関係を表す。

例えば、領域群１９１１は、"プロセス１"、"プロセス２"、"プロセス３"と、"プロセス１"、"プロセス２"、"プロセス３"とが、変数を介して接続されるか否かを表している。

具体的には、列方向に配置された"プロセス１"と、行方向に配置された"プロセス３"とが交差する領域には、演算結果として"１"が格納されている。したがって、"プロセス１"と"プロセス３"とは、変数を介して（具体的には、"変数４"を介して）、接続される関係にあることを示している。

同様に、列方向に配置された"プロセス２"と、行方向に配置された"プロセス３"とが交差する領域には、演算結果として"１"が格納されている。したがって、"プロセス２"と"プロセス３"とは、変数を介して（具体的には、"変数５"を介して）、接続される関係にあることを示している。

一方、領域群１９１１のその他の領域には、演算結果として"０"が格納されている。したがって、その他のプロセス間には、接続関係がないことを示している。

続いて、プロセス実行順序決定部１２１の決定部５０４は、領域群１９１１における接続関係に基づいて、プロセスの実行順序を決定する。

図１９において符号１９２０は、テーブル１９１０の領域群１９１１により特定されるプロセス間の接続関係を示している。

本実施形態の場合、複数のプロセスを頂点、プロセス間の接続関係を有向辺とみなしたグラフを考え、プロセス実行順序決定部１２１の決定部５０４では、このグラフにトポロジカルソートなどのソート手法を適用することで、複数のプロセスの実行順序を決定する。

＜まとめ＞
以上の説明から明らかなように、第３の実施形態に係るプロセス実行順序決定プログラムでは、
・複数のプロセスと、複数のプロセスそれぞれの処理内容に含まれる変数との間の関係性を示す行列を作成する。
・作成した行列を累乗した結果から特定される、変数を介したプロセス間の接続関係に基づいて、複数のプロセスの実行順序を決定する。

これにより、第３の実施形態に係るプロセス実行順序決定プログラムによれば、上記第１の実施形態と同様の効果を享受することができるとともに、更に、プロセスの実行順序を決定する際の計算コストを削減することができる。

以上、実施形態を説明したが、特許請求の範囲の趣旨及び範囲から逸脱することなく、形態や詳細の多様な変更が可能なことが理解されるであろう。

１０ ：機器システム
１１０ ：設計作業支援装置
１２０ ：設計作業支援機能
１２１ ：プロセス実行順序決定部
５０１ ：端部情報取得部
５０２ ：記述部
５０３ ：解析部
５０４ ：決定部
５０５ ：判定部
５０６ ：チェック部
５０７ ：報知部
５０８ ：生成部
６００、７００ ：プロセス
６０１、７０１ ：処理目的記述欄
６０２、７０２ ：実行モード記述欄
６０３、７０３ ：処理内容記述欄
１４００ ：×印
１５００、１６００ ：×印

Claims (9)

1. 制御対象の機器において実行される複数のプロセスのうちのいずれかのプロセスが接続された場合に、接続経路内に同一の要素が出現したかを判定する第１の判定工程と、
   前記第１の判定工程において判定されたことに応じて、ユーザにより、同一の要素が出現しない接続経路に修正されることで、前記複数のプロセスの実行順序を決定する決定工程と、
   前記プロセスの処理内容に含まれるいずれかの変数が、２つ以上のプロセスによって更新されるか否かを判定する第２の判定工程と、
   前記プロセスの処理内容に含まれる変数の中に、いずれのプロセスによっても更新されない変数が存在するか否かを判定する第３の判定工程と、をコンピュータに実行させるためのプロセス実行順序決定プログラムであって、
   前記第１の判定工程において、前記複数のプロセスそれぞれの処理内容に含まれる変数と、前記複数のプロセスとの間の関係性を示す行列を作成し、作成した行列を累乗した結果から特定される、変数を介したプロセス間の接続関係に基づいて前記プロセスを接続し、前記接続経路を形成するプロセス実行順序決定プログラム。
2. 前記要素には、前記プロセスと、前記プロセスの処理内容に含まれる変数のいずれか一方が含まれる、請求項１に記載のプロセス実行順序決定プログラム。
3. 前記複数のプロセス全体に対する入力項目及び出力項目を始端及び終端として、プロセスごとに抽出された入力変数及び出力変数をプロセス間で接続することで前記プロセスを接続し、前記接続経路を形成する、請求項１に記載のプロセス実行順序決定プログラム。
4. 前記行列は、前記複数のプロセス及び前記複数のプロセスそれぞれの処理内容に含まれる変数をグラフ理論における頂点とみなし、かつ、前記プロセスと該プロセスに含まれる変数との入出力関係を有向辺とみなした場合の有向グラフの隣接行列である、請求項１に記載のプロセス実行順序決定プログラム。
5. 前記第１の判定工程は、
   接続経路内に同一の要素が出現したと判定した場合に、判定結果を通知する、請求項１に記載のプロセス実行順序決定プログラム。
6. 前記複数のプロセス全体に対する入力項目及び出力項目を取得する第１の取得工程と、
   前記複数のプロセスそれぞれの処理内容を取得する第２の取得工程と、
   前記第２の取得工程において取得された処理内容から、プロセスごとの入力変数及び出力変数を抽出する抽出工程と
   を更にコンピュータに実行させるための、請求項３または４に記載のプロセス実行順序決定プログラム。
7. 前記第２の判定工程において２つ以上のプロセスによって更新されると判定された場合に、報知する報知工程を更にコンピュータに実行させるための、請求項１に記載のプロセス実行順序決定プログラム。
8. 前記第３の判定工程においていずれのプロセスによっても更新されない変数が存在すると判定された場合に、報知する報知工程を更にコンピュータに実行させるための、請求項１に記載のプロセス実行順序決定プログラム。
9. 第１の判定手段が、制御対象の機器において実行される複数のプロセスのうちのいずれかのプロセスが接続された場合に、接続経路内に同一の要素が出現したかを判定する第１の判定工程と、
   決定手段が、前記第１の判定工程において判定されたことに応じて、ユーザにより、同一の要素が出現しない接続経路に修正されることで、前記複数のプロセスの実行順序を決定する決定工程と、
   第２の判定手段が、前記プロセスの処理内容に含まれるいずれかの変数が、２つ以上のプロセスによって更新されるか否かを判定する第２の判定工程と、
   第３の判定手段が、前記プロセスの処理内容に含まれる変数の中に、いずれのプロセスによっても更新されない変数が存在するか否かを判定する第３の判定工程と、を有し、
   前記第１の判定工程において、前記複数のプロセスそれぞれの処理内容に含まれる変数と、前記複数のプロセスとの間の関係性を示す行列を作成し、作成した行列を累乗した結果から特定される、変数を介したプロセス間の接続関係に基づいて前記プロセスを接続し、前記接続経路を形成するプロセス実行順序決定方法。

Images