特許
J-GLOBAL ID：201703021141223823
整合性検証装置、整合性検証方法及び整合性検証プログラム
発明者：
,
,
,
,
出願人/特許権者：
代理人 (2件)：
溝井 章司
, 渡辺 敏雄
公報種別：特許公報
出願番号（国際出願番号）：特願2013-172549
公開番号（公開出願番号）：特開2015-041285
特許番号：特許第6164979号
出願日： 2013年08月22日
公開日（公表日）： 2015年03月02日
請求項（抜粋）：
【請求項1】 1つのソフトウェア構造を複数の線図により可視化したモデルについて、前記複数の線図間の整合性を検証する整合性検証装置において、
異なる線図間で整合する箇所を定義する検証対象表を記憶する検証対象表記憶部と、
前記複数の線図の各線図に含まれる要素をメタモデル要素により定義するメタモデルに基づいて、前記検証対象表に定義された箇所について、前記要素を定義するメタモデル要素を対応付けたメタモデル対応表を記憶するメタモデル対応表記憶部と、
前記検証対象表と前記メタモデル対応表とに基づいて、前記異なる線図間で整合するメタモデル要素の対応を検証項目として定義した検証項目表を生成する検証項目生成部と、
前記検証項目生成部により生成された前記検証項目表を記憶する検証項目表記憶部と、
前記モデルと前記メタモデルとに基づいて、前記要素を定義するメタモデル要素と、前記要素の値とを対応付けた対応表を生成する対応表生成部と、
前記検証項目表と前記対応表とに基づいて、前記対応表のなかに前記検証項目表に合致しない要素があるか否かを処理装置により判定する検証処理部と
を備えた整合性検証装置。
IPC (2件)：
G06F 11/36 ( 200 6.01)
, G06F 9/44 ( 200 6.01)
G06F 11/36 104
, G06F 9/06 620 B
出願人引用 (1件)
-
整合性検査方式
公報種別：公開公報
出願番号：特願平3-329595
出願人：日本電気株式会社
審査官引用 (1件)
-
整合性検査方式
公報種別：公開公報
出願番号：特願平3-329595
出願人：日本電気株式会社
引用文献：
前のページに戻る
