特許
J-GLOBAL ID:200903015406066226

状態遷移図合成装置及び状態遷移図合成方法

発明者:
出願人/特許権者:
代理人 (1件): 渡部 敏彦
公報種別:公開公報
出願番号(国際出願番号):特願平9-187213
公開番号(公開出願番号):特開平11-024902
出願日: 1997年06月30日
公開日(公表日): 1999年01月29日
要約:
【要約】【課題】 あるオブジェクトに対して作成された全ての状態遷移図を自動合成して1つの状態遷移図を作成することができる状態遷移図合成装置を提供する。【解決手段】 1つの対象物に対して幾つかの側面から記述された複数の状態遷移図を格納する状態遷移図格納部E5と、状態遷移図格納部E5に格納された状態遷移図の中から任意の2つの状態遷移図を取り出し、その2つの状態遷移図を自動合成して1つの状態遷移図にする状態遷移図自動合成部E6とを備えた。
請求項(抜粋):
1つの対象物に対して幾つかの側面から記述された複数の状態遷移図を格納する状態遷移図格納部と、前記状態遷移図格納部に格納された状態遷移図の中から任意の2つの状態遷移図を取り出し、その2つの状態遷移図を自動合成して1つの状態遷移図にする状態遷移図自動合成部とを備えたことを特徴とする状態遷移図合成装置。
IPC (2件):
G06F 9/06 530 ,  G06F 9/06
FI (2件):
G06F 9/06 530 G ,  G06F 9/06 530 T
引用特許:
審査官引用 (5件)
全件表示

前のページに戻る