知財求人 - 知財ポータルサイト「IP Force」
特許7614467状態遷移管理装置、状態遷移管理方法および状態遷移管理プログラム
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】特許公報(B1)
(11)【特許番号】
(24)【登録日】2025-01-06
(45)【発行日】2025-01-15
(54)【発明の名称】状態遷移管理装置、状態遷移管理方法および状態遷移管理プログラム
(51)【国際特許分類】
G06Q 10/0833 20230101AFI20250107BHJP
【ＦＩ】
G06Q10/0833
【請求項の数】
12
(21)【出願番号】P 2024562273
(86)(22)【出願日】2023-02-20
(86)【国際出願番号】 JP2023005999
【審査請求日】2024-10-22
【早期審査対象出願】
(73)【特許権者】
【識別番号】000006013
【氏名又は名称】三菱電機株式会社
(74)【代理人】
【識別番号】110002491
【氏名又は名称】弁理士法人クロスボーダー特許事務所
(72)【発明者】
【氏名】津田 奈子
(72)【発明者】
【氏名】松本 光弘
【審査官】野村 和史
(56)【参考文献】
【文献】米国特許出願公開第２０１８／０１８９０９６（ＵＳ，Ａ１）
【文献】米国特許出願公開第２００８／０１６４９０８（ＵＳ，Ａ１）
【文献】特開平５－１２７８８２（ＪＰ，Ａ）
【文献】特開２０００－２１５１６５（ＪＰ，Ａ）
【文献】中国特許出願公開第１１４４６１６９１（ＣＮ，Ａ）
(58)【調査した分野】(Int.Cl.，ＤＢ名)
Ｇ０６Ｑ １０／００ － ９９／００
(57)【特許請求の範囲】
【請求項1】
一連の状態遷移を示す状態遷移規定と、新たな状態と規定種類とバージョン番号を示す状態登録情報と、を受け付ける受付部と、受け付けられた状態遷移規定が登録用規定である場合に前記一連の状態遷移の中の１つ以上の状態遷移のそれぞれに最初のバージョン番号をイベントとして設定し、設定後の前記登録用規定を規定保管部に登録する規定登録部と、
前記状態登録情報の中の前記規定種類と同じ種類の状態遷移規定を前記規定保管部から選択し、選択された状態遷移規定の中の状態のうち前記状態登録情報の中の前記バージョン番号と同じバージョン番号が設定された１つ以上の状態遷移の先頭状態が前記状態登録情報の中の前記新たな状態と一致する場合に状態登録可能と判定する状態検証部と、
前記状態登録可能と判定された場合に新たな登録状態識別子と前記状態登録情報を示す登録状態情報を状態保管部に登録する状態登録部と、
を備える状態遷移管理装置。
【請求項2】
前記受付部は、公開可能な新たな状態を示す状態登録情報を受け付け、前記状態登録部は、受け付けられた状態登録情報をパブリックの状態遷移管理装置へ送信し、前記パブリックの状態遷移管理装置と前記状態検証部の両方で前記状態登録可能と判定された場合に前記受け付けられた状態登録情報を示す前記登録状態情報を前記状態保管部に登録する
請求項１に記載の状態遷移管理装置。
【請求項3】
前記受付部は、登録状態識別子と新たな状態とバージョン番号を示す状態更新情報を受け付け、前記状態検証部は、前記状態更新情報の中の前記登録状態識別子と同じ登録状態識別子の登録状態情報を前記状態保管部から選択し、選択された登録状態情報の中の規定種類と同じ種類の状態遷移規定を前記規定保管部から選択し、前記選択された登録状態情報の中の最新状態から前記状態更新情報の中の前記新たな状態への状態遷移が選択された状態遷移規定の中の状態遷移のうち前記状態更新情報の中の前記バージョン番号と同じバージョン番号が設定された状態遷移のいずれかと一致する場合に状態更新可能と判定し、
前記状態登録部は、前記状態更新可能と判定された場合に前記状態更新情報に基づいて前記選択された登録状態情報を更新する
請求項１または請求項２に記載の状態遷移管理装置。
【請求項4】
前記受付部は、公開可能な新たな状態を示す状態更新情報を受け付け、前記状態登録部は、受け付けられた状態更新情報をパブリックの状態遷移管理装置へ送信し、前記パブリックの状態遷移管理装置と前記状態検証部の両方で前記状態更新可能と判定された場合に前記受け付けられた状態更新情報に基づいて前記登録状態情報を更新する
請求項３に記載の状態遷移管理装置。
【請求項5】
新たな状態と規定種類とバージョン番号を示す状態登録情報を受け付ける受付部と、前記状態登録情報の中の前記規定種類と同じ種類の状態遷移規定を規定保管部から選択し、選択された状態遷移規定の中の状態のうち前記状態登録情報の中の前記バージョン番号と同じバージョン番号が設定された１つ以上の状態遷移の先頭状態が前記状態登録情報の中の前記新たな状態と一致する場合に状態登録可能と判定する状態検証部と、
前記状態登録可能と判定された場合に新たな登録状態識別子と前記状態登録情報を示す登録状態情報を状態保管部に登録する状態登録部と、
を備える状態遷移管理装置。
【請求項6】
前記受付部は、公開可能な新たな状態を示す状態登録情報を受け付け、前記状態登録部は、受け付けられた状態登録情報をパブリックの状態遷移管理装置へ送信し、前記パブリックの状態遷移管理装置と前記状態検証部の両方で前記状態登録可能と判定された場合に前記受け付けられた状態登録情報を示す前記登録状態情報を前記状態保管部に登録する
請求項５に記載の状態遷移管理装置。
【請求項7】
前記受付部は、登録状態識別子と新たな状態とバージョン番号を示す状態更新情報を受け付け、前記状態検証部は、前記状態更新情報の中の前記登録状態識別子と同じ登録状態識別子の登録状態情報を前記状態保管部から選択し、選択された登録状態情報の中の規定種類と同じ種類の状態遷移規定を前記規定保管部から選択し、前記選択された登録状態情報の中の最新状態から前記状態更新情報の中の前記新たな状態への状態遷移が選択された状態遷移規定の中の状態遷移のうち前記状態更新情報の中の前記バージョン番号と同じバージョン番号が設定された状態遷移のいずれかと一致する場合に状態更新可能と判定し、
前記状態登録部は、前記状態更新可能と判定された場合に前記状態更新情報に基づいて前記選択された登録状態情報を更新する
請求項５または請求項６に記載の状態遷移管理装置。
【請求項8】
前記受付部は、公開可能な新たな状態を示す状態更新情報を受け付け、前記状態登録部は、受け付けられた状態更新情報をパブリックの状態遷移管理装置へ送信し、前記パブリックの状態遷移管理装置と前記状態検証部の両方で前記状態更新可能と判定された場合に前記受け付けられた状態更新情報に基づいて前記登録状態情報を更新する
請求項７に記載の状態遷移管理装置。
【請求項9】
一連の状態遷移を示す状態遷移規定を受け付け、受け付けられた状態遷移規定が登録用規定である場合に前記一連の状態遷移の中の１つ以上の状態遷移のそれぞれに最初のバージョン番号をイベントとして設定し、設定後の前記登録用規定を規定保管部に登録し、
新たな状態と規定種類とバージョン番号を示す状態登録情報を受け付け、
前記状態登録情報の中の前記規定種類と同じ種類の状態遷移規定を前記規定保管部から選択し、選択された状態遷移規定の中の状態のうち前記状態登録情報の中の前記バージョン番号と同じバージョン番号が設定された１つ以上の状態遷移の先頭状態が前記状態登録情報の中の前記新たな状態と一致する場合に状態登録可能と判定し、
前記状態登録可能と判定された場合に新たな登録状態識別子と前記状態登録情報を示す登録状態情報を状態保管部に登録する
状態遷移管理方法。
【請求項10】
新たな状態と規定種類とバージョン番号を示す状態登録情報を受け付け、前記状態登録情報の中の前記規定種類と同じ種類の状態遷移規定を規定保管部から選択し、選択された状態遷移規定の中の状態のうち前記状態登録情報の中の前記バージョン番号と同じバージョン番号が設定された１つ以上の状態遷移の先頭状態が前記状態登録情報の中の前記新たな状態と一致する場合に状態登録可能と判定し、
前記状態登録可能と判定された場合に新たな登録状態識別子と前記状態登録情報を示す登録状態情報を状態保管部に登録する
状態遷移管理方法。
【請求項11】
一連の状態遷移を示す状態遷移規定と、新たな状態と規定種類とバージョン番号を示す状態登録情報と、を受け付ける受付処理と、受け付けられた状態遷移規定が登録用規定である場合に前記一連の状態遷移の中の１つ以上の状態遷移のそれぞれに最初のバージョン番号をイベントとして設定し、設定後の前記登録用規定を規定保管部に登録する規定登録処理と、
前記状態登録情報の中の前記規定種類と同じ種類の状態遷移規定を前記規定保管部から選択し、選択された状態遷移規定の中の状態のうち前記状態登録情報の中の前記バージョン番号と同じバージョン番号が設定された１つ以上の状態遷移の先頭状態が前記状態登録情報の中の前記新たな状態と一致する場合に状態登録可能と判定する状態検証処理と、
前記状態登録可能と判定された場合に新たな登録状態識別子と前記状態登録情報を示す登録状態情報を状態保管部に登録する状態登録処理と、
をコンピュータに実行させるための状態遷移管理プログラム。
【請求項12】
新たな状態と規定種類とバージョン番号を示す状態登録情報を受け付ける受付処理と、前記状態登録情報の中の前記規定種類と同じ種類の状態遷移規定を規定保管部から選択し、選択された状態遷移規定の中の状態のうち前記状態登録情報の中の前記バージョン番号と同じバージョン番号が設定された１つ以上の状態遷移の先頭状態が前記状態登録情報の中の前記新たな状態と一致する場合に状態登録可能と判定する状態検証処理と、
前記状態登録可能と判定された場合に新たな登録状態識別子と前記状態登録情報を示す登録状態情報を状態保管部に登録する状態登録処理と、
をコンピュータに実行させるための状態遷移管理プログラム。
【発明の詳細な説明】
【技術分野】
【0001】
本開示は、状態遷移規定および状態の管理に関するものである。
【背景技術】
【0002】
近年、製品流通において、製品の証跡管理が求められている。
製品の証跡管理では、製品の状態が登録される。例えば、「製造」、「保管」または「輸送」などの状態が登録される。
状態の登録の際に状態の遷移があらかじめ定められた規定に則しているかを検証することで、誤った状態の登録を防ぐことができる。
製品の証跡管理では、製品の状態が登録される。例えば、「製造」、「保管」または「輸送」などの状態が登録される。
状態の登録の際に状態の遷移があらかじめ定められた規定に則しているかを検証することで、誤った状態の登録を防ぐことができる。
【0003】
製品の流通には多数の事業者が関わる。そのため、状態遷移の開始時または状態遷移の進行中に状態遷移の規定のバージョンを変更することを考える必要がある。
【0004】
特許文献１は、ワークフロー制御の方法を開示している。
【先行技術文献】
【特許文献】
【0005】
【文献】特開２００８－３１０７１０号公報
【発明の概要】
【発明が解決しようとする課題】
【0006】
特許文献１の方法は、ワークフロー制御のための方法であり、製品の流通において状態遷移を管理するための方法ではない。また、特許文献１の方法では、バージョン管理が行われない。たとえ、特許文献１の方法を状態遷移に適用したとしても、バージョンに応じて状態を追加または削除することができない。さらに、状態遷移の進行中にバージョンを変更することができない。
【0007】
製品の流通では、物体と関連する状態遷移が管理される。ワークフローは途中で最初から流し直すことが可能であるが、製品の流通は途中で最初からやり直すことが困難である。そのため、製品の流通では、状態遷移の進行中にバージョン変更ができないことが課題となる。
【0008】
本開示は、状態遷移の進行中にバージョン変更をできるようにすることを目的とする。
【課題を解決するための手段】
【0009】
本開示の状態遷移管理装置は、
一連の状態遷移を示す状態遷移規定を受け付ける受付部と、
受け付けられた状態遷移規定が登録用規定である場合に前記一連の状態遷移の中の１つ以上の状態遷移のそれぞれに最初のバージョン番号をイベントとして設定し、設定後の前記登録用規定を規定保管部に登録する規定登録部と、を備える。
一連の状態遷移を示す状態遷移規定を受け付ける受付部と、
受け付けられた状態遷移規定が登録用規定である場合に前記一連の状態遷移の中の１つ以上の状態遷移のそれぞれに最初のバージョン番号をイベントとして設定し、設定後の前記登録用規定を規定保管部に登録する規定登録部と、を備える。
【発明の効果】
【0010】
本開示によれば、状態遷移規定の中のそれぞれの状態遷移にバージョン番号をイベントとして設定することができる。そして、このような状態遷移規定が使用されることにより、状態遷移の進行中に登録される状態ごとに、利用者は使用したい状態遷移のバージョン番号を指定して状態遷移のバージョンを変更することができる。つまり、状態遷移の進行中にバージョン変更することが可能となる。
【図面の簡単な説明】
【0011】
【図1】実施の形態１における状態遷移管理装置１００の構成図。
【図2】実施の形態１における状態遷移管理システム２００の構成図。
【図3】実施の形態１における規定登録のフローチャート。
【図4】実施の形態１における登録用規定２０１を示す図。
【図5】実施の形態１におけるステップＳ１１０のフローチャート。
【図6】実施の形態１におけるステップＳ１１０のフローチャート。
【図7】実施の形態１におけるステップＳ１１０の具体例を示す図。
【図8】実施の形態１における状態登録のフローチャート。
【図9】実施の形態１におけるステップＳ１３０のフローチャート。
【図10】実施の形態１におけるステップＳ１３０の具体例を示す図。
【図11】実施の形態１におけるステップＳ１２４の具体例を示す図。
【図12】実施の形態１におけるステップＳ１４０のフローチャート。
【図13】実施の形態１におけるステップＳ１４０の具体例を示す図。
【図14】実施の形態１におけるステップＳ１２７の具体例を示す図。
【図15】実施の形態２における状態遷移管理システム２００の構成図。
【図16】実施の形態２における状態登録Ａのフローチャート。
【図17】実施の形態２における状態登録Ｂのフローチャート。
【図18】実施の形態における状態遷移管理装置１００のハードウェア構成図。
【発明を実施するための形態】
【0012】
実施の形態および図面において、同じ要素または対応する要素には同じ符号を付している。説明した要素と同じ符号が付された要素の説明は適宜に省略または簡略化する。図中の矢印はデータの流れ又は処理の流れを主に示している。
【0013】
【0014】
＊＊＊構成の説明＊＊＊
図１に基づいて、状態遷移管理装置１００の構成を説明する。
状態遷移管理装置１００は、プロセッサ１０１とメモリ１０２と補助記憶装置１０３と通信装置１０４と入出力インタフェース１０５といったハードウェアを備えるコンピュータである。これらのハードウェアは、信号線を介して互いに接続されている。
図１に基づいて、状態遷移管理装置１００の構成を説明する。
状態遷移管理装置１００は、プロセッサ１０１とメモリ１０２と補助記憶装置１０３と通信装置１０４と入出力インタフェース１０５といったハードウェアを備えるコンピュータである。これらのハードウェアは、信号線を介して互いに接続されている。
【0015】
プロセッサ１０１は、演算処理を行うＩＣであり、他のハードウェアを制御する。例えば、プロセッサ１０１はＣＰＵである。
ＩＣは、Ｉｎｔｅｇｒａｔｅｄ Ｃｉｒｃｕｉｔの略称である。
ＣＰＵは、Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔの略称である。
ＩＣは、Ｉｎｔｅｇｒａｔｅｄ Ｃｉｒｃｕｉｔの略称である。
ＣＰＵは、Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔの略称である。
【0016】
メモリ１０２は揮発性または不揮発性の記憶装置である。メモリ１０２は、主記憶装置またはメインメモリとも呼ばれる。例えば、メモリ１０２はＲＡＭである。メモリ１０２に記憶されたデータは必要に応じて補助記憶装置１０３に保存される。
ＲＡＭは、Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙの略称である。
ＲＡＭは、Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙの略称である。
【0017】
補助記憶装置１０３は不揮発性の記憶装置である。例えば、補助記憶装置１０３は、ＲＯＭ、ＨＤＤ、フラッシュメモリまたはこれらの組み合わせである。補助記憶装置１０３に記憶されたデータは必要に応じてメモリ１０２にロードされる。
ＲＯＭは、Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙの略称である。
ＨＤＤは、Ｈａｒｄ Ｄｉｓｋ Ｄｒｉｖｅの略称である。
ＲＯＭは、Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙの略称である。
ＨＤＤは、Ｈａｒｄ Ｄｉｓｋ Ｄｒｉｖｅの略称である。
【0018】
通信装置１０４はレシーバ及びトランスミッタである。例えば、通信装置１０４は通信チップまたはＮＩＣである。状態遷移管理装置１００の通信は通信装置１０４を用いて行われる。
ＮＩＣは、Ｎｅｔｗｏｒｋ Ｉｎｔｅｒｆａｃｅ Ｃａｒｄの略称である。
ＮＩＣは、Ｎｅｔｗｏｒｋ Ｉｎｔｅｒｆａｃｅ Ｃａｒｄの略称である。
【0019】
入出力インタフェース１０５は、入力装置および出力装置が接続されるポートである。例えば、入出力インタフェース１０５はＵＳＢ端子であり、入力装置はキーボードおよびマウスであり、出力装置はディスプレイである。状態遷移管理装置１００の入出力は入出力インタフェース１０５を用いて行われる。
ＵＳＢは、Ｕｎｉｖｅｒｓａｌ Ｓｅｒｉａｌ Ｂｕｓの略称である。
ＵＳＢは、Ｕｎｉｖｅｒｓａｌ Ｓｅｒｉａｌ Ｂｕｓの略称である。
【0020】
状態遷移管理装置１００は、受付部１１１と規定登録部１１２と状態検証部１１３と状態登録部１１４と出力部１１５といった要素を備える。これらの要素はソフトウェアで実現される。
【0021】
補助記憶装置１０３には、受付部１１１と規定登録部１１２と状態検証部１１３と状態登録部１１４と出力部１１５としてコンピュータを機能させるための状態遷移管理プログラムが記憶されている。状態遷移管理プログラムは、メモリ１０２にロードされて、プロセッサ１０１によって実行される。
補助記憶装置１０３には、さらに、ＯＳが記憶されている。ＯＳの少なくとも一部は、メモリ１０２にロードされて、プロセッサ１０１によって実行される。
プロセッサ１０１は、ＯＳを実行しながら、状態遷移管理プログラムを実行する。
ＯＳは、Ｏｐｅｒａｔｉｎｇ Ｓｙｓｔｅｍの略称である。
補助記憶装置１０３には、さらに、ＯＳが記憶されている。ＯＳの少なくとも一部は、メモリ１０２にロードされて、プロセッサ１０１によって実行される。
プロセッサ１０１は、ＯＳを実行しながら、状態遷移管理プログラムを実行する。
ＯＳは、Ｏｐｅｒａｔｉｎｇ Ｓｙｓｔｅｍの略称である。
【0022】
状態遷移管理プログラムの入出力データは記憶部１２０に記憶される。
補助記憶装置１０３は記憶部１２０として機能する。但し、メモリ１０２、プロセッサ１０１内のレジスタおよびプロセッサ１０１内のキャッシュメモリなどの記憶装置が、補助記憶装置１０３の代わりに、又は、補助記憶装置１０３と共に、記憶部１２０として機能してもよい。
補助記憶装置１０３は記憶部１２０として機能する。但し、メモリ１０２、プロセッサ１０１内のレジスタおよびプロセッサ１０１内のキャッシュメモリなどの記憶装置が、補助記憶装置１０３の代わりに、又は、補助記憶装置１０３と共に、記憶部１２０として機能してもよい。
【0023】
状態遷移管理プログラムは、光ディスクまたはフラッシュメモリ等の不揮発性の記録媒体にコンピュータ読み取り可能に記録（格納）することができる。
【0024】
図２に基づいて、状態遷移管理システム２００の構成を説明する。
状態遷移管理システム２００は、状態遷移管理装置１００と規定送信装置２１１と状態送信装置２１２と結果表示装置２１３を備える。
規定送信装置２１１と状態送信装置２１２と結果表示装置２１３は、利用者によって利用されるコンピュータである。１台のコンピュータが規定送信装置２１１と状態送信装置２１２と結果表示装置２１３として機能してもよい。
規定保管部１２１と状態保管部１２２は、記憶部１２０の一部である。
状態遷移管理システム２００は、状態遷移管理装置１００と規定送信装置２１１と状態送信装置２１２と結果表示装置２１３を備える。
規定送信装置２１１と状態送信装置２１２と結果表示装置２１３は、利用者によって利用されるコンピュータである。１台のコンピュータが規定送信装置２１１と状態送信装置２１２と結果表示装置２１３として機能してもよい。
規定保管部１２１と状態保管部１２２は、記憶部１２０の一部である。
【0025】
＊＊＊動作の説明＊＊＊
状態遷移管理装置１００の動作の手順は状態遷移管理方法に相当する。また、状態遷移管理装置１００の動作の手順は状態遷移管理プログラムによる処理の手順に相当する。
状態遷移管理装置１００の動作の手順は状態遷移管理方法に相当する。また、状態遷移管理装置１００の動作の手順は状態遷移管理プログラムによる処理の手順に相当する。
【0026】
図３に基づいて、規定登録を説明する。規定登録は状態遷移管理方法の一部である。
ステップＳ１０１において、受付部１１１は、規定情報を受け付ける。
規定情報は、規定種類と状態遷移規定を示す。
規定種類は、状態遷移規定の種類である。
状態遷移規定は、先頭状態から最終状態までの一連の状態遷移を示す。
一連の状態遷移は、１つ以上の状態遷移を含む。
状態遷移は、２つの状態の状態間の遷移である。状態遷移は、特定のイベントをきっかけにして発生する。
ステップＳ１０１において、受付部１１１は、規定情報を受け付ける。
規定情報は、規定種類と状態遷移規定を示す。
規定種類は、状態遷移規定の種類である。
状態遷移規定は、先頭状態から最終状態までの一連の状態遷移を示す。
一連の状態遷移は、１つ以上の状態遷移を含む。
状態遷移は、２つの状態の状態間の遷移である。状態遷移は、特定のイベントをきっかけにして発生する。
【0027】
規定情報は以下のように受け付けられる。
利用者は、規定情報を規定送信装置２１１に入力する。
規定送信装置２１１は、入力された規定情報を状態遷移管理装置１００へ送信する。
受付部１１１は、送信された規定情報を受信する。
利用者は、規定情報を規定送信装置２１１に入力する。
規定送信装置２１１は、入力された規定情報を状態遷移管理装置１００へ送信する。
受付部１１１は、送信された規定情報を受信する。
【0028】
ステップＳ１０２において、規定登録部１１２は、規定情報を受付部１１１から受け取り、規定用途を判定する。規定用途は、規定情報の用途を意味する。
規定用途には、規定登録と規定更新という種類がある。
規定登録では、規定情報は規定保管部１２１に登録される。
規定更新では、規定情報は登録済み規定の更新に用いられる。登録済み規定は、規定保管部１２１に登録されている状態遷移規定である。
規定用途には、規定登録と規定更新という種類がある。
規定登録では、規定情報は規定保管部１２１に登録される。
規定更新では、規定情報は登録済み規定の更新に用いられる。登録済み規定は、規定保管部１２１に登録されている状態遷移規定である。
【0029】
規定用途は以下のように判定される。
利用者は、規定用途を指定できる。指定された規定用途は規定情報に示される。規定用途が規定情報に示される場合、規定登録部１１２は、規定情報を参照して規定用途を判定する。
規定登録部１１２は、規定保管部１２１を検索して規定情報の中の規定種類と同じ種類の登録済み規定を探す。見つからなかった場合、規定登録部１１２は、規定用途を規定登録と判定する。見つかった場合、規定登録部１１２は、規定用途を規定更新と判定する。
利用者は、規定用途を指定できる。指定された規定用途は規定情報に示される。規定用途が規定情報に示される場合、規定登録部１１２は、規定情報を参照して規定用途を判定する。
規定登録部１１２は、規定保管部１２１を検索して規定情報の中の規定種類と同じ種類の登録済み規定を探す。見つからなかった場合、規定登録部１１２は、規定用途を規定登録と判定する。見つかった場合、規定登録部１１２は、規定用途を規定更新と判定する。
【0030】
規定用途が規定登録である場合、処理はステップＳ１０３へ進む。この場合、規定情報の中の状態遷移規定を、登録用規定と称する。
規定用途が規定更新である場合、処理はステップＳ１０５へ進む。この場合、規定情報の中の状態遷移規定を、更新用規定と称する。
規定用途が規定更新である場合、処理はステップＳ１０５へ進む。この場合、規定情報の中の状態遷移規定を、更新用規定と称する。
【0031】
ステップＳ１０３において、規定登録部１１２は、登録用規定の中の１つ以上の状態遷移のそれぞれに、最初のバージョン番号をイベントとして設定する。
【0032】
図４に基づいて、ステップＳ１０３の具体例を説明する。
登録用規定２０１は、登録用規定の一例である。
「Ｓ」は、一連の状態遷移の開始を表す。「Ｅ」は、一連の状態遷移の完了を表す。
登録用規定２０１において、先頭状態は状態ａであり、最終状態は状態ｃである。
登録用規定２０１の一連の状態遷移には、状態ａから状態ｂへの状態遷移と、状態ｂから状態ｃへの状態遷移と、が含まれる。
規定登録部１１２は、一連の状態遷移の中のそれぞれの状態遷移にバージョン番号ｖ１を設定する。「ｖ１」は、最初のバージョン番号である。
登録用規定２０１は、登録用規定の一例である。
「Ｓ」は、一連の状態遷移の開始を表す。「Ｅ」は、一連の状態遷移の完了を表す。
登録用規定２０１において、先頭状態は状態ａであり、最終状態は状態ｃである。
登録用規定２０１の一連の状態遷移には、状態ａから状態ｂへの状態遷移と、状態ｂから状態ｃへの状態遷移と、が含まれる。
規定登録部１１２は、一連の状態遷移の中のそれぞれの状態遷移にバージョン番号ｖ１を設定する。「ｖ１」は、最初のバージョン番号である。
【0033】
図３に戻り、ステップＳ１０４から説明を続ける。
ステップＳ１０４において、登録用規定２０１は、最初のバージョン番号が設定された登録用規定を規定情報の中の規定種類と共に規定保管部１２１に登録する。
ステップＳ１０４の後、処理は終了する。
ステップＳ１０４において、登録用規定２０１は、最初のバージョン番号が設定された登録用規定を規定情報の中の規定種類と共に規定保管部１２１に登録する。
ステップＳ１０４の後、処理は終了する。
【0034】
規定保管部１２１において、登録済み規定の形式は、規定種類、バージョン番号、１つ以上の状態および状態間の遷移が特定される形式であれば、どのような形式であっても構わない。
【0035】
ステップＳ１０５において、規定登録部１１２は、規定情報の中の規定種類と同じ種類の登録済み規定を規定保管部１２１から選択する。
【0036】
ステップＳ１１０において、規定登録部１１２は、更新用規定の１つ以上の状態遷移のうち選択された登録済み規定の中に存在しない状態遷移のそれぞれを、選択された登録済み規定に追加する。
そして、規定登録部１１２は、選択された登録済み規定の中の該当遷移のそれぞれに次のバージョン番号をイベントとして設定する。
該当遷移は、更新用規定の中の状態遷移に対応する状態遷移である。
次のバージョン番号は、登録済み規定の中の最新のバージョン番号の次のバージョン番号を意味する。
ステップＳ１１０の後、処理は終了する。
そして、規定登録部１１２は、選択された登録済み規定の中の該当遷移のそれぞれに次のバージョン番号をイベントとして設定する。
該当遷移は、更新用規定の中の状態遷移に対応する状態遷移である。
次のバージョン番号は、登録済み規定の中の最新のバージョン番号の次のバージョン番号を意味する。
ステップＳ１１０の後、処理は終了する。
【0037】
【0038】
ステップＳ１１１において、規定登録部１１２は、選択規定を参照し、選択規定の中の最新のバージョン番号を特定する。
そして、規定登録部１１２は、最新のバージョン番号に基づいて、次のバージョン番号を特定する。
例えば、規定登録部１１２は、最新のバージョン番号に１を加えた番号を、次のバージョン番号に特定する。
そして、規定登録部１１２は、最新のバージョン番号に基づいて、次のバージョン番号を特定する。
例えば、規定登録部１１２は、最新のバージョン番号に１を加えた番号を、次のバージョン番号に特定する。
【0039】
ステップＳ１１２において、規定登録部１１２は、更新用規定の中の先頭状態から順番に未選択の状態を１つ選択する。選択された状態を、選択状態と称する。
【0040】
ステップＳ１１３において、規定登録部１１２は、選択状態が選択規定の中に存在するか判定する。
選択状態が選択規定の中に存在する場合、処理はステップＳ１１５へ進む。
選択状態が選択規定の中に存在しない場合、処理はステップＳ１１４へ進む。
選択状態が選択規定の中に存在する場合、処理はステップＳ１１５へ進む。
選択状態が選択規定の中に存在しない場合、処理はステップＳ１１４へ進む。
【0041】
ステップＳ１１４において、規定登録部１１２は、選択状態を選択規定に追加する。
選択状態が先頭状態である場合、規定登録部１１２は、選択状態を先頭状態として選択規定に追加する。
選択状態が２番目以降の状態である場合、規定登録部１１２は、選択状態を１つ前の状態の次の状態として選択規定に追加する。
選択状態が最終状態である場合、規定登録部１１２は、選択状態を最終状態として選択規定に追加する。
選択状態が先頭状態である場合、規定登録部１１２は、選択状態を先頭状態として選択規定に追加する。
選択状態が２番目以降の状態である場合、規定登録部１１２は、選択状態を１つ前の状態の次の状態として選択規定に追加する。
選択状態が最終状態である場合、規定登録部１１２は、選択状態を最終状態として選択規定に追加する。
【0042】
ステップＳ１１５において、規定登録部１１２は、更新用規定を参照し、選択状態への状態遷移を特定する。特定された状態遷移を、対象遷移と称する。
そして、規定登録部１１２は、選択規定を参照し、対象遷移が選択規定の中に存在するか判定する。
対象遷移が選択規定の中に存在する場合、処理はステップＳ１１７へ進む。
対象遷移が選択規定の中に存在しない場合、処理はステップＳ１１６へ進む。
そして、規定登録部１１２は、選択規定を参照し、対象遷移が選択規定の中に存在するか判定する。
対象遷移が選択規定の中に存在する場合、処理はステップＳ１１７へ進む。
対象遷移が選択規定の中に存在しない場合、処理はステップＳ１１６へ進む。
【0043】
ステップＳ１１６において、規定登録部１１２は、対象遷移を選択規定に追加する。
【0044】
ステップＳ１１７において、規定登録部１１２は、選択規定の中の対象遷移に次のバージョン番号をイベントとして設定する。
【0045】
ステップＳ１１８において、規定登録部１１２は、更新用規定の中に未選択の状態があるか判定する。
未選択の状態がある場合、処理はステップＳ１１２へ進む。
未選択の状態がない場合、処理は終了する。
未選択の状態がある場合、処理はステップＳ１１２へ進む。
未選択の状態がない場合、処理は終了する。
【0046】
図７に基づいて、ステップＳ１１０の具体例を説明する。
更新用規定２０２は、更新用規定の一例である。登録済み規定２０３は、更新用規定２０２と同じ種類の登録済み規定の一例である。
登録済み規定２０３の中の最新のバージョン番号はｖ２である。最新のバージョン番号ｖ２の次のバージョン番号はｖ３である。
（１）更新用規定２０２の先頭状態ａは登録済み規定２０３に存在する。規定登録部１１２は、登録済み規定２０３の中の開始から状態ａへの状態遷移に次のバージョン番号ｖ３を設定する。
（２）更新用規定２０２の２番目の状態ｂは登録済み規定２０３に存在する。更新用規定２０２の中の状態ａから状態ｂへの状態遷移は登録済み規定２０３に存在する。規定登録部１１２は、登録済み規定２０３の中の状態ａから状態ｂへの状態遷移に次のバージョン番号ｖ３を設定する。
（３）更新用規定２０２の中の３番目の状態ｄは登録済み規定２０３に存在しない。規定登録部１１２は、状態ｄを登録済み規定２０３に追加し、状態ｂから状態ｄへの状態遷移を登録済み規定２０３に追加する。そして、規定登録部１１２は、登録済み規定２０３の中の状態ｂから状態ｄへの状態遷移に次のバージョン番号ｖ３を設定する。
（４）更新用規定２０２の中の最終の状態ｃは登録済み規定２０３に存在する。更新用規定２０２の中の状態ｄから状態ｃへの状態遷移は登録済み規定２０３に存在しない。規定登録部１１２は、状態ｄから状態ｃへの状態遷移を登録済み規定２０３に追加する。そして、規定登録部１１２は、登録済み規定２０３の中の状態ｄから状態ｃへの状態遷移に次のバージョン番号ｖ３を設定する。
（５）規定登録部１１２は、登録済み規定２０３の中の状態ｃから完了への状態遷移に次のバージョン番号ｖ３を設定する。
更新用規定２０２は、更新用規定の一例である。登録済み規定２０３は、更新用規定２０２と同じ種類の登録済み規定の一例である。
登録済み規定２０３の中の最新のバージョン番号はｖ２である。最新のバージョン番号ｖ２の次のバージョン番号はｖ３である。
（１）更新用規定２０２の先頭状態ａは登録済み規定２０３に存在する。規定登録部１１２は、登録済み規定２０３の中の開始から状態ａへの状態遷移に次のバージョン番号ｖ３を設定する。
（２）更新用規定２０２の２番目の状態ｂは登録済み規定２０３に存在する。更新用規定２０２の中の状態ａから状態ｂへの状態遷移は登録済み規定２０３に存在する。規定登録部１１２は、登録済み規定２０３の中の状態ａから状態ｂへの状態遷移に次のバージョン番号ｖ３を設定する。
（３）更新用規定２０２の中の３番目の状態ｄは登録済み規定２０３に存在しない。規定登録部１１２は、状態ｄを登録済み規定２０３に追加し、状態ｂから状態ｄへの状態遷移を登録済み規定２０３に追加する。そして、規定登録部１１２は、登録済み規定２０３の中の状態ｂから状態ｄへの状態遷移に次のバージョン番号ｖ３を設定する。
（４）更新用規定２０２の中の最終の状態ｃは登録済み規定２０３に存在する。更新用規定２０２の中の状態ｄから状態ｃへの状態遷移は登録済み規定２０３に存在しない。規定登録部１１２は、状態ｄから状態ｃへの状態遷移を登録済み規定２０３に追加する。そして、規定登録部１１２は、登録済み規定２０３の中の状態ｄから状態ｃへの状態遷移に次のバージョン番号ｖ３を設定する。
（５）規定登録部１１２は、登録済み規定２０３の中の状態ｃから完了への状態遷移に次のバージョン番号ｖ３を設定する。
【0047】
【0048】
状態情報は以下のように受け付けられる。
利用者は、状態情報を状態送信装置２１２に入力する。
状態送信装置２１２は、入力された状態情報を状態遷移管理装置１００へ送信する。
受付部１１１は、送信された状態情報を受信する。
利用者は、状態情報を状態送信装置２１２に入力する。
状態送信装置２１２は、入力された状態情報を状態遷移管理装置１００へ送信する。
受付部１１１は、送信された状態情報を受信する。
【0049】
ステップＳ１２２において、状態登録部１１４は、状態情報を受付部１１１から受け取り、状態用途を判定する。状態用途は、状態情報の用途を意味する。
状態用途には、状態登録と状態更新という種類がある。
状態登録用の状態情報を、状態登録情報と称する。状態登録情報は、状態保管部１２２に登録される。
状態更新用の状態情報を、状態更新情報と称する。状態更新情報は、登録状態情報の更新に用いられる。登録状態情報は、状態保管部１２２に登録されている状態情報である。
状態用途には、状態登録と状態更新という種類がある。
状態登録用の状態情報を、状態登録情報と称する。状態登録情報は、状態保管部１２２に登録される。
状態更新用の状態情報を、状態更新情報と称する。状態更新情報は、登録状態情報の更新に用いられる。登録状態情報は、状態保管部１２２に登録されている状態情報である。
【0050】
状態用途は以下のように判定される。
利用者は、状態用途を指定できる。指定された状態用途は状態情報に示される。状態用途が状態情報に示される場合、状態登録部１１４は、状態情報を参照して状態用途を判定する。
状態用途が状態登録である場合、利用者は規定種類を指定する。指定された規定種類は状態情報に示される。規定種類が状態情報に示される場合、状態登録部１１４は、状態用途を状態登録と判定する。
状態用途が状態更新である場合、利用者は登録状態識別子を指定する。指定された登録状態識別子は状態情報に示される。登録状態識別子が状態情報に示される場合、状態登録部１１４は、状態用途を状態更新と判定する。登録状態識別子が状態情報に示されない場合、状態登録部１１４は、状態用途を状態登録と判定することができる。
利用者は、状態用途を指定できる。指定された状態用途は状態情報に示される。状態用途が状態情報に示される場合、状態登録部１１４は、状態情報を参照して状態用途を判定する。
状態用途が状態登録である場合、利用者は規定種類を指定する。指定された規定種類は状態情報に示される。規定種類が状態情報に示される場合、状態登録部１１４は、状態用途を状態登録と判定する。
状態用途が状態更新である場合、利用者は登録状態識別子を指定する。指定された登録状態識別子は状態情報に示される。登録状態識別子が状態情報に示される場合、状態登録部１１４は、状態用途を状態更新と判定する。登録状態識別子が状態情報に示されない場合、状態登録部１１４は、状態用途を状態登録と判定することができる。
【0051】
状態用途が状態登録である場合、処理はステップＳ１３０へ進む。
状態用途が状態更新である場合、処理はステップＳ１４０へ進む。
状態用途が状態更新である場合、処理はステップＳ１４０へ進む。
【0052】
ステップＳ１３０において、状態検証部１１３は、状態登録情報を状態登録部１１４から受け取り、状態登録情報を検証する。
【0053】
図９に基づいて、ステップＳ１３０の詳細を説明する。
ステップＳ１３１において、状態検証部１１３は、状態登録情報の中の規定種類と同じ種類の登録済み規定を規定保管部１２１から選択する。選択された登録済み規定を、選択規定と称する。
ステップＳ１３１において、状態検証部１１３は、状態登録情報の中の規定種類と同じ種類の登録済み規定を規定保管部１２１から選択する。選択された登録済み規定を、選択規定と称する。
【0054】
ステップＳ１３２において、状態検証部１１３は、状態登録情報に基づいて、バージョン番号を特定する。特定されるバージョン番号を、特定番号と称する。
【0055】
特定番号は以下のように特定される。
利用者はバージョン番号を指定できる。指定されたバージョン番号は状態登録情報に示される。バージョン番号が状態登録情報に示される場合、状態検証部１１３は、状態登録情報に示されるバージョン番号を特定番号として特定する。バージョン番号が状態登録情報に示されない場合、状態検証部１１３は、選択規定の中の最新のバージョン番号を特定番号として特定する。
利用者はバージョン番号を指定できる。指定されたバージョン番号は状態登録情報に示される。バージョン番号が状態登録情報に示される場合、状態検証部１１３は、状態登録情報に示されるバージョン番号を特定番号として特定する。バージョン番号が状態登録情報に示されない場合、状態検証部１１３は、選択規定の中の最新のバージョン番号を特定番号として特定する。
【0056】
ステップＳ１３３において、状態検証部１１３は、特定番号が設定された１つ以上の状態遷移を選択規定から選択する。
次に、状態検証部１１３は、選択された１つ以上の状態遷移の中の先頭状態を選択する。
そして、状態検証部１１３は、状態登録情報の中の新たな状態を選択された先頭状態と比較する。
次に、状態検証部１１３は、選択された１つ以上の状態遷移の中の先頭状態を選択する。
そして、状態検証部１１３は、状態登録情報の中の新たな状態を選択された先頭状態と比較する。
【0057】
状態登録情報の中の新たな状態が選択された先頭状態と一致する場合、処理はステップＳ１３４へ進む。
状態登録情報の中の新たな状態が選択された先頭状態と一致しない場合、処理はステップＳ１３５へ進む。
状態登録情報の中の新たな状態が選択された先頭状態と一致しない場合、処理はステップＳ１３５へ進む。
【0058】
ステップＳ１３４において、状態検証部１１３は、状態登録可能と判定する。
そして、状態検証部１１３は、状態登録可能という情報と特定番号を示す検証結果を出力する。
そして、状態検証部１１３は、状態登録可能という情報と特定番号を示す検証結果を出力する。
【0059】
ステップＳ１３５において、状態検証部１１３は、状態登録不可と判定する。
そして、状態検証部１１３は、状態登録不可を示す検証結果を出力する。
そして、状態検証部１１３は、状態登録不可を示す検証結果を出力する。
【0060】
図１０に基づいて、ステップＳ１３０の具体例を説明する。
状態登録情報２０４は、状態登録情報の一例である。
登録済み規定２０３は、状態登録情報２０４の中の規定種類αと同じ規定種類の登録済み規定である。
（１）バージョン番号は状態登録情報２０４に示されていない。登録済み規定２０３の中の最新のバージョン番号はｖ３である。登録済み規定２０３において、バージョン番号ｖ３の先頭状態は状態ａである。バージョン番号ｖ３の先頭状態ａと状態登録情報２０４の中の新たな状態ａは一致する。この場合、状態検証部１１３は状態登録可能と判定する。
（２）状態登録情報２０４の中のバージョン番号はｖ１である。登録済み規定２０３において、バージョン番号ｖ１の先頭状態は状態ａである。バージョン番号ｖ１の先頭状態ａと状態登録情報２０４の中の新たな状態ａは一致する。この場合、状態検証部１１３は状態登録可能と判定する。
（３）状態登録情報２０４の中のバージョン番号はｖ３である。登録済み規定２０３において、バージョン番号ｖ３の先頭状態は状態ａである。バージョン番号ｖ３の先頭状態ａと状態登録情報２０４の中の新たな状態ｗは一致しない。この場合、状態検証部１１３は状態登録不可と判定する。
状態登録情報２０４は、状態登録情報の一例である。
登録済み規定２０３は、状態登録情報２０４の中の規定種類αと同じ規定種類の登録済み規定である。
（１）バージョン番号は状態登録情報２０４に示されていない。登録済み規定２０３の中の最新のバージョン番号はｖ３である。登録済み規定２０３において、バージョン番号ｖ３の先頭状態は状態ａである。バージョン番号ｖ３の先頭状態ａと状態登録情報２０４の中の新たな状態ａは一致する。この場合、状態検証部１１３は状態登録可能と判定する。
（２）状態登録情報２０４の中のバージョン番号はｖ１である。登録済み規定２０３において、バージョン番号ｖ１の先頭状態は状態ａである。バージョン番号ｖ１の先頭状態ａと状態登録情報２０４の中の新たな状態ａは一致する。この場合、状態検証部１１３は状態登録可能と判定する。
（３）状態登録情報２０４の中のバージョン番号はｖ３である。登録済み規定２０３において、バージョン番号ｖ３の先頭状態は状態ａである。バージョン番号ｖ３の先頭状態ａと状態登録情報２０４の中の新たな状態ｗは一致しない。この場合、状態検証部１１３は状態登録不可と判定する。
【0061】
図８に戻り、説明を続ける。
ステップＳ１３０の後、処理はステップＳ１２３へ進む。
ステップＳ１３０の後、処理はステップＳ１２３へ進む。
【0062】
ステップＳ１２３において、状態登録部１１４は、検証結果を状態検証部１１３から受け取り、検証結果を参照して状態登録可能か判定する。
状態登録可能である場合、処理はステップＳ１２４へ進む。
状態登録不可である場合、処理はステップＳ１２５へ進む。
状態登録可能である場合、処理はステップＳ１２４へ進む。
状態登録不可である場合、処理はステップＳ１２５へ進む。
【0063】
ステップＳ１２４において、状態登録部１１４は、新たな登録状態識別子を生成する。新たな登録状態識別子は、状態保管部１２２の中に存在しない登録状態識別子である。
そして、状態登録部１１４は、状態登録情報に基づいて新たな登録状態情報を生成し、新たな登録状態情報を状態保管部１２２に登録する。
新たな登録状態情報は、新たな登録状態識別子と、状態登録情報の中の新たな状態と、状態登録情報の中の規定種類と、検証結果の中のバージョン番号と、を示す。
そして、状態登録部１１４は、状態登録情報に基づいて新たな登録状態情報を生成し、新たな登録状態情報を状態保管部１２２に登録する。
新たな登録状態情報は、新たな登録状態識別子と、状態登録情報の中の新たな状態と、状態登録情報の中の規定種類と、検証結果の中のバージョン番号と、を示す。
【0064】
図１１に基づいて、ステップＳ１２４の具体例を説明する。
登録状態情報２０５は、ＩＤ欄と状態欄と規定種類欄とＶｅｒ番号欄と最新欄を有する。
ＩＤ欄は、登録状態識別子を示す。
状態欄は、状態を示す。
規定種類欄は、規定種類を示す。
Ｖｅｒ番号欄は、バージョン番号を示す。
最新欄は、状態欄の状態が最新状態であるか否かを示す。
登録状態情報２０５は、ＩＤ欄と状態欄と規定種類欄とＶｅｒ番号欄と最新欄を有する。
ＩＤ欄は、登録状態識別子を示す。
状態欄は、状態を示す。
規定種類欄は、規定種類を示す。
Ｖｅｒ番号欄は、バージョン番号を示す。
最新欄は、状態欄の状態が最新状態であるか否かを示す。
【0065】
状態登録部１１４は、ＩＤ００１の登録状態情報２０５を生成し、ＩＤ００１の登録状態情報２０５を状態保管部１２２に登録している。
【0066】
図８に戻り、ステップＳ１２５を説明する。
ステップＳ１２５において、出力部１１５は、登録結果を状態登録部１１４から受け取り、登録結果を出力する。
ステップＳ１２３で状態登録可能と判定された場合、登録結果は、登録完了という情報と登録状態識別子を示す。
ステップＳ１２３で状態登録不可と判定された場合、登録結果は、登録エラーという情報と検証結果を示す。
ステップＳ１２５において、出力部１１５は、登録結果を状態登録部１１４から受け取り、登録結果を出力する。
ステップＳ１２３で状態登録可能と判定された場合、登録結果は、登録完了という情報と登録状態識別子を示す。
ステップＳ１２３で状態登録不可と判定された場合、登録結果は、登録エラーという情報と検証結果を示す。
【0067】
具体的には、出力部１１５は、登録結果を結果表示装置２１３へ送信する。結果表示装置２１３は、登録結果を受信し、登録結果をディスプレイに表示する。利用者は、表示された登録結果を確認する。
【0068】
ステップＳ１２５の後、処理は終了する。
【0069】
ステップＳ１４０から説明を続ける。
ステップＳ１４０において、状態検証部１１３は、状態更新情報を状態登録部１１４から受け取り、状態更新情報を検証する。
ステップＳ１４０において、状態検証部１１３は、状態更新情報を状態登録部１１４から受け取り、状態更新情報を検証する。
【0070】
図１２に基づいて、ステップＳ１４０の詳細を説明する。
ステップＳ１４１において、状態検証部１１３は、状態更新情報の中の登録状態識別子と同じ登録状態識別子の登録状態情報を状態保管部１２２から選択する。選択される登録状態情報の状態欄に示される状態は最新状態である。選択された登録状態情報を、選択状態情報と称する。
ステップＳ１４１において、状態検証部１１３は、状態更新情報の中の登録状態識別子と同じ登録状態識別子の登録状態情報を状態保管部１２２から選択する。選択される登録状態情報の状態欄に示される状態は最新状態である。選択された登録状態情報を、選択状態情報と称する。
【0071】
なお、状態更新情報の中の登録状態識別子と同じ登録状態識別子の登録状態情報が状態保管部１２２に存在しない場合、状態検証部１１３は、該当する登録状態情報が存在しないため状態登録不可という情報を示す検証結果を出力する。そして、処理は終了する。
【0072】
ステップＳ１４２において、状態検証部１１３は、選択状態情報の中の規定種類と同じ種類の登録済み規定を規定保管部１２１から選択する。選択された登録済み規定を、選択規定と称する。
【0073】
ステップＳ１４３において、状態検証部１１３は、状態更新情報に基づいて、バージョン番号を特定する。特定されるバージョン番号を、特定番号と称する。
【0074】
特定番号は以下のように特定される。
利用者はバージョン番号を指定できる。指定されたバージョン番号は状態更新情報に示される。バージョン番号が状態更新情報に示される場合、状態検証部１１３は、状態更新情報に示されるバージョン番号を特定番号として特定する。バージョン番号が状態更新情報に示されない場合、状態検証部１１３は、選択状態情報の中のバージョン番号を特定番号として特定する。
利用者はバージョン番号を指定できる。指定されたバージョン番号は状態更新情報に示される。バージョン番号が状態更新情報に示される場合、状態検証部１１３は、状態更新情報に示されるバージョン番号を特定番号として特定する。バージョン番号が状態更新情報に示されない場合、状態検証部１１３は、選択状態情報の中のバージョン番号を特定番号として特定する。
【0075】
ステップＳ１４４において、選択状態情報の中の最新状態から状態更新情報の中の新たな状態への状態遷移を、新たな状態遷移と称する。
まず、状態検証部１１３は、特定番号が設定された状態遷移を選択規定から選択する。
そして、状態検証部１１３は、新たな状態遷移を選択された状態遷移のそれぞれと比較する。
まず、状態検証部１１３は、特定番号が設定された状態遷移を選択規定から選択する。
そして、状態検証部１１３は、新たな状態遷移を選択された状態遷移のそれぞれと比較する。
【0076】
新たな状態遷移が選択された状態遷移のいずれかと一致する場合、処理はステップＳ１４５へ進む。
新たな状態遷移が選択された状態遷移のいずれかとも一致しない場合、処理はステップＳ１４６へ進む。
新たな状態遷移が選択された状態遷移のいずれかとも一致しない場合、処理はステップＳ１４６へ進む。
【0077】
ステップＳ１４５において、状態検証部１１３は、状態登録可能と判定する。
そして、状態検証部１１３は、状態登録可能という情報と選択状態情報の中の規定種類と特定番号を示す検証結果を出力する。
そして、状態検証部１１３は、状態登録可能という情報と選択状態情報の中の規定種類と特定番号を示す検証結果を出力する。
【0078】
ステップＳ１４６において、状態検証部１１３は、状態登録不可と判定する。
そして、状態検証部１１３は、状態登録不可を示す検証結果を出力する。
そして、状態検証部１１３は、状態登録不可を示す検証結果を出力する。
【0079】
図１３に基づいて、ステップＳ１４０の具体例を説明する。
状態更新情報２０６は、状態更新情報の一例である。
登録状態情報２０５は、状態更新情報２０６の中の登録状態識別子００１と同じ登録状態識別子の登録状態情報である。
登録済み規定２０３は、登録状態情報２０５の中の規定種類αと同じ規定種類の登録済み規定である。
（１）バージョン番号は状態更新情報２０６に示されていない。選択状態情報の中のバージョン番号はｖ１である。登録状態情報２０５の中の最新状態ｂから状態更新情報２０６の中の新たな状態ｄへの状態遷移が新たな状態遷移となる。新たな状態遷移（ｂ→ｄ）は、登録済み規定２０３の中のバージョン番号ｖ１のいずれの状態遷移とも一致しない。この場合、状態検証部１１３は状態登録不可と判定する。
（２）状態更新情報２０６の中のバージョン番号はｖ３である。登録状態情報２０５の中の最新状態ｂから状態更新情報２０６の中の新たな状態ｄへの状態遷移が新たな状態遷移となる。新たな状態遷移（ｂ→ｄ）は、登録済み規定２０３の中のバージョン番号ｖ３の状態遷移（ｂ→ｄ）と一致する。この場合、状態検証部１１３は状態登録可能と判定する。
（３）状態更新情報２０６の中のバージョン番号はｖ３である。登録状態情報２０５の中の最新状態ｂから状態更新情報２０６の中の新たな状態ｗへの状態遷移が新たな状態遷移となる。新たな状態遷移（ｂ→ｗ）は、登録済み規定２０３の中のバージョン番号ｖ３の状態遷移のいずれとも一致しない。この場合、状態検証部１１３は状態登録不可と判定する。
状態更新情報２０６は、状態更新情報の一例である。
登録状態情報２０５は、状態更新情報２０６の中の登録状態識別子００１と同じ登録状態識別子の登録状態情報である。
登録済み規定２０３は、登録状態情報２０５の中の規定種類αと同じ規定種類の登録済み規定である。
（１）バージョン番号は状態更新情報２０６に示されていない。選択状態情報の中のバージョン番号はｖ１である。登録状態情報２０５の中の最新状態ｂから状態更新情報２０６の中の新たな状態ｄへの状態遷移が新たな状態遷移となる。新たな状態遷移（ｂ→ｄ）は、登録済み規定２０３の中のバージョン番号ｖ１のいずれの状態遷移とも一致しない。この場合、状態検証部１１３は状態登録不可と判定する。
（２）状態更新情報２０６の中のバージョン番号はｖ３である。登録状態情報２０５の中の最新状態ｂから状態更新情報２０６の中の新たな状態ｄへの状態遷移が新たな状態遷移となる。新たな状態遷移（ｂ→ｄ）は、登録済み規定２０３の中のバージョン番号ｖ３の状態遷移（ｂ→ｄ）と一致する。この場合、状態検証部１１３は状態登録可能と判定する。
（３）状態更新情報２０６の中のバージョン番号はｖ３である。登録状態情報２０５の中の最新状態ｂから状態更新情報２０６の中の新たな状態ｗへの状態遷移が新たな状態遷移となる。新たな状態遷移（ｂ→ｗ）は、登録済み規定２０３の中のバージョン番号ｖ３の状態遷移のいずれとも一致しない。この場合、状態検証部１１３は状態登録不可と判定する。
【0080】
図８に戻り、説明を続ける。
ステップＳ１４０の後、処理はステップＳ１２６へ進む。
ステップＳ１４０の後、処理はステップＳ１２６へ進む。
【0081】
ステップＳ１２６において、状態登録部１１４は、検証結果を状態検証部１１３から受け取り、検証結果を参照して状態更新可能か判定する。
状態更新可能である場合、処理はステップＳ１２７へ進む。
状態更新不可である場合、処理はステップＳ１２８へ進む。
状態更新可能である場合、処理はステップＳ１２７へ進む。
状態更新不可である場合、処理はステップＳ１２８へ進む。
【0082】
ステップＳ１２７において、状態登録部１１４は、状態更新情報に基づいて、状態更新情報の中の登録状態識別子と同じ登録状態識別子の登録状態情報を更新する。
【0083】
具体的には、状態登録部１１４は、状態更新情報に基づいて新たな登録状態情報を生成し、新たな登録状態情報を状態保管部１２２に追加する。
新たな登録状態情報は、状態更新情報の中の登録状態識別子と、状態更新情報の中の新たな状態と、検証結果の中の規定種類と、検証結果の中のバージョン番号と、を示す。
新たな登録状態情報は、状態更新情報の中の登録状態識別子と、状態更新情報の中の新たな状態と、検証結果の中の規定種類と、検証結果の中のバージョン番号と、を示す。
【0084】
図１４に基づいて、ステップＳ１２７の具体例を説明する。
状態登録部１１４は、ＩＤ００１の新たな登録状態情報２０５を生成し、ＩＤ００１の新たな登録状態情報２０５を状態保管部１２２に追加している。
状態登録部１１４は、ＩＤ００１の前回の登録状態情報２０５の最新欄の情報を状態欄の状態が最新状態でないことを示す情報に変更している。
これにより、ＩＤ００１の登録状態情報２０５が更新されている。
状態登録部１１４は、ＩＤ００１の新たな登録状態情報２０５を生成し、ＩＤ００１の新たな登録状態情報２０５を状態保管部１２２に追加している。
状態登録部１１４は、ＩＤ００１の前回の登録状態情報２０５の最新欄の情報を状態欄の状態が最新状態でないことを示す情報に変更している。
これにより、ＩＤ００１の登録状態情報２０５が更新されている。
【0085】
ＩＤ００１の登録状態情報２０５は、前回状態ａと最新状態ｃを示すことになる。前回状態ａと最新状態ｃでは、状態遷移のバージョン番号が異なっている。
状態遷移のバージョン番号は、全ての状態で同一であってもよいし、状態ごとに異なっても構わない。つまり、利用者は、状態登録ごとに異なるバージョン番号を指定することができる。
状態遷移のバージョン番号は、全ての状態で同一であってもよいし、状態ごとに異なっても構わない。つまり、利用者は、状態登録ごとに異なるバージョン番号を指定することができる。
【0086】
図８に戻り、ステップＳ１２８を説明する。
ステップＳ１２８において、出力部１１５は、更新結果を状態登録部１１４から受け取り、更新結果を出力する。
ステップＳ１２６で状態更新可能と判定された場合、更新結果は、更新完了という情報と登録状態識別子を示す。
ステップＳ１２６で状態更新不可と判定された場合、更新結果は、更新エラーという情報と検証結果を示す。
ステップＳ１２８において、出力部１１５は、更新結果を状態登録部１１４から受け取り、更新結果を出力する。
ステップＳ１２６で状態更新可能と判定された場合、更新結果は、更新完了という情報と登録状態識別子を示す。
ステップＳ１２６で状態更新不可と判定された場合、更新結果は、更新エラーという情報と検証結果を示す。
【0087】
具体的には、出力部１１５は、更新結果を結果表示装置２１３へ送信する。結果表示装置２１３は、更新結果を受信し、更新結果をディスプレイに表示する。利用者は、表示された更新結果を確認する。
【0088】
ステップＳ１２８の後、処理は終了する。
【0089】
＊＊＊実施の形態１の効果＊＊＊
実施の形態１の主な特徴は、規定登録部１１２と状態検証部１１３である。特に、状態遷移のバージョンがイベント（アクション）として設定された状態遷移規定が登録されることが特徴である。また、新たな状態が入力された場合に新たな状態遷移が規定に則していることを確認した後に新たな状態が登録されることが特徴である。
従来、状態遷移のバージョンに応じて状態を追加したり状態を削除したりすることができなかった。
実施の形態１では、入力された状態遷移規定が新たなバージョンの規定として登録済みの状態遷移規定に追加される。つまり、実施の形態１は、状態の追加または状態の削除がなされた状態遷移のバージョンを管理できる、という効果を奏する。
状態が追加または状態が削除された状態遷移が別個の状態遷移規定として管理されると、状態遷移の進行中に状態遷移のバージョンを変更することができない。
実施の形態１では、バージョンがイベント（アクション）として設定された状態遷移規定が参照される。そのため、実施の形態１は、状態遷移の進行中であっても、指定されたバージョンの状態遷移を用いて、入力された状態が規定に則していることを確認できる、という効果を奏する。
実施の形態１の主な特徴は、規定登録部１１２と状態検証部１１３である。特に、状態遷移のバージョンがイベント（アクション）として設定された状態遷移規定が登録されることが特徴である。また、新たな状態が入力された場合に新たな状態遷移が規定に則していることを確認した後に新たな状態が登録されることが特徴である。
従来、状態遷移のバージョンに応じて状態を追加したり状態を削除したりすることができなかった。
実施の形態１では、入力された状態遷移規定が新たなバージョンの規定として登録済みの状態遷移規定に追加される。つまり、実施の形態１は、状態の追加または状態の削除がなされた状態遷移のバージョンを管理できる、という効果を奏する。
状態が追加または状態が削除された状態遷移が別個の状態遷移規定として管理されると、状態遷移の進行中に状態遷移のバージョンを変更することができない。
実施の形態１では、バージョンがイベント（アクション）として設定された状態遷移規定が参照される。そのため、実施の形態１は、状態遷移の進行中であっても、指定されたバージョンの状態遷移を用いて、入力された状態が規定に則していることを確認できる、という効果を奏する。
【0090】
＊＊＊実施の形態１の実施例＊＊＊
登録済み規定および登録状態情報は、ネットワークを介して互いに通信する複数の状態遷移管理装置１００によって管理されてもよい。例えば、登録済み規定および登録状態情報は、分散型台帳技術またはブロックチェーン技術を用いて管理される。
登録済み規定および登録状態情報は、ネットワークを介して互いに通信する複数の状態遷移管理装置１００によって管理されてもよい。例えば、登録済み規定および登録状態情報は、分散型台帳技術またはブロックチェーン技術を用いて管理される。
【0091】
【0092】
＊＊＊構成の説明＊＊＊
図１５に基づいて、状態遷移管理システム２００の構成を説明する。
状態遷移管理システム２００は、複数の状態遷移管理装置（１００Ａ、１００Ｂ）を備える。
状態遷移管理装置１００Ａは、プライベートの状態遷移管理装置１００である。
状態遷移管理装置１００Ｂは、パブリックの状態遷移管理装置１００である。
状態遷移管理装置１００Ａと状態遷移管理装置１００Ｂのそれぞれが、２台以上存在してもよい。
図１５に基づいて、状態遷移管理システム２００の構成を説明する。
状態遷移管理システム２００は、複数の状態遷移管理装置（１００Ａ、１００Ｂ）を備える。
状態遷移管理装置１００Ａは、プライベートの状態遷移管理装置１００である。
状態遷移管理装置１００Ｂは、パブリックの状態遷移管理装置１００である。
状態遷移管理装置１００Ａと状態遷移管理装置１００Ｂのそれぞれが、２台以上存在してもよい。
【0093】
状態遷移管理装置１００Ａで管理される状態遷移情報は、特定の利用者または特定のシステムにだけ利用される。
状態遷移管理装置１００Ｂで管理される状態遷移情報は、不特定多数の利用者または別システムに利用される。
状態遷移管理装置１００Ｂで管理される状態遷移情報は、不特定多数の利用者または別システムに利用される。
【0094】
＊＊＊動作の説明＊＊＊
規定登録について説明する。
利用者は、登録用規定の規定情報を状態遷移管理装置１００Ａと状態遷移管理装置１００Ｂのそれぞれに入力する。
利用者は、更新用規定の規定情報を状態遷移管理装置１００Ａまたは状態遷移管理装置１００Ｂに入力する。
規定登録について説明する。
利用者は、登録用規定の規定情報を状態遷移管理装置１００Ａと状態遷移管理装置１００Ｂのそれぞれに入力する。
利用者は、更新用規定の規定情報を状態遷移管理装置１００Ａまたは状態遷移管理装置１００Ｂに入力する。
【0095】
規定情報が入力された状態遷移管理装置１００Ａの動作は、実施の形態１における状態遷移管理装置１００の動作と同じである。入力された規定情報の中の状態遷移規定は、状態遷移管理装置１００Ａで管理される。
規定情報が入力された状態遷移管理装置１００Ｂの動作は、実施の形態１における状態遷移管理装置１００の動作と同じである。入力された規定情報の中の状態遷移規定は、状態遷移管理装置１００Ｂで管理される。
規定情報が入力された状態遷移管理装置１００Ｂの動作は、実施の形態１における状態遷移管理装置１００の動作と同じである。入力された規定情報の中の状態遷移規定は、状態遷移管理装置１００Ｂで管理される。
【0096】
状態遷移規定の中の各状態には、公開可否が付される。
公開可否は、状態を公開することが可能か否かを示す。
公開可否は、状態を公開することが可能か否かを示す。
【0097】
登録用規定は、内容が正しいことを予め確認されている。例えば、状態遷移管理システム２００を利用する全ての事業者または一部の事業者が登録用規定が正しい状態遷移規定であることを予め確認する。
【0098】
状態登録について説明する。
利用者は、状態情報を状態遷移管理装置１００Ａに入力する。
状態情報は、新たな状態を示す。
利用者は、状態情報を状態遷移管理装置１００Ａに入力する。
状態情報は、新たな状態を示す。
【0099】
図１６に基づいて、状態登録Ａを説明する。状態登録Ａは、状態遷移管理装置１００Ａにおける状態登録である。
【0100】
ステップＳ１２１において、受付部１１１は状態情報を受け付ける。
ステップＳ１２２において、状態登録部１１４は状態用途を判定する。
ステップＳ１２１およびステップＳ１２２は、実施の形態１で説明した通りである。
ステップＳ１２２の後、処理はステップＳ２０１へ進む。
ステップＳ１２２において、状態登録部１１４は状態用途を判定する。
ステップＳ１２１およびステップＳ１２２は、実施の形態１で説明した通りである。
ステップＳ１２２の後、処理はステップＳ２０１へ進む。
【0101】
ステップＳ２０１において、状態登録部１１４は、新たな状態の公開可否を判定する。
【0102】
公開可否は以下のように判定される。
利用者は、公開可否を指定できる。指定された公開可否は状態情報に示される。
公開可否が状態情報に示される場合、状態登録部１１４は、状態情報を参照して状態可否を判定する。
公開可否が状態情報に示されない場合、状態登録部１１４は、状態遷移管理装置１００Ｂへ状態情報と用途情報を送信して、公開可否を問い合わせる。用途情報は状態用途を示す。
状態遷移管理装置１００Ｂにおいて、状態登録部１１４は、状態用途に応じて状態情報に対応する状態遷移規定を選択する（Ｓ１３１またはＳ１４２と同様）。状態登録部１１４は、選択した状態遷移規定から新たな状態に対応する状態を選択し、選択した状態に付された公開可否を参照する。そして、状態登録部１１４は、状態遷移管理装置１００Ａに公開可否を応答する。
利用者は、公開可否を指定できる。指定された公開可否は状態情報に示される。
公開可否が状態情報に示される場合、状態登録部１１４は、状態情報を参照して状態可否を判定する。
公開可否が状態情報に示されない場合、状態登録部１１４は、状態遷移管理装置１００Ｂへ状態情報と用途情報を送信して、公開可否を問い合わせる。用途情報は状態用途を示す。
状態遷移管理装置１００Ｂにおいて、状態登録部１１４は、状態用途に応じて状態情報に対応する状態遷移規定を選択する（Ｓ１３１またはＳ１４２と同様）。状態登録部１１４は、選択した状態遷移規定から新たな状態に対応する状態を選択し、選択した状態に付された公開可否を参照する。そして、状態登録部１１４は、状態遷移管理装置１００Ａに公開可否を応答する。
【0103】
新たな状態が公開不可の状態である場合、状態遷移管理装置１００Ａは検証および登録／更新を実行する。具体的には、状態用途が状態登録であればステップＳ１３０およびステップＳ１２３からステップＳ１２５が実行され、状態用途が状態更新であればステップＳ１４０およびステップＳ１２６からステップＳ１２８が実行される。その後、処理は終了する。
新たな状態が公開可能である場合、処理はステップＳ２０２へ進む。
新たな状態が公開可能である場合、処理はステップＳ２０２へ進む。
【0104】
ステップＳ２０２において、状態登録部１１４は、状態情報と用途情報を状態遷移管理装置１００Ｂへ送信する。
ステップＳ２０２の後、後述する状態登録Ｂが状態遷移管理装置１００Ｂにおいて実行され、処理はステップＳ２０３へ進む。
ステップＳ２０２の後、後述する状態登録Ｂが状態遷移管理装置１００Ｂにおいて実行され、処理はステップＳ２０３へ進む。
【0105】
ステップＳ２０３において、状態登録部１１４は、処理結果（登録結果または更新結果）を状態遷移管理装置１００Ｂから受信する。
状態用途が状態登録である場合、登録結果が処理結果となる。
状態用途が状態更新である場合、更新結果が処理結果となる。
状態用途が状態登録である場合、登録結果が処理結果となる。
状態用途が状態更新である場合、更新結果が処理結果となる。
【0106】
ステップＳ２０３の説明を続ける。
出力部１１５は、処理結果を出力する（Ｓ１２５またはＳ１２８と同様）。
ステップＳ２０３の後、処理はステップＳ２０４へ進む。
出力部１１５は、処理結果を出力する（Ｓ１２５またはＳ１２８と同様）。
ステップＳ２０３の後、処理はステップＳ２０４へ進む。
【0107】
ステップＳ２０４において、状態登録部１１４は処理結果を判定する。
処理結果が登録完了または更新完了を示す場合、状態遷移管理装置１００Ａは検証および登録／更新を実行する。その後、処理は終了する。
処理結果が登録エラーまたは更新エラーを示す場合、処理は終了する。
処理結果が登録完了または更新完了を示す場合、状態遷移管理装置１００Ａは検証および登録／更新を実行する。その後、処理は終了する。
処理結果が登録エラーまたは更新エラーを示す場合、処理は終了する。
【0108】
図１７に基づいて、状態登録Ｂを説明する。状態登録Ｂは、状態遷移管理装置１００Ｂにおける状態登録である。
【0109】
ステップＳ２１１において、状態登録部１１４は、状態情報と用途情報を状態遷移管理装置１００Ａから受信する。
ステップＳ２１１の後、処理はステップＳ１２２へ進む。
ステップＳ２１１の後、処理はステップＳ１２２へ進む。
【0110】
ステップＳ１２２において、状態登録部１１４は状態用途を判定する。
ステップＳ１２２は、実施の形態１で説明した通りである。
ステップＳ１２２は、実施の形態１で説明した通りである。
【0111】
ステップＳ１２２の後、状態遷移管理装置１００Ｂは検証および登録／更新を実行する。具体的には、状態用途が状態登録であればステップＳ１３０、ステップＳ１２３およびステップＳ１２４が実行され、状態用途が状態更新であればステップＳ１４０、ステップＳ１２６およびステップＳ１２７が実行される。
その後、処理はステップＳ２１２へ進む。
その後、処理はステップＳ２１２へ進む。
【0112】
ステップＳ２１２において、状態登録部１１４は、処理結果（登録結果または更新結果）を状態遷移管理装置１００Ａへ送信する。
ステップＳ２１２の後、処理は終了する。
ステップＳ２１２の後、処理は終了する。
【0113】
＊＊＊実施の形態２の効果＊＊＊
実施の形態２は、複数の状態遷移管理装置１００を活用する。
複数の状態遷移管理装置１００を活用することで、例えば、複数の事業者のそれぞれで状態遷移管理を行うことができる。具体的には、状況に応じて、特定の事業者のみが管理する状態遷移と、多数の事業者が共同で管理する状態遷移と、を使い分けることができる。これにより、共有される状態遷移を管理しつつ、他の事業者には公開されない状態遷移を管理できる。
実施の形態２は、複数の状態遷移管理装置１００を活用する。
複数の状態遷移管理装置１００を活用することで、例えば、複数の事業者のそれぞれで状態遷移管理を行うことができる。具体的には、状況に応じて、特定の事業者のみが管理する状態遷移と、多数の事業者が共同で管理する状態遷移と、を使い分けることができる。これにより、共有される状態遷移を管理しつつ、他の事業者には公開されない状態遷移を管理できる。
【0114】
＊＊＊実施の形態２の実施例＊＊＊
状態遷移管理システム２００は、状態遷移管理装置１００Ａにおける処理結果が登録エラーまたは更新エラーである場合に新たな状態が状態遷移管理装置１００Ｂに登録されない、という機能を有してもよい。
例えば、状態遷移管理装置１００Ａにおいて処理結果が登録エラーまたは更新エラーである場合、状態登録部１１４は新たな状態の削除を状態遷移管理装置１００Ｂに要求する。状態遷移管理装置１００Ｂにおいて、状態登録部１１４は要求を受けると新たな状態の登録状態情報を削除する。
状態遷移管理システム２００は、状態遷移管理装置１００Ａにおける処理結果が登録エラーまたは更新エラーである場合に新たな状態が状態遷移管理装置１００Ｂに登録されない、という機能を有してもよい。
例えば、状態遷移管理装置１００Ａにおいて処理結果が登録エラーまたは更新エラーである場合、状態登録部１１４は新たな状態の削除を状態遷移管理装置１００Ｂに要求する。状態遷移管理装置１００Ｂにおいて、状態登録部１１４は要求を受けると新たな状態の登録状態情報を削除する。
【0115】
＊＊＊実施の形態の補足＊＊＊
図１８に基づいて、状態遷移管理装置１００のハードウェア構成を説明する。
状態遷移管理装置１００は処理回路１０９を備える。
処理回路１０９は、受付部１１１と規定登録部１１２と状態検証部１１３と状態登録部１１４と出力部１１５を実現するハードウェアである。
処理回路１０９は、専用のハードウェアであってもよいし、メモリ１０２に格納されるプログラムを実行するプロセッサ１０１であってもよい。
図１８に基づいて、状態遷移管理装置１００のハードウェア構成を説明する。
状態遷移管理装置１００は処理回路１０９を備える。
処理回路１０９は、受付部１１１と規定登録部１１２と状態検証部１１３と状態登録部１１４と出力部１１５を実現するハードウェアである。
処理回路１０９は、専用のハードウェアであってもよいし、メモリ１０２に格納されるプログラムを実行するプロセッサ１０１であってもよい。
【0116】
処理回路１０９が専用のハードウェアである場合、処理回路１０９は、例えば、単一回路、複合回路、プログラム化したプロセッサ、並列プログラム化したプロセッサ、ＡＳＩＣ、ＦＰＧＡまたはこれらの組み合わせである。
ＡＳＩＣは、Ａｐｐｌｉｃａｔｉｏｎ Ｓｐｅｃｉｆｉｃ Ｉｎｔｅｇｒａｔｅｄ Ｃｉｒｃｕｉｔの略称である。
ＦＰＧＡは、Ｆｉｅｌｄ Ｐｒｏｇｒａｍｍａｂｌｅ Ｇａｔｅ Ａｒｒａｙの略称である。
ＡＳＩＣは、Ａｐｐｌｉｃａｔｉｏｎ Ｓｐｅｃｉｆｉｃ Ｉｎｔｅｇｒａｔｅｄ Ｃｉｒｃｕｉｔの略称である。
ＦＰＧＡは、Ｆｉｅｌｄ Ｐｒｏｇｒａｍｍａｂｌｅ Ｇａｔｅ Ａｒｒａｙの略称である。
【0117】
状態遷移管理装置１００は、処理回路１０９を代替する複数の処理回路を備えてもよい。
【0118】
処理回路１０９において、一部の機能が専用のハードウェアで実現されて、残りの機能がソフトウェアまたはファームウェアで実現されてもよい。
【0119】
このように、状態遷移管理装置１００の機能はハードウェア、ソフトウェア、ファームウェアまたはこれらの組み合わせで実現することができる。
【0120】
各実施の形態は、好ましい形態の例示であり、本開示の技術的範囲を制限することを意図するものではない。各実施の形態は、部分的に実施してもよいし、他の形態と組み合わせて実施してもよい。フローチャート等を用いて説明した手順は、適宜に変更してもよい。
【0121】
状態遷移管理装置１００の各要素の「部」は、「処理」、「工程」、「回路」または「サーキットリ」と読み替えてもよい。
【符号の説明】
【0122】
１００ 状態遷移管理装置、１０１ プロセッサ、１０２ メモリ、１０３ 補助記憶装置、１０４ 通信装置、１０５ 入出力インタフェース、１０９ 処理回路、１１１ 受付部、１１２ 規定登録部、１１３ 状態検証部、１１４ 状態登録部、１１５ 出力部、１２０ 記憶部、１２１ 規定保管部、１２２ 状態保管部、２００ 状態遷移管理システム、２０１ 登録用規定、２０２ 更新用規定、２０３ 登録済み規定、２０４ 状態登録情報、２０５ 登録状態情報、２０６ 状態更新情報、２１１ 規定送信装置、２１２ 状態送信装置、２１３ 結果表示装置。
【要約】
規定登録部（１１２）は、受け付けられた状態遷移規定が登録用規定である場合に前記登録用規定の中の１つ以上の状態遷移のそれぞれに最初のバージョン番号をイベントとして設定し、設定後の前記登録用規定を規定保管部に登録する。規定登録部（１１２）は、受け付けられた状態遷移規定が更新用規定である場合に前記更新用規定と同じ種類の状態遷移規定を前記規定保管部から選択し、前記更新用規定の前記１つ以上の状態遷移のうち選択された状態遷移規定の中に存在しない状態遷移のそれぞれを前記選択された状態遷移規定に追加し、前記選択された状態遷移規定の中の最新のバージョン番号の次のバージョン番号を前記選択された状態遷移規定の中の前記１つ以上の状態遷移のそれぞれにイベントとして設定する。
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】
【図7】
【図8】
【図9】
【図10】
【図11】
【図12】
【図13】
【図14】
【図15】
【図16】
【図17】
【図18】