特許
J-GLOBAL ID：200903095932842374
マルチビューポイント解析方法および装置
発明者：
出願人/特許権者：
代理人 (1件)：
京谷 四郎
公報種別：公開公報
出願番号（国際出願番号）：特願平6-088839
公開番号（公開出願番号）：特開平7-295984
出願日： 1994年04月26日
公開日（公表日）： 1995年11月10日
要約：
【要約】【目的】 ステートメント間の矛盾を発見するための解析と、その結果の表示を自動化すること。【構成】 受理部1は入力/削除/承認の指示とともにステートメントを受けると、ステートメントをアスペクト可変部3の文法チェック手段3aに送る。ステートメントの文法が解析対象アスペクトの文法に合致していると、上記指示とステートメントを解析部2に送る。解析部2は、マルチビューポイント木2dを備えており、受理部1からステートメントとステートメントに関する指示を受けると、指示の種類を判別し、その指示に応じて、アスペクト可変部3に設けられた矛盾判定手段3bの判定結果および否定生成手段3cが生成する否定ステートメントを用いて、ステートメントの挿入/削除/承認を行い、マルチビューポイント木2dを変更する。表示部4は解析部2における解析結果を表示する。
請求項（抜粋）：
ステートメント(STMT)の入力が指示されたとき、ステートメント(STMT)をマルチビューポイント木(2d)のノードに挿入して、マルチビューポイント木(2d)に入力されたステートメント(STMT)が現れるように変更し、ステートメントが蓄えられたマルチビューポイント木(2d)に基づきステートメントに含まれる矛盾を解析することを特徴とするマルチビューポイント解析方法。
IPC (2件)：
G06F 17/27
, G06F 9/06 530
