Pat
J-GLOBAL ID：200903042920511023
動的仕様の検証ルールの図形式定義方法
Inventor：
,
Applicant, Patent owner：
Agent (1)：
小川 勝男
Gazette classification：公開公報
Application number (International application number)：1991284494
Publication number (International publication number)：1993119987
Application date： Oct. 30, 1991
Publication date： May. 18, 1993
Summary：
【要約】【目的】システムの動作を時間を追って記述した動的仕様に対して、図形式によって記述した検証ルールを用いて検証を行うことにより、プログラムの開発効率,信頼性を向上させる、検証ルールの定義方法を提供する。【構成】検証ルールのテキスト形式表現と図形式表現のそれぞれに対する構文規則(107,110)と定義機能(108,111)および図形式からテキスト形式への変換規則(112)と変換機能(113)を有し、さらに動的仕様とテキスト形式検証ルールとの整合性を判定する機能(114)を有する。
Claim (excerpt)：
計算機ソフトウェアの設計支援システムにおいて、時刻の変化およびイベントの発生に従ってシステムがどのように動作や状態遷移を行うかを記述する動的な仕様を定義するステップと、設計対象システムに関して、ある任意の時刻に成立すべきシステムの性質と他の時刻で成立すべきシステムの性質との関係を動的仕様の検証ルールとして図形式で記述するステップと、該図形式検証ルールと動的仕様との整合性を検証するステップを有することを特徴とする動的仕様の検証ルールの図形式定義方法。
IPC (2)：
G06F 9/06 430
, G06F 9/44 330
