JPH08292884A - リポジトリ装置 - Google Patents

Abstract

(57)【要約】 【目的】ソフトウェアの開発に用いられるドキュメント
の管理を行うためのリポジトリ装置に関し、作業途中の
ドキュメントを効率的にチェックすることによって論理
モデルの無矛盾性を維持し、リポジトリ装置の信頼性及
び安定性を向上させることを目的とする。 【構成】個別のドキュメントに対応する部分的な論理モ
デルである論理サブモデルを、そのドキュメントにリン
クさせて管理する管理部を設けて構成する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、ソフトウェアの開発に
用いられるドキュメントの管理を行うためのリポジトリ
装置に関する。

【０００２】分析・設計等のソフトウェア開発サイクル
の各場面において、ソフトウェア開発者は要求されてい
るある一つの問題や、その問題を解決するシステムを複
数の種類のドキュメントに記述する。また大きな問題や
システムを、同じ種類の複数のドキュメントに分割して
記述することもある。これらのドキュメントが共通に持
つ情報を関連づけたものは、一つの論理モデルで表現す
ることができる。ソフトウェア開発を支援するリポジト
リ装置は、この論理モデルを蓄積し管理する。

【０００３】近年のＣＡＳＥ（Ｃｏｍｐｕｔｅｒ Ａｉ
ｄｅｄ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ）
ツールの普及に伴い、ＣＡＳＥツールで作成したドキュ
メントを効率的に管理できるリポジトリ装置の需要が高
まっている。ＣＡＳＥツールで作られた各ドキュメント
間に共通する情報は、リポジトリ装置に蓄積される論理
モデルへ正確に反映させる必要がある。さらに、複数の
ドキュメントを並行して作業する際には、一つのドキュ
メントの変更が他のドキュメントへ及ぼす影響を検出
し、ドキュメント間の無矛盾性を保つ必要がある。

【０００４】

【従来の技術】ＣＡＳＥツールでは、ソフトウェア開発
サイクルに合わせてそれぞれの開発者に適した異なる種
類のエディターを提供する。そして、各エディターに入
力されたデータはそのままファイルとして保存される。
ファイルに保存されるデータには、意味的な情報と図形
的な情報とが含まれる。意味的な情報には、ソフトウェ
ア開発サイクルの各フェーズで共通に利用できる情報が
含まれ、この情報を抽出して上手に利用すれば、作業分
担によって開発・構築されるソフトウェアの生産性を高
めることができる。

【０００５】従来のリポジトリ装置では、エディターに
入力されたデータの中から意味的な情報を取り出すと共
に、複数のドキュメント間に共通する情報を関連づけ、
関連づけた複数の意味情報を一つのモデルとして保存す
る。意味的な情報は個々のオブジェクトの集合で捉える
ことができ、関連づけられたオブジェクトのモデルは一
つの論理モデルとして把握することができる。

【０００６】図６は、従来技術を説明するための図であ
り、預金管理システムの開発過程を例としている。図６
（ａ）において、開発者ＭはエディタＰより、オブジェ
クトを表すボックスを用いて、顧客というオブジェクト
と預金口座というオブジェクトを記述すると共に、所有
関係を表す結線を用いて、顧客というオブジェクトが預
金口座というオブジェクトを所有することを記述してい
る。このドキュメントｘから抽出される情報はリポジト
リ装置へ保存される。

【０００７】図６（ｂ）では、別の開発者Ｎがエディタ
Ｑより、テーブルを用いて預金口座の詳細を定義し、番
号と金額とが預金口座に属することを記述している。こ
のドキュメントｙから抽出される情報もリポジトリ装置
へ保存される。図６（ｃ）は、エディタＰによるドキュ
メントｘとエディターＱによるドキュメントｙとを関連
付けた意味的なデータ構造をモデル化したものである
が、リポジトリ装置は、この意味的なデータ構造、すな
わち論理モデルを保存するために生まれたものである。

【０００８】リポジトリ装置が管理する論理モデルに
は、随時変更や追加が為される。例えば、開発者Ｍがエ
ディタＰより、図６（ｄ）に示すドキュメントｚを保存
したとする。リポジトリ装置は、顧客というオブジェク
トと、当座預金口座というオブジェクトと、これらの間
に所有関係があることを意味的な情報として抽出し、論
理モデルを更新する。

【０００９】

【発明が解決しようとする課題】ここで論理モデルを更
新する場合、リポジトリ装置は、新たに当座預金口座と
いうクラスを作成すべきか、あるいは、既にある預金口
座というクラス名を当座預金口座というクラス名に変更
すべきかが分からない。ＣＡＳＥツールから渡されるも
のは図６（ｄ）に示すドキュメントｚのデータである
が、リポジトリ装置側では、このドキュメントｚから抽
出される意味情報のみからでは、どのように論理モデル
を変更すべきかが分からない。

【００１０】リポジトリ装置では、その設計・仕様等に
基づいて、ドキュメントｚから抽出される意味情報を何
等かの形で取り込むのであるが、その際には、少なくと
も論理モデルの無矛盾性を維持する機能が望まれる。例
えば、作業途中にあるドキュメントの論理的なチェック
を行って、論理モデルの無矛盾性を維持する方法が考え
られる。いくつかのＣＡＳＥツールには、このような機
能を具備するものがあるが、ＣＡＳＥツールに個別に改
造を加える必要があり、その作業負担は甚大である。

【００１１】本発明は、作業途中にあるドキュメントと
リポジトリ装置との間にリンクを設け、作業途中のドキ
ュメントを効率的にチェックすることによって、論理モ
デルの無矛盾性を高度に維持し、信頼性及び安定性に秀
でたリポジトリ装置を提供することを目的とする。

【００１２】

【課題を解決するための手段】本発明によれば、上述の
目的は、前記特許請求の範囲に記載した手段にて達成さ
れる。

【００１３】すなわち、請求項１の発明は、図１の概要
説明図に示されるように、複数のドキュメントに亘る意
味的な情報を関連付けた論理モデル１２を蓄積し管理す
るリポジトリ装置において、個別のドキュメントに対応
する部分的な論理モデルである論理サブモデル１３を、
そのドキュメントにリンクさせて管理する管理部１１を
設けるリポジトリ装置１０である。

【００１４】また、請求項２の発明は、ドキュメントが
更新される際に、そのドキュメントに係る論理サブモデ
ルの無矛盾性をチェックする手段を有する管理部を設け
たリポジトリ装置であり、請求項３の発明は、ドキュメ
ントが更新される際に、そのドキュメントに係る論理サ
ブモデルの変更が、他のドキュメントに係る論理サブモ
デルに影響を及ぼすか否かを検出する影響検出手段を有
する管理部を設けたリポジトリ装置である。

【００１５】また、請求項４の発明は、ドキュメントが
保存される際に、そのドキュメントに係る論理サブモデ
ルの更新内容に基づいて、論理モデルの無矛盾性をチェ
ックする手段を有する管理部を設けたリポジトリ装置で
あり、請求項５の発明は、ドキュメントが保存される際
に、そのドキュメントに係る論理サブモデルの更新内容
に基づいて、論理モデルに与える影響を検出する影響検
出手段を有する管理部を設けたリポジトリ装置である。

【００１６】また、請求項６の発明は、論理モデルを提
供する際に、論理モデルから更新中のドキュメントに係
る論理サブモデルを除いた残りの部分と、更新中のドキ
ュメントに係る論理サブモデルとを合わせたものを提供
する手段を有する管理部を設けたリポジトリ装置であ
る。

【００１７】

【作用】請求項１の発明では、論理モデルを蓄積し管理
するリポジトリ装置が、論理モデルの一部分であって個
別のドキュメントに対応する論理サブモデルを管理する
ようになる。個別のドキュメントに対しては、このリポ
ジトリ装置によって、そのドキュメントに係る論理サブ
モデルが対応付けられる。

【００１８】従来のリポジトリ装置では、個々のドキュ
メントの作業途中の情報は、リポジトリ装置の外にファ
イルとして保持されるため、作業途中のドキュメントを
リポジトリ装置で直接管理できなかった。しかし、請求
項２の発明では、作業途中のドキュメントの論理的なチ
ェックが、リポジトリ装置の機能として行われる。

【００１９】また、従来のリポジトリ装置では、ファイ
ルに保持されたドキュメントの情報と論理モデルとが分
離されていたため、あるドキュメントの変更によって他
のどのドキュメントのどの部分に影響があるのかを検出
することができなかった。請求項３の発明では、論理サ
ブモデル間の関係から、作業途中のドキュメントに変更
が加わった場合の影響が瞬時に検出される。

【００２０】作業終了後にドキュメントが保存される
と、論理サブモデルに反映されたドキュメントの更新内
容が、論理モデルに反映される。この時、請求項４，５
の発明では、論理モデルの無矛盾性のチェック又は論理
モデルへの影響検出が行われる。請求項６の発明では、
論理モデルが、参照のみ可能な部分と参照ばかりでなく
更新も可能な部分とに別れて提示される。

【００２１】

【実施例】図２は本発明の一実施例を示す図である。図
中、リポジトリ装置２０は、複数のＣＡＳＥツール５
０，５１，５２と接続されている。このリポジトリ装置
２０を構成する作業領域管理部２１は、要求に応じて複
数のＣＡＳＥツールからアクセス可能な共有作業領域２
８又は個別のＣＡＳＥツールからアクセス可能な個別作
業領域２９を生成し管理する。論理モデル管理部２４
は、作業領域管理部２１に共有作業領域２８を生成させ
ると共に、ここに論理モデル２２を保持して管理する。

【００２２】論理サブモデル管理部２５は、作業領域管
理部２１に個別作業領域２９を生成させると共に、ここ
に論理サブモデル２３を保持して管理する。論理サブモ
デル管理部２５は、共有作業領域２８中の論理モデル２
２（複数のドキュメントの意味的な構造）の一部を取り
出したものを論理サブモデル２３とすることができる。
この論理サブモデル２３は、作業途中のドキュメントに
対応付けられる。リポジトリ装置２０は、ドキュメント
作成終了後に、個別作業領域２９中の論理サブモデル２
３を共有作業領域２８中の論理モデル２２へ書き戻す。

【００２３】ＣＡＳＥツール側で二つ目のドキュメント
が開かれた場合、論理サブモデル管理部２５は、二つ目
の個別作業領域を生成させ、ここに対応する論理的な構
造である論理サブモデルを保持することができる。この
とき、いずれの個別作業領域からも共有作業領域２８に
ある元の（論理サブモデルを含む）論理モデル２２を参
照できる。また、個別作業領域では、他の個別作業領域
を意識することなくその論理サブモデルを更新できる。
共有作業領域２８の論理モデル２２は、ドキュメント作
業が終わり、そのドキュメントに対応する論理サブモデ
ルが書き戻されるまで元の状態を保つ。

【００２４】影響検出部２７は、個別作業領域２９中の
論理サブモデル２３が変更されることによって、他のど
の論理サブモデルのどの部分に影響があるかを検出する
ものである。更に、ドキュメントが保存される際には個
別作業領域２９の論理サブモデル２３が共有作業領域２
８の論理モデル２２へ書き戻されるが、この書き戻しに
よる論理モデル２２への影響検出も行う。

【００２５】個別作業領域２９にある論理サブモデル２
３を用いれば、論理サブモデル２３の変更によって、他
のどの論理サブモデルのどの部分に影響があるかを検出
することができる。互いに関連するドキュメントの編集
を並行して行っている場合、この影響検出の結果を見
て、リポジトリ装置２０は、影響のあるドキュメントを
作業している人達にその旨を通知することができる。

【００２６】チェック部２６は、ドキュメントの論理的
なチェックを行う。そして、このチェックは個別作業領
域２９にある論理サブモデル２３を用いて行うことがで
きる。このため、ドキュメント作業中にも無矛盾性のチ
ェックが行える。もちろん、論理サブモデル２３を論理
モデル２２へ書き戻す際にも矛盾を検出することが可能
で、論理モデル２２に不注意な変更が加わることを防ぐ
ことができる。

【００２７】図３は機能実現手段の詳細説明図である。
ここでは、リポジトリ装置をオブジェクト指向のソフト
ウェアで設計している。図示するオブジェクト・モデル
図の表記法はＲｕｍｂａｕｇｈのＯＭＴ法によってい
る。図中、リポジトリ・クラス３０は論理モデル・クラ
ス３２を所有し、論理モデル・クラス３２は論理サブモ
デル・クラス３３を所有する。論理モデル・クラス３２
又は論理サブモデル・クラス３３は、作業領域管理クラ
ス３１に対して、個別作業領域の論理サブモデルを論理
モデルに書き戻すｃｈｅｃｈｉｎ操作及び共有作業領域
の論理モデルから論理サブモデルを取り出すｃｈｅｃｈ
ｏｕｔ操作を指示する。

【００２８】図３において、論理モデル・クラス３２
は、論理モデル・レベルで論理モデルの無矛盾性のチェ
ック操作及び影響検出操作を実行する。論理サブモデル
・クラス３３は、論理サブモデル・レベルで論理サブモ
デルの無矛盾性のチェック操作及び影響検出操作を実行
する。

【００２９】図４は新規に論理モデルと論理サブモデル
を作成する際の事象トレース図である。図４において、
まず、ＣＡＳＥツールで新規ドキュメントの作成作業が
始まると、リポジトリ装置へ”論理モデルの新規作成”
要求が発行される。論理モデル管理部は、共有作業領域
の作成及び論理モデルの作成を行うと共に、共有作業領
域名と論理モデル名とを返す。

【００３０】続いて、ＣＡＳＥツールは、共有作業領域
名をパラメータとして、リポジトリ装置へ”論理サブモ
デルの新規作成”を要求する。論理サブモデル管理部
は、個別作業領域の作成及び論理サブモデルの作成を行
うと共に、個別作業領域名と論理サブモデル名とを返
す。

【００３１】ここで、ＣＡＳＥツールには、共有作業領
域の論理モデルから個別作業領域の論理サブモデルを除
いた部分と、個別作業領域の論理サブモデルとを合体さ
せて生成した論理モデルを提示することができる。共有
作業領域の論理モデルから個別作業領域の論理サブモデ
ルを除いた部分は、参照のみ可能であり、個別作業領域
の論理サブモデルは、参照だけでなく更新も可能であ
る。

【００３２】図５は論理サブモデルを更新する際の事象
トレース図である。図５において、まず、ＣＡＳＥツー
ルで既存ドキュメントの更新作業が始まると、リポジト
リ装置へ”論理サブモデルの更新”要求が発行される。
論理サブモデル管理部は、個別作業領域の作成及び論理
サブモデルのｃｈｅｃｋｏｕｔを行うと共に、論理サブ
モデルのチェックを行って論理サブモデル名を返す。

【００３３】ＣＡＳＥツールではドキュメントの更新作
業が続けられるが、この間、論理サブモデル管理部は、
更新される論理サブモデルの自己チェックを継続する。
論理モデル管理部と論理サブモデル管理部との間では、
相関チェックも行われる。相関チェックに掛かった場
合、論理モデル管理部から論理サブモデル管理部にＮＧ
が通知され、このＮＧは更にＣＡＳＥツールへ通知され
る。

【００３４】ＣＡＳＥツールでは、更新したドキュメン
トにおけるオブジェクトが、他のドキュメントのどの部
分に影響を及ぼすことになるのかをリポジトリ装置に解
析させると共に、その結果に基づいて論理サブモデルの
修正を行う。最後にドキュメントの保存が行われるが、
相関チェックがＯＫの状態で論理サブモデルのｃｈｅｃ
ｈｉｎ操作が実行されると、個別作業領域の論理サブモ
デルが共有作業領域の論理モデルへ書き戻される。

【００３５】

【発明の効果】以上説明したように、本発明のリポジト
リ装置によれば、作業途中のドキュメントの論理的な構
造である論理サブモデルを管理することによって、ドキ
ュメントと論理サブモデルとをリンクさせた中でドキュ
メント作業を行うことができる。このとき、他の個別作
業領域からは共有作業領域にある元の論理モデルを参照
することができる。

【００３６】また、個別作業領域にある論理サブモデル
を用いて、作業途中のドキュメントの論理的なチェック
と、他のドキュメントとの無矛盾性のチェックを随時行
うことができる。さらに、個別作業領域にある論理サブ
モデルを用いれば、論理サブモデルの変更によって、他
のどの論理サブモデルのどの部分に影響があるかを瞬時
に検出することができる。

【００３７】以上により、ＣＡＳＥツールを用いて複数
のドキュメントを並行に作業する際に、ドキュメント間
の無矛盾性を保つことがきわめて容易になるので、ドキ
ュメントの作業能率を改善し、ソフトウェアの生産性を
大きく高めることができる。

【図面の簡単な説明】

【図１】本発明の概要説明図である。

【図２】本発明の一実施例を示す図である。

【図３】機能実現手段の詳細説明図である。

【図４】論理サブモデルの作成過程を示す図である。

【図５】論理サブモデルの更新過程を示す図である。

【図６】従来の技術を説明するための図である。

【符号の説明】

１０，２０ リポジトリ装置 １１ 管理部 １２，２２ 論理モデル １３，２３ 論理サブモデル ２１ 作業領域管理部 ２４ 論理モデル管理部 ２５ 論理サブモデル管理部 ２６ チェック部 ２７ 影響検出部 ２８ 共有作業領域 ２９ 個別作業領域 ３０ リポジトリ・クラス ３１ 作業領域管理・クラス ３２ 論理モデル・クラス ３３ 論理サブモデル・クラス ５０，５１，５２ ＣＡＳＥツール

───────────────────────────────────────────────────── フロントページの続き (72)発明者 近藤 竜生 神奈川県川崎市中原区上小田中1015番地 富士通株会社内 (72)発明者 吉田 裕之 神奈川県川崎市中原区上小田中1015番地 富士通株会社内

Claims (6)

【特許請求の範囲】
1. 【請求項１】複数のドキュメントに亘る意味的な情報を
   関連付けた論理モデルを蓄積し管理するリポジトリ装置
   において、 個別のドキュメントに対応する部分的な論理モデルであ
   る論理サブモデルを、そのドキュメントにリンクさせて
   管理する管理部を設けることを特徴とするリポジトリ装
   置。
2. 【請求項２】前記管理部は、ドキュメントが更新される
   際に、そのドキュメントに係る論理サブモデルの無矛盾
   性をチェックする手段を有する請求項１記載のリポジト
   リ装置。
3. 【請求項３】前記管理部は、ドキュメントが更新される
   際に、そのドキュメントに係る論理サブモデルの変更
   が、他のドキュメントに係る論理サブモデルに影響を及
   ぼすか否かを検出する影響検出手段を有する請求項１記
   載のリポジトリ装置。
4. 【請求項４】前記管理部は、ドキュメントが保存される
   際に、そのドキュメントに係る論理サブモデルの更新内
   容に基づいて、論理モデルの無矛盾性をチェックする手
   段を有する請求項１記載のリポジトリ装置。
5. 【請求項５】前記管理部は、ドキュメントが保存される
   際に、そのドキュメントに係る論理サブモデルの更新内
   容に基づいて、論理モデルに与える影響を検出する影響
   検出手段を有する請求項１記載のリポジトリ装置。
6. 【請求項６】前記管理部は、論理モデルを提供する際
   に、論理モデルから更新中のドキュメントに係る論理サ
   ブモデルを除いた残りの部分と、更新中のドキュメント
   に係る論理サブモデルとを合わせたものを提供する手段
   を有する請求項１記載のリポジトリ装置。