JP7466806B1 - データ処理装置、データ処理方法及びデータ処理プログラム - Google Patents

Abstract

制御手順データ取得部（１０１）は、順序付けられた複数の条件と、いずれかの条件である対応条件と対応付けられ、対応条件の成否に応じて値が代入される複数の制御変数とが用いられて、制御手順が記述される制御手順データ（２００）を取得する。プログラム管理部（１０２）は、各条件を選択し、選択した選択条件ごとに、選択条件の成否と、選択条件よりも前の順序の先行条件の状態変数の値とに基づき選択条件の状態変数の値を決定する状態判定ブロックを生成する。プログラム管理部（１０２）は、各制御変数を選択し、選択した選択制御変数ごとに、選択制御変数の対応条件の状態変数の値に基づき選択制御変数に代入する値を決定する制御実行ブロックを生成する。更に、プログラム管理部（１０２）は、状態判定ブロックと制御実行ブロックとを用いて、制御手順が反映される制御プログラム（３００）を生成する。

Description

本開示は、プログラムの生成に関する。

本開示では、主に製造設備等で用いられる制御プログラム（以下、単にプログラムともいう）の生成について説明する。
製造設備は、ＰＬＣ（Ｐｒｏｇｒａｍｍａｂｌｅ Ｌｏｇｉｃ Ｃｏｎｔｒｏｌｌｅｒ）のようなコントローラで制御されている。制御の内容は製造設備ごとに異なる。このため、製造設備及び／又は製造設備を構成する機器の開発者は、制御仕様に応じてプログラムを開発している。ＰＬＣのプログラムは、主にＩＥＣ６１１３１－３で規定された言語が用いられることが多く、中でもラダー言語が用いられることが多い。
ＰＬＣのプログラムは、製造設備が複雑になればなるほど、プログラム量が多くなり、開発工数が多くなる。ＰＬＣのプログラムの開発を支援するために、例えば、特許文献１～３に開示の技術がある。

特許３４２６４０５ 特開平５－１７３６０９号公報 特開２０２１－１４９８５３号公報

製造設備に問題が発生した際に、原因究明のために製造設備の保守員がプログラムを確認することが多い。例えば、保守員は、プログラム上で問題発生時の各変数の値を確認する。このため、制御設備のプログラムには、要求仕様通りに動作することに加え、プログラム開発者以外の者にも理解しやすいように作成することが求められる。
ラダー言語によるプログラムの記法として、状態遷移記法（参考文献１）及び歩進制御記法（参考文献２）が用いられることがある。以降、両者をまとめて状態遷移記法と記す。
参考文献１：必携 ＰＬＣを使ったシーケンス制御プログラム定石集 シーケンス、ＰＬＣ、制御、メカトロニクス 機械｜本・雑誌 日刊工業新聞 （ｎｉｋｋａｎ．ｃｏ．ｊｐ）
参考文献２：歩進制御／シーケンス制御講座 （ｐｌｃｋｏｕｚａ．ｃｏｍ）

状態遷移記法により記述されたプログラムは、図１７に示すように、状態判定ブロックと制御実行ブロックで構成される。状態判定ブロックは、状態の変化に従って順序動作が１動作ずつ進んでいく様子を変数に記憶するコードブロックである。制御実行ブロックは、各状態に応じて出力処理を切り替えるコードブロックである。
図１７の例では、状態判定ブロックの状態変数Ｍ０～Ｍ３の値が状態を示す。また、条件変数Ｘ０、Ｘ１及びＸ２の値が遷移条件の成否を示す。そして、条件変数Ｘ０、Ｘ１及びＸ２の値が順にＯＮになることで状態変数Ｍ１～Ｍ３の値が順次ＯＮになる。そして、状態変数Ｍ３の値がＯＮになると状態変数Ｍ０～Ｍ３の全ての値がＯＦＦとなり、処理が初期状態に戻る。
また、制御実行ブロックにおいて、出力変数Ｙ１０は制御対象への出力値を示す。出力変数Ｙ１０の値は状態変数Ｍ１の値がＯＮになればＯＮとなる。一方、状態変数Ｍ２の値がＯＮになれば出力変数Ｙ１０の値はＯＦＦとなる。

また、同様の記法として、イベント制御記法（参考文献１）が用いられることがある。イベント制御記法で記述されたプログラムも、図１８に例示するように、状態判定ブロックと制御実行ブロックで構成される。イベント制御記法で記述されたプログラムでは、順に発生するイベントが判定され、イベントの判定結果に応じて出力が制御される。

状態遷移記法とイベント制御記法の違いは以下の通りである。
状態遷移記法によるプログラムでは、最後の状態に達してから全ての状態変数Ｍ０～Ｍ３の値がＯＦＦになる。一方、イベント制御記法によるプログラムでは、状態が変わった段階で前の状態がＯＦＦになる。図１８の例では、状態変数Ｍ１の値がＯＮになれば、状態変数Ｍ０の値がＯＦＦになる。また、状態変数Ｍ２の値がＯＮになれば、状態変数Ｍ１の値がＯＦＦになる。また、状態変数Ｍ３の値がＯＦＦになれば、状態変数Ｍ２の値がＯＮになる。更に、状態変数Ｍ０の値がＯＮになれば、状態変数Ｍ３の値がＯＦＦになる。
状態遷移記法とイベント制御記法は、用途、製造設備の分野等により使い分けられている。

現状、このような状態遷移記法及びイベント制御記法により容易にプログラムを記述する手法が確立されていない。
このため、プログラムを開発する開発者は制御手順に従ってプログラムを全て作成する必要があり、開発工数が大きくなるという課題がある。
本開示は、このような課題を解決することを主な目的とする。より具体的には、本開示は、プログラム生成における開発工数を削減することを主な目的とする。

本開示に係るデータ処理装置は、
順序付けられた複数の条件と、各々が前記複数の条件のいずれかと対応付けられ、対応付けられた条件である対応条件の成否に応じて値が代入される複数の制御変数とが用いられて、制御手順が記述される制御手順データを取得する制御手順データ取得部と、
前記複数の条件の各条件を順次選択し、選択した条件である選択条件ごとに、前記選択条件の成否と、前記選択条件よりも前の順序の条件である先行条件の状態変数の値とに基づき前記選択条件の状態変数の値を決定する第１の部分プログラムを、前記制御手順に従って生成する第１の部分プログラム生成部と、
前記複数の制御変数の各制御変数を順次選択し、選択した制御変数である選択制御変数ごとに、前記選択制御変数の前記対応条件の状態変数の値に基づき前記選択制御変数に代入する値を決定する第２の部分プログラムを、前記制御手順に従って生成する第２の部分プログラム生成部と、
前記第１の部分プログラムと前記第２の部分プログラムとを用いて、前記制御手順が反映されるプログラムを生成するプログラム生成部とを有する。

本開示によれば、制御手順が反映されるプログラムを生成することができ、開発工数を削減することができる。

実施の形態１に係るデータ処理装置の機能構成例を示す図。 実施の形態１に係るデータ処理装置のハードウェア構成例を示す図。 実施の形態１に係る制御対象を制御する例を示す図。 実施の形態１に係る制御手順データの例を示す図。 実施の形態１に係る制御プログラムの例を示す図。 実施の形態１に係るプログラム管理部の動作例を示すフローチャート。 実施の形態１に係る制御プログラムの一部の例を示す図。 実施の形態１に係る制御プログラムの一部の例を示す図。 実施の形態１に係る制御プログラムの一部の例を示す図。 実施の形態２に係る制御プログラムの例を示す図。 実施の形態２に係る制御プログラムの例を示す図。 実施の形態３に係る制御プログラムの例を示す図。 実施の形態３に係るプログラム管理部の動作例を示すフローチャート。 実施の形態４に係る制御手順データの例を示す図。 実施の形態４に係る制御プログラムの例を示す図。 実施の形態４に係るプログラム管理部の動作例を示すフローチャート。 状態遷移記法による制御プログラムの例を示す図。 イベント制御記法による制御プログラムの例を示す図。

以下、実施の形態を図を用いて説明する。以下の実施の形態の説明及び図面において、同一の符号を付したものは、同一の部分又は相当する部分を示す。

実施の形態１．
＊＊＊構成の説明＊＊＊
図１は、本実施の形態に係るデータ処理装置１００の機能構成例を示す。
また、図２は、本実施の形態に係るデータ処理装置１００のハードウェア構成例を示す。
データ処理装置１００の動作手順は、データ処理方法に相当する。また、データ処理装置１００の動作を実現するプログラムは、データ処理プログラムに相当する。

データ処理装置１００は、コンピュータである。
データ処理装置１００は、図２に示すように、ハードウェアとして、プロセッサ９０１、主記憶装置９０２、補助記憶装置９０３及び通信装置を備える。
また、データ処理装置１００は、機能構成として、図１に示すように、制御手順データ取得部１０１、プログラム管理部１０２、表示部１０３及び操作部１０４を備える。制御手順データ取得部１０１、プログラム管理部１０２、表示部１０３及び操作部１０４の機能は、例えば、プログラムにより実現される。
補助記憶装置９０３には、制御手順データ取得部１０１、プログラム管理部１０２、表示部１０３及び操作部１０４の機能を実現するプログラムが記憶されている。
これらプログラムは、補助記憶装置９０３から主記憶装置９０２にロードされる。そして、プロセッサ９０１がこれらプログラムを実行して、後述する制御手順データ取得部１０１、プログラム管理部１０２、表示部１０３及び操作部１０４の動作を行う。
図２は、プロセッサ９０１が制御手順データ取得部１０１、プログラム管理部１０２、表示部１０３及び操作部１０４の機能を実現するプログラムを実行している状態を模式的に表している。

図１において、制御手順データ取得部１０１は、制御手順データ２００を取得する。
制御手順データ２００は、制御手順が記述されるデータである。制御手順データ２００には条件２０１と制御処理２０２が含まれる。制御手順データ２００の詳細は後述する。
制御手順データ取得部１０１が行う処理は制御手順データ取得処理に相当する。

プログラム管理部１０２は、制御手順データ２００を解析して制御プログラム３００を生成する。制御プログラム３００は、制御手順データ２００に記述される制御手順が反映されるプログラムである。制御プログラム３００には、状態判定ブロック３０１と制御実行ブロック３０２が含まれる。制御プログラム３００の詳細は後述する。
プログラム管理部１０２は、第１の部分プログラム生成部、第２の部分プログラム生成部及びプログラム生成部に相当する。
また、プログラム管理部１０２により行われる処理は、第１の部分プログラム生成処理、第２の部分プログラム生成処理及びプログラム生成処理に相当する。

表示部１０３は、データ処理装置１００のユーザに各種情報を表示する。また、表示部１０３は、生成された制御プログラム３００を表示してもよい。

操作部１０４は、データ処理装置１００のユーザからの操作を受け付ける。
操作部１０４は、コマンド取得部に相当する。

次に、制御手順データ２００を説明する。
制御手順データ２００は、条件２０１と制御処理２０２で構成される。制御手順データ２００には複数の条件２０１と複数の制御処理２０２が含まれる、複数の条件２０１は順序付けられている。各制御処理２０２は、制御変数への変数値の代入処理、演算処理等である。制御変数は、制御対象を制御するための変数値が代入される変数である。制御変数は、例えば、出力変数である。各制御変数は、複数の条件２０１のうちのいずれかの条件と対応付けられる。そして、各制御変数には、対応付けられた条件である対応条件の成否に応じた変数値が代入される。制御手順データ２００では、これら複数の条件２０１と複数の制御処理２０２（制御変数への変数値の代入処理）とが用いられて制御手順が記述される。
以下では、特に断りがない限り、制御変数は出力変数であるものとする。

以下、具体例を用いて制御手順データ２００を説明する。
図３は、制御対象である空気圧シリンダの制御手順を示す。
また、図４は、図３の制御手順が記述される制御手順データ２００の例を示す。

図３の例では、スタートボタンが押されると条件変数Ｘ０の値がＯＮになる。
条件変数Ｘ０の値がＯＮになると、出力変数Ｙ１０の値がＯＮになる。
出力変数Ｙ１０の値がＯＮになると、ＰＬＣの指示により空気圧シリンダ内のピストンが前進する。
ピストンの先端にセンサＸ１が反応すると、条件変数Ｘ１の値がＯＮになる。
条件変数Ｘ１の値がＯＮになると、出力変数Ｙ１０の値がＯＦＦになる。
出力変数Ｙ１０の値がＯＦＦになると、ＰＬＣの指示によりピストンの前進が停止する。
続いて、出力変数Ｙ１１がＯＮになる。
出力変数Ｙ１１がＯＮになると、ＰＬＣの指示によりピストンが後退する。
そして、ピストンの先端にセンサＸ２が反応すると条件変数Ｘ２がＯＮになる。
条件変数Ｘ２がＯＮになると、出力変数Ｙ１１の値がＯＦＦになる。
出力変数Ｙ１１の値がＯＦＦになると、ＰＬＣの指示によりピストンは動きを止める。

図４の例では、制御手順をフローチャート形式で記述している。図４の例では、条件２０１を判断オブジェクト（ひし形のオブジェクト）で表現している。また、制御処理２０２を処理オブジェクト（矩形のオブジェクト）で表現している。そして、オブジェクト間を矢印で繋ぐことで制御手順を示している。
つまり、図４の例では、判断オブジェクトに示される「Ｘ０＝＝ＯＮ」、「Ｘ１＝＝ＯＮ」及び「Ｘ２＝＝ＯＮ」の各々が条件２０１である。そして、条件２０１に含まれる「Ｘ０」、「Ｘ１」及び「Ｘ２」の各々が条件変数である。また、処理オブジェクトに示される「Ｙ１０＝ＯＮ」、「Ｙ１０＝ＯＦＦ」、「Ｙ１１＝ＯＮ」及び「Ｙ１１＝ＯＦＦ」の各々が制御処理２０２である。そして、制御処理２０２で変数値（ＯＮ又はＯＦＦ）が代入される「Ｙ１０」及び「Ｙ１１」の各々が出力変数である。

なお、図４の例では「Ｙ１０＝ＯＦＦ」の後で「Ｙ１１＝ＯＮ」が行われることが一つの処理オブジェクト（ステップＴ４）に記述されている。これに代えて、「Ｙ１０＝ＯＦＦ」と「Ｙ１１＝ＯＮ」を別の処理オブジェクトに記述して、これら処理オブジェクトを矢印で繋ぐようにしてもよい。
同様に、論理積（ＡＮＤ）で接続した複数の条件を一つの判断オブジェクトに記述してもよいし、各条件を別の判断オブジェクトに記述してこれら判断オブジェクトを矢印で繋ぐようにしてもよい。また、他の方法で複数の条件を記述するようにしてもよい。

また、制御手順データ２００では、条件２０１と制御処理２０２の順序が示せればよい。このため、フローチャートに代えて、ＸＭＬ（Ｅｘｔｅｎｓｉｂｌｅ Ｍａｒｋｕｐ Ｌａｎｇｕａｇｅ）のような構造化言語で制御手順データ２００を生成してもよい。更に、スプレッドシートのような表形式で制御手順データ２００を生成してもよい。
また、図４の例では、ＰＬＣの入出力番地を示す変数Ｘ０、Ｙ１０等を用いてフローチャートを生成しているが、「センサＡ」のように理解しやすい名称を用いてフローチャートを生成してもよい。この場合は、「Ｘ０＝＝ＯＮ」等に代えて「センサＡ＝＝ＯＮ」等の記述が用いられる。また、フローチャートに用いられる名称と入出力番地の対応表を別途用意して、対応表を用いて名称を入出力番地に変換して制御プログラム３００を生成してもよい。また、ラダー言語を扱うソフトウェアが変数を用いたプログラムに対応しているのであれば、「センサＡ」のような名称を変数名として用いて制御プログラム３００を生成してもよい。この場合は、変数名と入出力番地の対応表も生成する。

次に、図１に示す制御プログラム３００を説明する。
制御プログラム３００は、状態判定ブロック３０１と制御実行ブロック３０２で構成される。
図５は、図４に示す制御手順データ２００から生成された制御プログラム３００の例を示す。
状態判定ブロック３０１は、図１７の説明で示したように、状態の変化に従って順序動作が１動作ずつ進んでいく様子を変数に記憶するコードブロックである。図５の破線より上に示されている各行のコードブロックが各々状態判定ブロック３０１である。各状態判定ブロック３０１は第１の部分プログラムに相当する。
また、制御実行ブロック３０２も、図１７の説明で示したように、各状態に応じて出力処理を切り替えるコードブロックである。図５の破線より下に示されている各行のコードブロックが各々制御実行ブロック３０２である。各制御実行ブロック３０２は、第２の部分プログラムに相当する。

＊＊＊動作の説明＊＊＊
本実施の形態に係るプログラム管理部１０２の動作例を図６を参照して説明する。
以下では、図４に示す制御手順データ２００から図５に示す制御プログラム３００を生成する例を用いて、プログラム管理部１０２の動作例を説明する。
図６は、制御手順データ取得部１０１が制御手順データ２００を取得し、取得した制御手順データ２００をプログラム管理部１０２に出力した後の動作を示す。

先ず、プログラム管理部１０２は、各条件、起点、及び終点に対応する状態変数を定義する（ステップＳ１）。
図５の例では、プログラム管理部１０２は、起点に状態変数Ｍ０を定義している。また、プログラム管理部１０２は、条件「Ｘ０＝＝ＯＮ」に状態変数Ｍ１を定義している。また、プログラム管理部１０２は、条件「Ｘ１＝＝ＯＮ」に状態変数Ｍ２を定義している。また、プログラム管理部１０２は、条件「Ｘ２＝＝ＯＮ」に状態変数Ｍ３を定義している。更に、プログラム管理部１０２は、終点に状態変数Ｍ４を定義している。
なお、プログラム管理部１０２は、上述のように制御手順データ２００に記載されている順に状態変数の変数名を指定してもよいし、データ処理装置１００のユーザが例えば制御手順データ２００上で状態変数の変数名を指定してもよい。

次に、プログラム管理部１０２は、起点に対するコードブロック（以下、単にブロックという）を生成する（ステップＳ２）。
ステップＳ２から後述するステップＳ６までに生成される各コードブロックが状態判定ブロック３０１（第１の部分プログラム）に相当する。
図５の例では、プログラム管理部１０２は、起点に対するコードブロックとして、終点の状態変数Ｍ４の値がＯＮになったときのみ起点の状態変数Ｍ０の値がＯＦＦになり、それ以外の場合は状態変数Ｍ０の値がＯＮになるコードブロックを生成している。こうすることで、後述するステップＳ６で生成する終点に対するコードブロックによって状態変数Ｍ４の値がＯＮになったときに状態変数Ｍ０の値がＯＦＦになる。そして、他の状態変数Ｍ１～Ｍ４の値が順次ＯＦＦになる。この結果、処理が初期状態（全ての状態変数の値がＯＦＦ）に戻る。
なお、図３の例では、開始条件の成否の判定として、ピストンが初期位置にあるか否かを判定することを省略している。これに代えて、ピストンが初期位置にあるか否を判定することとし、プログラム管理部１０２が、起点に対するコードブロックにピストンが初期位置にあるか否を判定するための状態変数を追加してもよい。また、プログラム管理部１０２は、最初の条件でピストンが初期位置にあるか否かを判定をするコードブロックを生成してもよい。

次に、プログラム管理部１０２は、状態判定ブロック３０１を生成していない条件が存在するか否かを判定する（ステップＳ３）。
状態判定ブロック３０１を生成していない条件が存在する場合（ステップＳ３でＹＥＳ）は、処理がステップＳ４に進む。一方、全ての条件に対して状態判定ブロック３０１を生成している場合（ステップＳ３でＮＯ）は、処理がステップＳ６に進む。

ステップＳ４では、プログラム管理部１０２は次の条件を選択する。
より具体的には、プログラム管理部１０２は、ステップＳ２の直後のステップＳ４では、制御手順データ２００における最初の条件を選択する。一方、既にいずれかの条件に対して状態判定ブロック３０１を生成している場合は、プログラム管理部１０２は、直前に状態判定ブロック３０１の生成の対象とした条件の制御手順データ２００における次の条件を選択する。
ここでは、プログラム管理部１０２は、図５の制御手順データ２００における最初の条件である条件「Ｘ０＝＝ＯＮ」を選択するものとする。

次に、プログラム管理部１０２は、制御手順に従って、選択した選択条件（「Ｘ０＝＝ＯＮ」）の状態変数（Ｍ１）の値を決定するブロック（状態判定ブロック３０１）を生成する（ステップＳ５）。
具体的には、プログラム管理部１０２は、選択条件（「Ｘ０＝＝ＯＮ」）の成否、選択条件の前の順序の先行条件の状態変数（起点の状態変数Ｍ０）の値、選択条件の状態変数（Ｍ１）の値、及び選択条件の状態変数（Ｍ１）を非成立にする条件に基づき、選択条件の状態変数（Ｍ１）の値（ＯＮ／ＯＦＦ）を決定するコードブロックを生成する。
ここでは、プログラム管理部１０２は、先行条件として、選択条件の直前の順序の条件のみを用いている。プログラム管理部１０２は、選択条件の前の順序の条件であれば、直前の順序の条件とともに、直前の順序以外の条件を用いてもよい。
選択条件の状態変数を非成立にする条件とは、選択条件の状態変数の値をＯＦＦにする条件である。また、ここでは、選択条件の状態変数を非成立にする条件が、直前の条件の状態変数の値がＯＦＦになることであるとデータ処理装置１００又は制御手順データ２００に定義されているものとする。このため、図５の例では、状態変数Ｍ１を非成立にする条件として状態変数Ｍ０の値がＯＦＦであることが用いられている。
プログラム管理部１０２は、直前の状態変数Ｍ０の値がＯＮであり、かつ条件「Ｘ０＝＝ＯＮ」が成立したときに状態変数Ｍ１の値がＯＮになり、直前の状態変数Ｍ０の値がＯＦＦになると状態変数Ｍ１の値がＯＦＦになるブロックを生成している。なお、ラダー言語では左側の条件が非成立になると右側の変数がＯＦＦになる。このため、プログラム管理部１０２は、状態変数Ｍ１の値がＯＮになった後で条件変数Ｘ０の値がＯＦＦになっても状態変数Ｍ１の値をＯＮにし続けるために、状態変数Ｍ１による自己保持プログラムも生成する。

プログラム管理部１０２は、条件「Ｘ１＝＝ＯＮ」及び条件「Ｘ２＝＝ＯＮ」に対してもステップＳ３～Ｓ５を行い、状態変数Ｍ２及び状態変数Ｍ３の値を決定するコードブロック（状態判定ブロック３０１）を生成する。
上記は制御手順データ２００の最先の条件である「Ｘ０＝＝ＯＮ」の状態判定ブロック３０１の生成を説明しているので、先行条件の状態変数として起点の状態変数Ｍ０が用いられている。条件「Ｘ１＝＝ＯＮ」の状態判定ブロック３０１の生成では、先行条件の状態変数として条件「Ｘ０＝＝ＯＮ」の状態変数Ｍ１が用いられる。また、条件「Ｘ２＝＝ＯＮ」の状態判定ブロック３０１の生成では、先行条件の状態変数として条件「Ｘ１＝＝ＯＮ」の状態変数Ｍ２が用いられる。

本実施の形態では、「Ｘ０＝＝ＯＮ」のような単純な条件についての状態判定ブロック３０１を示している。しかし、プログラム管理部１０２は、より複雑な条件についても状態判定ブロック３０１を生成することができる。

複雑な条件として、例えば、タイマーが満了したか否かの判定を伴う条件が制御手順データ２００に含まれていることが考えられる。プログラム管理部１０２は、タイマーが満了したか否かの判定を伴う条件が選択条件である場合は、選択条件の状態変数の値を、タイマーが満了したか否かの判定結果に基づく選択条件の成否と、先行条件の状態変数の値とに基づき決定する状態判定ブロック３０１を生成する。

また、別の複雑な条件として、複数の部分条件の論理演算を伴う条件が制御手順データ２００に含まれていることが考えられる。プログラム管理部１０２は、複数の部分条件の論理演算を伴う条件が選択条件である場合に、選択条件の状態変数の値を、複数の部分条件の論理演算の結果に基づく選択条件の成否と、先行条件の状態変数の値とに基づき決定する状態判定ブロック３０１を生成する。
その際に、プログラム管理部１０２は、条件を判定するためだけのコードブロックを生成し、そのコードブロックにおける判定結果を用いて状態変数の値を決定する状態判定ブロック３０１を生成してもよい。例えば、図４の「Ｘ０＝＝ＯＮ」の代わりに「（Ｘ１０＝＝ＯＮ ＡＮＤ Ｘ１１＝＝ＯＦＦ」 ＯＲ Ｄ０＞＝１０」という論理演算を伴う条件が設定されていると仮定する。この場合に、プログラム管理部１０２は、図７に示すように、当該条件の成否を判定し、判定結果を変数Ｍ９９に代入するコードブロックを生成する。そして、プログラム管理部１０２は、変数Ｍ９９の値を用いて状態変数Ｍ１の値を決定する状態判定ブロック３０１を生成する。

図６において、全ての条件に対して状態判定ブロック３０１が生成されたら（ステップＳ３でＮＯ）、プログラム管理部１０２は、終点に対するコードブロック（状態判定ブロック３０１）を生成する（ステップＳ６）。
図５の例では、プログラム管理部１０２は、直前の状態変数Ｍ３の値がＯＮになると、終点の状態変数Ｍ４の値がＯＮになる状態判定ブロック３０１を生成している。
状態変数Ｍ４の値がＯＮになることで、状態変数Ｍ０の値がＯＦＦとなる。この結果、状態変数Ｍ１～Ｍ４の値も順次ＯＦＦとなり、処理が初期状態（全ての状態変数の値がＯＦＦ）に戻る。

続いて、プログラム管理部１０２は、制御実行ブロック３０２を生成する。
製造設備の保守時には、各出力変数が現在の値になった要因を判別しやすくすることが求められる。このため、値が変化する出力変数（特にビット型の変数）の値を決定するコードブロックは出力変数ごとにまとめて記述することが多い。このような理由から、図６の処理フローでは、プログラム管理部１０２は出力変数ごとに制御実行ブロック３０２を生成する。ただし、制御プログラム３００の生成方法に明確なルールはないので、プログラム管理部１０２は、制御手順データ２００における出現順序に沿って出力変数の値を決定するコードブロック（制御実行ブロック３０２）を生成してもよい。

図６において、プログラム管理部１０２は、制御実行ブロック３０２を生成していない出力変数が存在するか否かを判定する（ステップＳ７）。
制御実行ブロック３０２を生成していない出力変数が存在する場合（ステップＳ７でＹＥＳ）は、処理がステップＳ８に進む。一方、全ての出力変数に対して制御実行ブロック３０２を生成している場合（ステップＳ７でＮＯ）は、処理がステップＳ１０に進む。

ステップＳ８では、プログラム管理部１０２は次の出力変数を選択する。
より具体的には、プログラム管理部１０２は、制御手順データ２００において、直前に制御実行ブロック３０２の生成の対象とした出力変数の次の出力変数を選択する。

次に、プログラム管理部１０２は、選択した選択出力変数に代入する値を決定するコードブロック（制御実行ブロック３０２）を生成する
（ステップＳ９）。
より詳細には、プログラム管理部１０２は、選択出力変数に代入する値を選択出力変数が対応する対応条件の状態変数の値に基づき決定する制御実行ブロック３０２を生成する。

具体例として、ステップＳ８で出力変数Ｙ１０が選択された場合のプログラム管理部１０２のステップＳ９の動作を説明する。
図４では、出力変数Ｙ１０の値は、対応条件である「Ｘ０＝＝ＯＮ」が成立したとき（ステップＴ１でＹＥＳ）にＯＮになる（ステップＴ２）。つまり、出力変数Ｙ１０の値は、対応条件「Ｘ０＝＝ＯＮ」の状態変数Ｍ１の値がＯＮであるときにＯＮになる。また、図４では、出力変数Ｙ１０の値は、対応条件である「Ｘ１＝＝ＯＮ」が成立したとき（ステップＴ３でＹＥＳ）にＯＦＦになる（ステップＴ４）。つまり、出力変数Ｙ１０の値は、対応条件「Ｘ１＝＝ＯＮ」の状態変数Ｍ２の値がＯＮであるときにＯＦＦになる。プログラム管理部１０２は、このような制御手順が反映される制御実行ブロック３０２を生成する。

また、ステップＳ８で出力変数Ｙ１１が選択された場合のプログラム管理部１０２のステップＳ９の動作を説明する。
図４では、出力変数Ｙ１１の値は、対応条件である「Ｘ１＝＝ＯＮ」が成立したとき（ステップＴ３でＹＥＳ）にＯＮになる（ステップＴ４）。つまり、出力変数Ｙ１１の値は、対応条件「Ｘ１＝＝ＯＮ」の状態変数Ｍ２の値がＯＮであるときにＯＮになる。また、図４では、出力変数Ｙ１１の値は、対応条件である「Ｘ２＝＝ＯＮ」が成立したとき（ステップＴ５でＹＥＳ）にＯＦＦになる（ステップＴ６）。つまり、出力変数Ｙ１１の値は、対応条件「Ｘ２＝＝ＯＮ」の状態変数Ｍ３の値がＯＮであるときにＯＦＦになる。プログラム管理部１０２は、このような制御手順が反映される制御実行ブロック３０２を生成する。

全ての出力変数に対して制御実行ブロック３０２が生成されると（ステップＳ７でＮＯ）、プログラム管理部１０２は、全ての状態判定ブロック３０１と制御実行ブロック３０２とを組み合わせて、制御手順データ２００の制御手順を反映する制御プログラム３００を生成する（ステップＳ１０）。

なお、以上では、プログラム管理部１０２が、ステップＳ９において、出力変数が１回ずつＯＮとＯＦＦになる制御実行ブロック３０２を生成する例を示している。プログラム管理部１０２は、出力変数の値がより多く変化する制御実行ブロック３０２を生成することもできる。

例えば、制御手順データ２００に２つ以上の条件の組み合わせである条件セットが２つ以上存在し、出力変数に２つ以上の条件セットが対応付けられているとものとする。また、当該出力変数に、２つ以上の条件セットの各々に含まれる条件が対応条件として対応付けられているものとする。なお、ここでは、このような出力変数を複合出力変数と呼ぶ。複合出力変数は複合制御変数の例である。
このような場合に、複合出力変数が選択出力変数として選択されたとする。プログラム管理部１０２は、複合出力変数に対応付けられている条件セットごとに、複合出力変数に代入する値を条件セットに含まれる対応条件の状態変数の値の組み合わせに基づき決定する制御実行ブロック３０２を生成する。
具体的には、複合出力変数Ｙ１に条件セット１～３が対応付けられているものとする。
条件セット１には、条件１（「Ｘ１＝＝ＯＮ」）と条件２（「Ｘ２＝＝ＯＦＦ」）が含まれているものとする。条件セット２には、条件３（「Ｘ３＝＝ＯＮ」）と条件４（「Ｘ４＝＝ＯＦＦ」）が含まれているものとする。条件セット３には、条件５（「Ｘ５＝＝ＯＮ」）と条件６（「Ｘ６＝＝ＯＦＦ」）が含まれているものとする。
この場合に、プログラム管理部１０２は、条件１（「Ｘ１＝＝ＯＮ」）の状態変数としてＭ１を設定し、条件２（「Ｘ２＝＝ＯＦＦ」）の状態変数としてＭ２を設定したものとする。また、プログラム管理部１０２は、条件３（「Ｘ３＝＝ＯＮ」）の状態変数としてＭ３を設定し、条件４（「Ｘ４＝＝ＯＦＦ」）の状態変数としてＭ４を設定したものとする。また、プログラム管理部１０２は、条件５（「Ｘ５＝＝ＯＮ」）の状態変数としてＭ５を設定し、条件６（「Ｘ６＝＝ＯＦＦ」）の状態変数としてＭ６を設定したものとする。
このような場合に、プログラム管理部１０２は、図８に示すように、条件セットごとに、複合出力変数Ｙ１に代入する値を条件セットに含まれる対応条件の状態変数の値の組み合わせに基づき決定する制御実行ブロック３０２を生成する。

また、１ビット値ではなく整数値をとる出力変数の値を決定する制御実行ブロック３０２をプログラム管理部１０２が生成する場合がある。
例えば、２つ以上の条件が対応条件として対応付けられ、対応条件が成立した場合に代入される値が対応条件ごとに変動する出力変数が制御手順データ２００に含まれているとする。ここでは、このような出力変数を変動出力変数と呼ぶ。変動出力変数は変動制御変数の例である。
このような場合に、変動出力変数が選択出力変数として選択されたとする。プログラム管理部１０２は、変動出力変数に代入する値を、変動出力変数の対応条件の状態変数の値に基づき変動させる制御実行ブロック３０２を生成する。
具体的には、変動出力変数Ｄ１０が条件１～３に対応付けられているものとする。そして、条件１が成立すれば変動出力変数Ｄ１０に値１０が代入されるものとする。また、条件２が成立すれば変動出力変数Ｄ１０に値２０が代入されるものとする。更に、条件３が成立すれば変動出力変数Ｄ１０に値３０が代入されるものとする。
この場合に、プログラム管理部１０２は、条件１に対して状態変数Ｍ１を設定し、条件２に対して状態変数Ｍ２を設定し、条件３に対して状態変数Ｍ３を設定する。
制御手順データ取得部１０１は、状態変数Ｍ１の値がＯＮであれば変動出力変数Ｄ１０に値１０を代入し、状態変数Ｍ２の値がＯＮであれば変動出力変数Ｄ１０に値２０を代入し、状態変数Ｍ３の値がＯＮであれば変動出力変数Ｄ１０に値３０を代入する制御実行ブロック３０２を生成する。プログラム管理部１０２は、例えば、図９に示すように、状態変数ごとに変動出力変数Ｄ１０に代入する値を変動させる（図９ではＭＯＶ命令で表現）制御実行ブロック３０２を生成する。

また、単純な値の変更に限らず、例えばファンクションブロックのような別なコードブロックを呼び出すような処理を制御手順データ２００で規定してもよい。このような場合は、プログラム管理部１０２は、条件成立時にファンクションブロックを呼び出す制御変数が含まれる制御実行ブロック３０２を生成する。

＊＊＊実施の形態の効果の説明＊＊＊
本実施の形態によれば、制御手順が反映される制御プログラムを状態遷移記法により生成することができ、開発工数を削減することができる。
つまり、本実施の形態では、条件と条件の成否に応じた制御処理が記述された制御手順データをプログラム開発者が作成するだけで、制御手順が反映された制御プログラムを普段見慣れた形式（状態遷移記法）が生成される。このため、本実施の形態によれば、製造設備の保全のしやすさを維持したまま製造設備の制御プログラムの開発工数を削減することができる。

実施の形態２．
実施の形態１では状態遷移記法による制御プログラム３００の生成例を示した。本実施の形態では、イベント制御記法による制御プログラム３００の生成例を示す。
本実施の形態では、主に実施の形態１との差異を説明する。
なお、以下で説明していない事項は、実施の形態１と同様である。

図１０は、イベント制御記法での制御プログラム３００を示す。
以下では、図４の制御手順データ２００に対して、プログラム管理部１０２が図６の処理フローを実行することで、図１０に示す制御プログラム３００を生成する例を説明する。
また、以下では、主に実施の形態１と異なる処理を説明する。

ステップＳ５では、プログラム管理部１０２は、選択条件の状態変数の値を、選択条件の成否と、先行条件の状態変数の値と、選択条件よりも後の順序の条件の状態変数の値とに基づき決定する状態判定ブロック３０１を生成する。

ここで、選択条件「Ｘ０＝＝ＯＮ」の状態変数を決定する状態判定ブロック３０１の生成例を用いて、ステップＳ５におけるプログラム管理部１０２の動作の詳細を説明する。
ここでは、選択条件の状態変数を非成立にする条件が、選択条件の直後の条件の状態変数の値がＯＮになることであると制御手順データ２００に定義されているものとする。
このため、プログラム管理部１０２は、選択条件「Ｘ０＝＝ＯＮ」の直後の条件である「Ｘ１＝＝ＯＮ」の状態変数Ｍ２の値がＯＮであるときに選択条件「Ｘ０＝＝ＯＮ」の状態変数Ｍ１の値がＯＦＦになる状態判定ブロック３０１を生成している。
なお、選択条件「Ｘ０＝＝ＯＮ」の直前の条件（起点）の状態変数Ｍ０は状態変数Ｍ１の値がＯＮになる条件ではある。しかし、実施の形態１（状態遷移記法）とは異なり、プログラム管理部１０２は、状態変数Ｍ０が状態変数Ｍ１の値をＯＦＦにする条件とはならないように状態判定ブロック３０１を生成する。

ステップＳ２では、プログラム管理部１０２は、状態変数Ｍ１～Ｍ４の値がＯＮでない状態、つまり初期状態であるときに、起点の状態変数Ｍ０の値がＯＮになり、ステップＳ５の処理と同様に、直後の条件の状態変数Ｍ１がＯＮになると状態変数Ｍ０の値がＯＦＦになる状態判定ブロック３０１を生成する。
なお、図１０では、状態判定ブロック３０１を単純化して示すために状態変数Ｍ１の判定処理を重複して記述している。プログラム管理部１０２は、不要な左側の状態変数Ｍ１の判定処理を生成しなくてもよい。

イベント制御記法の場合は、次の条件の状態変数の値がＯＮだと、前の条件の状態変数の値はＯＦＦである。このため、プログラム管理部１０２は、選択出力変数がビット型変数の場合は、ステップＳ９において、ビット型変数の値がＯＮとなる状態変数のみで制御実行ブロック３０２を生成する。図４の例では、出力変数Ｙ１０の値は条件「Ｘ０＝＝ＯＮ」の状態変数Ｍ１の値がＯＮの時のみＯＮになる。また、出力変数Ｙ１１の値は条件「Ｘ１＝＝ＯＮ」の状態変数Ｍ２の値がＯＮの時のみＯＮになる。プログラム管理部１０２は、図１０に示すように、このような制御手順が反映されるように出力変数Ｙ１０の制御実行ブロック３０２と出力変数Ｙ１１の制御実行ブロック３０２を生成する。

以上のように、本実施の形態によれば、制御手順が反映される制御プログラムをイベント制御記法により生成することができ、開発工数を削減することができる。

また、実施の形態１及び実施の形態２では、プログラム管理部１０２がラダー言語で制御プログラムを生成する例を説明した。プログラム管理部１０２は、ラダー言語以外の言語で制御プログラムを生成することもできる。
図１１は、プログラム管理部１０２が、図４の制御手順データ２００に対し図６の処理フローを実行して生成したＣ言語による制御プログラム３００の例を示す。
なお、図１１は、制御手順データ２００で規定された条件２０１と制御処理２０２のみを反映したコードブロックを示す。つまり、図１１では、変数名の定義等の図示は省略している。

データ処理装置１００のユーザは、プログラム管理部１０２が生成する制御プログラム３００（状態判定ブロック３０１、制御実行ブロック３０２）の種別を指定することができる。つまり、ユーザは、状態遷移記法、イベント制御記法、Ｃ言語等のいずれで制御プログラム３００を生成するかを指定することができる。
データ処理装置１００のユーザは、例えば、入出力装置９０４を介して、操作部１０４に、制御プログラム３００の種別を指定するコマンドを入力する。操作部１０４は、コマンドを取得し、プログラム管理部１０２に制御プログラム３００の種別を通知する。
プログラム管理部１０２は、操作部１０４から通知された種別に対応する制御プログラム３００を生成する。つまり、ユーザにより制御プログラム３００の種別として状態遷移記法が指定された場合は、プログラム管理部１０２は、実施の形態１で説明した方法により制御プログラム３００を生成する。一方、ユーザにより制御プログラム３００の種別としてイベント制御記法が指定された場合は、プログラム管理部１０２は、実施の形態２で説明した方法により制御プログラム３００を生成する。

また、ユーザは、他の選択、例えば、状態変数を非成立にする条件を設定するか否かの選択を行うことができる。例えば、ユーザは、このような選択を指示するコマンドを操作部１０４に入力する。また、ユーザは、このような選択を制御手順データ２００において行ってもよい。また、表示部１０３に、このような選択を可能にするインターフェースを用意してもよい。プログラム管理部１０２は、ユーザの選択に合致する制御プログラム３００を生成する。

実施の形態３．
製造設備を制御する制御プログラムには、状態の初期化、製造設備の動作の強制停止、問題発生時の変数値の維持等を可能とすることが求められることが多い。このため、本実施の形態では、プログラム管理部１０２は、これらの要求に対応する制御プログラム３００を生成する。
本実施の形態では、主に実施の形態１との差異を説明する。
なお、以下で説明していない事項は、実施の形態１と同様である。

図１２は、本実施の形態に係る状態遷移記法による制御プログラム３００の例を示す。
図１２では、図５と比較して、破線で囲んだ変数が追加されている。
具体的には、図１２では、変数Ｍ１００の値がＯＮになると全ての状態変数の初期化が行われる。また、図１２では、変数Ｍ１０１の値がＯＦＦになると、全ての状態変数の値が固定化され、状態の進行が止まる。更に、変数Ｍ１０１の値がＯＦＦになると、出力変数Ｙ１０と出力変数Ｙ１１の値が強制的にＯＦＦになり、ピストンの動作が停止する。

図１３は、プログラム管理部１０２が図１２の制御プログラム３００を生成する際の動作例を示すフローチャートである。
図１３では、図６と比較して、ステップＳ１００、ステップＳ２１、ステップＳ５１、ステップＳ６１及びステップＳ９１が異なる。
以下では、主にこれらについて説明する。

ステップＳ１００では、プログラム管理部１０２は、状態変数の初期化のための変数、状態変数の値の固定化のための変数を決定する。
図１２の例では、プログラム管理部１０２は、初期化のための変数（以下、初期化変数という）としてＭ１００を決定する。また、プログラム管理部１０２は、状態変数の値の固定化のための変数（以下、固定化変数という）としてＭ１０１を決定する。
初期化変数及び固定化変数の変数名は、プログラム管理部１０２が自動で割り振っても良いし、ユーザが例えば制御手順データ２００で事前に指定してもよい。
また、図１２の例では、全ての状態変数の値を一律に固定化するので、プログラム管理部１０２は固定化変数を一つだけ決定する。これと異なり、プログラム管理部１０２は、固定化の範囲を切り分けるために、複数の固定化変数を決定してもよい。例えば、ユーザが制御手順データ２００にて同時に変数値を固定化する範囲を指定する。そして、プログラム管理部１０２は、ユーザにより指定された範囲ごとに、固定化変数を決定する。

ステップＳ２１では、起点に対するブロック（状態判定ブロック３０１）として、初期化変数Ｍ１００の値がＯＮになると状態変数Ｍ０の値がＯＦＦになるブロックを生成する。起点の状態変数Ｍ０の値がＯＦＦになることで、状態変数Ｍ１～Ｍ４の値が順次ＯＦＦとなる。この結果、全ての状態変数の初期化が実現される。
また、プログラム管理部１０２は、状態変数Ｍ０の値がＯＦＦであり固定化変数Ｍ１０１の値がＯＦＦの時に状態変数Ｍ０の値がＯＮにならないように固定化変数Ｍ１０１を起点の状態判定ブロック３０１に追加する。これにより、固定化変数Ｍ１０１の値がＯＦＦの時に状態変数Ｍ０の値がＯＮにならない。これにより、状態を維持して制御の進行を止めることができる。

ステップＳ５１では、プログラム管理部１０２は、ステップＳ２１と同様に状態変数Ｍ１～Ｍ３の値がＯＦＦであり固定化変数Ｍ１０１の値がＯＦＦの時に状態変数Ｍ１～Ｍ３の値がＯＮにならないようにするブロック（状態判定ブロック３０１）生成する。

ステップＳ６１でも同様に、プログラム管理部１０２は、状態変数Ｍ４の値がＯＦＦであり固定化変数Ｍ１０１の値がＯＦＦの時に状態変数Ｍ４の値がＯＮにならないようにするブロック（状態判定ブロック３０１）を生成する。また、プログラム管理部１０２は、それ以外の処理が変わらないように、状態変数Ｍ３と状態変数Ｍ４の値が共にＯＮの時に状態変数Ｍ４の値がＯＮのまま維持するようにする。

ステップＳ９１では、プログラム管理部１０２は、固定化変数Ｍ１０１の値がＯＦＦの時に出力変数Ｙ１０と出力変数Ｙ１１の値がＯＦＦになるブロック（制御実行ブロック３０２）を生成する。これにより、どのような状態で固定化変数Ｍ１０１の値がＯＦＦになってもピストンを停止することができる。

本実施の形態では、固定化変数Ｍ１０１の値がＯＦＦになると全ての出力変数の値が強制的にＯＦＦになるブロックをプログラム管理部１０２が生成する例を説明した。
これに代えて、プログラム管理部１０２は、指定された出力変数の値のみが強制的にＯＦＦになる制御実行ブロック３０２を生成してもよい。この場合は、ユーザが対象となる出力変数を例えば制御手順データ２００上で指定する。そして、プログラム管理部１０２が制御手順データ２００で指定されている出力変数の値を強制的にＯＦＦにする制御実行ブロック３０２を生成する。
また、プログラム管理部１０２は、強制的に値がＯＦＦになる出力変数を切り替える制御実行ブロック３０２を生成してもよい。この場合は、ユーザが出力変数の切り替え条件を例えば制御手順データ２００上で指定する。そして、プログラム管理部１０２が、強制的に値がＯＦＦになる出力変数を切り替え条件に従って切り替える制御実行ブロック３０２を生成する。
また、プログラム管理部１０２は、出力変数の値をＯＦＦ以外の既定値に強制的に変更する制御実行ブロック３０２を生成してもよい。この場合は、ユーザが強制変更後の出力変数の値を例えば制御手順データ２００上で指定する。そして、プログラム管理部１０２が制御手順データ２００で指定されている値に出力変数の値を強制的に変更する制御実行ブロック３０２を生成する。

また、本実施の形態では、プログラム管理部１０２が初期化変数と固定化変数を用いる例を示したが、プログラム管理部１０２は、これら以外の変数を用いてもよい。
プログラム管理部１０２は、このような変数を常に用いて制御プログラム３００を生成してもよい。また、ユーザが制御手順データ２００でこれら変数の使用有無を指定し、プログラム管理部１０２が、制御手順データ２００の指定に従って変数を使用して制御プログラム３００を生成してもよい。

以上のように、本実施の形態によれば、状態の初期化、製造設備の動作の強制停止、問題発生時の変数の状態維持などを可能にする制御プログラムを生成することができる。また、この結果、制御プログラムの開発工数を低減することができる。

実施の形態４．
製造設備の制御では、条件に応じて制御を切り替えることがある。本実施の形態では、このような事象に鑑み、プログラム管理部１０２は、分岐及び合流が定義された制御手順データ２００に対応して制御プログラム３００を生成する。
本実施の形態では、主に実施の形態１との差異を説明する。
なお、以下で説明していない事項は、実施の形態１と同様である。

図１４は、分岐条件及び合流条件が含まれる制御手順データ２００の例を示す。
図１４のステップＴ１１とステップＴ１２は図４のステップＴ１とステップＴ２と同じである。
図１４では、ステップＴ１３において、条件「Ｘ１＝＝ＯＮ」と条件「Ｘ２０＝＝ＯＮ」が成立していると判定されれば、出力変数Ｙ１０の値がＯＦＦになり、出力変数Ｙ１１の値がＯＮになる（ステップＴ１４）。一方で、条件「Ｘ１＝＝ＯＮ」と条件「Ｘ２０＝＝ＯＦＦ」が成立していると判定された場合は、出力変数Ｙ１０の値がＯＦＦになり、出力変数Ｙ１２の値がＯＮになる（ステップＴ１５）。
そして、ステップＴ１４及びステップＴ１５のいずれが実行されても、条件「Ｘ２＝＝ＯＮ」が成立すれば（ステップＴ１６でＹＥＳ）、出力変数Ｙ１１の値と出力変数Ｙ１２の値がＯＦＦになる（ステップＴ１７）。

図１４では、ステップＴ１３の「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＮ」と「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＦＦ」により分岐が発生しており、これらは分岐条件である。
また、ステップ１６の条件「Ｘ２＝＝ＯＮ」の成立時に分岐が合流する。このため、ステップ１６の条件「Ｘ２＝＝ＯＮ」は合流条件である。
また、分岐条件により発生した分岐が合流するまでの複数の経路を分岐経路という。図１４では、ステップＴ１３からステップＴ１４を経てステップＴ１６に至る経路と、ステップＴ１３からステップＴ１５を経てステップＴ１６に至る経路は、それぞれ分岐経路である。

また、図１４では、出力変数Ｙ１１の値は、ステップＴ１４において分岐条件「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＮ」の成立に依存している。また、出力変数Ｙ１１の値は、ステップＴ１７において合流条件「Ｘ２＝＝ＯＮ」の成立に依存している。このため、分岐条件「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＮ」と合流条件「Ｘ２＝＝ＯＮ」は、出力変数Ｙ１１の対応条件である。
同様に、出力変数Ｙ１２の値は、ステップＴ１５において分岐条件「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＦＦ」の成立に依存している。また、出力変数Ｙ１２の値は、ステップＴ１７において合流条件「Ｘ２＝＝ＯＮ」の成立に依存している。このため、分岐条件「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＦＦ」と合流条件「Ｘ２＝＝ＯＮ」は、出力変数Ｙ１２の対応条件である。
出力変数Ｙ１１と出力変数Ｙ１２は、分岐条件と合流条件を対応条件としており、合成出力変数に該当する。合成出力変数は合成制御変数の例である。

一方で、出力変数Ｙ１０は、分岐条件「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＮ」又は「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＦＦ」が対応条件となっているが、合流条件「Ｘ２＝＝ＯＮ」は対応条件になっていない。このため、出力変数Ｙ１０は合成出力変数に該当しない。

図１５は、図１４に示す制御手順データ２００から生成された状態遷移記法による制御プログラム３００の例を示す。

以下では、プログラム管理部１０２が図１４に示す制御手順データ２００から図１５に示す制御プログラム３００を生成する手順を、図１６を用いて説明する。
図１５では、図６と比較して、ステップＳ１１、ステップＳ５２及びステップＳ９２が異なる。
以下では、主にこれらについて説明する。

ステップＳ１１では、図６のステップＳ１と同様に、各条件、起点及び終点に対して状態変数を定義する。ステップＳ１１では、制御手順データ２００に分岐条件が含まれている場合に、プログラム管理部１０２は、分岐条件に、分岐条件の成否を示す状態変数を定義する。また、制御手順データ２００に合流条件が含まれている場合に、プログラム管理部１０２は、合流条件に、合流条件の成否を示す状態変数を定義する。
図１５の例では、プログラム管理部１０２は、起点に状態変数Ｍ０を定義している。また、プログラム管理部１０２は、条件「Ｘ０＝＝ＯＮ」に状態変数Ｍ１を定義している。また、プログラム管理部１０２は、分岐条件「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＮ」に状態変数Ｍ２を定義している。また、プログラム管理部１０２は、分岐条件「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＦＦ」に状態変数Ｍ３を定義している。また、プログラム管理部１０２は、合流条件「Ｘ２＝＝ＯＮ」に状態変数Ｍ４を定義している。また、プログラム管理部１０２は、終点に状態変数Ｍ５を定義している。

ステップＳ５２では、プログラム管理部１０２は、選択条件が分岐条件の場合に、選択条件である分岐条件（選択分岐条件という）の状態変数の値を、選択分岐条件の成否と、選択分岐条件の先行条件の状態変数の値と、他の分岐条件の状態変数の値とに基づき決定するコードブロック（状態判定ブロック３０１）を生成する。
より具体的には、プログラム管理部１０２は、選択分岐条件が成立し、選択分岐条件の直前の条件の状態変数の値がＯＮであり、他の分岐条件の状態変数がＯＦＦである場合に、選択分岐条件の状態変数がＯＮになる状態判定ブロック３０１を生成する。換言すると、プログラム管理部１０２は、選択分岐条件が成立し、選択分岐条件の直前の条件の状態変数の値がＯＮである場合に、選択分岐条件の状態変数がＯＮになるとともに、他の分岐条件の状態変数がＯＦＦになる状態判定ブロック３０１を生成する。
図１５では、選択分岐条件「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＮ」が成立し、直前の条件の状態変数Ｍ１の値がＯＮであり、他の分岐条件「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＦＦ」の状態変数Ｍ３の値がＯＦＦの場合に、選択分岐条件「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＮ」の状態変数Ｍ２の値がＯＮになる。
つまり、プログラム管理部１０２は、状態変数Ｍ２の値が先にＯＮになると状態変数Ｍ３の値がＯＮにならず、逆に、状態変数Ｍ３の値が先にＯＮになると状態変数Ｍ２の値がＯＮにならない状態判定ブロック３０１を生成する。

図１５では、直前の条件の状態変数Ｍ１の成否判定処理が、状態変数Ｍ２の成否判定処理と、状態変数Ｍ３の成否判定処理とで共通化されている。これに代えて、プログラム管理部１０２は、状態変数Ｍ２の成否判定処理と状態変数Ｍ３の成否判定処理とで、個別に状態変数Ｍ１の成否判定処理を実施する状態判定ブロック３０１を生成してもよい。

また、ステップＳ５２では、選択条件が合流条件である場合に、プログラム管理部１０２は、合流条件の状態変数の値を、合流条件の成否と、複数の分岐経路に含まれる条件の状態変数の値又は複数の分岐条件の状態変数の値とに基づき決定するコードブロック（状態判定ブロック３０１）を生成する。
より具体的には、プログラム管理部１０２は、合流条件が成立し、合流前の複数の分岐経路のいずれかに含まれるいずれかの条件の状態変数又は複数の分岐条件のうちのいずれかの状態変数の値がＯＮである場合に、合流条件の状態変数がＯＮになる状態判定ブロック３０１を生成する。
図１５では、合流条件「Ｘ２＝＝ＯＮ」が成立し、２つの分岐条件の状態変数Ｍ２及び状態変数Ｍ３のうちのいずれかの値がＯＮである場合に、合流条件の状態変数Ｍ４の値がＯＮになる。なお、図１４の制御手順データ２００では、いずれの分岐経路にも途中に条件はないので、図１５では、合流条件が成立し、状態変数Ｍ２及び状態変数Ｍ３のうちのいずれかの値がＯＮである場合に、合流条件「Ｘ２＝＝ＯＮ」の状態変数Ｍ４の値がＯＮになる。

なお、図１４では、条件の成立で複数の分岐経路が合流する例を示したが、制御処理で複数の分岐経路が合流する場合も、プログラム管理部１０２は、同様の手順で状態判定ブロック３０１を生成する。
例えば、図１４のステップＴ１４及びステップＴ１５とステップＴ１６との間に制御処理「Ｙ１３＝ＯＮ」が記載され、制御処理「Ｙ１３＝ＯＮ」で複数の分岐経路が合流するような例でも、プログラム管理部１０２は、同様の手順で状態判定ブロック３０１を生成する。

ステップＳ９２では、プログラム管理部１０２は、実施の形態１と同様に、制御手順に従って、選択出力変数に代入する値を決定するコードブロック（制御実行ブロック３０２）を生成する。
なお、本実施の形態では、選択制御変数が合成出力変数である場合に、プログラム管理部１０２は、合成出力変数に代入する値を、分岐条件（合成出力変数の対応条件）の状態変数の値と合流条件（合成出力変数の対応条件）の状態変数の値とに基づき決定するコードブロック（制御実行ブロック３０２）を生成する。
選択出力変数が合成出力変数ではない場合は、プログラム管理部１０２は、実施の形態１と同様の方法で、制御実行ブロック３０２を生成する。

図１５の例では、合成出力変数ではない出力変数Ｙ１０の値は、条件「Ｘ０＝＝ＯＮ」の状態変数Ｍ１がＯＮのときにＯＮになる。また、出力変数Ｙ１０の値は、分岐条件「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＮ」の状態変数Ｍ２及び分岐条件「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＦＦ」の状態変数Ｍ３のいずれかがＯＮのときにＯＦＦになる。
また、合成出力変数である出力変数Ｙ１１の値は、分岐条件「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＮ」の状態変数Ｍ２の値がＯＮのときにＯＮになる。また、出力変数Ｙ１１の値は、合流条件「Ｘ２＝＝ＯＮ」の状態変数Ｍ４がＯＮのときにＯＦＦになる。
また、合成出力変数である出力変数Ｙ１２の値は、分岐条件「Ｘ１＝＝ＯＮ＆＆Ｘ２０＝＝ＯＦＦ」の状態変数Ｍ３の値がＯＮのときにＯＮになる。また、出力変数Ｙ１２の値は、合流条件「Ｘ２＝＝ＯＮ」の状態変数Ｍ４がＯＮのときにＯＦＦになる。

以上のように、本実施の形態によれば、分岐及び合流が規定された制御手順データから制御プログラムを生成することができ、制御プログラムの開発工数を低減することができる。

以上、実施の形態１～４を説明したが、これらの実施の形態のうち、２つ以上を組み合わせて実施しても構わない。
あるいは、これらの実施の形態のうち、１つを部分的に実施しても構わない。
あるいは、これらの実施の形態のうち、２つ以上を部分的に組み合わせて実施しても構わない。
また、これらの実施の形態に記載された構成及び手順を必要に応じて変更してもよい。

＊＊＊ハードウェア構成の補足説明＊＊＊
最後に、データ処理装置１００のハードウェア構成の補足説明を行う。
図２に示すプロセッサ９０１は、プロセッシングを行うＩＣ（Ｉｎｔｅｇｒａｔｅｄ Ｃｉｒｃｕｉｔ）である。
プロセッサ９０１は、ＣＰＵ（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）、ＤＳＰ（Ｄｉｇｉｔａｌ Ｓｉｇｎａｌ Ｐｒｏｃｅｓｓｏｒ）等である。
図２に示す主記憶装置９０２は、ＲＡＭ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）である。
図２に示す補助記憶装置９０３は、ＲＯＭ（Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙ）、フラッシュメモリ、ＨＤＤ（Ｈａｒｄ Ｄｉｓｋ Ｄｒｉｖｅ）等である。
図２に示す入出力装置９０４は、マウス、キーボード、ディスプレイ等である。
図２には図示していないが、データ処理装置１００は通信装置を備えていてもよい。通信装置は、データの通信処理を実行する電子回路である。通信装置は、例えば、通信チップ又はＮＩＣ（Ｎｅｔｗｏｒｋ Ｉｎｔｅｒｆａｃｅ Ｃａｒｄ）である。

また、補助記憶装置９０３には、ＯＳ（Ｏｐｅｒａｔｉｎｇ Ｓｙｓｔｅｍ）も記憶されている。
そして、ＯＳの少なくとも一部がプロセッサ９０１により実行される。
プロセッサ９０１はＯＳの少なくとも一部を実行しながら、制御手順データ取得部１０１、プログラム管理部１０２、表示部１０３及び操作部１０４の機能を実現するプログラムを実行する。
プロセッサ９０１がＯＳを実行することで、タスク管理、メモリ管理、ファイル管理、通信制御等が行われる。
また、制御手順データ取得部１０１、プログラム管理部１０２、表示部１０３及び操作部１０４の処理の結果を示す情報、データ、信号値及び変数値の少なくともいずれかが、主記憶装置９０２、補助記憶装置９０３、プロセッサ９０１内のレジスタ及びキャッシュメモリの少なくともいずれかに記憶される。
また、制御手順データ取得部１０１、プログラム管理部１０２、表示部１０３及び操作部１０４の機能を実現するプログラムは、磁気ディスク、フレキシブルディスク、光ディスク、コンパクトディスク、ブルーレイ（登録商標）ディスク、ＤＶＤ等の可搬記録媒体に格納されていてもよい。そして、制御手順データ取得部１０１、プログラム管理部１０２、表示部１０３及び操作部１０４の機能を実現するプログラムが格納された可搬記録媒体を流通させてもよい。

また、制御手順データ取得部１０１、プログラム管理部１０２、表示部１０３及び操作部１０４の少なくともいずれかの「部」を、「回路」又は「工程」又は「手順」又は「処理」又は「サーキットリー」に読み替えてもよい。
また、１０は、処理回路により実現されてもよい。処理回路は、例えば、ロジックＩＣ（Ｉｎｔｅｇｒａｔｅｄ Ｃｉｒｃｕｉｔ）、ＧＡ（Ｇａｔｅ Ａｒｒａｙ）、ＡＳＩＣ（Ａｐｐｌｉｃａｔｉｏｎ Ｓｐｅｃｉｆｉｃ Ｉｎｔｅｇｒａｔｅｄ Ｃｉｒｃｕｉｔ）、ＦＰＧＡ（Ｆｉｅｌｄ－Ｐｒｏｇｒａｍｍａｂｌｅ Ｇａｔｅ Ａｒｒａｙ）である。
この場合は、制御手順データ取得部１０１、プログラム管理部１０２、表示部１０３及び操作部１０４は、それぞれ処理回路の一部として実現される。
なお、本明細書では、プロセッサと処理回路との上位概念を、「プロセッシングサーキットリー」という。
つまり、プロセッサと処理回路とは、それぞれ「プロセッシングサーキットリー」の具体例である。

１００ データ処理装置、１０１ 制御手順データ取得部、１０２ プログラム管理部、１０３ 表示部、１０４ 操作部、２００ 制御手順データ、２０１ 条件、２０２ 制御処理、３００ 制御プログラム、３０１ 状態判定ブロック、３０２ 制御実行ブロック、９０１ プロセッサ、９０２ 主記憶装置、９０３ 補助記憶装置、９０４ 入出力装置。

Claims (19)

1. 順序付けられた複数の条件と、各々が前記複数の条件のいずれかと対応付けられ、対応付けられた条件である対応条件の成否に応じて値が代入される複数の制御変数とが用いられて、制御手順が記述される制御手順データを取得する制御手順データ取得部と、
   前記複数の条件の各条件を順次選択し、選択した条件である選択条件ごとに、前記選択条件の成否と、前記選択条件よりも前の順序の条件である先行条件の状態変数の値とに基づき前記選択条件の状態変数の値を決定する第１の部分プログラムを、前記制御手順に従って生成する第１の部分プログラム生成部と、
   前記複数の制御変数の各制御変数を順次選択し、選択した制御変数である選択制御変数ごとに、前記選択制御変数の前記対応条件の状態変数の値に基づき前記選択制御変数に代入する値を決定する第２の部分プログラムを、前記制御手順に従って生成する第２の部分プログラム生成部と、
   前記第１の部分プログラムと前記第２の部分プログラムとを用いて、前記制御手順が反映されるプログラムを生成するプログラム生成部とを有するデータ処理装置。
2. 前記第１の部分プログラム生成部は、
   前記選択条件の成否と、前記選択条件の直前の順序の条件の状態変数の値とに基づき前記選択条件の状態変数の値を決定する第１の部分プログラムを、生成する請求項１に記載のデータ処理装置。
3. 前記第１の部分プログラム生成部は、
   前記制御手順の起点の状態変数を生成し、
   前記複数の条件のうちの最先の順序の条件が前記選択条件である場合に、前記選択条件である前記最先の順序の条件の成否と、前記起点の状態変数の値とに基づき、前記選択条件である前記最先の順序の条件の状態変数の値を決定する第１の部分プログラムを、生成する請求項１に記載のデータ処理装置。
4. 前記第１の部分プログラム生成部は、
   前記制御手順の終点の状態変数を生成し、
   前記終点の状態変数の値に基づき前記起点の状態変数の値を決定する第１の部分プログラムを、生成する請求項３に記載のデータ処理装置。
5. 前記第１の部分プログラム生成部は、
   前記選択条件の成否又は前記選択条件の状態変数の値と、前記先行条件の状態変数の値とに基づき前記選択条件の状態変数の値を決定する第１の部分プログラムを、生成する請求項１に記載のデータ処理装置。
6. 前記制御手順データ取得部は、
   複数の部分条件の論理演算を伴う条件が前記複数の条件に含まれる制御手順データを取得し、
   前記第１の部分プログラム生成部は、
   前記複数の部分条件の論理演算を伴う条件が前記選択条件である場合に、前記複数の部分条件の論理演算の結果に基づく前記選択条件の成否と、前記先行条件の状態変数の値とに基づき前記選択条件の状態変数の値を決定する第１の部分プログラムを、生成する請求項１に記載のデータ処理装置。
7. 前記制御手順データ取得部は、
   タイマーが満了したか否かの判定を伴う条件が前記複数の条件に含まれる制御手順データを取得し、
   前記タイマーが満了したか否かの判定を伴う条件が前記選択条件である場合に、前記タイマーが満了したか否かの判定結果に基づく前記選択条件の成否と、前記先行条件の状態変数の値とに基づき前記選択条件の状態変数の値を決定する第１の部分プログラムを、生成する請求項１に記載のデータ処理装置。
8. 前記制御手順データ取得部は、
   各々が２つ以上の条件の組み合わせである２つ以上の条件セットが対応付けられ、前記２つ以上の条件セットの各々に含まれる条件が前記対応条件として対応付けられた制御変数である複合制御変数が前記複数の制御変数に含まれる制御手順データを取得し、
   前記第２の部分プログラム生成部は、
   前記複合制御変数が前記選択制御変数である場合に、前記複合制御変数に対応付けられている条件セットごとに、条件セットに含まれる前記対応条件の状態変数の値の組み合わせに基づき前記複合制御変数に代入する値を決定する第２の部分プログラムを、生成する請求項１に記載のデータ処理装置。
9. 前記制御手順データ取得部は、
   ２つ以上の条件が前記対応条件として対応付けられ、前記対応条件が成立した場合に代入される値が前記対応条件ごとに変動する制御変数である変動制御変数が前記複数の制御変数に含まれる制御手順データを取得し、
   前記第２の部分プログラム生成部は、
   前記変動制御変数が前記選択制御変数である場合に、前記変動制御変数の前記対応条件の状態変数の値に基づき、前記変動制御変数に代入する値を変動させる第２の部分プログラムを、生成する請求項１に記載のデータ処理装置。
10. 前記第１の部分プログラム生成部は、
    前記選択条件の成否と、前記先行条件の状態変数の値と、前記選択条件よりも後の順序の条件の状態変数の値とに基づき前記選択条件の状態変数の値を決定する第１の部分プログラムを、生成する請求項１に記載のデータ処理装置。
11. 前記第１の部分プログラム生成部は、
    前記選択条件の成否と、前記先行条件の状態変数の値と、前記選択条件の直後の順序の条件の状態変数の値とに基づき前記選択条件の状態変数の値を決定する第１の部分プログラムを、生成する請求項１０に記載のデータ処理装置。
12. 前記第１の部分プログラム生成部は、
    前記複数の条件の全ての状態変数を初期化する第１の部分プログラムを生成する請求項１に記載のデータ処理装置。
13. 前記第１の部分プログラム生成部は、
    前記複数の条件の全ての状態変数の値又は前記複数の条件の状態変数のうちの指定された状態変数の値を固定化する第１の部分プログラムを生成する請求項１に記載のデータ処理装置。
14. 前記第２の部分プログラム生成部は、
    前記複数の制御変数の全ての値又は前記複数の制御変数のうちの指定された制御変数の値を既定の値にする第２の部分プログラムを生成する請求項１に記載のデータ処理装置。
15. 前記第２の部分プログラム生成部は、
    前記複数の制御変数のうちの指定された制御変数の値を既定の値にする第２の部分プログラムを生成する場合に、前記既定の値にする制御変数を切り替える第２の部分プログラムを生成する請求項１４に記載のデータ処理装置。
16. 前記制御手順データ取得部は、
    複数の分岐経路が発生する複数の分岐条件と、前記複数の分岐経路が合流する合流条件とが前記複数の条件に含まれ、前記対応条件としていずれかの分岐条件と前記合流条件とが対応付けられている制御変数である合成制御変数が前記複数の制御変数に含まれる制御手順データを取得し、
    前記第１の部分プログラム生成部は、
    いずれかの分岐条件が前記選択条件である場合に、前記選択条件である分岐条件の成否と、前記選択条件である分岐条件の前記先行条件の状態変数の値と、前記選択条件である分岐条件以外の分岐条件の状態変数の値とに基づき、前記選択条件である分岐条件の状態変数の値を決定する第１の部分プログラムを生成し、
    前記合流条件が前記選択条件である場合に、前記選択条件である前記合流条件の成否と、前記複数の分岐経路に含まれる条件の状態変数の値又は前記複数の分岐条件の状態変数の値とに基づき前記選択条件である前記合流条件の状態変数の値を決定する第１の部分プログラムを生成し、
    前記第２の部分プログラム生成部は、
    前記合成制御変数が前記選択制御変数である場合に、前記選択制御変数である前記合成制御変数の前記対応条件である分岐条件の状態変数の値と前記合流条件の状態変数の値とに基づき、前記選択制御変数である前記合成制御変数に代入する値を決定する第２のプログラムを生成する請求項１に記載のデータ処理装置。
17. 前記データ処理装置は、更に、
    前記第１の部分プログラムと第２の部分プログラムのプログラム種別を指定するコマンドを取得するコマンド取得部を有し、
    前記第１の部分プログラム生成部は、前記コマンドで指定されたプログラム種別に適合する第１の部分プログラムを生成し、
    前記第２の部分プログラム生成部は、前記コマンドで指定されたプログラム種別に適合する第２の部分プログラムを生成する請求項１に記載のデータ処理装置。
18. 順序付けられた複数の条件と、各々が前記複数の条件のいずれかと対応付けられ、対応付けられた条件である対応条件の成否に応じて値が代入される複数の制御変数とが用いられて、制御手順が記述される制御手順データを、コンピュータが取得し、
    前記コンピュータが、前記複数の条件の各条件を順次選択し、選択した条件である選択条件ごとに、前記選択条件の成否と、前記選択条件よりも前の順序の条件である先行条件の状態変数の値とに基づき前記選択条件の状態変数の値を決定する第１の部分プログラムを、前記制御手順に従って生成し、
    前記コンピュータが、前記複数の制御変数の各制御変数を順次選択し、選択した制御変数である選択制御変数ごとに、前記選択制御変数の前記対応条件の状態変数の値に基づき前記選択制御変数に代入する値を決定する第２の部分プログラムを、前記制御手順に従って生成し、
    前記コンピュータが、前記第１の部分プログラムと前記第２の部分プログラムとを用いて、前記制御手順が反映されるプログラムを生成するデータ処理方法。
19. 順序付けられた複数の条件と、各々が前記複数の条件のいずれかと対応付けられ、対応付けられた条件である対応条件の成否に応じて値が代入される複数の制御変数とが用いられて、制御手順が記述される制御手順データを取得する制御手順データ取得処理と、
    前記複数の条件の各条件を順次選択し、選択した条件である選択条件ごとに、前記選択条件の成否と、前記選択条件よりも前の順序の条件である先行条件の状態変数の値とに基づき前記選択条件の状態変数の値を決定する第１の部分プログラムを、前記制御手順に従って生成する第１の部分プログラム生成処理と、
    前記複数の制御変数の各制御変数を順次選択し、選択した制御変数である選択制御変数ごとに、前記選択制御変数の前記対応条件の状態変数の値に基づき前記選択制御変数に代入する値を決定する第２の部分プログラムを、前記制御手順に従って生成する第２の部分プログラム生成処理と、
    前記第１の部分プログラムと前記第２の部分プログラムとを用いて、前記制御手順が反映されるプログラムを生成するプログラム生成処理とをコンピュータに実行させるデータ処理プログラム。

Images