特許
J-GLOBAL ID：200903042920511023
動的仕様の検証ルールの図形式定義方法
発明者：
,
出願人/特許権者：
代理人 (1件)：
小川 勝男
公報種別：公開公報
出願番号（国際出願番号）：特願平3-284494
公開番号（公開出願番号）：特開平5-119987
出願日： 1991年10月30日
公開日（公表日）： 1993年05月18日
要約：
【要約】【目的】システムの動作を時間を追って記述した動的仕様に対して、図形式によって記述した検証ルールを用いて検証を行うことにより、プログラムの開発効率,信頼性を向上させる、検証ルールの定義方法を提供する。【構成】検証ルールのテキスト形式表現と図形式表現のそれぞれに対する構文規則(107,110)と定義機能(108,111)および図形式からテキスト形式への変換規則(112)と変換機能(113)を有し、さらに動的仕様とテキスト形式検証ルールとの整合性を判定する機能(114)を有する。
請求項（抜粋）：
計算機ソフトウェアの設計支援システムにおいて、時刻の変化およびイベントの発生に従ってシステムがどのように動作や状態遷移を行うかを記述する動的な仕様を定義するステップと、設計対象システムに関して、ある任意の時刻に成立すべきシステムの性質と他の時刻で成立すべきシステムの性質との関係を動的仕様の検証ルールとして図形式で記述するステップと、該図形式検証ルールと動的仕様との整合性を検証するステップを有することを特徴とする動的仕様の検証ルールの図形式定義方法。
IPC (2件)：
G06F 9/06 430
, G06F 9/44 330
