▶ コモンウェルス サイエンティフィック アンド インダストリアル リサーチ オーガナイゼーションの特許一覧
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】特許公報(B2)
(11)【特許番号】
(24)【登録日】2024-02-09
(45)【発行日】2024-02-20
(54)【発明の名称】製造プロセスの監視
(51)【国際特許分類】
G09C 1/00 20060101AFI20240213BHJP
【ＦＩ】
G09C1/00 620Z
【請求項の数】
22
(21)【出願番号】P 2021520221
(86)(22)【出願日】2019-10-23
(65)【公表番号】
(43)【公表日】2022-01-13
(86)【国際出願番号】 AU2019051158
(87)【国際公開番号】W WO2020087106
(87)【国際公開日】2020-05-07
【審査請求日】2022-10-07
(31)【優先権主張番号】2018904146
(32)【優先日】2018-10-31
(33)【優先権主張国・地域又は機関】AU
(73)【特許権者】
【識別番号】590003283
【氏名又は名称】コモンウェルス サイエンティフィック アンド インダストリアル リサーチ オーガナイゼーション
(74)【代理人】
【識別番号】110003708
【氏名又は名称】弁理士法人鈴榮特許綜合事務所
(74)【代理人】
【識別番号】100108855
【弁理士】
【氏名又は名称】蔵田 昌俊
(74)【代理人】
【識別番号】100103034
【弁理士】
【氏名又は名称】野河 信久
(74)【代理人】
【識別番号】100179062
【弁理士】
【氏名又は名称】井上 正
(74)【代理人】
【識別番号】100199565
【弁理士】
【氏名又は名称】飯野 茂
(74)【代理人】
【識別番号】100219542
【弁理士】
【氏名又は名称】大宅 郁治
(74)【代理人】
【識別番号】100153051
【弁理士】
【氏名又は名称】河野 直樹
(74)【代理人】
【識別番号】100162570
【弁理士】
【氏名又は名称】金子 早苗
(72)【発明者】
【氏名】リベレット、レジス
(72)【発明者】
【氏名】トサット、シルバノ・コロンボ
(72)【発明者】
【氏名】ファン・ビーツ、ニック
(72)【発明者】
【氏名】ガバナトリ、グイド
【審査官】行田 悦資
(56)【参考文献】
【文献】国際公開第２０１８／０７８５８４（ＷＯ，Ａ１）
【文献】特表２０１９－５２２２６４（ＪＰ，Ａ）
【文献】特開２０１５－２１２７５６（ＪＰ，Ａ）
【文献】米国特許出願公開第２０１５／０３１８９９１（ＵＳ，Ａ１）
【文献】米国特許第０６６７１８７４（ＵＳ，Ｂ１）
【文献】米国特許出願公開第２０１８／０２４７０４５（ＵＳ，Ａ１）
【文献】特開２００６－３１８２２８（ＪＰ，Ａ）
【文献】特表２０２２－５０１７０１（ＪＰ，Ａ）
(58)【調査した分野】(Int.Cl.，ＤＢ名)
Ｇ０９Ｃ １／００
(57)【特許請求の範囲】
【請求項1】
製薬プラントの現在の操作を監視することにより、医薬化合物を製造する方法であって、前記製薬プラントの公称操作の数値表現を作成することと、
前記数値表現へのアクセスを阻止するが前記数値表現に対する計算を可能にする暗号化数値表現を求めるために、準同型暗号を用いて前記数値表現を暗号化することと、
ブロックチェーンプラットフォーム上でスマートコントラクトを作成することであって、前記暗号化数値表現を前記スマートコントラクトの前記計算への第１の入力として用いて、前記スマートコントラクトを作成することと、
前記製薬プラントの前記現在の操作を、前記スマートコントラクトの前記計算への第２の入力として用いて、前記スマートコントラクトの実行を試みることであって、前記スマートコントラクトの実行が、前記暗号化数値表現に対する前記計算を行うことによって出力結果を生成する、前記試みることと、
前記スマートコントラクトの前記実行の前記出力結果に基づいて、前記現在の操作が前記公称操作の範囲外であると判定することと、
を含む、前記方法。
【請求項2】
プロセスの現在の操作を監視する方法であって、前記プロセスの公称操作の数値表現を作成することと、
前記数値表現へのアクセスを阻止するが前記数値表現に対する計算を可能にする暗号化数値表現を求めるために、準同型暗号を用いて前記数値表現を暗号化することと、
ブロックチェーンプラットフォーム上でスマートコントラクトを作成することであって、前記暗号化数値表現を前記スマートコントラクトの前記計算への第１の入力として用いて、前記スマートコントラクトを作成することと、
前記プロセスの前記現在の操作を、前記スマートコントラクトの前記計算への第２の入力として用いて、前記スマートコントラクトの実行を試みることであって、前記スマートコントラクトの実行が、前記暗号化数値表現に対する前記計算を行うことによって出力結果を生成する、前記試みることと、
前記スマートコントラクトの前記実行の前記出力結果に基づいて、前記現在の操作が前記公称操作の範囲外であると判定することと、
を含む、前記方法。
【請求項3】
前記現在の操作が前記公称操作の範囲外であると判定することが、前記スマートコントラクトを実行しなかったことを判定することに応答している、請求項２に記載の方法。
【請求項4】
前記現在の操作が前記公称操作の範囲外であると判定すると、前記プロセスの前記現在の操作を阻止することをさらに含む、請求項２または請求項３に記載の方法。
【請求項5】
前記現在の操作が前記公称操作の範囲外であると判定すると、前記プロセスの更なる実行を可能にするとともに、前記現在の操作が前記公称操作の範囲外であることを示すレポートを生成することをさらに含む、請求項２または請求項３に記載の方法。
【請求項6】
前記公称操作の前記数値表現を作成することが、前記公称操作のペトリネットを作成することと、前記ペトリネットの数値表現を作成することとを含む、請求項１～５のいずれか１項に記載の方法。
【請求項7】
前記数値表現が、前記公称操作のプレースと、前記プレース間の有効なトランジションとを示し、
複数の２進公称ベクトルを含み、
前記複数の２進公称ベクトルのそれぞれが、前記プレース間の前記有効なトランジションのうちの１つを表す、請求項２～５のいずれか１項に記載の方法。
【請求項8】
前記複数の２進公称ベクトルが、トランジションごとに、そのトランジションを可能にする１つ以上のプレースを示す２進プリセットベクトルと、そのトランジション後の１つ以上の可能なプレースを示す２進ポストセットベクトルとを含む、請求項７に記載の方法。
【請求項9】
前記数値表現を作成することが、前記プレース及び前記トランジションを介して複数の追跡を判定することと、
前記２進プリセットベクトル及び前記２進ポストセットベクトルが前記複数の追跡を表すように、前記２進プリセットベクトル及び前記２進ポストセットベクトルを決定することと、
を含む、請求項８に記載の方法。
【請求項10】
前記プロセスの前記現在の操作が、２進の現在の状態ベクトルによって表され、前記スマートコントラクトが、前記現在の状態ベクトルと暗号化された前記２進公称ベクトルとに基づく２項演算を含む、請求項７～９のいずれか１項に記載の方法。
【請求項11】
前記スマートコントラクトの前記計算は、前記操作の以前の状態を示す以前の状態ベクトルに基づく２項演算を含む、請求項１０に記載の方法。
【請求項12】
前記スマートコントラクトの前記計算は、暗号化された以前の状態ベクトルと暗号化された現在の状態ベクトルとの間の２項演算を含む、請求項１１に記載の方法。
【請求項13】
前記スマートコントラクトの前記計算は、暗号化されたポストセットベクトルを使用した２項演算に基づくトランジションの選択と、前記暗号化されたポストセットベクトルに基づくトランジションの選択とを含む、請求項１２に記載の方法。
【請求項14】
前記スマートコントラクトの前記計算は、暗号化された以前の状態ベクトルと暗号化された現在の状態ベクトルとの間の２進ＡＮＤ演算と、
前記暗号化された現在の状態ベクトルと前記２進ＡＮＤ演算の結果との間の２進ＸＯＲ演算と、
を含む、請求項１２または請求項１３に記載の方法。
【請求項15】
前記スマートコントラクトの前記計算は、前記暗号化されたポストセットベクトルと前記２進ＸＯＲ演算の結果との間のＡＮＤ演算の結果が、前記暗号化されたポストセットベクトルに等しいトランジションの選択を含む、請求項１４に記載の方法。
【請求項16】
前記スマートコントラクトの前記計算は、前記選択の結果が前記操作の前記現在の状態ベクトルによって有効にされるトランジションのセットに等しいという条件を含む、請求項１３または請求項１５に記載の方法。
【請求項17】
前記スマートコントラクトの実行を試みることは、前記計算を行うことにより、前記条件を満たそうと試みることを含む、請求項１６に記載の方法。
【請求項18】
前記スマートコントラクトは、前記スマートコントラクトの前記実行の成功により、前記ブロックチェーンプラットフォームへのトランザクションの統合が引き起こされるように構成されている、請求項１７に記載の方法。
【請求項19】
前記ブロックチェーンプラットフォームに統合された前記トランザクションが、前記現在の状態ベクトルへの有効なトランジションを表す、請求項１８に記載の方法。
【請求項20】
前記スマートコントラクトを作成することは、規定セットに対する適合性について前記スマートコントラクトをチェックすることを含む、請求項１～１９のいずれか１項に記載の方法。
【請求項21】
コンピュータによって実行されると、前記コンピュータに請求項１～２０のいずれか１項に記載の方法を実行させる、ソフトウェア。
【請求項22】
プロセスの現在の操作を監視するためのシステムであって、データストアと、
プロセッサであって、
前記プロセスの公称操作の数値表現を作成し、作成した前記数値表現を前記データストアに保存することと、
前記数値表現へのアクセスを阻止するが前記数値表現に対する計算を可能にする暗号化数値表現を求めるために、準同型暗号を用いて前記数値表現を暗号化することと、
ブロックチェーンプラットフォーム上でスマートコントラクトを作成することであって、前記暗号化数値表現を前記スマートコントラクトの前記計算への第１の入力として用いて、前記スマートコントラクトを作成することと、
前記プロセスの前記現在の操作を、前記スマートコントラクトの前記計算への第２の入力として用いて、前記スマートコントラクトの実行を試みることであって、前記スマートコントラクトの実行が、前記暗号化数値表現に対する前記計算を行うことによって出力結果を生成する、前記試みることと、
前記スマートコントラクトの前記実行の前記出力結果に基づいて、前記現在の操作が前記公称操作の範囲外であると判定することと、
を行うように構成された、前記プロセッサと、
を備える、前記システム。
【発明の詳細な説明】
【技術分野】
【0001】
関連出願
本出願は、２０１８年１０月３１日に出願された豪州仮出願２０１８９０４１４６の優先権を主張するものであり、この豪州仮出願の全体を参照として本明細書に組み込む。
本出願は、２０１８年１０月３１日に出願された豪州仮出願２０１８９０４１４６の優先権を主張するものであり、この豪州仮出願の全体を参照として本明細書に組み込む。
【0002】
技術分野
本開示は、プロセスを監視することに関し、特に、限定されるわけではないが、製薬プラントの現在の操作を監視することに関する。
本開示は、プロセスを監視することに関し、特に、限定されるわけではないが、製薬プラントの現在の操作を監視することに関する。
【背景技術】
【0003】
医薬品製造とは、医薬品を工業規模で合成するプロセスのことである。薬剤製造のプロセスは、粉砕、造粒、コーティング、錠剤プレスなどの一連の単位操作に分解することができる。規模に関わらず、薬剤を製造できるようになるまでには、実際の製剤化に多くの作業が必要となる。製剤開発の科学者は、化合物の均一性、安定性、及びその他の多くの要因を評価する。評価段階の後、固体、半固体、即時放出または制御放出、錠剤またはカプセルなどの必要な形態で薬剤を送達するためのソリューションが開発される。固形剤を製造するのに使用される最終配合物を作製するために、幅広い種類の賦形剤が混合され得る。混合され得る材料の範囲（賦形剤、医薬品有効成分）は、条件に合った混合均一性の生成物を実現するために扱われるいくつかの変数を提起する。これらの変数には、粒度分布（材料の凝集体または塊を含む）、粒子形状（球、棒、立方体、平板、及び不定形）、水分（または他の揮発性化合物）の存在、及び粒子表面特性（粗さ、凝集性）が含まれ得る。薬剤製造過程では、薬剤粉末の平均粒径を小さくするために、粉砕が必要になることが多い。これには、均質性と投与量の均一性とを高めること、バイオアベイラビリティを高めること、及び薬剤化合物の溶解性を高めることなど、いくつかの理由がある。造粒は、粉砕の反意語とされている。つまり、これは、小さな粒子が結合して、顆粒と呼ばれる大きな粒子を形成するプロセスである。いくつかの理由で造粒が使用される。造粒は、必要な比率で全ての成分を含有する顆粒を作成することにより、混合物中の成分の「脱混合」を防ぎ、（小粒子は流れにくいので）粉末の流動特性を改善し、錠剤形成のための圧縮特性を改善する。溶解性及びバイオアベイラビリティが低い薬剤の送達を可能にするために、固形製剤経口投薬処理にホットメルトエクストルージョン（溶融押出混錬法）が利用され得る。ホットメルトエクストルージョンを使用して、高分子担体中に難溶性薬剤を分子分散させ、それによって溶解速度及びバイオアベイラビリティを向上させることができる。このプロセスでは、熱、圧力、及び撹拌を加えて材料を混合し、それをダイから「押し出す」。二軸式高せん断押出機が、材料を混合し、同時に粒子を粉砕する。得られた粒子を混合して、錠剤に圧縮するか、またはカプセルに充填することができる。
【0004】
これらのことから、医薬品の製造は複雑であり、正しい公称範囲内になければならない多数のパラメータと、所定の公称シーケンスで互いに続く必要があるステップとを含むことが分かる。それに加えて、リーン生産方式及びデジタルマニュファクチャリングへの傾向が見られる。しかし、これらの新しいビジネス組織の方法には、実現するための技術的ソリューションが必要とされる。特に、サプライチェーン内の多数の関係者間の機密性についての懸念がある。現在のところ、全てのエンティティによるプロセスが、包括的な規定セットに適合しているということを確実にすることが課題となっている。ただし、同時に、実際のプロセスは、公称プロセスパラメータ及び公称ステップシーケンスとともに、第三者に開示されるべきではない。したがって、サプライチェーン及び／または製造プロセスの基盤をなし、「機密の製法」を開示することなく、プロセスの適合性をチェックすることができるコンピュータシステムが求められている。
【0005】
ブロックチェーンネットワークは、中央集権化された信頼できる第三者には全く依存しない、信頼できない環境を提供する。ブロックチェーンのデータ構造は、ピアツーピアネットワークのノードによって維持される分散型台帳である。このパブリック台帳は、システム内で発生している全てのタイムスタンプ付きトランザクションを保存している。パブリック台帳に、どのトランザクションを含め、どのトランザクションを含めないかについて合意するために、分散型の合意プロトコルが使用されている。全トランザクションは、パブリック台帳に含める前に、全ネットワーク参加者によって検証される。
【0006】
複数の関係者によるプロセスでは、組織はプロセスの特定の部分を外部の関係者に委託する場合がある。プロセスの異なる部分が異なる組織によって実行され得る。そのような状況では、関わっている者の間の信頼が限定的になることが多々ある。ほとんどの場合、個々のビジネスプロセスに関する機密情報は引き続き非公開であるべきである。アクティビティの実行及びデータの転送は、そのようなアクティビティを管理する条件に従う。各関係者は、プロセスの「外部委託」部分が合意された通りに、適用される条件に従って遂行されることを保証したいと考えている。互いのプロセスに対する信頼及び洞察の不足から、現在のプロセス実行ツールでは、このようなサービスチェーン全体の適合性を保証することができない。
【0007】
本明細書に含まれている文書、行為、材料、デバイス、物、またはこれらに類するものに関するいかなる議論も、これらの事項のいずれかもしくは全てが先行技術基盤の一部を形成していること、またはこれらが、本願の各請求項の優先日前に存在していたとして、本開示に関連する分野で周知の一般知識であったことを認めるものとはみなされない。
【0008】
本明細書を通じて、単語「含む（ｃｏｍｐｒｉｓｅ）」、または「含む（ｃｏｍｐｒｉｓｅｓ）」もしくは「含む（ｃｏｍｐｒｉｓｉｎｇ）」などの変形は、既定された要素、完全体またはステップ、または要素群、完全体またはステップ群を包含するが、いかなる他の要素、完全体またはステップ、または要素群、完全体群またはステップ群をも排除することを意味するものではないことが理解されよう。
【発明の概要】
【0009】
製薬プラントの現在の操作を監視することにより、医薬化合物を製造する方法が提供される。本方法は、
製薬プラントの公称操作の数値表現を作成することと、
数値表現へのアクセスを阻止するが数値表現に対する計算を可能にする暗号化数値表現を求めるために、準同型暗号を用いて数値表現を暗号化することと、
ブロックチェーンプラットフォーム上でスマートコントラクトを作成することであって、暗号化数値表現をスマートコントラクトの計算への第１の入力として用いて、スマートコントラクトを作成することと、
製薬プラントの現在の操作を、スマートコントラクトの計算への第２の入力として用いて、スマートコントラクトの実行を試みることであって、スマートコントラクトの実行が、暗号化数値表現に対する計算を行うことによって出力結果を生成する、試みることと、
スマートコントラクトの実行の出力に基づいて、現在の操作が公称操作の範囲外であると判定することと、を含む。
製薬プラントの公称操作の数値表現を作成することと、
数値表現へのアクセスを阻止するが数値表現に対する計算を可能にする暗号化数値表現を求めるために、準同型暗号を用いて数値表現を暗号化することと、
ブロックチェーンプラットフォーム上でスマートコントラクトを作成することであって、暗号化数値表現をスマートコントラクトの計算への第１の入力として用いて、スマートコントラクトを作成することと、
製薬プラントの現在の操作を、スマートコントラクトの計算への第２の入力として用いて、スマートコントラクトの実行を試みることであって、スマートコントラクトの実行が、暗号化数値表現に対する計算を行うことによって出力結果を生成する、試みることと、
スマートコントラクトの実行の出力に基づいて、現在の操作が公称操作の範囲外であると判定することと、を含む。
【0010】
プロセスの現在の操作を監視する方法が、
プロセスの公称操作の数値表現を作成することと、
数値表現へのアクセスを阻止するが数値表現に対する計算を可能にする暗号化数値表現を求めるために、準同型暗号を用いて数値表現を暗号化することと、
ブロックチェーンプラットフォーム上でスマートコントラクトを作成することであって、暗号化数値表現をスマートコントラクトの計算への第１の入力として用いて、スマートコントラクトを作成することと、
プロセスの現在の操作を、スマートコントラクトの計算への第２の入力として用いて、スマートコントラクトの実行を試みることであって、スマートコントラクトの実行が、暗号化数値表現に対する計算を行うことによって出力結果を生成する、試みることと、
スマートコントラクトの実行の出力に基づいて、現在の操作が公称操作の範囲外であると判定することと、を含む。
プロセスの公称操作の数値表現を作成することと、
数値表現へのアクセスを阻止するが数値表現に対する計算を可能にする暗号化数値表現を求めるために、準同型暗号を用いて数値表現を暗号化することと、
ブロックチェーンプラットフォーム上でスマートコントラクトを作成することであって、暗号化数値表現をスマートコントラクトの計算への第１の入力として用いて、スマートコントラクトを作成することと、
プロセスの現在の操作を、スマートコントラクトの計算への第２の入力として用いて、スマートコントラクトの実行を試みることであって、スマートコントラクトの実行が、暗号化数値表現に対する計算を行うことによって出力結果を生成する、試みることと、
スマートコントラクトの実行の出力に基づいて、現在の操作が公称操作の範囲外であると判定することと、を含む。
【0011】
現在の操作が公称操作の範囲外であると判定することは、スマートコントラクトを実行しなかったことを判定することに応答していてもよい。
【0012】
本方法は、現在の操作が公称操作の範囲外であると判定すると、プロセスの現在の操作を阻止することをさらに含み得る。
【0013】
本方法は、現在の操作が公称操作の範囲外であると判定すると、プロセスの更なる実行を可能にするとともに、現在の操作が公称操作の範囲外であることを示すレポートを生成することをさらに含み得る。
【0014】
公称操作の数値表現を作成することは、公称操作のペトリネットを作成することと、ペトリネットの数値表現を作成することとを含んでもよい。
【0015】
数値表現は、公称操作のプレースと、プレース間の有効なトランジションとを示してもよく、複数の２進公称ベクトルを含んでもよく、複数の２進公称ベクトルのそれぞれが、プレース間の有効なトランジションのうちの１つを表してもよい。
【0016】
複数の２進公称ベクトルは、トランジションごとに、そのトランジションを可能にする１つ以上のプレースを示す２進プリセットベクトルと、そのトランジション後の１つ以上の可能なプレースを示す２進ポストセットベクトルとを含んでもよい。
【0017】
数値表現を作成することは、プレース及びトランジションを介して複数の追跡を判定することと、プリセットベクトル及びポストセットベクトルが複数の追跡を表すように、プリセットベクトル及びポストセットベクトルを決定することとを含んでもよい。
【0018】
プロセスの現在の操作は、２進の現在の状態ベクトルによって表され、スマートコントラクトが、現在の状態ベクトルと暗号化された公称ベクトルとに基づく２項演算を含んでもよい。
【0019】
スマートコントラクトの計算は、操作の以前の状態を示す以前の状態ベクトルに基づく２項演算を含んでもよい。
【0020】
スマートコントラクトの計算は、暗号化された以前の状態ベクトルと暗号化された現在の状態ベクトルとの間の２項演算を含んでもよい。
【0021】
スマートコントラクトの計算は、暗号化されたポストセットベクトルを使用した２項演算に基づくトランジションの選択と、暗号化されたポストセットベクトルに基づくトランジションの選択とを含んでもよい。
【0022】
スマートコントラクトの計算は、暗号化された以前の状態ベクトルと暗号化された現在の状態ベクトルとの間の２進ＡＮＤ演算と、暗号化された現在の状態ベクトルとＡＮＤ演算の結果との間の２進ＸＯＲ演算とを含んでもよい。
【0023】
スマートコントラクトの計算は、暗号化されたポストセットベクトルとＸＯＲ演算の結果との間のＡＮＤ演算の結果が、暗号化されたポストセットベクトルに等しいトランジションの選択を含んでもよい。
【0024】
スマートコントラクトの計算は、選択の結果が操作の現在の状態によって有効にされるトランジションのセットに等しいという条件を含んでもよい。
【0025】
スマートコントラクトの実行を試みることは、計算を行うことにより、条件を満たそうと試みることを含んでもよい。
【0026】
スマートコントラクトは、スマートコントラクトの実行の成功により、ブロックチェーンへのトランザクションの統合が引き起こされるように構成されてもよい。
【0027】
ブロックチェーンに統合されたトランザクションは、現在の状態への有効なトランジションを表してもよい。
【0028】
スマートコントラクトを作成することは、規定セットに対する適合性についてスマートコントラクトをチェックすることを含んでもよい。
【0029】
ソフトウェアは、コンピュータによって実行されると、コンピュータに上記の方法を実行させる。
【0030】
プロセスの現在の操作を監視するためのシステムが、
データストアと、
プロセッサであって、
プロセスの公称操作の数値表現を作成し、作成した数値表現をデータストアに保存することと、
数値表現へのアクセスを阻止するが数値表現に対する計算を可能にする暗号化数値表現を求めるために、準同型暗号を用いて数値表現を暗号化することと、
ブロックチェーンプラットフォーム上でスマートコントラクトを作成することであって、暗号化数値表現をスマートコントラクトの計算への第１の入力として用いて、スマートコントラクトを作成することと、
プロセスの現在の操作を、スマートコントラクトの計算への第２の入力として用いて、スマートコントラクトの実行を試みることであって、スマートコントラクトの実行が、暗号化数値表現に対する計算を行うことによって出力結果を生成する、試みることと、
スマートコントラクトの実行の出力に基づいて、現在の操作が公称操作の範囲外であると判定することと、
を行うように構成されたプロセッサと、
を備える。
データストアと、
プロセッサであって、
プロセスの公称操作の数値表現を作成し、作成した数値表現をデータストアに保存することと、
数値表現へのアクセスを阻止するが数値表現に対する計算を可能にする暗号化数値表現を求めるために、準同型暗号を用いて数値表現を暗号化することと、
ブロックチェーンプラットフォーム上でスマートコントラクトを作成することであって、暗号化数値表現をスマートコントラクトの計算への第１の入力として用いて、スマートコントラクトを作成することと、
プロセスの現在の操作を、スマートコントラクトの計算への第２の入力として用いて、スマートコントラクトの実行を試みることであって、スマートコントラクトの実行が、暗号化数値表現に対する計算を行うことによって出力結果を生成する、試みることと、
スマートコントラクトの実行の出力に基づいて、現在の操作が公称操作の範囲外であると判定することと、
を行うように構成されたプロセッサと、
を備える。
【0031】
以下の図を参照して、本開示の実施例を説明する。
【図面の簡単な説明】
【0032】
【図1】例示的なシステムを示す。
【図2】プロセスの現在の操作を監視する方法を示す。
【図3】メインスマートコントラクト及びサブコントラクトの例示的なシナリオを示す。
【図4】例示的なメインスマートコントラクト及びサブコントラクトの実行を表すシーケンス図である。
【図5】ａは、ペトリネットとしてのプロセス仕様の例示的な表現であり、ｂは、プロセスの状態の数値表現の説明図であり、ｃは、プロセスの状態の難読化された数値表現の説明図である。
【図7】準同型暗号の説明図である。
【図8】例示的な参加者コンピュータノードである。
【図9a】ブロックチェーンで実行されるペトリネットの実施例を提供する。
【図9b】マーキングを整数に変換することができる方法を説明するための例示的なマーキングを示す。
【図10a】プレースの昇順の順序を示す。
【図10b】プレースに対応するビットのランダム化された順序を示す。
【図12a】プリセットとポストセットとの一致に伴う２つのトランジションを示す。
【図12b】サイレントτトランジションを追加した後の、プリセットと一意のポストセットとの一致に伴う２つのトランジションを示す。
【発明を実施するための形態】
【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】
ラベル付けされたペトリネットはタプル（Ｐ，Ｔ，Ａ，λ）によって定義され得る。ただし、Ｐはプレースのセットであり、Ｔはトランジションのセットであり、したがって
であり、
はアークのセットであり、
はラベル付け関数であり、Ｌはラベルのセットである。トランジションは、その対応するラベルがτの場合に、サイレント（内部の観測不可能なシステム挙動を表す）と呼ばれる。ペトリネット状態は、ネットマーキングＭ：Ｐ→Ｎ０とも呼ばれ、各プレースｐ∈ｑを自然数（つまり、プレーストークン）に関連付ける関数である。ラベル付きのマーキングされたネットＮ＝（Ｐ，Ｔ，Ａ，λ，Ｍ０）は、初期のマーキングＭ０と共にペトリネット（Ｐ，Ｔ，Ａ，λ）である。
【数1】
【数2】
【数3】
【0078】
プレース及びトランジションはノードと呼ばれる。ノードのプリセットは
で表し、ノードのポストセットは
で表す。Ａ+及びＡ*は、それぞれＡの非反射的及び反射的推移閉包を表す。
【数4】
【数5】
【0079】
ペトリネットの実行のセマンティクスは、以下のようにマーキングの観点から定義される。
の場合は、ｔは有効であると言われる。
で表されるｔの発火は、新しいマーキングＭ’を引き起こし、
の場合はＭ’（ｐ）＝Ｍ（ｐ）－１、
の場合はＭ’（ｐ）＝Ｍ（ｐ）＋１、それ以外の場合はＭ’（ｐ）＝Ｍ（ｐ）である。マーキングＭｎは、
のようなトランジション発火のシーケンスσ＝ｔ１ｔ２．．．ｔｎが存在する場合に、Ｍから到達可能であると言われる。ネットのマーキングＭは、
ならばｎセーフである。ペトリネットＮは、その到達可能なマーキングが全てｎセーフであればｎセーフである。本開示では、１セーフネットを使用している。
【数6】
【数7】
【数8】
【数9】
【数10】
【数11】
【0080】
プリセット及びポストセットを以下のように数値に変換することで数値表現が得られる。プロセスインスタンスの任意の時点で、プレース上へのトークンの分配は実行の状態を表す。したがって、プロセスインスタンスのプロセス状態は、スマートコントラクトに相当する、ペトリネットのマーキングを表す暗号化された整数としてブロックチェーンに格納される。
【0081】
ペトリネットを利用することの１つの結果として、各状態が、基となるペトリネットの知識がなければ無意味である整数に変換されるので、基となるプロセスが（例えば、権原のない関係者によって）不明な場合には、状態自体をリバースエンジニアリングすることができないことが挙げられる。
【0082】
ペトリネットの重要な側面の１つは、トークンの分布（すなわちマーキング）を数値的に表し得ることである。一実施例では、数値表現は、１としてマークされているプレースと、０としてマークされていないプレースとの２進表現であってもよい。
【0083】
図５ａは、ブロックチェーン上で実行することができるペトリネットの一実施例である。この実施例では、いくつかのプレース５０８、５１０、５１２、５１４、５１６、５１８、５２０、５２２、及び５２４がある。状態５０８が最初のプレースであり、状態５２４が最後のプレースである。図５ａに示すように、状態５１０、５１２、５１４、５１６は、プレース５１８、５２０、及び５２２に並行して実行のブランチを形成する。いくつかのトランジション５３０、５３２、５３４、５３６、５３８、５４０、及び５４２もまた存在する。このアプローチの目的は、ブロックチェーン上の後続のプレース（すなわちペトリネットのマーキング）の経過を追い、プロセスに精通している者であれば、任意の時点でペトリネットの状態を識別できるようにし、他者には識別できないようにすることである。つまり、プロセスのプライバシを維持することができる。
【0084】
図５ｂは、マーキングを整数に変換する方法の実施例である。図５ｂは、プレースの昇順の順序を示す。各プレースは、ビット配列中のビットで表される。プレースがトークンを含む場合は常に、対応するビットが１に設定され、それ以外の場合は０に設定される。したがって、ペトリネット５ａでの実行が現在｛５１２，５１８｝の状態であった場合、これは３６に等しい整数に対応することになる。ただし、プレースが昇順の場合には、基となるプロセスを実際に知らなくても、いくつかの状態を簡単に識別できる。例えば、状態１が初期状態を示し、２５６を超える状態が観測されなければ、２５６は最終状態を表す。これを解決するために、図５ｃでは、プレースに対応するビットの順序をランダム化して、ビット変換をどの状態についても特定のアクティビティの実行に対してリバースエンジニアリングできないようにする。この実施例では、マーキング｛５１２，５１８｝は、５に等しい整数に対応する。
【0085】
状態変化の検査
より複雑な別形では、スマートコントラクトにおけるプロセスの実行状態が行列として表され得る。図８ａは、例示的な行列を示す。この行列は、トランジションへの入力プレースである全てのトランジションプリセットを表す。図８ｂは、トランジションへの出力プレースである全てのトランジションポストセットを表す。このようにして行列を利用することで、どのプレースがトランジションの有効な出力プレースであるか、したがってプロセスの実行が有効な順序で行われたかどうかを判定することができる。行列の各列は、行列内の０ではなく１を使用することにより、どのプレースがトランジションのプリセット内にあるかを示すだけなので、プロセスの「状態」を参照していないことに留意されたい。プリセット内の全てのプレースでは、トランジションを有効にするためにトークンを必要とする。しかし、あるトランジションＴが有効にされている（すなわち実行できる）場合、トークンを持つプレースはさらに多く存在する可能性がある。これらのプレースはＴのプリセットにはないので、Ｔの有効化及び発火には関係がない。プリセットが（部分的に）同時に「埋められる」複数のトランジションが存在する可能性がある。これにより、ブロックチェーン上の後続の実行が有効なものであるかどうか（すなわち、ペトリネットによって許可されているかどうか）を識別できるようになる。
より複雑な別形では、スマートコントラクトにおけるプロセスの実行状態が行列として表され得る。図８ａは、例示的な行列を示す。この行列は、トランジションへの入力プレースである全てのトランジションプリセットを表す。図８ｂは、トランジションへの出力プレースである全てのトランジションポストセットを表す。このようにして行列を利用することで、どのプレースがトランジションの有効な出力プレースであるか、したがってプロセスの実行が有効な順序で行われたかどうかを判定することができる。行列の各列は、行列内の０ではなく１を使用することにより、どのプレースがトランジションのプリセット内にあるかを示すだけなので、プロセスの「状態」を参照していないことに留意されたい。プリセット内の全てのプレースでは、トランジションを有効にするためにトークンを必要とする。しかし、あるトランジションＴが有効にされている（すなわち実行できる）場合、トークンを持つプレースはさらに多く存在する可能性がある。これらのプレースはＴのプリセットにはないので、Ｔの有効化及び発火には関係がない。プリセットが（部分的に）同時に「埋められる」複数のトランジションが存在する可能性がある。これにより、ブロックチェーン上の後続の実行が有効なものであるかどうか（すなわち、ペトリネットによって許可されているかどうか）を識別できるようになる。
【0086】
現在、実行の状態が、状態Ｓ１｛５１２，５１８｝であるとする。現在の状態を反映したマーキングを表す状態ベクトル
Ｖｓ１＝［０，０，１，０，０，１，０，０，０］
を生成することができる。この状態で有効なトランジションのセットは、状態ベクトルにより、図６ａの各列の２項演算を行うことによって決定され得る。トランジションベクトル
ＶＴ１＝［０，０，１，０，１，０，０］
は、状態Ｓ１で有効にされているトランジションＴ１｛５３４，５３８｝を表す。
Ｖｓ１＝［０，０，１，０，０，１，０，０，０］
を生成することができる。この状態で有効なトランジションのセットは、状態ベクトルにより、図６ａの各列の２項演算を行うことによって決定され得る。トランジションベクトル
ＶＴ１＝［０，０，１，０，１，０，０］
は、状態Ｓ１で有効にされているトランジションＴ１｛５３４，５３８｝を表す。
【0087】
上記のように、プロセス仕様１１０は、プロセスの有効な状態及びトランジションを定義し得るものであり、プロセス仕様１１０は、プロセスの実行を検査するのに用いられ得る。つまり、プロセスの実行の状態のそれぞれが、プロセス仕様１１０の有効状態の範囲内にあるかどうか、及び対応する状態の有効なトランジションのそれぞれが、プロセス仕様１１０の正当に有効にされたトランジションであったかどうかである。
【0088】
後続の状態のペアが有効なトランジションによるものかどうかを識別するために、次のチェックを行うことができる。状態Ｓ２は、Ｓ１の後の次の状態を表すベクトル
Ｖｓ２＝［０，０，１，０，０，０，０，１，０］
によって表される。図６ｂのようなポストセットは、Ｓ１とＳ２との間で実行されたトランジションのポストセットを決定するために使用され得る。続いて、新しい状態Ｓ２を得るために実行されたトランジションのセットを決定することができる。実行されたトランジションのセットがＴ１と一致しない場合は、状態Ｓ１から状態Ｓ２への移行は、プロセス仕様１１０によって許可されなかった１つ以上のトランジションの実行を構成する。
Ｖｓ２＝［０，０，１，０，０，０，０，１，０］
によって表される。図６ｂのようなポストセットは、Ｓ１とＳ２との間で実行されたトランジションのポストセットを決定するために使用され得る。続いて、新しい状態Ｓ２を得るために実行されたトランジションのセットを決定することができる。実行されたトランジションのセットがＴ１と一致しない場合は、状態Ｓ１から状態Ｓ２への移行は、プロセス仕様１１０によって許可されなかった１つ以上のトランジションの実行を構成する。
【0089】
準同型暗号
準同型暗号は、暗号文での計算を可能にする暗号化の一形式であり、解読されたときに、操作が平文に対して行われたかのように、操作の結果と一致する暗号化された結果を生成する。準同型暗号化の目的は、暗号化されたデータの計算を可能にすることである。
準同型暗号は、暗号文での計算を可能にする暗号化の一形式であり、解読されたときに、操作が平文に対して行われたかのように、操作の結果と一致する暗号化された結果を生成する。準同型暗号化の目的は、暗号化されたデータの計算を可能にすることである。
【0090】
本開示では、プロセス状態がプロセスの所有者には利用可能であるが、プロセスの他の参加者には利用できないように、準同型暗号でプロセス状態が暗号化されることが好ましい。
【0091】
図７は、準同型暗号が機能する方法の説明図を表す。数値表現７１０は、暗号化数値表現７２０に暗号化する（７１２）ことができる。暗号化数値表現７２０に対して操作７１４が行われて、変更された暗号化数値表現７３０がもたらされ得る。変更された暗号化数値表現７３０は、数値表現７１０に対して同じ操作７１４が行われることに相当する出力７４０をもたらすように、解読する（７１６）ことができる。
【0092】
図７において、点線７５０は、数値表現のパブリック共有のための境界を表す。つまり、暗号化数値表現７２０及び修正された暗号化数値表現７３０を、公に共有することができる。さらに、暗号化数値表現７２０を、公然と変更する（７１４）こともできる。本開示では、暗号化すること、及び変更することができるのはプロセスの状態である。つまり、プロセスの状態は、プロセスの実行中に変化することがあるが、プロセスまたはプロセス状態そのものの詳細を明らかにすることはない。暗号化数値表現を解読する能力を有する参加者のみが、プロセスまたはプロセス状態の詳細を判別することができる。
【0093】
本開示で考慮される準同型暗号には、加法準同型、乗法準同型、及び完全準同型の３つのタイプがある。加法準同型暗号は、操作７１４が加算操作である場合である。同様に、乗法準同型暗号は、操作７１４が乗算操作である場合である。完全準同型暗号は、操作７１４が任意である場合である。基本的な操作だけで状態を別の状態に簡単に変更できる方法を考えると、必要なものは加法準同型暗号のみとなる。ただし、乗法準同型暗号及び完全準同型暗号も同様に機能するはずである。
【0094】
参加者の例
プロセスの各参加者は、ブロックチェーンシステムとインタラクトすることができるコンピュータノードを必要とする場合がある。そのようなコンピュータノードの１つを図８に示す。このノードは、バス８０４を介して互いに通信するプロセッサ８０２、メモリ８１０、ブロックチェーンインタフェースデバイス８０６、及びネットワークインタフェースデバイス８０７を含む。メモリは、図１～図７を参照して説明したシステム及びプロセスのための命令８１２、８１４、及び８１６、ならびにデータを格納し、プロセッサは、メモリからの命令を実行して、プロセスを実施する。
プロセスの各参加者は、ブロックチェーンシステムとインタラクトすることができるコンピュータノードを必要とする場合がある。そのようなコンピュータノードの１つを図８に示す。このノードは、バス８０４を介して互いに通信するプロセッサ８０２、メモリ８１０、ブロックチェーンインタフェースデバイス８０６、及びネットワークインタフェースデバイス８０７を含む。メモリは、図１～図７を参照して説明したシステム及びプロセスのための命令８１２、８１４、及び８１６、ならびにデータを格納し、プロセッサは、メモリからの命令を実行して、プロセスを実施する。
【0095】
プロセッサ８０２は、メモリ８１０に格納された命令を実行する。プロセッサ８０２は、ネットワークインタフェースデバイス８０６から、ブロックチェーン上の状態の変化を判定することによって、トリガを受け取る。プロセッサ８０２は、命令モジュール８１２に従って命令を決定し、この命令は、サブコントラクトを実行すること、またはプロセスインスタンス１７０と通信するための機能を実行することを含み得る。プロセッサは、データをブロックチェーンに格納するために、ストレージモジュール８１４内の命令を実行し得る。プロセッサ８０２は、ブロックチェーンを利用する必要なしに他の参加者とインタフェースするためのインタフェース８０７と通信するために、インタフェースモジュール８１６内に格納された命令を実行し得る。
【0096】
更なる実施例
以上の通り、プロセス状態は、ビットセットなどの数値表現として表される。各後続の（ペトリネットのマーキングとして表される）プロセスの状態は、プロセスの実行を監視できるように、プロセッサ８０２によって作成されたスマートコントラクトの形式でブロックチェーンに保存される。基となるプロセスが（例えば、権原のない関係者によって）不明な場合には、状態自体をリバースエンジニアリングすることができないことを保証するために、各状態が、基となるペトリネットの知識がなければ無意味である（数値表現の一部でもある）整数に変換される。
以上の通り、プロセス状態は、ビットセットなどの数値表現として表される。各後続の（ペトリネットのマーキングとして表される）プロセスの状態は、プロセスの実行を監視できるように、プロセッサ８０２によって作成されたスマートコントラクトの形式でブロックチェーンに保存される。基となるプロセスが（例えば、権原のない関係者によって）不明な場合には、状態自体をリバースエンジニアリングすることができないことを保証するために、各状態が、基となるペトリネットの知識がなければ無意味である（数値表現の一部でもある）整数に変換される。
【0097】
図９ａは、ブロックチェーンで実行されるプロセスの公称（すなわち適合した）操作を表すペトリネットの実施例を示す。ここでの課題は、ブロックチェーン上の後続の状態（すなわちペトリネットのマーキング）の経過を追い、プロセスに精通している（すなわち暗号化されていないデータにアクセスできる）者であれば、任意の時点でペトリネットの状態を識別できるようにし、他者（すなわち暗号化されていないデータにアクセスできない者）には識別できないようにすることである。さらに、目的は、鍵配布の問題を回避することであり、本方法では状態自体の暗号化が控えられることを意味する。したがって、所与のペトリネットマーキングを、整数の形式の数値表現に変換する方法が、本明細書に開示されており、この数値表現は、基となるプロセスの知識がなければ、後続のプロセスステップを導出するために使用することができず、またはプロセスの実際のステータスを導出するために使用することさえもできない。
【0098】
図９ｂは、マーキングを整数に変換することができる方法を説明するための例示的なマーキングを示す。図１０ａは、プレースの昇順の順序を示す。各プレースは、ビット配列中のビットで表される。プレースがトークンを含む場合は常に、対応するビットが１に設定され、それ以外の場合は０に設定される。したがって、図示されているマーキング｛ｐ３，ｐ６｝は、３６に等しい整数に相当する。ただし、プレースが昇順の場合には、基となるプロセスを実際に知らなくても、いくつかの状態を簡単に識別できる。例えば、状態１が初期状態を示し、２５６を超える状態が観測されなければ、２５６は最終状態を表す。これを解決するために、図１０ｂでは、プレースに対応するビットの順序をランダム化して、ビット変換をどの状態についても特定のアクティビティの実行に対してリバースエンジニアリングできないようにする。この実施例では、マーキング｛ｐ３，ｐ６｝は、５に等しい整数に対応する。
【0099】
以下の表１は、図１０ｂの変換に基づいた、ペトリネットの実行の後続のマーキングの例を、対応する状態表現と共に示す。実行〈Ａ，Ｂ，Ｃ，Ｅ，Ｄ，Ｆ，Ｇ〉の後続の状態の配列は、［３２，２０，５，６８，６６，２５８，３８４］となる。
表１
【表1】
【0100】
ＣとＥとの実行が入れ替わると、次の表２に示すように、後続の状態の配列は［３２，２０，５，３，６６，２５８，３８４］となる。１つの状態のみが異なることに留意されたい。さらに、「不可能な」状態、すなわち、基になるペトリネットによって許可されていないマーキング（例えば｛ｐ２｝）を構成する状態をチェックすることが容易になる。
表２
【表2】
【0101】
以下の説明は、プロセスの実行をシミュレートするためのビットセット操作を提供する。その結果、ビットセット操作をブロックチェーン上のスマートコントラクトとしてエンコードすることができる。図１１は、図９ａに示されたプロセスの行列表現を示す。列はトランジションを表し、そこで１は、どのプレース（行）が各トランジションのプリセットまたはポストセットにあるかを示す。
【0102】
部分行列Ａは全てのプリセットを示すのに対し、部分行列Ｂはポストセットを示す。次の表に示す、ある時点でのプロセスの状態を表す状態ベクトルＣについて考えてみる。つまり、ベクトルＣは、Ｃ及びＥが有効にされているマーキングを表す。
表４
【表3】
【0103】
続いて、状態ベクトルＣによるＡの各列ｉに対する２項演算により、次のように有効化されたトランジションのセットＥが生成される。
【数12】
【0104】
次の表は、状態Ｃにおける有効化されたトランジションを示すベクトルＥを示す。
表５
【表4】
【0105】
続いて、Ｅ×｛Ａ，Ｂ，Ｃ，Ｄ，Ｅ，Ｆ，Ｇ｝は、有効なトランジションを示すセット｛Ｃ，Ｅ｝を返す。トランジションｔｉが発火するたびに、新しい状態Ｃ’が次のように定義される。すなわち、
である。表４及び表５では、プレース及びトランジションのラベルは、それぞれのベクトルにはないので、読みやすさのためだけに示されていることに留意されたい。
【数13】
【0106】
後続の状態のペアが有効なトランジションによるものかどうかを識別するために、次のチェックを行うことができる。表４のＣに続く、後続の状態Ｃ２（表６に示す）があるとする。
表６：ベクトルＣ２
【表5】
【0107】
ここから、プロセッサ８０２は、
を計算して、ＣとＣ２との間で実行されたトランジションのポストセットを表すプレースのセットを取得することができる。
である。
【数14】
【数15】
【表6】
【0108】
次に、プロセッサ８０２は、新しいマーキングを取得するために発火されたトランジションのセット
を取得する。
これは、ＡとＢに格納されているプロセスの数値表現が、上記の方程式をエンコードするスマートコントラクトの計算への入力として使用されることを意味する。より具体的には、上記の式（したがってスマートコントラクト）は、現在の状態ベクトルＣ２（これは
の計算に使用される）と公称ベクトルＢｉとに基づく２進ＡＮＤ演算を含む。同様に、計算もまた、以前の状態ベクトルＣに基づいている。
【数16】
【数17】
【数18】
【0109】
最後に、
の場合、ＣからＣ２への移行は、プロセス仕様によって状態Ｃで許可されなかった１つ以上のトランジションの実行を構成する。Ｅ及び
を取得するための式は、基となるペトリネットが健全であり、より具体的には、空のプリセットまたはポストセットを持つトランジションがないことを前提としていることに留意されたい。つまり、
である。
【数19】
【数20】
【数21】
【0110】
プリセットとポストセットとが一致するトランジション
上記の状態変換方法は、全てのトランジションが一意のプリセット及びポストセットのペアがある実施例で有効に機能する。つまり、
となる２つのトランジションｔｉ及びｔｊは存在しない。しかし、図１２ａは、単純なＸＯＲ分割とそれに続くＸＯＲ結合とが、既にこの仮定に違反している実施例を示しており、この場合、ＡとＢとが同じプリセット（すなわちｐ１）と同じポストセット（すなわちｐ２）との両方を共有している。
上記の状態変換方法は、全てのトランジションが一意のプリセット及びポストセットのペアがある実施例で有効に機能する。つまり、
【数22】
【0111】
その結果、マーキング｛ｐ１｝から｛ｐ２｝への状態トランジションでは、Ａが実行したかＢが実行したかの情報は全く提供されない。この問題は、各排他的ブランチにいわゆるサイレントまたはτトランジションを追加して、表示される各トランジション（すなわちＡ及びＢ）に一意のポストセットを持たせることで解決することができる。図１２ｂ４は、このアイデアをグラフで示しており、ここでは
及び
である。
【数23】
【数24】
【0112】
本開示の広範な一般的範囲から逸脱することなく、多数の変形及び／または修正が、上記の実施形態に行われ得ることは、当業者には理解されよう。したがって、本実施形態は、全ての点で例示的であり、限定的ではないと見なされるべきである。
【0113】
本開示の広範な一般的範囲から逸脱することなく、多数の変形及び／または修正が、上記の実施形態に行われ得ることは、当業者には理解されよう。したがって、本実施形態は、全ての点で例示的であり、限定的ではないと見なされるべきである。
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】
【図7】
【図8】
【図9a】
【図9b】
【図10a】
【図10b】
【図11】
【図12a】
【図12b】
