JPH06274335A - オブジェクト指向システム設計支援装置 - Google Patents

Abstract

(57)【要約】 【目的】オブジェクトモデルを利用したソフトウェアシ
ステム分析・設計において、オブジェクトモデル図内の
オブジェクトクラスと関連がイベントトレース図で表さ
れるシナリオの動作を表現可能であるかの判断を行うこ
とにより、ソフトウェアシステム分析・設計の効率を向
上させる。 【構成】オブジェクト情報データベース１と、オブジェ
クトモデル図とイベントトレース図間の連動におけるル
ールを記述した不整合判定ルール３と、前記オブジェク
ト情報データベースの内容と前記ルールからオブジェク
トクラスとオブジェクトクラス間の関連の不整合を判定
し、不整合情報を作成する関連情報不整合判定手段２
と、前記不整合情報を対話式の入出力操作により調整し
て前記オブジェクト情報データベースを更新する不整合
調整手段４とを有する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、オブジェクト指向シス
テム設計支援装置に関するものであり、オブジェクトモ
デル図とシステム状態・機能モデル図を利用してソフト
ウェアシステムの分析・設計を行う用途に利用されるも
のである。

【０００２】

【従来の技術】従来、ソフトウェアシステムの分析・設
計技法として、構造化分析・設計法が広く用いられてい
た。この技法では、要求をデータ加工などの機能を有す
るプロセスと、プロセス間を流れるデータに着目して分
析し、結果を階層的なデータフロー図に表現し、その結
果からトップダウンにモジュール設計していた。しかし
ながら、このような従来の技法では、データが局所化さ
れていないため、データ項目が追加されたり名前や属性
が変更される度に、これを参照しているモジュール全て
に変更を加えなければならなかった。

【０００３】これに対し、オブジェクト指向分析・設計
技法では、データとそれを加工するプロセスを一体化し
たオブジェクトを単位として実世界をモデル化するた
め、データは全て局所化され、上記のような変更に対し
て、システム全体での変更は非常に少なくなる。このよ
うなオブジェクト分析・設計技法には様々なものがある
が、基本的には実世界の静的構造を表すオブジェクトモ
デル図、任意のシナリオを表すイベントトレース図、動
的状態を表す状態遷移図、機能とデータの流れを表すデ
ータフロー図などが用いられる。

【０００４】

【発明が解決しようとする課題】オブジェクトモデルを
利用したソフトウェアシステムの分析・設計技法におい
て、オブジェクトモデル図とシステム状態・機能モデル
図を分析・設計に用いるとき、システム状態・機能モデ
ル図とオブジェクトモデル図との間に明確な関連が無い
ため、システム状態・機能モデル図で記述されている表
示内容がオブジェクトモデル図で表現されているかが判
断できないという問題があった。

【０００５】本発明は、このような点に鑑みてなされた
ものであり、その目的とするところは、オブジェクトモ
デルを利用したソフトウェアシステム分析・設計におい
て、オブジェクトモデル図内のオブジェクトクラスと関
連がシステム状態・機能モデル図で表される表示内容を
表現可能であるかの判断を行うことにより、ソフトウェ
アシステム分析・設計の効率を向上させることにある。

【０００６】

【課題を解決するための手段】本発明のシステム設計支
援装置にあっては、上記の課題を解決するために、例え
ば、図１又は図７に示すように、全てのオブジェクトク
ラスの特性情報と、オブジェクトクラス間の関連と、イ
ベントの種類と、イベントによるオブジェクトクラス間
の関連情報と、オブジェクトモデル図とシステム状態・
機能モデル図の間の不整合状態情報と、プロセスの種類
と、データストアの種類の情報を持ったオブジェクト情
報データベース１と、オブジェクトモデル図とシステム
状態・機能モデル図間の連動におけるルールを記述した
不整合判定ルール３と、前記オブジェクト情報データベ
ースの内容と前記ルールからオブジェクトクラスとオブ
ジェクトクラス間の関連の不整合を判定し、不整合情報
を作成する関連情報不整合判定手段２と、前記不整合情
報を対話式の入出力操作により調整して前記オブジェク
ト情報データベースを更新する不整合調整手段４とを有
することを特徴とするものである。ここで、システム状
態・機能モデル図としては、図１〜図６の実施例に示す
ように、イベントトレース図を用いても良いし、図７〜
図１０の実施例に示すように、データがどのようなプロ
セスから生じ、どのようなプロセスに加工・アクセスさ
れるのかを表わすデータフロー図を用いても良い。

【０００７】なお、本発明において、オブジェクトとは
問題において明確な意味や境界を持つ概念、抽象、もの
を意味し、クラスとは同一の手続き群とデータ構造を持
つオブジェクトの集合を意味する。また、オブジェクト
モデルとは他のオブジェクトとの関係、属性、操作のあ
るシステム内のオブジェクトの構造の記述を意味する。
そして、オブジェクトモデル図とは、オブジェクトモデ
ルを図表現したものであり、例えば、図１１に示すよう
に表現される。次に、イベント（事象）とは、あるオブ
ジェクトから別オブジェクトへの刺激を意味する。そし
て、イベントトレース図とは、イベントの送り手と受け
手及び連続したイベントの系列（シナリオ）を示す図で
あり、例えば、図１２に示すように表現される。

【０００８】また、データフロー図とは、オブジェクト
内部のデータソースからデータを変換するプロセスを経
由して、他のオブジェクト内部の目標へ至るデータの流
れを示すグラフであり、例えば、図１３に示すように表
現される。データフロー図は、データを変換するプロセ
ス、データを運ぶデータフロー、データの生産と消費を
表わすアクターオブジェクト、受動的にデータの格納を
行うデータストアオブジェクトを含む。

【０００９】

【作用】本発明にあっては、このように、不整合判定ル
ール３に従い、関連情報不整合判定手段２により、オブ
ジェクトモデル図とシステム状態・機能モデル図との不
整合を判断し、その調整を不整合調整手段４を用いて行
うことにより、システム状態・機能モデル図の表示内容
に対するオブジェクトモデル図の不整合を解消でき、よ
り精度の高い分析・設計が行えるものである。

【００１０】

【実施例】図１は本発明の一実施例の全体構成を示して
いる。図１において、オブジェクト情報データベース１
は、全てのオブジェクトクラスの特性情報と、オブジェ
クトクラス間の関連と、イベントの種類と、イベントに
よるオブジェクトクラス間の関連情報と、オブジェクト
モデル図とイベントトレース図又はデータフロー図の間
の不整合状態情報を持ったデータベースであり、任意に
その情報を読み書きする機能を持っている。次に、不整
合判定ルール３は、以下に示す６つのルールを記述した
ものである。

【００１１】イベント送信側をクライアント、受信側
をサーバとし、その間で送受信されるイベントはサーバ
の提供する操作とする。 イベント名（＝操作名）はクライアント／サーバどち
らかを主体とし、サーバを主体とすることを優先する。 リターン値の無いイベントでもダミーのリターン値を
返す。 リターン値はイベントではあるが、操作とはしない。 イベントに付帯するオブジェクトは（）で括ってイベ
ント名の後に付ける。 イベントを送信できるのは、自分自身、自分が直接の
関連を持つオブジェクト、リターン値として受け取った
オブジェクト、自分が受け取った引数オブジェクトのみ
とする。

【００１２】これらの不整合判定ルール３に、前記オブ
ジェクト情報データベース１から得られる情報を当ては
めて、その不整合情報を作成する手段が関連情報不整合
判定手段２である。また、不整合調整手段４は、前記不
整合情報に従って、その不整合内容をオペレータとの対
話式入出力によって調整する機能を備えている。対話式
の入出力は、マウスやキーボードのような入力手段５と
ＣＲＴのような表示手段６を用いて行われる。

【００１３】図２は本発明に用いる各手段の構成を示し
ており、図３〜図５は各手段の更に詳細な構成を示して
いる。本実施例では、図６に示すように、イベントトレ
ース図とオブジェクトモデル図が独立して表示可能なマ
ルチウィンドウのようなシステムを想定している。ま
た、図１に示す不整合調整画面の表示手段６もまた、マ
ルチウィンドウのうちの１つのウィンドウとして表示さ
れるものとする。

【００１４】以下、主な流れを図２に基づいて説明す
る。まず、任意のイベントトレース図をオペレータが選
び、その図に対応するオブジェクトモデル図の不整合判
定を関連情報不整合判定手段に依頼する（＃５）。そし
て、不整合調整手段は、前記依頼の返却値としての不整
合情報を待つ（＃６）。そのとき、前記関連情報不整合
判定手段は不整合調整手段からの不整合判定要求を待っ
ており（＃１）、この不整合判定要求を合図に不整合ル
ールに従って不整合情報を作成する（＃２，＃３）。具
体的には、オブジェクト情報データベースよりオブジェ
クトクラスの特性情報とオブジェクトクラス間の関連と
事象（イベント）の種類と、事象（イベント）によるオ
ブジェクトクラス間の関連情報とオブジェクトモデル図
とイベントトレース図間の不整合情報を取得し、図３に
示すように、不整合判定ルールに従い、不整合情報を作
成する。その後、作成した不整合情報を不整合調整手段
に送る（＃４）。この不整合情報を受けた不整合調整手
段は、その内容に従って、調整対象に確認又は未確認項
目が残っている間は、各項目を調整する（＃７）。その
詳細は図４で後述する。

【００１５】ここで、関連情報不整合判定手段におい
て、不整合判定ルールに従い、不整合情報を作成する＃
３の処理の詳細を図３に示す。この処理の内容は＃８〜
＃１２よりなり、全ての情報について、ルールに不整合
か否かを判定する。いずれかの情報について、ルールに
不整合であれば、過去に該当不整合が存在し、且つ未確
認であると判定されれば、不整合情報に未確認で登録
し、そうでなければ不整合情報に確認済みで登録する。

【００１６】次に、不整合調整手段において、不整合調
整を行う＃７の処理の詳細を図４に示す。ここでは、ま
ず、不整合情報の画面表示（＃１３）を行い、入力待ち
（＃１４）となる。オペレータの入力により不整合項目
調整が選択された場合には、確認又は変更を更に選択さ
せる（＃１５，＃１７）。オペレータが確認を選択した
場合には、この項目を確認済みにして画面表示を行うと
共に（＃１９）、この項目のオブジェクト情報データベ
ース内容を確認済みに変更する（＃２０）。また、オペ
レータが変更を選択した場合には、変更にともなう各種
の処理（＃２１）を行う。その詳細は図５で後述する。
確認及び未確認項目が残っている場合には、入力待ちと
なり、同じ処理を繰り返す（＃１８，＃２２）。確認又
は未確認項目が無いか、又は、オペレータが終了を選択
した場合には、入力情報を終了する（＃２３）。また、
オペレータが調整結果判定を選択した場合には、不整合
判定要求を関連情報不整合判定手段に送る（＃１６）。

【００１７】次に、オペレータが変更を選択した場合、
変更にともなう各種の処理（＃２１）が行われるが、そ
の詳細を図５に示した。ここでは、変更の種類としてイ
ベントがオブジェクトの操作にない場合、イベントトレ
ース図中のオブジェクトがオブジェクト図にない場合、
イベントの送信経路がオブジェクトモデルにない場合、
という３種類を想定しており、それぞれの場合につい
て、オペレータは確認を選択するか、もしくは、自動的
に不整合を修正するように指示する。

【００１８】例えば、イベントがオブジェクトの操作に
ない場合には、オペレータは確認を選択するか、もしく
はオブジェクトの操作にイベントを自動展開するように
指示する。オペレータが確認を選択した場合には、表示
を確認済みにすると共に、オブジェクト情報データベー
スの不整合状態にこの情報を記入する。また、オペレー
タがオブジェクトの操作にイベントを自動展開するよう
に指示した場合には、表示を自動展開済みにすると共
に、オブジェクト情報データベースのオブジェクトモデ
ル情報にこの情報を記入する。

【００１９】他の種類の変更についても同様であり、イ
ベントトレース図中のオブジェクトがオブジェクト図に
ない場合には、オペレータは確認を選択するか、もしく
はオブジェクトモデル図にイベントトレース図のオブジ
ェクトを自動生成するように指示する。オペレータが確
認を選択した場合には、表示を確認済みにすると共に、
オブジェクト情報データベースの不整合状態にこの情報
を記入する。また、オペレータがオブジェクトモデル図
にイベントトレース図のオブジェクトを自動生成するよ
うに指示した場合には、表示を自動生成済みにすると共
に、オブジェクト情報データベースのオブジェクトモデ
ル情報にこの情報を記入する。さらに、イベントの送信
経路がオブジェクトモデルにない場合には、オペレータ
は確認を選択するか、もしくはオブジェクトモデル図に
イベントの送信経路を自動生成するように指示する。オ
ペレータが確認を選択した場合には、表示を確認済みに
すると共に、オブジェクト情報データベースの不整合状
態にこの情報を記入する。また、オペレータがオブジェ
クトモデル図にイベントの送信経路を自動生成するよう
に指示した場合には、表示を自動生成済みにすると共
に、オブジェクト情報データベースのオブジェクトモデ
ル情報にこの情報を記入する。

【００２０】図７は本発明の他の実施例の全体構成を示
している。図７において、オブジェクト情報データベー
ス１は、全てのオブジェクトクラスの特性情報と、オブ
ジェクトクラス間の関連と、オブジェクトモデル図とデ
ータフロー図の間の不整合状態情報と、プロセスの種類
と、データストアの種類の情報を持ったデータベースで
あり、任意にその情報を読み書きする機能を持ってい
る。次に、不整合判定ルール３は、以下に示す３つのル
ールを記述したものである。

【００２１】データストアはいずれかのオブジェクト
クラスの属性の一つ、あるいはオブジェクトクラスその
ものの一つに対応する。 プロセスはいずれかのオブジェクトクラスの操作の一
つ、あるいはオブジェクトクラスそのものの一つに対応
する。 データフロー図内のプロセス間、プロセスとデータス
トア間のフローはそれらを含むオブジェクトクラス間の
関連を示す。

【００２２】これらの不整合判定ルール３に、前記オブ
ジェクト情報データベース１から得られる情報を当ては
めて、その不整合情報を作成する手段が関連情報不整合
判定手段２である。また、不整合調整手段４は、前記不
整合情報に従って、その不整合内容をオペレータとの対
話式入出力によって調整する機能を備えている。対話式
の入出力は、マウスやキーボードのような入力手段５と
ＣＲＴのような表示手段６を用いて行われる。

【００２３】図８は本発明に用いる各手段の構成を示し
ており、図９は各手段の更に詳細な構成を示している。
本実施例では、図１０に示すように、イベントトレース
図とオブジェクトモデル図が独立して表示可能なマルチ
ウィンドウのようなシステムを想定している。また、図
７に示す不整合調整画面の表示手段６もまた、マルチウ
ィンドウのうちの１つのウィンドウとして表示されるも
のとする。

【００２４】以下、主な流れを図８に基づいて説明す
る。まず、任意のデータフロー図をオペレータが選び、
その図に対応するオブジェクトモデル図の不整合判定を
関連情報不整合判定手段に依頼する（＃５）。そして、
不整合調整手段は、前記依頼の返却値としての不整合情
報を待つ（＃６）。そのとき、前記関連情報不整合判定
手段は不整合調整手段からの不整合判定要求を待ってお
り（＃１）、この不整合判定要求を合図に不整合ルール
に従って不整合情報を作成する（＃２，＃３）。具体的
には、オブジェクト情報データベースよりオブジェクト
クラスの特性情報とオブジェクトクラス間の関連と、プ
ロセスの種類と、データストアの種類情報と、オブジェ
クトモデル図とデータフロー図間の不整合情報を取得
し、不整合判定ルールに従い、不整合情報を作成する。
その後、作成した不整合情報を不整合調整手段に送る
（＃４）。この不整合情報を受けた不整合調整手段は、
その内容に従って、調整対象に確認又は未確認項目が残
っている間は、各項目を調整する（＃７）。

【００２５】ここで、関連情報不整合判定手段におい
て、不整合判定ルールに従い、不整合情報を作成する＃
３の処理の詳細は図３で説明した通りであり、不整合調
整手段において、不整合調整を行う＃７の処理の詳細は
図４で説明した通りである。次に、オペレータが変更を
選択した場合、変更にともなう各種の処理が行われる
が、その詳細を図９に示した。ここでは、変更の種類と
してプロセスがオブジェクト図にない場合、データフロ
ー図中のデータストアがオブジェクト図にない場合、デ
ータフローの経路がオブジェクト図にない場合、という
３種類を想定しており、それぞれの場合について、オペ
レータは確認を選択するか、もしくは、自動的に不整合
を修正するように指示する。

【００２６】

【発明の効果】本発明のオブジェクト指向システム設計
支援装置によれば、オブジェクトモデル図が複雑になっ
ても、検証したいシステム状態・機能モデル図の表示内
容とオブジェクトモデル図の内容の関係の正当性を効率
的に検証できるという効果がある。

【図面の簡単な説明】

【図１】本発明の一実施例の概略構成を示す図である。

【図２】本発明に用いる不整合判定及び調整手段の構成
を示す説明図である。

【図３】本発明に用いる不整合情報作成手段の詳細を示
す説明図である。

【図４】本発明に用いる不整合調整手段の詳細を示す説
明図である。

【図５】本発明における項目変更に伴う各種の処理の詳
細を示す説明図である。

【図６】本発明の一実施例の動作説明図である。

【図７】本発明の他の実施例の概略構成を示す図であ
る。

【図８】本発明に用いる不整合判定及び調整手段の他の
構成を示す説明図である。

【図９】本発明における項目変更に伴う各種の処理の他
の例を示す説明図である。

【図１０】本発明の他の実施例の動作説明図である。

【図１１】本発明に用いるオブジェクトモデル図の一例
を示す説明図である。

【図１２】本発明に用いるイベントトレース図の一例を
示す説明図である。

【図１３】本発明に用いるデータフロー図の一例を示す
説明図である。

【符号の説明】

１ オブジェクト情報データベース ２ 関連情報不整合判定手段 ３ 不整合判定ルール ４ 不整合調整手段

Claims (3)

【特許請求の範囲】
1. 【請求項１】 全てのオブジェクトクラスの特性情報
   と、オブジェクトクラス間の関連と、イベントの種類
   と、イベントによるオブジェクトクラス間の関連情報
   と、オブジェクトモデル図とシステム状態・機能モデル
   図の間の不整合状態情報と、プロセスの種類と、データ
   ストアの種類の情報を持ったオブジェクト情報データベ
   ースと、オブジェクトモデル図とシステム状態・機能モ
   デル図間の連動におけるルールを記述した不整合判定ル
   ールと、前記オブジェクト情報データベースの内容と前
   記ルールからオブジェクトクラスとオブジェクトクラス
   間の関連の不整合を判定し、不整合情報を作成する関連
   情報不整合判定手段と、前記不整合情報を対話式の入出
   力操作により調整して前記オブジェクト情報データベー
   スを更新する不整合調整手段とを有することを特徴とす
   るオブジェクト指向システム設計支援装置。
2. 【請求項２】 システム状態・機能モデル図として、
   イベントトレース図を用いたことを特徴とする請求項１
   記載のオブジェクト指向システム設計支援装置。
3. 【請求項３】 システム状態・機能モデル図として、
   データがどのようなプロセスから生じ、どのようなプロ
   セスに加工・アクセスされるのかを表わすデータフロー
   図を用いたことを特徴とする請求項１記載のオブジェク
   ト指向システム設計支援装置。