JP7372380B2 - 状態マシン処理、状態処理方法、装置、電子機器および記憶媒体 - Google Patents
状態マシン処理、状態処理方法、装置、電子機器および記憶媒体 Download PDFInfo
- Publication number
- JP7372380B2 JP7372380B2 JP2022056687A JP2022056687A JP7372380B2 JP 7372380 B2 JP7372380 B2 JP 7372380B2 JP 2022056687 A JP2022056687 A JP 2022056687A JP 2022056687 A JP2022056687 A JP 2022056687A JP 7372380 B2 JP7372380 B2 JP 7372380B2
- Authority
- JP
- Japan
- Prior art keywords
- state
- sub
- machine
- state machine
- global
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000012545 processing Methods 0.000 title claims description 82
- 238000003672 processing method Methods 0.000 title claims description 63
- 230000004044 response Effects 0.000 claims description 79
- 230000006870 function Effects 0.000 claims description 54
- 238000013507 mapping Methods 0.000 claims description 36
- 238000000034 method Methods 0.000 claims description 32
- 238000010276 construction Methods 0.000 claims description 18
- 238000004590 computer program Methods 0.000 claims description 12
- 238000007726 management method Methods 0.000 description 33
- 238000011161 development Methods 0.000 description 14
- 238000012423 maintenance Methods 0.000 description 12
- 238000010586 diagram Methods 0.000 description 11
- 230000008569 process Effects 0.000 description 11
- 238000004891 communication Methods 0.000 description 8
- 230000009466 transformation Effects 0.000 description 8
- 230000001960 triggered effect Effects 0.000 description 8
- 238000012986 modification Methods 0.000 description 4
- 230000004048 modification Effects 0.000 description 4
- 238000013461 design Methods 0.000 description 3
- 230000000694 effects Effects 0.000 description 3
- 238000005516 engineering process Methods 0.000 description 3
- 230000003287 optical effect Effects 0.000 description 3
- 230000007704 transition Effects 0.000 description 3
- 238000013473 artificial intelligence Methods 0.000 description 2
- 230000009286 beneficial effect Effects 0.000 description 2
- 230000008859 change Effects 0.000 description 2
- 238000012790 confirmation Methods 0.000 description 2
- 230000003993 interaction Effects 0.000 description 2
- 238000006467 substitution reaction Methods 0.000 description 2
- 238000007792 addition Methods 0.000 description 1
- 238000004458 analytical method Methods 0.000 description 1
- 238000003491 array Methods 0.000 description 1
- 230000008901 benefit Effects 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 238000012217 deletion Methods 0.000 description 1
- 230000037430 deletion Effects 0.000 description 1
- 239000000835 fiber Substances 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
- 239000004973 liquid crystal related substance Substances 0.000 description 1
- 238000010801 machine learning Methods 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
- 230000001360 synchronised effect Effects 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
- 230000000007 visual effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/448—Execution paradigms, e.g. implementations of programming paradigms
- G06F9/4498—Finite state machines
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/30—Arrangements for executing machine instructions, e.g. instruction decode
- G06F9/30003—Arrangements for executing specific machine instructions
- G06F9/3004—Arrangements for executing specific machine instructions to perform operations on memory
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/30—Arrangements for executing machine instructions, e.g. instruction decode
- G06F9/38—Concurrent instruction execution, e.g. pipeline or look ahead
- G06F9/3854—Instruction completion, e.g. retiring, committing or graduating
- G06F9/3858—Result writeback, i.e. updating the architectural state or memory
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Telephone Function (AREA)
- Mobile Radio Communication Systems (AREA)
- Stored Programmes (AREA)
- Selective Calling Equipment (AREA)
Description
状態処理対象の全ての状態からグローバル状態および単体状態を確定することと、
各前記単体状態を分類して少なくとも1つの局所的な状態集合を取得することと、
各前記局所的な状態集合に対して、各々が1つの前記局所的な状態集合内の単体状態を管理するサブ状態マシンを構築することと、
各前記サブ状態マシンおよび前記グローバル状態に基づいて階層型有限状態マシンを構築することとを含む、
状態マシン処理方法を提供する。
状態処理対象の状態トリガイベントを確定することと、
前記状態トリガイベントと、前記状態処理対象の階層型有限状態マシンであって、第1の態様に記載の状態マシン処理方法により構築されている階層型有限状態マシンに基づいて前記状態トリガイベントに応答することと、
前記状態トリガイベントの応答結果に応じて現在の更新状態を確定することとを含む、
状態処理方法を提供する。
状態処理対象の全ての状態からグローバル状態および単体状態を確定することに用いられる状態確定モジュールと、
各前記単体状態を分類して少なくとも1つの局所的な状態集合を取得することに用いられる単体状態分類モジュールと、
各前記局所的な状態集合に対して、各々が1つの前記局所的な状態集合内の単体状態を管理するサブ状態マシンを構築することに用いられるサブ状態マシン構築モジュールと、
各前記サブ状態マシンおよび前記グローバル状態に基づいて階層型有限状態マシンを構築することに用いられる階層型有限状態マシン構築モジュールと、を備える、
状態マシン処理装置を提供する。
状態処理対象の状態トリガイベントを確定することに用いられる状態トリガイベント確定モジュールと、
前記状態トリガイベントおよび前記状態処理対象の階層型有限状態マシンであって、いずれかの実施例に係る状態マシン処理方法により構築された階層型有限状態マシンに基づいて前記状態トリガイベントに応答することに用いられる状態トリガイベント応答モジュールと、
前記状態トリガイベントの応答結果に応じて現在の更新状態を確定することに用いられる現在更新状態確定モジュールと、を備える、
状態処理装置を提供する。
少なくとも1つのプロセッサと、
前記少なくとも1つのプロセッサに通信接続されているメモリと、を備え、
前記メモリには、前記少なくとも1つのプロセッサによって実行可能な命令が記憶され、前記命令は、前記少なくとも1つのプロセッサが第1の態様の実施例に係る状態マシン処理方法または第2の態様の実施例に係る状態処理方法を実行可能であるように、前記少なくとも1つのプロセッサにより実行される電子機器を提供する。
Claims (19)
- 状態処理対象の全ての状態からグローバル状態および単体状態を確定することと、
各前記単体状態を分類して少なくとも1つの局所的な状態集合を取得することと、
各前記局所的な状態集合に対して、各々が1つの前記局所的な状態集合内の単体状態を管理するサブ状態マシンを構築することと、
各前記サブ状態マシンおよび前記グローバル状態に基づいて階層型有限状態マシンを構築することとを含み、
前記状態処理対象はブルートゥース電話機器を含み、
前記グローバル状態は、ブルートゥースが接続されている状態と、ブルートゥースが接続されていない状態と、連絡先に電話できる状態とを含み、
前記サブ状態マシンは、発信サブ状態マシンと、着信サブ状態マシンと、電話帳同期サブ状態マシンとを含む、
状態マシン処理方法。 - 前記状態処理対象の全ての状態からグローバル状態および単体状態を確定することは、
前記状態処理対象の各状態の状態応答関係および状態トリガイベントを順次確定することと、
ターゲット状態にグローバル状態応答関係があることおよび/または前記ターゲット状態とターゲット状態トリガイベントとの間に影響関係が存在することを確定した場合、前記ターゲット状態を前記グローバル状態として確定することと、
前記状態処理対象における前記グローバル状態以外の他の状態を前記単体状態として確定することとを含む、
請求項1に記載の方法。 - 各前記単体状態を分類して少なくとも1つの局所的な状態集合を取得することは、
各前記単体状態の状態マッピング機能を確定することと、
前記状態マッピング機能が同じである単体状態を各状態集合に加え、各前記局所的な状態集合を取得することとを含む、請求項1または2に記載の方法。 - 前記各前記局所的な状態集合に対してサブ状態マシンを構築することは、
各前記局所的な状態集合に対応するサブ状態マシンIDを確定することと、
各前記サブ状態マシンIDに基づいて各前記局所的な状態集合内の単体状態に対してマッピング関係を確立することと、
各前記サブ状態マシンに含まれる各前記単体状態間の状態応答関係および状態トリガイベントを確定することとを含む、
請求項1~3のいずれか1項に記載の方法。 - 前記各前記サブ状態マシンおよび前記グローバル状態に基づいて階層型有限状態マシンを構築することは、
各前記グローバル状態の状態応答関係および状態トリガイベントを確定することと、
各前記グローバル状態の状態応答関係および状態トリガイベントに基づいて前記階層型有限状態マシンを構築することとを含む、
請求項1~4のいずれか1項に記載の方法。 - 更新単体状態を確定することと、
前記更新単体状態の状態マッピング機能を確定することと、
前記更新単体状態の状態マッピング機能に基づいて更新サブ状態マシンを確定することと、
前記更新サブ状態マシンに含まれる各前記単体状態間の状態応答関係および状態トリガイベントを更新することとを更に含む、
請求項1~5のいずれか1項に記載の方法。 - 状態処理対象の状態トリガイベントを確定することと、
前記状態トリガイベントと、前記状態処理対象の階層型有限状態マシンであって、請求項1~6のいずれか1項に記載の状態マシン処理方法により構築されている階層型有限状態マシンに基づいて前記状態トリガイベントに応答することと、
前記状態トリガイベントの応答結果に応じて現在の更新状態を確定することとを含む、
状態処理方法。 - 前記状態トリガイベントは、ターゲットグローバル影響イベントを含み、
前記状態トリガイベントおよび前記状態処理対象の階層型有限状態マシンに基づいて前記状態トリガイベントに応答することは、
現在のアクティブなサブ状態マシンを確定することと、
前記ターゲットグローバル影響イベントと前記現在のアクティブなサブ状態マシンとの状態応答関係に基づき、状態の更新を行うように前記現在のアクティブなサブ状態マシンに指示することと、
前記現在のアクティブなサブ状態マシンにより、前記現在のアクティブなサブ状態マシンに含まれる各単体状態を一括して更新することとを含む、
請求項7に記載の方法。 - 状態処理対象の全ての状態からグローバル状態および単体状態を確定することに用いられる状態確定モジュールと、
各前記単体状態を分類して少なくとも1つの局所的な状態集合を取得することに用いられる単体状態分類モジュールと、
各前記局所的な状態集合に対して、各々が1つの前記局所的な状態集合内の単体状態を管理するサブ状態マシンを構築することに用いられるサブ状態マシン構築モジュールと、
各前記サブ状態マシンおよび前記グローバル状態に基づいて階層型有限状態マシンを構築することに用いられる階層型有限状態マシン構築モジュールと、を備え、
前記状態処理対象はブルートゥース電話機器を含み、
前記グローバル状態は、ブルートゥースが接続されている状態と、ブルートゥースが接続されていない状態と、連絡先に電話できる状態とを含み、
前記サブ状態マシンは、発信サブ状態マシンと、着信サブ状態マシンと、電話帳同期サブ状態マシンとを含む、
状態マシン処理装置。 - 前記状態確定モジュールは、具体的に、
前記状態処理対象の各状態の状態応答関係および状態トリガイベントを順次確定することと、
ターゲット状態にグローバル状態応答関係があることおよび/または前記ターゲット状態とターゲット状態トリガイベントとの間に影響関係が存在することを確定した場合、前記ターゲット状態を前記グローバル状態として確定することと、
前記状態処理対象における前記グローバル状態以外の他の状態を前記単体状態として確定することとに用いられる、
請求項9に記載の装置。 - 前記単体状態分類モジュールは、具体的に、
各前記単体状態の状態マッピング機能を確定することと、
前記状態マッピング機能が同じである単体状態を各状態集合に加え、各前記局所的な状態集合を取得することとに用いられる、
請求項9または10に記載の装置。 - 前記サブ状態マシン構築モジュールは、具体的に、
各前記局所的な状態集合に対応するサブ状態マシンIDを確定することと、
各前記サブ状態マシンIDに基づいて各前記局所的な状態集合内の単体状態に対してマッピング関係を確立することと、
各前記サブ状態マシンに含まれる各前記単体状態間の状態応答関係および状態トリガイベントを確定することとに用いられる、
請求項9~11のいずれか1項に記載の装置。 - 前記階層型有限状態マシン構築モジュールは、具体的に、
各前記グローバル状態の状態応答関係および状態トリガイベントを確定することと、
各前記グローバル状態の状態応答関係および状態トリガイベントに基づいて前記階層型有限状態マシンを構築することとに用いられる、
請求項9~12のいずれか1項に記載の装置。 - 更新単体状態を確定することに用いられる更新単体状態確定モジュールと、
前記更新単体状態の状態マッピング機能を確定することに用いられる状態マッピング機能確定モジュールと、
前記更新単体状態の状態マッピング機能に基づいて更新サブ状態マシンを確定することに用いられる更新サブ状態マシン確定モジュールと、
前記更新サブ状態マシンに含まれる各前記単体状態間の状態応答関係および状態トリガイベントを更新することに用いられる関係イベント更新モジュールとを更に備える、
請求項9~13のいずれか1項に記載の装置。 - 状態処理対象の状態トリガイベントを確定することに用いられる状態トリガイベント確定モジュールと、
前記状態トリガイベントと、前記状態処理対象の階層型有限状態マシンであって、請求項1~6のいずれか1項に記載の状態マシン処理方法により構築されている階層型有限状態マシンに基づいて前記状態トリガイベントに応答することに用いられる状態トリガイベント応答モジュールと、
前記状態トリガイベントの応答結果に応じて現在の更新状態を確定することに用いられる現在更新状態確定モジュールと、を備える、
状態処理装置。 - 前記状態トリガイベントは、ターゲットグローバル影響イベントを含み、
前記状態トリガイベント応答モジュールは、具体的に、
現在のアクティブなサブ状態マシンを確定することと、
前記ターゲットグローバル影響イベントと前記現在のアクティブなサブ状態マシンとの状態応答関係に基づき、状態の更新を行うように前記現在のアクティブなサブ状態マシンに指示することと、
前記現在のアクティブなサブ状態マシンにより、前記現在のアクティブなサブ状態マシンに含まれる各単体状態を一括して更新することとに用いられる、
請求項15に記載の装置。 - 少なくとも1つのプロセッサと、
前記少なくとも1つのプロセッサに通信接続されているメモリと、を備え、
前記メモリには、前記少なくとも1つのプロセッサによって実行可能な命令が記憶され、前記命令は、前記少なくとも1つのプロセッサが請求項1~6のいずれか1項に記載の状態マシン処理方法または請求項7~8のいずれか1項に記載の状態処理方法を実行可能であるように、前記少なくとも1つのプロセッサにより実行される、
電子機器。 - コンピュータ命令が記憶された非一時的なコンピュータ可読記憶媒体であって、前記コンピュータ命令は、請求項1~6のいずれか1項に記載の状態マシン処理方法または請求項7~8のいずれか1項に記載の状態処理方法をコンピュータに実行させることに用いられる、
非一時的なコンピュータ可読記憶媒体。 - プロセッサにより実行されると、請求項1~6のいずれか1項に記載の状態マシン処理方法または請求項7~8のいずれか1項に記載の状態処理方法を実現する、
コンピュータプログラム。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110594974.7A CN113326083A (zh) | 2021-05-28 | 2021-05-28 | 状态机处理、状态处理方法、装置、电子设备及存储介质 |
CN202110594974.7 | 2021-05-28 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2022183003A JP2022183003A (ja) | 2022-12-08 |
JP7372380B2 true JP7372380B2 (ja) | 2023-10-31 |
Family
ID=77422426
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2022056687A Active JP7372380B2 (ja) | 2021-05-28 | 2022-03-30 | 状態マシン処理、状態処理方法、装置、電子機器および記憶媒体 |
Country Status (5)
Country | Link |
---|---|
US (1) | US20220283822A1 (ja) |
EP (1) | EP4095685A1 (ja) |
JP (1) | JP7372380B2 (ja) |
KR (1) | KR20220049498A (ja) |
CN (1) | CN113326083A (ja) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113942497A (zh) * | 2021-10-18 | 2022-01-18 | 长春一汽富晟集团有限公司 | 一种影像融合泊车控制器状态机跳转方法 |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20190087243A1 (en) | 2010-06-10 | 2019-03-21 | Micron Technology, Inc. | Programmable device, heirarchical parallel machines, and methods for providing state information |
Family Cites Families (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109375965B (zh) * | 2018-11-06 | 2022-04-26 | 东软集团股份有限公司 | 状态机处理方法及装置、可读存储介质 |
CN109684036B (zh) * | 2018-12-17 | 2021-08-10 | 武汉烽火信息集成技术有限公司 | 一种容器集群管理方法、存储介质、电子设备及系统 |
CN111273969B (zh) * | 2020-01-20 | 2021-08-10 | 腾讯科技(深圳)有限公司 | 状态切换方法、装置、设备和存储介质 |
-
2021
- 2021-05-28 CN CN202110594974.7A patent/CN113326083A/zh active Pending
-
2022
- 2022-03-30 JP JP2022056687A patent/JP7372380B2/ja active Active
- 2022-04-04 KR KR1020220041864A patent/KR20220049498A/ko not_active Application Discontinuation
- 2022-05-17 EP EP22173819.8A patent/EP4095685A1/en not_active Withdrawn
- 2022-05-23 US US17/750,585 patent/US20220283822A1/en not_active Abandoned
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20190087243A1 (en) | 2010-06-10 | 2019-03-21 | Micron Technology, Inc. | Programmable device, heirarchical parallel machines, and methods for providing state information |
Non-Patent Citations (2)
Title |
---|
Bas Graaf et al.,Model-Driven Consistency Checking of Behavioural Specifications,2007年03月31日,pp.1-12,インターネット:<URL:https://ieeexplore.ieee.org/document/4149173> |
Yi Yang et al.,DoubleDeck: Decoupling Complex Control Logic of Network Protocols to Facilitate Efficient Hardware Implementation,2020年10月10日,pp.1-20,インターネット:<URL:https://www.mdpi.com/2079-9292/9/10/1647> |
Also Published As
Publication number | Publication date |
---|---|
JP2022183003A (ja) | 2022-12-08 |
CN113326083A (zh) | 2021-08-31 |
US20220283822A1 (en) | 2022-09-08 |
EP4095685A1 (en) | 2022-11-30 |
KR20220049498A (ko) | 2022-04-21 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP7372380B2 (ja) | 状態マシン処理、状態処理方法、装置、電子機器および記憶媒体 | |
CN113656176B (zh) | 云设备的分配方法、装置、系统、电子设备、介质及产品 | |
US20210203754A1 (en) | Method and apparatus for acquiring rpc member information, electronic device and storage medium | |
CN114911598A (zh) | 任务调度方法、装置、设备以及存储介质 | |
CN114697391A (zh) | 数据处理方法、装置、设备以及存储介质 | |
CN108733468A (zh) | 定时任务动态配置方法及装置、存储介质及服务器集群 | |
CN110750419B (zh) | 离线任务的处理方法、装置、电子设备及存储介质 | |
CN112235378A (zh) | 数据更新方法、装置、存储介质及电子设备 | |
CN113747423B (zh) | 云手机状态同步方法、装置、设备、存储介质及程序产品 | |
CN114374614A (zh) | 网络拓扑配置方法及装置 | |
CN113641688A (zh) | 节点更新方法、相关装置及计算机程序产品 | |
CN114205414A (zh) | 基于服务网格的数据处理方法、装置、电子设备和介质 | |
CN114039981A (zh) | 一种消息处理方法、装置、服务器及存储介质 | |
CN113660339B (zh) | 用于去中心化集群的方法和装置 | |
CN116599895A (zh) | 数据传输方法及装置、设备和介质 | |
CN116527486B (zh) | 设备独立功能自适应管理方法、装置、设备和介质 | |
CN112596922B (zh) | 通信管理方法、装置、设备和介质 | |
CN115174708B (zh) | 报文接收、信息确定方法、装置、交换芯片、设备及系统 | |
CN111159786B (zh) | 一种元数据保护方法、装置及电子设备和存储介质 | |
CN115098165B (zh) | 数据处理方法、装置、芯片、设备及介质 | |
CN111818220B (zh) | 业务处理方法、装置和存储介质 | |
CN117478590A (zh) | 报文处理方法、装置、电子设备及存储介质 | |
CN117201481A (zh) | 软件更新文件下载方法、装置、电子设备及可读介质 | |
CN116932004A (zh) | 服务发布方法、装置、设备、存储介质及产品 | |
CN118210525A (zh) | 用于云终端的系统更新方法、装置、设备及存储介质 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20220330 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20230530 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20230824 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20231010 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20231019 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 7372380 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |