Pat
J-GLOBAL ID：202003009845826081
モデル検査用スクリプト変換プログラム、モデル検査プログラム、モデル検査用スクリプト変換装置及びモデル検査装置
Inventor：
,
Applicant, Patent owner：
Agent (4)：
須藤 浩
, 海田 浩明
, 上田 侑士
, 浅見 浩二
Gazette classification：公開公報
Application number (International application number)：2018154268
Publication number (International publication number)：2020030490
Application date： Aug. 20, 2018
Publication date： Feb. 27, 2020
Summary：
【課題】ビジュアルスクリプト記法による対象データに対するモデル検査を実現すること。【解決手段】ビジュアルスクリプト記法によって記述された対象データのノードグラフの各ノードの入力側に対して1つの入力変数を宣言し出力側に対して1つの出力変数を宣言する変数宣言部と、各ノードについての入力変数が何れのノードから入力信号を受信したかを表す値をとるようにノードグラフのエッジ接続に従って入力変数の遷移関係を定義する入力変数定義部と、各ノードについての出力変数が当該ノードがいつどのように出力信号を送信するかを表すようにノードのセマンティクスに従って出力変数の遷移関係を定義する出力変数定義部と、ノードのセマンティクスをモデル化するために状態遷移が必要な場合に1つの状態遷移変数を導入しノードのセマンティクスを状態遷移変数の遷移として記述する状態遷移変数導入部とを備える。【選択図】図1
Claim (excerpt)：
ビジュアルスクリプト記法によって記述された対象データをモデル検査用のスクリプトに変換する処理をコンピュータに実現させるためのモデル検査用スクリプト変換プログラムであって、
前記コンピュータに、
前記対象データのノードグラフの各ノードの入力側に対して1つの入力変数を宣言し、各ノードの出力側に対して1つの出力変数を宣言する変数宣言機能と、
各ノードについての入力変数が、何れのノードから入力信号を受信したかを表す値をとるように、ノードグラフのエッジ接続に従って入力変数の遷移関係を定義する入力変数定義機能と、
各ノードについての出力変数が、当該ノードがいつどのように出力信号を送信するかを表すように、ノードのセマンティクスに従って出力変数の遷移関係を定義する出力変数定義機能と、
ノードのセマンティクスをモデル化するために状態遷移が必要な場合に、状態遷移ノードに対して1つの状態遷移変数を導入し、ノードのセマンティクスを状態遷移変数の遷移として記述する状態遷移変数導入機能と
を実現させることで、対象データをモデル検査用のスクリプトに変換するモデル検査用スクリプト変換プログラム。
IPC (1)：
FI (3)：
G06F11/36 108
, G06F11/36 112
, G06F11/36 184
