特許

J-GLOBAL ID：201003047980515799

論理式生成装置、及び論理式生成方法

発明者： 野田 夏子
出願人/特許権者： 日本電気株式会社
代理人 (1件)： 工藤 実
公報種別：再公表公報
出願番号（国際出願番号）：JP2008052040
公開番号（公開出願番号）：WO2008-123021
出願日： 2008年02月07日
公開日（公表日）： 2008年10月16日
要約：

論理式生成装置は、システムの性質を検証するときに用いられる時相論理式を生成するものであって、シーケンス図解析手段と、論理式構成手段と、を具備している。シーケンス図解析手段は、システムを構成する複数のオブジェクトのやりとりが座標領域に記述されたシーケンス図を参照して、複数のオブジェクトのやりとりの順序関係を表す順序情報を生成する。論理式構成手段は、順序情報に基づいて、システムの性質を表す時相論理式を生成する。

請求項（抜粋）：

システムの性質を検証するときに用いられる時相論理式を生成する論理式生成装置であって、 前記システムを構成する複数のオブジェクトのやりとりが座標領域に記述されたシーケンス図を参照して、前記複数のオブジェクトのやりとりの順序関係を表す順序情報を生成するシーケンス図解析手段と、 前記順序情報に基づいて、前記システムの性質を表す前記時相論理式を生成する論理式構成手段と、 を具備する論理式生成装置。

IPC (1件)：

G06F 9/44

FI (2件)：

G06F9/06 620A ,  G06F9/44 530M

Fターム (6件)：

5B376BB06 ,  5B376BC06 ,  5B376BC33 ,  5B376BC63 ,  5B376BC69 ,  5B376FA25