WO2006033159A1 - 業務モデル図作成支援プログラム、方法、 及び装置 - Google Patents

Description

明 細 書 業務モデル図作成支援プログラム、 方法、 及び、 装置 技術分野

[0001] 本発明は業務モデルを図で表現する時に、作成した図の妥当性を検証する業務 モデル図作成支援プログラム、業務モデル図作成支援方法、および業務モデル図 作成支援装置に関し、特に検証結果をユーザに分力り易く表示するための業務モデ ル図作成支援プログラム、業務モデル図作成支援方法、および業務モデル図作成 支援装置に関する。

背景技術

[0002] ソフトウェア開発の初期段階では、顧客からの要件をモデルィ匕するため業務モデル 図が作成される。業務モデル図は、業務フロー図やデータ構造図で構成される。業 務フロー図は、発生する作業の手順や、作業間で受け渡すべき情報等を、図形と文 字で表現したものである。データ構造図は、データ間の関係を示す図である。業務モ デル図を予め作成することで、ユーザとシステム開発担当者との間の意思の疎通を 的確に図ることができる。

[0003] 業務モデル図の作成は、汎用の描画ソフトウェアを利用する場合と、業務モデル図 などの特別な図を描くための専用ソフトウェアを利用する場合とがある。以下、汎用の 描画ソフトウェアと専用ソフトウェアとの違いを、業務フロー図を作成する場合に着目 して説明する。

[0004] 汎用の描画ソフトウェアを利用する場合、以下のような長所がある。

'モデル作成者力 Sこれまで利用していたソフトウェア、あるいは安価に購入できるソフ トウ アが利用可能である。

•専用ソフトウェアを利用する場合のように、ソフトウェアの操作手順等を新たに修得 する必要がない。

[0005] その反面、汎用の描画ソフトウェアでは、以下のような問題が生じていた。

'業務フロー図において業務プロセスの遷移を表す線が、業務プロセスを表す図形 に正しく接続されて 、な 、場合があった。

•業務フロー内の条件分岐を表す図があるにもかかわらず、分岐条件が記入されて いない場合がある。

•業務フロー図として誤った描き方をしていても、誤りをチェックする機能がない。その ため、たとえば、業務フロー図においては接続できない図形どうしが、遷移を表す線 で結ばれても、その間違 、を検出できな!/、。

•パーティション（図中では長方形)の中に描くべき業務プロセスがはみ出して書かれ ていても、検出できない。

[0006] 一方、専用ソフトウェアは、モデリングエディタと呼ばれ、業務モデル図等のモデル 作成用の専用エディタである。そのため、専用ソフトウェアは、業務フロー図やデータ 構造図などの形式を利用した編集機能だけでなぐモデルの構造情報をソフトウェア の内部に保持する機能、モデルの構造をツリー構造で表しツリー構造内で編集機能 を有する。

[0007] モデリングエディタでは、モデルの構造をツリー構造で表すために、作成された業 務モデル図の解析を行っている。そのとき、遷移が業務プロセスに正しく接続されて V、な 、等の誤りが存在すると、業務モデルを解析ができな 、などの不都合が生じる。 そこで、モデリングエディタの中には、モデルの正しさを検証する機能を有するものが ある。

[0008] たとえば、従来の検証機能では、業務モデル図中に間違!/、を検出すると、モデル 作成者にモデル中の要素の IDとエラーの内容を示し、業務モデル作成者の修正を 支援していた (たとえば、特許文献 1参照)。

特許文献 1 :特開 2002— 133051号公報（図 8)

発明の開示

発明が解決しょうとする課題

[0009] し力し、従来の専用ソフトウェアでは検証エラーの発生が表示されるのみであり、ェ ラーの発生個所が分力りづら 、と 、う問題点がある。

たとえば、モデル構造情報の中には、ユーザが名前をつけないものもある。具体的 には、業務フロー図に現れるモデルの構成要素では、遷移、判断、並列分岐などに は名前を付けない。遷移や判断条件分岐は、 1つの業務フローの中に多数現れる場 合が多い。そのため、遷移や判断条件分岐に関わる検証エラーが発生した場合、多 数あるうちのどれに検証エラーが発生したのかをユーザが目視により探すのは困難 である。なお、特許文献 1では、検証エラーの発生したモデル要素や図の要素の識 別子をユーザに示しているが、その識別子に対応する図形等を業務フロー図内から 特定することは困難である。

[0010] しかも、複雑な業務に関する業務モデルは、業務フロー図の規模も大きくなる。する と、エラーが検出されたときに、修正箇所を発見するのが非常に困難となる。

また、通常、業務モデル作成者は、業務については熟知しているがツール利用に ついては不慣れな場合が多い。そのため、エラーメッセージだけではどのように修正 してよいかが分からない。そこで、業務モデル作成者が日常的に使用しているソフト ウェアに組み込まれた描画機能を用いて、業務フロー図を作成することが望まれる。

[0011] し力しながら、汎用的な描画ソフトウェアでは、業務フロー図を構成する図形に対し て業務フロー上での意味づけが成されていない。そのため、汎用的な描画ソフトゥェ ァで作成した業務フロー図が、業務モデルを表す上で適切かどうかを検証するのは 困難であった。

[0012] 本発明はこのような点に鑑みてなされたものであり、汎用の描画ソフトウェアで作成 された業務モデルを検証し、欠陥の発生個所を業務モデル作成者に通知できる業 務モデル図作成支援プログラム、業務モデル図作成支援方法、および業務モデル 図作成支援装置を提供することを目的とする。

課題を解決するための手段

[0013] 本発明では上記課題を解決するために、図 1に示すような機能をコンピュータ上で 実現するための業務モデル図作成支援プログラムが提供される。この業務モデル図 作成支援プログラムは、利用者の業務モデルの構造を表す業務モデル図 1の作成を 支援するためのものであり、以下の機能が実現される。

[0014] モデル構造解析手段 3は、図形と線とを構成要素とする業務モデル図 1を解析し、 業務モデル図 1を構成する各構成要素の種別を判別し、構成要素間の関係を示す モデル構造を生成する。検証手段 4は、構成要素の少なくとも一部を検証対象要素 1 aとして選択し、業務モデル図 1の構成要素が満たすべき条件が予め設定された検 言 IE/レールの中から、選択した検証対象要素 laの種別に対応する検iE/レールを抽出 し、選択した検証対象要素 laが、抽出した検言 IE/レールに適合しているカゝ否かを検証 する。検証結果表示手段 5は、検証手段 4において不適合と判定された場合、検証 対象要素 laの検 SE/レールへの不適合を解消するために操作すべき位置を表示する

[0015] このような業務モデル図作成支援プログラムをコンピュータに実行させれば、まず、 モデル構造解析手段 3により、業務モデル図 1を解析され、業務モデル図 1を構成す る各構成要素の種別を判別され、構成要素間の関係を示すモデル構造が生成され る。次に、検証手段 4により、構成要素の少なくとも一部が検証対象要素 laとして選 択され、業務モデル図 1の構成要素が満たすべき条件が予め設定された検 SE/レー ルの中から、選択した検証対象要素 laの種別に対応する検iE/レールが抽出され、 選択した検証対象要素 laが、抽出した検言 IE/レールに適合している力否かが検証さ れる。そして、検証手段 4において不適合と判定された場合、検証結果表示手段 5に より、検証対象要素 laの検iE/レールへの不適合を解消するために操作すべき位置 が表示される。

発明の効果

[0016] 本発明では業務モデル図 1を構成する各構成要素の種別を判別し、その種別に応 じた検iE/レールにより検証を行い、不適合と判定された場合、不適合を解消するた めに操作すべき位置を表示するようにした。これにより、ユーザは、汎用的な描画ソフ トウエアで作成した業務モデルの欠陥を、容易に修正することができるようになる。

[0017] 本発明の上記および他の目的、特徴および利点は本発明の例として好ま U、実施 の形態を表す添付の図面と関連した以下の説明により明らかになるであろう。

図面の簡単な説明

[0018] [図 1]実施の形態に適用される発明の概念図である。

[図 2]本実施の形態に用いるコンピュータのハードウェア構成例を示す図である。

[図 3]第 1の実施の形態の機能ブロック図である。

[図 4]業務フロー図である。 圆 5]データ構造図である。

圆 6]構造定義情報の例を示す図である。

圆 7]端子を用いた業務フロー図の例を示す図である。

[図 8]モデル構造表示画面の例を示す図である。

[図 9]モデル構造定義の一部を示す UMLのクラス図である。

[図 10]モデル構造情報の例を示す図である。

[図 11]検 SE/レール ·対処法情報の例を示す図である。

圆 12]第 1の実施の形態に係る業務モデル検証処理の手順を示すシーケンス図であ る。

[図 13]検証結果リストの例を示す図である。

[図 14]モデル構造表示画面への検証エラー個所の表示手順を示すシーケンス図で ある。

[図 15]第 1の実施の形態の検証結果を示す画面の例を示す図である。

[図 16]第 2の実施の形態の機能ブロック図である。

[図 17]第 2の実施の形態に係る検 SE/レール ·対処法情報の例を示す図である。

[図 18]業務フロー表示部への検証エラー個所の表示手順を示すシーケンス図である

[図 19]第 2の実施の形態の検証結果を示す画面の例を示す図である。

[図 20]第 3の実施の形態の機能ブロック図である。

圆 21]第 3の実施の形態に係る業務モデル検証処理の手順を示すシーケンス図であ る。

[図 22]第 4の実施の形態の機能ブロック図である。

[図 23]図情報の例を示す図である。

圆 24]第 4の実施の形態に係る業務モデル検証処理の手順を示すシーケンス図であ る。

[図 25]第 5の実施の形態の機能ブロック図である。

[図 26]検 SE/レール ·対処法情報のデータ構造例を示す図である。

[図 27]タイムスタンプが付与された検証結果リストの例を示す図である。 [図 28]進拔状況表示画面の第 1の例を示す図である。

[図 29]進拔状況表示画面の第 2の例を示す図である。

[図 30]進拔状況表示画面の第 3の例を示す図である。

[図 31]第 6の実施の形態の機能ブロック図である。

[図 32]検証タイミングが設定された検iE/レール ·対処法情報の例を示す図である。

[図 33]任意に設定する検iE/レールの例を示す図である。

[図 34]対処前後のモデルパターンを登録した検 SE/レール ·対処法情報の例を示す図 である。

発明を実施するための最良の形態

[0019] 以下、本発明の実施の形態を図面を参照して説明する。

まず、実施の形態に適用される発明の概要について説明し、その後、実施の形態 の具体的な内容を説明する。

[0020] 図 1は、実施の形態に適用される発明の概念図である。本発明は、利用者の業務 モデルの構造を表す業務モデル図 1の作成を支援するために、対処法情報 2、モデ ル構造解析手段 3、検証手段 4、および検証結果表示手段 5を有している。

[0021] 対処法情報 2には、業務モデル図 1に、検 SE/レールに適合しない構成要素がある 場合の、エラーメッセージと対処法とが、検 SE/レールに対応づけて予め登録されてい る。

モデル構造解析手段 3は、図形と線とを構成要素とする業務モデル図 1を解析する 。そして、モデル構造解析手段 3は、業務モデル図 1を構成する各構成要素の種別 を判別し、構成要素間の関係を示すモデル構造を生成する。たとえば、業務モデル 図 1を構成する図形と、モデル構造中の要素の種別との対応関係を予め定義してお く。そして、モデル構造解析手段 3は、定義された対応関係に基づいて、業務モデル 図 1内の各構成要素の種別を判断する。

[0022] 検証手段 4は、構成要素の少なくとも一部を検証対象要素 laとして選択する。たと えば、検証手段 4は、ユーザから任意に指定された構成要素を、検証対象要素 laと する。次に、検証手段 4は、業務モデル図 1の構成要素が満たすべき条件が予め設 定された検iE/レールの中から、選択した検証対象要素 laの種別に対応する検iE/レ ールを抽出する。たとえば、検証対象要素 laの種別が「開始」であれば、開始に関す る検 SE/レールが抽出される。そして、検証手段 4は、選択した検証対象要素 laが、抽 出した検 SE/レールに適合しているか否かを検証する。

[0023] 検証結果表示手段 5は、検証手段 4にお ヽて不適合 (検証エラー）と判定された場 合、検証対象要素 laの検iE/レールへの不適合を解消するために操作すべき位置を 表示する。たとえば、業務モデル図 1上のエラー発生個所に欠陥位置を示す図形 6 を表示する。このとき、エラー発生個所は、検証対象要素の識別子によって特定する ことができる。また、検証結果表示手段 5は、対処法情報 2を参照し、不適合と判定さ れた検 SE/レールに対応するエラーメッセージ 7と対処法 8とを表示する。

[0024] このような業務モデル図作成支援プログラムをコンピュータに実行させれば、まず、 モデル構造解析手段 3により、業務モデル図 1を解析され、業務モデル図 1を構成す る各構成要素の種別を判別され、構成要素間の関係を示すモデル構造が生成され る。

[0025] 次に、検証手段 4により、構成要素の少なくとも一部が検証対象要素 laとして選択 される。すると、検証手段 4により、業務モデル図 1の構成要素が満たすべき条件が 予め設定された検iE/レールの中から、選択した検証対象要素 laの種別に対応する 検 SE/レールが抽出される。そして、検証手段 4により、選択した検証対象要素 laが、 抽出した検 SE/レールに適合しているか否かが検証される。

[0026] そして、検証手段 4において不適合と判定された場合、検証結果表示手段 5により 、検証対象要素 laの検iE/レールへの不適合を解消するために操作すべき位置 (ェ ラー発生個所)を示す図形 6、エラーメッセージ 7、および対処法 8が表示される。

[0027] たとえば、図 1の例では、検証対象要素 laは、モデル構造上で「開始」を意味する。

すると、「開始から 1つ以上の遷移があること」という検 SE/レールが適用される。業務モ デル図 1では、検証対象要素 laの遷移を表す線が、検証対象要素 laに接続されて いない。そのため、適用された検 SE/レールに基づいて検証エラーが検出される。そ の結果、検証対象要素 laの上にばつ印の図形 6が表示されると共に、エラーメッセ ージ 7や対処法 8が表示される。

[0028] このように、検証エラーが発生したモデル要素や図要素の ID (識別子)から、その 表示位置をモデル構造編集部や図編集部から取得する技術を利用し、検証エラー の起きた図と図中の位置まで特定することが可能になった。その位置に図形 6で印を つけることで、検証エラー発生位置が利用者に分力りやすく表示される。

[0029] し力も、これまで利用者が検証エラーに遭遇した時に、 1)どのような修正を行った の力、 2)どのような場合にその検証エラーが発生するのかのノウハウを集め、エラー メッセージと共に対処法として利用者に提示している。これにより、利用者の修正の 負担を軽減し、使いやすさが向上する。

[0030] さらに、エラーメッセージ 7と共に対処法 8を表示したことで、ユーザは、業務モデル 図 1の修正を容易に行うことができる。

なお、エラー発生個所は、業務モデル図 1上に表示することもできるし、モデル構造 を示すツリー構造上に表示することもできる。また、どちらの図に表示するのかを、検 tE/レール毎に予め指定しておくこともできる。モデル構造を示すツリー構造上にエラ 一発生個所を表示すれば、業務フロー図の遷移やデータ構造図の関連を示す情報 のように、業務モデル図 1上に現れない要素がエラー発生個所であっても、修正すベ き要素を分かり易く表示できる。

[0031] また、検証処理を、予め設定されたタイミングで自動的に実行することもできる。たと えば、業務モデルを格納しているファイルの保存時やファイルを閉じる時などに、検 証を実行することができる。たとえば、業務モデル図 1の編集中であっても、重要な検 tE/レールについては逐次処理を行うことができる。これにより、非常に重要なエラー が発生したときは、編集中であっても即座に修正することができる。また、編集途中で は抵触する場面がしばしば発生するような検 SE/レールにっ 、ては、ファイルを閉じる ときに検証処理を行うことで、エラーメッセージが過度に表示されるのを防止できる。 その結果、業務モデル作成者の編集効率を向上させることができる。

[0032] また、業務モデル図 1内のデータに直接適用する検 SE/レールを実行することもでき る。これにより、業務モデル図 1からしかわ力 ないエラーも検出できる。

また、検 SE/レール毎にエラーの重要度を設定しておき、検証エラー発生には、エラ 一メッセージと共に、重要度を表示することもできる。例えば、発生した検証エラーの 重要度の違いにより、ユーザは、重大で修正が必須なの力 確認を要する程度なの カゝを知ることができる。

[0033] また、業務モデル作成の進拔等を示す統計情報を表示することもできる。これにより 、ユーザは、業務モデル図 1の作成作業の進拔状況を把握しやすくなる。

また、ユーザからの操作入力により検 SE/レールを登録できるようにすることができる 。あるいは、複数の検 SE/レールを予め登録しておき、ユーザによって選択された検証 ルールのみを検証処理の際に利用することもできる。これにより、たとえば、プロジェ タトごとに検 SE/レールを動的にかつ、容易に組み換えることができる。

[0034] さらに、業務モデル図 1の修正案を画面に提示し、ユーザが確認した際には、修正 案にもとづいて、業務モデル図 1を修正することもできる。このように、業務モデルの 修正案を示し、修正案を受け入れるとそれを実際に修正することで、ユーザの修正負 担が軽減される。

[0035] 以下に本実施の形態について具体的に説明する。

図 2は、本実施の形態に用いるコンピュータのハードウェア構成例を示す図である。 コンピュータ 100は、 CPU(Central Processing Unit)101によって装置全体が制御さ れている。 CPU101には、バス 107を介して RAM(Random Access Memory)102、ハ ードディスクドライブ（HDD:Hard Disk Drive) 103、グラフィック処理装置 104、入力 インタフェース 105、および通信インタフェース 106が接続されて!、る。

[0036] RAM102には、 CPU101に実行させる OS(Operating System)のプログラムゃァプ リケーシヨンプログラムの少なくとも一部が一時的に格納される。また、 RAM102には 、 CPU101による処理に必要な各種データが格納される。 HDD103には、 OSゃァ プリケーシヨンプログラムが格納される。

[0037] グラフィック処理装置 104には、モニタ 11が接続されている。グラフィック処理装置 1 04は、 CPU101からの命令に従って、画像をモニタ 11の画面に表示させる。入カイ ンタフェース 105には、キーボード 12とマウス 13とが接続されている。入力インタフエ ース 105は、キーボード 12やマウス 13から送られてくる信号を、バス 107を介して CP U 101に送信する。

[0038] 通信インタフェース 106は、ネットワーク 10に接続されている。通信インタフェース 1 06は、ネットワーク 10を介して、他のコンピュータとの間でデータの送受信を行う。 [0039] 以上のようなハードウェア構成によって、本実施の形態の処理機能を実現すること ができる。以下、図 2に示したコンピュータ上で実現される業務フロー図作成支援装 置の実施の形態を詳細に説明する。

[0040] [第 1の実施の形態]

図 3は、第 1の実施の形態の機能ブロック図である。業務フロー図作成支援装置は 、モデル構造情報 111、検 SE/レール適用部 112、検 SE/レール ·対処法情報 113、モ デル構造編集部 114、検証制御部 115、検証実行部 116、検証結果リスト 117、およ び検証結果表示制御部 118を有して 、る。

[0041] モデル構造情報 111は、利用者が描!、た業務モデル図 200の構造情報を保持す る。モデル構造情報 111は、業務モデル図 200の構造をツリー構造で表したもので ある。なお、業務モデル図 200は、業務フロー図とデータ構造図とを含んでいる。

[0042] 検 SE/レール適用部 112は、業務モデル図 200を構成する要素（業務プロセスゃ条 件分岐を表すオブジェクト等）に関する複数の検 SE/レールを保持する。検iE/レール では、たとえば、「条件分岐には、分岐先毎に分岐条件 (その分岐先に遷移するため の条件）が設定されて 、なければならな 、」ことなどが定義されて 、る。

[0043] 検iE/レール ·対処法情報 113は、検証時にエラーが発生した場合に利用者に表示 するためのエラーメッセージとエラーを修正するために有効な情報 (対処法)を、検証 ルールに関連付けて保持する。

[0044] モデル構造編集部 114は、利用者が描!、た業務モデル図 200からモデル構造を 編集する。モデル構造の構成要素 (ノード等）には、その構成要素に対応する業務モ デル図 200内の要素の識別番号が関連付けられる。

[0045] また、モデル構造編集部 114は、ユーザからの操作入力により、モデル構造のうち 検証対象となる部分 (検証部分)の指定を受け付ける。そして、モデル構造編集部 11 4は、ユーザ力 検証指示を受け取ると、検証部分の指定と検証要求とを、検証制御 部 115に渡す。なお、検証部分は、たとえば、業務モデル図 200内で各要素に設定 された識別番号で指定される。さら〖こ、モデル構造編集部 114は、検証結果表示制 御部 118から検証エラー発生場所の情報を受け取ると、その場所に検証エラーを表 す図形等を表示する。 [0046] 検証制御部 115は、検証要求を受け取ると、モデル構造編集部 114で指定された 検証部分を示す情報を検証実行部 116に渡し、検証対象の検証処理を指示する。 また、検証制御部 115は、検証実行部 116から検証処理終了の通知を受け取ると、 検証結果表示制御部 118に対して、検証結果の表示を指示する。

[0047] 検証実行部 116は、検証制御部 115から渡された検証部分を示す情報に基づい て、モデル構造情報 111から検証対象を取得する。そして、検証実行部 116は、検 言 IE/レール適用部 112に対して検 SE/レールの適用指示を出すことで、取得した検証対 象が検 SE/レールに適合しているかどうかを検証する。さらに、検証実行部 116は、検 証結果を検証結果リスト 117に登録する。検証実行部 116は、検証対象に対する検 証処理が終了した場合、その旨を検証制御部 115に通知する。

[0048] 検証結果リスト 117は、検証実行部 116から出力された検証結果が格納される。

検証結果表示制御部 118は、検証制御部 115から検証結果の表示指示を受け取 ると、検証結果リスト 117から検証結果を取得し、検証処理によってエラーとされた検 証結果を抽出する。さらに、検証結果表示制御部 118は、検 /レール'対処法情報 113を参照し、検証エラーの発生場所、エラーメッセージ、および検証エラーに対す る対処法を判定する。そして、検証結果表示制御部 118は、エラーメッセージと検証 エラーに対する対処法とを検証結果として表示すると共に、検証エラーの発生場所 をモデル構造編集部 114に通知する。検証エラーの発生場所は、たとえば、検証さ れた要素の識別番号によって特定される。

[0049] 次に、業務モデル図 200の内容について説明する。業務モデル図 200は、業務フ ロー図とデータ構造図とで構成される。

図 4は、業務フロー図である。業務フロー図 210には、開始 211から終了 212まで の業務プロセス 213a, 213b, 213c, 213d,分岐 214a, 214b,および帳票 222力 S 設けられている。開始 211、終了 212、業務プロセス 213a, 213b, 213c, 213d,お よび分岐 214a, 214bは、遷移線 215a— 215hで接続されている。帳票 222は、入 出力線 217a, 217bによって、業務プロセス 213a, 213bに接続されている。

[0050] 開始 211は、業務フローの開始位置を示している。終了 212は、業務フローの終了 位置を示して ヽる。業務プロセス 213a, 213b, 213c, 213diま、業務フロー ίこお ヽ て実行する作業を示している。分岐 214a, 214bは、条件分岐による作業手順の分 岐を示している。

[0051] 遷移線 215a— 215hは、業務プロセス間の遷移関係を示している。遷移線 215a— 215hは矢印によって遷移元と遷移先とを示している。なお、分岐 214を遷移元とす る遷移線 215d, 215eには、対応する遷移が発生する条件が設定されている。

[0052] 入出力線 217a, 217bは、矢印によって、業務プロセス力ものデータ出力、および 業務プロセスへのデータ入力を示している。具体的には、入出力線 217aは、業務プ ロセス 213aで示される業務が行われることで、帳票 222で示される帳票が出力される ことを示している。また、入出力線 217bは、帳票 222で示される帳票力 業務プロセ ス 213bで示される業務プロセスに入力されることを示している。

[0053] 図 5は、データ構造図である。データ構造図 220では、書類 221、帳票 222、 223、 画面 225が、それぞれ業務モデルに含まれるデータを表している。そして、書類 221 、帳票 222、 223f¾の関係力 線 224によって示されて!/ヽる。

[0054] 図 4に示した業務フロー図 210や図 5に示したデータ構造図 220を含む業務モデ ル図 200は、モデル構造編集部 114で編集することができる。モデル構造編集部 11 4は、モデル構造をツリー構造で画面表示する。

[0055] 図 4、図 5に示したような内容の業務モデル図 200がモデル構造編集部 114に入力 されると、モデル構造編集部 114によって、モデル構造が解析される。具体的には、 モデル構造編集部 114内に、予め業務フロー図 210やデータ構造図 220を構成す る図形と、モデル構造を構成する要素との対応関係を定義した構造定義情報を有し ている。モデル構造編集部 114は、その構造定義情報に基づいて、入力された業務 モデル図 200の構造を解析する。

[0056] 図 6は、構造定義情報の例を示す図である。構造定義情報 20には、業務モデル内 の図形とモデル構造の中の要素種別との対応関係が示されている。

先頭の対応関係 21は、業務モデル内の黒丸が、モデル構造の開始に対応するこ とを示している。対応関係 22は、業務モデル内の 2重丸（内部が黒丸）が、モデル構 造の終了に対応することを示している。対応関係 23は、業務モデル内の黒で塗りつ ぶされた菱形力 モデル構造の判断に対応することを示して ヽる。 [0057] 対応関係 24は、業務モデル内の実線の矢印力 モデル構造の遷移 (コントロール フロー）に対応することを示している。対応関係 25は、業務モデル内の点線の矢印が 、モデル構造のオブジェクトフローに対応することを示して 、る。

[0058] 対応関係 26は、業務モデル内の「業務プロセス」と記述された環状の図形が、モデ ル構造の業務プロセスに対応することを示している。対応関係 27は、業務モデル内 の二重線の四角力 モデル構造のオブジェクトに対応することを示して 、る。

[0059] 対応関係 28は、業務モデル内の「端子」を表す 2種類の図形は、モデル構造の要 素種別に対応しないことを示している。対応関係 29は、業務モデル内の「画面」と記 述された図形と、「帳票」と記述された図形とが、モデル構造のデータに対応すること を示している。

[0060] 対応関係 20aは、モデル構造のモデルに対応する業務モデル内の図形が存在し ないことを示している。対応関係 20bは、モデル構造のパッケージに対応する業務モ デル内の図形が存在しな 、ことを示して 、る。

[0061] 対応関係 20cは、業務モデルを構成する 1つのページ力 モデル構造の業務フロ 一図に対応することを示している。対応関係 20dは、モデル構造の業務フローに対 応する業務モデル内の図形が存在しないことを示している。対応関係 20eは、業務 モデルを構成する 1つのページ力 S、モデル構造の業務データ図に対応することを示 している。

[0062] このように業務モデルを構成する図形には、モデル構造情報に反映されるものとさ れないものがある。業務フロー図に含まれる、開始、終了、業務プロセスなどは、業務 フローの構造に関わるものであり、モデル構造情報にも反映される。それに対して、 1 つの業務フローを複数の図面ページに描く場合に、ページ間の繋がりを表す「端子」 は、モデルの構造には無関係であるので、モデル構造情報には反映されない。

[0063] 図 7は、端子を用いた業務フロー図の例を示す図である。図 7に示すように、 1つの 業務フロー図が複数のページ 41, 42にまたがって作成される場合がある。このとき、 ページ 41の端子 41aは、ページ 42の端子 42aに遷移することを示して!/、る。

[0064] このような業務フロー図における端子 41a, 42aは、ページ 41, 42の繋がりを示す のみであり、業務モデルの構造を示すものではない。そのため、端子 41a, 42aに対 応する業務モデル内の構成要素は必要とされない。

[0065] このような構造定義情報 20に基づいて、モデル構造編集部 114が業務モデル図 2 00のモデル構造を解析する。解析されたモデル構造は、ツリー構造で画面に表示さ れる。

なお、業務プロセスやデータのプロパティ（業務プロセスやデータが保持する情報） を表示させるために、図面ページ上に図形を描く場合がある。この場合、その図形に 対応するのは、モデル構造情報の中のオブジェクトのプロパティであり、オブジェクト ではない。そのためモデル構造情報 111をツリー形式で表示した場合、データのプ 口パティに対応するノード (アイコン）は存在しない。

[0066] 図 8は、モデル構造表示画面の例を示す図である。モデル構造表示画面 300には 、業務モデル図 200のデータ構造がツリー構造で表示されている。ユーザは、このモ デル構造表示画面 300において、検証対象位置を指定することができる。たとえば、 検証対象位置として指定する要素をマウスカーソル等で指定し、メニュー画面 (コン テキストメ-ユー、プルダウンメニュー等）を表示させる。そして、メニュー画面内に設 けられた検証実行コマンドを選択することで、検証対象位置に対する検証実行を指 示することができる。

[0067] なお、検証対象位置として指定されたデータに下位構造が存在する場合、その下 位構造も含めて検証対象となる。

業務モデル図 200から作成されたモデル構造情報は、一定のモデル構造定義に 従って作成される。モデル構造定義では、どのような種別の要素に、どのような種別 の要素が接続可能かを定義している。モデル構造定義は、たとえば、 UMLのクラス 図で表現することができる。

[0068] 図 9は、モデル構造定義の一部を示す UMLのクラス図である。図 9に示すように、 クラス図を用いて、モデル構造定義 31を表現することができる。モデル構造定義 31 では、種別 31a— 311と、種別 31a— 311間の接続関係が示されている。このようなモ デル構造定義 31に従って、モデル構造情報が作成される。

[0069] 図 10は、モデル構造情報の例を示す図である。モデル構造情報 32は、モデル構 成要素 32a— 32u間の接続関係がツリー構造で示されている。 図 11は、検 tE/レール ·対処法情報の例を示す図である。検 /レール'対処法情報 113には、検証 ID、検 SE/レール、エラーメッセージ、および対処法の欄が設けられて おり、各欄の横方向に並べられた情報同士が互いに関連付けられて 、る。

[0070] 検証 IDの欄には、検 SE/レール、エラーメッセージ、および対処法の組に設定された 識別番号が設定される。検iE/レールの欄には、検iE/レール適用部 112に定義され ている検 SE/レールの内容が設定される。エラーメッセージの欄には、対応する検 SE/レ ールを適用した結果、エラーとなったときのメッセージが設定される。対処法の欄には 、対応する検 SE/レールを適用した結果、エラーとなったときの対処法が設定される。

[0071] たとえば、「開始があること」という検 SE/レールを、業務モデル全体に適用した結果、 開始に対応する図形が見るから無い場合、エラーメッセージは「開始が一つもありま せん」であり、対処法は「開始を作ってくださ!/、」である。

[0072] 次に、第 1の実施の形態に係る業務フロー図作成支援装置による処理を具体的に 説明する。

図 12は、第 1の実施の形態に係る業務モデル検証処理の手順を示すシーケンス 図である。モデル構造編集部 114は、モデル構造情報 111から、検査すべきモデル 構造の部分 (検証対象位置)を指定して、検証対象取得処理を行う (ステップ S 11)。 なお、検査対象位置は、たとえば、画面に表示されたモデル構造に対する、ユーザ の操作入力に応じて決定される。モデル構造情報 111から検証対象のモデル構造 が取り出され、モデル構造編集部 114に渡される (ステップ S 12)。

[0073] 次に、モデル構造編集部 114は、検証制御部 115に対して、検証対象に対する検 証の実行を指示する (ステップ S 13)。検証実行の指示を受けた検証制御部 115は、 検証対象を検証実行部 116に渡し、検証処理を実行させる (ステップ S 14)。

[0074] 検証実行部 116は、内容が空の検証結果リスト 117の作成処理を行う（ステップ S1 5)。すると、検証実行部 116が利用するメモリ空間上に、検証結果リスト 117が作成 される (ステップ S16)。移行の検証結果リスト 117に対するデータ追加等の処理は、 検証実行部 116が利用して 、るメモリ空間上で行われる。

[0075] 次に、検証実行部 116は、検iE/レール適用部 112を参照し、検証対象に対して適 用すべき検 SEレールを取得する (ステップ S17)。そして、検証実行部 116は、検証 ルール適用部 112に対して、検証対象と検証結果リストとを渡し、検証対象に対する 検言 レールの適用を指示する (ステップ S 18)。

[0076] なお、検証実行部 116は、複数の検iE/レールを取得した場合、全ての検iE/レール に関して、検iE/レール適用部 112への検iE/レール適用指示を出す。また、検証実行 部 116は、取得した検証対象が、下位の構造を持っている場合、下位の構造も検証 対象として、全ての検iE/レールの適用指示を出力する。

[0077] 検iE/レール適用部 112は、検証実行部 116から検iE/レールの適用指示を受け取 る毎に、検証対象に対して検 SE/レールを適用し、検証結果 116aを作成する (ステツ プ S19)。検iE/レール適用部 112は、検証結果 116aを取得し (ステップ S20)、検証 結果リスト 117に対して、検 SE/レールの適用結果を追加する (ステップ S21)。追加さ れる適用結果には、検証対象、検iE/レール、検証結果が含まれる。

[0078] 検証実行部 116は、全ての検証対象に対する全ての検 SE/レールの適用が完了し たら、適用結果追加後の検証結果リスト 117を、検証制御部 115に渡す (ステップ S2 2)。検証制御部 115は、検証結果リストを検証結果表示制御部 118に渡し、表示を 指示する (ステップ S 23)。

[0079] 検証結果表示制御部 118は、検証結果の一覧のダイアログを表示する。そして、検 証結果表示制御部 118は、検iE/レール ·対処法情報 113を参照し、検証結果リスト に格納されている検証結果毎に、検言 レールと対処法とを取得し、ダイアログに表示 する（ステップ S 24)。

[0080] さらに、検証結果表示制御部 118は、モデル構造編集部 114に対して、エラーが 発生した検証対象の IDを指定して、エラー個所の表示指示を送信する (ステップ S2 5)。すると、モデル構造編集部 114は、検 SE/レールの適用によりエラーと判定された 検証対象を指し示す画面表示を行う。たとえば、モデル構造編集部 114は、エラー 個所に重ねて、ばつ印を表示する。

[0081] 図 13は、検証結果リストの例を示す図である。検証結果リスト 117には、検証結果 が登録されている。検証結果は、対象要素 ID、検 SE/レール、および結果の組で構成 されている。

[0082] 対象要素 IDは、業務モデル内の検証対象となった図形 (検証対象)を一意に識別 するための識別情報である。検 SE/レールは、検証対象に対して適用した検 SE/レール の識別情報である。結果は、検証対象が、適用した検言 IE/レールを満たしているカゝ否 かを示す情報である。図中、検 SE/レールに適合した場合、結果に「〇」が設定され、 検言 IE/レールに不適合 (検証エラー）の場合、結果に「 X」が設定される。

[0083] このようにして、モデル構造の検証が行われ、検証結果リストにエラーがあれば、そ のエラーに対する対処法と共に、エラーの発生個所がモニタの画面に表示される。 図 14は、モデル構造表示画面への検証エラー個所の表示手順を示すシーケンス 図である。

[0084] まず、検証結果表示制御部 118からモデル構造編集部 114に対して、検証エラー が検出された要素の IDを指定した表示要求が出力される (ステップ S41)。モデル構 造編集部 114は、親のモデル構造情報 11 laに対し、そのモデルの IDを取得するた めにアクセスする（ステップ S42)。これにより、モデル構造編集部 114は、モデル構 造情報 11 laからモデルの IDを取得する (ステップ S43)。そして、モデル構造編集 部 114は、表示要求で渡された IDとモデルの IDとを比較する。この例では、 IDがー 致していないものとする。

[0085] 次に、モデル構造編集部 114は、親のモデル構造情報 11 laを参照し、子（下位構 造）のモデル情報を取得するためのアクセスを行う（ステップ S44)。これにより、モデ ル構造編集部 114は、モデル構造情報 11 laから子モデル情報リストを取得する (ス テツプ S45)。

[0086] さらに、モデル構造編集部 114は、子のモデル構造情報 11 lbを参照し、そのモデ ルの IDを取得する（ステップ S46)。これにより、モデル構造編集部 114は、モデル構 造情報 11 laからモデルの IDを取得する (ステップ S47)。そして、モデル構造編集 部 114は、表示要求で渡された IDとモデルの IDとを比較する。この例では。 IDがー 致したものとする。

[0087] IDがー致すると、モデル構造編集部 114は、子のモデル構造情報 11 lbに対して、 強調表示のための表示色を設定する。その後、モデル構造編集部 114は、モデル構 造表示画面 300に表示される親のモデル構造情報 11 laに関するモデル構造表示 情報 310の再描画を行う（ステップ S49)。この例では、親の下位構造のモデル構造 に強調表示色が設定されているため、検証エラーの発生したノードの色が強調表示 色に変わる。

[0088] 図 15は、第 1の実施の形態の検証結果を示す画面の例を示す図である。検証処理 が終了すると、モデル構造表示画面 300の脇に検証結果画面 410が表示される。 検証結果画面 410には、検証結果表示部 411、対処法表示部 412、表示ボタン 4 13、および終了ボタン 414が設けられている。検証結果表示部 411には、エラーとな つた検証処理の、エラーメッセージが表示される。対処法表示部 412には、検証結果 表示部 411内で選択された検証処理の対処法が表示される。表示ボタン 413は、検 証結果力も選択されたエラーメッセージの対処法を表示させるためのボタンである。 終了ボタン 414は、検証結果画面 410を閉じるためのボタンである。

[0089] 検証結果としてエラーが検出されると、モデル構造表示画面 300内のモデル構造 において、エラーの発生したノードの強調表示が行われる。図 15の例では、エラーが 検出されたノード 311にチェックマークが表示されて 、る。

[0090] このように、モデル構造の検証エラーに対する対処法と、エラー発生個所とが画面 表示されることで、ユーザは、業務モデル図 200の間違いを容易に修正できる。

[第 2の実施の形態]

次に、本発明の第 2の実施の形態について説明する。第 2の実施の形態は、第 1の 実施の形態に対し、業務モデル図 200の編集機能を追加したものである。

[0091] 図 16は、第 2の実施の形態の機能ブロック図である。第 2の実施の形態の多くの機 能が第 1の実施の形態と同様であるため、図 3に示した第 1の実施の形態の構成要 素と同じ機能の構成要素には同じ番号を付し、説明を省略する。

[0092] 第 1の実施の形態との相違点は、図編集部 121が追加されたこと、および検 SE/レー ル ·対処法情報 113aと検証結果表示制御部 118aとの機能が変更されたことである。 図編集部 121は、ユーザ力もの操作入力に応じて、業務フロー図やデータ構造図 を作成する。作成された図が、業務モデルとしてモデル構造編集部 114に入力され る。

[0093] 図編集部 121には、汎用的な描画ソフトウェアを利用することができる。ただし、検 証エラーの発生箇所を表示するため、図編集部 121の表示用の API (Application Program Interface)が公開されている必要がある。

[0094] 検 tE/レール ·対処法情報 113aは、検 SE/レールに対するエラーメッセージや対処法 に加え、表示場所の情報を有している。表示場所は、エラー個所を表示する図を指 定する情報である。モデル構造編集部 114が表示個所であれば、モデル構造を示 す図上で、エラー個所が表示される。また、図編集部 121が表示個所であれば、業 務モデルを示す図上で、エラー個所が表示される。

[0095] 検証結果表示制御部 118aは、第 1の実施の形態に係る検証結果表示制御部 118 が有する機能に加え、検 /レール'対処法情報 113aに設定された表示個所の情報 に応じて、エラー個所の表示指示を行う相手を判断する機能を有する。すなわち、表 示個所がモデル構造編集部 114であれば、エラー個所の表示指示をモデル構造編 集部 114に対して出力する。また、表示個所が図編集部 121であれば、エラー個所 の表示指示を図編集部 121に対して出力する。

[0096] 図 17は、第 2の実施の形態に係る検iE/レール ·対処法情報の例を示す図である。

第 2の実施の形態の検 /レール'対処法情報 113aには、検証 、検 SE/レール、ェ ラーメッセージ、対処法、および表示場所の欄が設けられている。表示場所の欄には 、対応付けられた検 SEレールに基づく検証処理よりエラーが発生したときのエラー表 示場所 (表示機能)が設定される。

[0097] 図 18は、業務フロー表示部への検証エラー個所の表示手順を示すシーケンス図 である。

まず、検証結果表示制御部 118aから図編集部 121に対して、検証エラーが検出さ れた要素の IDを指定した表示要求が出力される (ステップ S51)。図編集部 121は、 図情報 121aに対し、その図の IDを取得するためにアクセスする（ステップ S52)。こ れにより、図編集部 121は、図情報 121aから図の IDを取得する (ステップ S53)。そ して、図編集部 121は、表示要求で渡された IDとモデルの IDとを比較する。図編集 部 121は、 IDがー致していなければ、一致するまでステップ S52, 53の処理を繰り返 す。

[0098] IDがー致すると、図編集部 121は、図情報 121aに対して、一致した IDに対応する 図形の表示位置取得のためにアクセスする（ステップ S55)。これにより、図編集部 12 1は、図情報 121aから、エラーが発生した図形の位置 (X座標と y座標）を取得する（ ステップ S 55)。

[0099] 次に、図編集部 121は、図情報 121aの編集操作を行い、ステップ S55で取得した 位置に、エラー個所表示用図形 (たとえば、ばつ印）を配置する (ステップ S56)。 このように、エラーの表示個所を指定することで、視覚的に分力り易いエラー表示が 可能とある。たとえば、図編集部 121で編集中の業務フロー図にエラー発生個所を 表示すれば、ユーザは、エラーを解消するために編集すべきデータを即座に認識す ることがでさる。

[0100] 図 19は、第 2の実施の形態の検証結果を示す画面の例を示す図である。図 19の 例は、「開始から 1つ以上の遷移があること」という検 SE/レールでエラーが検出された 場合の表示画面を示して！/ヽる。図 17に示した検iE/レール ·対処法情報 113aを参照 すると、この検 SE/レールのエラーの表示場所は、図編集部 121である。そこで、図編 集部 121によって表示される業務フロー図 210の開始の位置に、エラーの発生を示 す図形 216が表示されている。

[0101] このように、図編集部 121の機能と連携して検証処理を行うことで、作成中の業務フ ロー図 210上にエラー発生個所の表示を行うことができる。し力も、図編集部 121とし ては、汎用の描画ソフトウェアを使用することが可能であり、ユーザが使い慣れている ソフトウェアを用いて業務モデル図を作成できる。

[0102] [第 3の実施の形態]

次に、第 3の実施の形態について説明する。第 3の実施の形態は、複数の検iE/レ ールを選択的に適用できるようにしたものである。

[0103] 図 20は、第 3の実施の形態の機能ブロック図である。第 3の実施の形態の多くの機 能が第 2の実施の形態と同様であるため、図 16に示した第 2の実施の形態の構成要 素と同じ機能の構成要素には同じ番号を付し、説明を省略する。

[0104] 第 2の実施の形態との相違点は、検 SE/レール保持部 122が追加されたこと、および 検 SE/レール適用部 112aの機能が変更されたことである。

検 SE/レール保持部 122には、複数の検iE/レール 122aが格納されている。また、検 言 IE/レール適用部 112aは、ユーザの操作入力等により、適用可能な検 SE/レールが予 め指定されている。そして、検 SE/レール適用部 112aは、検証対象に対して、適用可 能な検 SE/レールのみを適用し、検証処理を行う。

[0105] なお、検 SE/レール 122aは、たとえば、オブジェクト指向プログラミング言語で実装で きる。この場合、検 SE/レール 122a適用のためのインタフェースをスーパークラスで定 義し、そのサブクラスとして検 SE/レールを作成する。このように実装すれば、検 SE/レー ル適用部 112aからは、どの検 SE/レールもィテレータを利用して同じインタフェースで 呼び出すことができる。そのため、検 SE/レール適用部 112aの実装、検 SE/レール 122 aの追加，削除が容易となる。

[0106] なお、プログラミングにおいてィテレータ (Iterator)とは、リストや、それに類似するデ ータ構造の、各々の要素に対して繰り返し処理の抽象化である。実際のプロダラミン グ言語では、オブジェクトまたは文法などとして現れる。反復するためのものの意味で 反復子と訳される。

[0107] 図 21は、第 3の実施の形態に係る業務モデル検証処理の手順を示すシーケンス 図である。なお、この処理は、図 12に示した第 1の実施の形態の処理とほぼ同じであ るため、同じ処理には同一のステップ番号を付し、説明を省略する。以下、第 1の実 施の形態と異なる処理にっ 、て説明する。

[0108] ステップ S11からステップ S17の処理は第 1の実施の形態と同じである。その後、検 証実行部 116は、検 SE/レール保持部 122に対して、検証対象と検証結果リストとを渡 し、検証対象に対する検 SE/レールの適用を指示する (ステップ S 18a)。

[0109] なお、検証実行部 116は、複数の検 SE/レールを取得した場合、取得した全ての検 言 IE/レールの適用指示を、検iE/レール適用部 112へ出力する。また、検証実行部 11 6は、取得した検証対象が、下位の構造を持っている場合、下位の構造も検証対象と して、全ての検 SE/レールの適用指示を出力する。

[0110] 検iE/レール保持部 122は、検証実行部 116から検iE/レールの適用指示を受け取 る毎に、検証対象に対して検 SE/レールを適用する (ステップ S18b)。すなわち、検証 ルールの適用指示に応答して、プログラムによって記述された検 SE/レールが起動さ れ、検 SE/レールを実行するプロセスに検証対象が渡される。すると、検 SE/レールを実 行するプロセスにより、検証対象の判定が行われる。 [0111] この際、複数の検 tE/レールの適用が指定されていれば、検証対象に対して、適用 すべき検 SEレールを順次適用される。そして、検 SE/レール保持部 122に保持された 検 SE/レール (プログラムによる処理記述）が適用されることで、その検 SE/レールにより 、検証結果 116aが作成される (ステップ S19a)。

[0112] その後のステップ S20からステップ S24の処理は、第 1の実施の形態と同様である。

ステップ S24の処理後、検証結果表示制御部 118aは、表示対象がモデル構造編集 部 114か図編集部 121かを判断する。表示対象がモデル構造編集部 114であれば 、検証結果表示制御部 118aは、モデル構造編集部 114に対して、エラーが発生し た検証対象の IDを指定して、エラー個所の表示指示を送信する (ステップ S25a)。こ の場合、モデル構造編集部 114により、モデル構造表示画面 300にエラー発生場所 が表示される。

[0113] また、表示対象が図編集部 121であれば、検証結果表示制御部 118aは、図編集 部 121に対して、エラーが発生した検証対象の IDを指定して、エラー個所の表示指 示を送信する (ステップ S25b)。この場合、図編集部 121により、業務フロー図 210に エラー発生場所が表示される。

[0114] これにより、検 SE/レールの組み替えが容易となる。たとえば、社内利用の業務モデ ルについては、必要最低限の検iE/レールのみを適用し、顧客に提出する業務モデ ルにつ 、ては、最も厳し!/、検 SE/レールを適用すると!/、つた検 SE/レールの変更が容易 となる。

[0115] [第 4の実施の形態]

次に、第 4の実施の形態について説明する。第 4の実施の形態は、図編集部で表 示するための図形状法を図情報として別で保持し、図情報力 直接モデル構造の検 証を行えるようにしたものである。

[0116] 図 22は、第 4の実施の形態の機能ブロック図である。第 4の実施の形態の多くの機 能が第 3の実施の形態と同様であるため、図 20に示した第 3の実施の形態の構成要 素と同じ機能の構成要素には同じ番号を付し、説明を省略する。

[0117] 第 3の実施の形態との相違点は、図情報 123が追加されたこと、および検 SE/レール 適用部 112aの機能が変更されたことである。 図情報 123には、業務モデルを表した図に含まれる図形データが格納される。モ デル構造編集部 114aは、図情報 123に含まれた図形データを解析し、モデル構造 情報 111を作成する。

[0118] 図 23は、図情報の例を示す図である。図情報 123には、複数の図形データ 123a 一 123gが含まれている。図形データ 123a— 123gがツリー構造に関連付けられて、 図情報 123が構成されている。なお、図 23の例では、個々の図形がシェイブと名付 けられている。たとえば、遷移の図形データ 123gには、ソースの接続シエイプ ID、タ 一ゲットの接続シエイプ IDの情報が含まれている。

[0119] モデル構造編集部 114aは、図 23に示したような図情報 123に基づいてモデル構 造情報 111を生成する。

検 SE/レール 122aでは、図情報 123に含まれるデータを利用したルールを定義して おくことができる。たとえば、遷移の図形データ 123gに、ソース側接続先シエイプ ID やターゲット側接続先シエイプ IDが設定されて 、な 、場合に、検証エラーとなるよう な検 SE/レール 122aを定義しておくことができる。

[0120] 図 24は、第 4の実施の形態に係る業務モデル検証処理の手順を示すシーケンス 図である。なお、第 4の実施の形態の処理は、図 21に示した第 3の実施の形態の処 理とほぼ同じであるため、異なる部分のみを図示している。

[0121] モデル構造編集部 114aは、モデル構造情報 111から、検査すべきモデル構造の 部分 (検証対象位置)を指定して、検証対象取得処理を行う (ステップ S31)。すると、 モデル構造情報 111から検証対象の検証対象のモデル構造 (検証—モデル情報） が取り出され、モデル構造編集部 114aに渡される (ステップ S32)。

[0122] 次に、モデル構造編集部 114aは、図情報 123から、検査すべき図情報の部分 (検 証対象位置)を指定して、検証対象取得処理を行う (ステップ S33)。すると、図情報 1 23から検証対象の検証対象の図情報 (検証—図情報)が取り出され、モデル構造編 集部 114aに渡される (ステップ S34)。

[0123] そして、モデル構造編集部 114aは、検証制御部 115に対して、検証対象に対する 検証処理の実行を指示する (ステップ S35)。このとき、検証制御部 115に対して渡さ れる検証対象は、検証—モデル情報と検証—図情報とを含んでいる。以後の処理は 、図 21に示したステップ S 15以降の処理と同じである。

[0124] このように、図情報内のデータに基づいて検証を行うことができることにより、きめ細 力な検証を実施することができる。たとえば、モデル構造情報 111に反映されてない データに基づいて、検証することができる。

[0125] [第 5の実施の形態]

次に、第 5の実施の形態について説明する。第 5の実施の形態は、実施時間等の 条件が異なる複数回の検証処理それぞれの検証結果リストを保持し、業務モデル作 成の進拔度合いを測定できるようにしたものである。また、第 5の実施の形態では、検 言 IE/レールに対して、重要度を設定し、検証エラーが発生した際に、エラーメッセージ と共に重量度を表示するようにして 、る。

[0126] 図 25は、第 5の実施の形態の機能ブロック図である。第 5の実施の形態の多くの機 能が第 4の実施の形態と同様であるため、図 22に示した第 4の実施の形態の構成要 素と同じ機能の構成要素には同じ番号を付し、説明を省略する。

[0127] 第 4の実施の形態との相違点は、複数の検証結果リスト 117a, 117b, 117cを保持 できるようにしたこと、検証実行部 116aと検証結果表示制御部 118aとの機能が変更 されたこと、および検 SE/レール ·対処法情報 113bの内容を変更したことである。

[0128] 検証実行部 116aは、検証処理を実行し、検証結果リストを作成する際に、タイムス タンプ (現在の時刻を示す情報)を付与する。業務モデルを作成する過程で、業務モ デルの検証処理を複数回行うと、タイムスタンプの異なる複数の検証結果リスト 117a , 117b, 117c力生成される。

[0129] 検証結果表示制御部 118aは、複数の検証結果リスト 117a, 117b, 117cを利用し て、業務モデル作成作業の進拔状況を示す統計データを作成し、画面に表示する。

[0130] 図 26は、検 /レール'対処法情報のデータ構造例を示す図である。この検 SE/レー ル '対処法情報 113bには、検証 ID、エラー Z警告、検 SEレール、エラーメッセージ、 対処法、および表示場所の欄が設けられている。これは、図 17に示した検 SE/レール •対処法情報 113aと比較すると、エラー Z警告の欄が追加されて 、る。

[0131] エラー Z警告の欄には、検証対象の要素が検 SE/レールを満たしていないときのェ ラーの重要度を示している。図 26の例では、重要度として「エラー」と「警告」とがあり 、エラーの方が重要度が高い。重要度の分け方としては、たとえば、必ず満たしてい なければならな!/ヽ検 SE/レールに対して「エラー」を設定し、満たして!/、ることが望まし V、検言 IE/レールに対して「警告」を設定する。

[0132] 重要度は、対応する検 SE/レールで検証エラーが発生した際に、エラーメッセージと 共に、画面に表示される。また、重要度は、進拔状況を示す統計情報の基礎データ としても領される。

[0133] 図 27は、タイムスタンプが付与された検証結果リストの例を示す図である。検証結 果リスト 117aには、タイムスタンプ 117aaと検証結果 117abとが登録されて!、る。

[0134] タイムスタンプ 117aaは、検証結果リスト 117aの作成日時を示している。検証結果 117abには、対象、対象要素 ID、検iE/レール、および結果の組が登録されている。 対象は、検証対象が、モデル構造情報 111なのか図情報 123 (検証結果リスト 117a 内では、単に「図」と表されている）なのかを示している。対象要素 ID、検 SE/レール、 および結果については、図 13に示した第 1の実施の形態の例と同様である。

[0135] なお、検証エラーが発生した場合 (結果「X」）、重要度の情報 (エラー Z警告）が、 結果の情報に含められる。

このようなタイムスタンプ付きの複数の検証結果リスト 117a, 117b, 117cに基づい て、たとえば、エラー件数や警告件数を統計情報として集計することができる。集計 結果は、進拔状況として画面表示される。

[0136] 図 28は、進拔状況表示画面の第 1の例を示す図である。進拔状況表示画面 51に は、検証日時、エラー件数、警告件数の欄が設けられ、検証結果が時系列で示され ている。

このように、エラー件数や警告件数の発生数の推移を参照することで、業務モデル 作成作業の進拔状況を推定することができる。たとえば、エラー件数や警告件数が 減少傾向にある場合、業務モデル作成作業が最終段階 (間違いの修正段階)に入り 、作業が順調に進んでいると判断できる。

[0137] 図 29は、進拔状況表示画面の第 2の例を示す図である。この進拔状況表示画面 5 2には、検証日時、新規追加エラー Z警告件数、前検証からの残り件数、および修 正件数 Z発生場所の削除件数の欄が設けられ、検証結果が時系列で示されて 、る [0138] 新規追加エラー Z警告件数は、前回の検証処理では検出されていない新たなエラ 一および警告の件数である。前検証からの残り件数は、前回の検証処理で検出され たエラーおよび警告のうち、未処理の件数である。修正件数 Z発生場所の削除件数 は、前回の検証処理力も今回の検証処理の間に修正または削除された、エラーおよ び警告の件数である。

[0139] なお、前回の検証処理で検出されたエラーや警告が、今回の検証処理で検出され たか否かは、検証結果リストの、対象、対象要素 ID、および検 SE/レールが一致する か否力を比較することで判断できる。

[0140] 図 30は、進拔状況表示画面の第 3の例を示す図である。この進拔状況表示画面 5

3には、検証結果表示部 53a、対処法表示部 53b、表示ボタン 53c、終了ボタン 53d が設けられている。

[0141] 検証結果表示部 53aには、これまでに検出された検証エラー（エラーと警告）をリス トで表示している。ここで、最後に実施された検証処理で新たに検出された検証エラ 一には、新たなエラーを示すマーク（図 30の例では「New！」）が付与されている。

[0142] ユーザは、検証結果表示部 53a内から、詳細な内容を参照すべき検証エラーを選 択できる。なお、既に修正されているエラーや警告は、たとえば、灰色で表示され、選 択できな 、状態となって 、る。

[0143] 対処法表示部 53bには、検証結果表示部 53aで選択された検証エラーの対処法 が表示される。表示ボタン 53cは、検証結果表示部 53aで選択された検証エラーの 発生個所等を表示させるためのボタンである。終了ボタン 53dは、進拔状況表示画 面 53を閉じるためのボタンである。

[0144] このように、検証結果を表示する際に、前回の検証以降に生じた検証エラー (マー ク「New！」を付与）、前回力 今回までの間に修正された検証エラー (灰色の文字 で表示）、前回の検証時に検出したが未修正の検証エラー（黒色の文字、およびマ ーク「New！」無しで表示）を分類して表示することができる。

[0145] [第 6の実施の形態]

次に、第 6の実施の形態について説明する。第 6の実施の形態は、複数の検iE/レ ールの中で、適用する検 tE/レールと適用しな!、検 SE/レールとを指定する情報を利用 検言 レール設定ファイルに登録しておき、検証処理の際に利用検iE/レール設定ファ ィルを選択することで、適用する検 SE/レールを指定するものである。

[0146] 図 31は、第 6の実施の形態の機能ブロック図である。第 6の実施の形態の多くの機 能が第 5の実施の形態と同様であるため、図 25に示した第 5の実施の形態の構成要 素と同じ機能の構成要素には同じ番号を付し、説明を省略する。

[0147] 第 5の実施の形態との相違点は、利用検 SE/レール設定ファイル 124が新たに設け られたこと、および検証実行部 116aの機能が変更されたことである。

利用検 SEレール設定ファイル 124には、業務モデル作成者が選択した検 SE/レール の番号が、カンマなどで区切って記述されている。検証実行部 116aは、検iE/レール 保持部 122で保持している検 SE/レール 122aの中から、利用検 SE/レール設定フアイ ル 124に記載された番号の検 SE/レールだけを利用して検証処理を実行する。

[0148] また、利用検 SE/レール設定ファイル 124を複数用意しておくこともできる。この場合 、検証実行部 116aにおいて、利用検iE/レール設定ファイル 124の名称を設定する 機能を持たせる。そして、検証実行部 116aが、予め設定された名称に対応する利用 検 SE/レール設定ファイル 124に基づ 、て、検証処理の指示を検iE/レール適用部 11 2aに対して出力する。これにより、業務モデル作成者は、複数の設定ファイルの中か ら、目的に応じた設定ファイルを設定して、検証を実行させることができる。

[0149] [その他の応用例]

次に、上記各実施の形態に適用可能な応用例について説明する。以下、各応用 例を第 6の実施の形態のシステムに適用した場合を想定し、図 31に示した構成を参 照して説明する。

[0150] まず、第 1の応用例について説明する。第 1の応用例は、検証処理のタイミングを予 め定義しておき、そのタイミングで検証処理を自動的に行うものである。その場合、た とえば、検 /レール'対処法情報 113b内に検証タイミングを設定しておき、検証制 御部 115は検 SE/レール ·対処法情報 113bを参照して、各検 SE/レールの検証タイミン グを管理する。

[0151] 図 32は、検証タイミングが設定された検 /レール'対処法情報の例を示す図である 。この検iE /レール'対処法情報 113cには、検証 ID、エラー Z警告、検 SEレール、ェ ラーメッセージ、対処法、表示場所、および検証タイミングの欄が設けられている。こ れは、図 26に示した検iE /レール'対処法情報 113bと比較すると、検証タイミングの 欄が追カ卩されている。

[0152] 検証タイミングは、対応する検 SE/レールの適用タイミングを示して 、る。検証タイミン ダカ^検証時」であれば、ユーザ力もの意図的な操作入力が行われた際に、対応す る検 SE/レールの検証処理が実行される。

[0153] また、検証タイミングが「編集時」であれば、ユーザか業務モデルを編集して ヽる最 中に、図編集部 121において図形が入力される毎に、対応する検iE/レールの検証 処理が実行される。具体的には、図編集部 121で図形が入力され、その図形の位置 等の設定が確定すると、その情報がモデル構造編集部 114aに渡される。たとえば、 他の図形の操作に移行したときに、以前に操作していた図形の設定が確定したもの とする。

[0154] なお、検証タイミングとしては、たとえば、一定時間ごとに検証を行うように設定した り、ファイルの保存や閉じる時に検証を実行するように設定することもできる。

具体的には、モデル構造編集部 114aは、新たに図形が入力される毎にモデル構 造情報 111を更新し、更新したことを検証制御部 115に通知する。すると、検証制御 部 115は、検証実行部 116aに対して、新たに入力された要素の検証指示を出力す る。

[0155] 検証実行部 116aは、検 SE/レール ·対処法情報 113cを参照し、入力された要素に 対して適用可能であり、かつ検証タイミングが「編集時」である検 SE/レールを特定する 。そして、検証実行部 116aは、その検 SE/レールの適用指示を、検 SE/レール適用部 1 12aに対して出力する。

[0156] このようにして、検証処理の自動実行が可能となる。これにより、ユーザは、誤った 図形配置等を行ったとき、エラーの存在をすぐに知ることができる。

次に、第 2の応用例について説明する。第 2の応用例は、ユーザが任意の検iE/レ ールを定義できるようにしたものである。たとえば、業務フロー図作成支援装置に、任 意の場所に格納された検 SEレールを読み込むための検 SEレール読込部を新たに追 加する。ユーザは、検証処理を実行する際に、適用する検 SE/レールが格納されたフ アイル名を、検 SE/レール読込部に入力する。すると、検 SE/レール読込部は、指定され たファイル内の検iE/レールを、検iE/レール保持部 122に登録する。たとえば、 OCL (Object Constraint Language)を用いて、ユーザが検 tE/レールを設定できるようにす る。

[0157] 図 33は、任意に設定する検 SE/レールの例を示す図である。この検 SE/レール 122b は、「context BusinessProcess inv」で示される要素から出ている線の数力 0より多く

、 5未満でなければならな!/、と!/、ぅ検言 レールを示して!/、る。

[0158] このような検iE/レール 122bは、たとえば、一般的に多数の線を接続可能な要素で あっても、あまりに数が多すぎると業務フロー等の構造が複雑になりすぎるため、接続 可能な線の数を制限する際に利用される。

[0159] 次に、第 3の応用例について説明する。第 3の応用例は、エラーが発生したときの 対処を自動的に行うものである。その場合、たとえば、検iE/レール ·対処法情報 113 bに、対処前のモデルパターンと対処後のモデルパターンとを登録しておく。

[0160] 図 34は、対処前後のモデルパターンを登録した検 /レール'対処法情報の例を示 す図である。この検 /レール'対処法情報 113dでは、検 SE/レールに対応づけて、対 処前業務モデルパターンと対処後業務モデルパターンとの欄が設けられている。

[0161] 対処前業務モデルパターンには、エラーの発生原因となる業務モデルのパターン が設定されている。対処後業務モデルパターンには、エラーを解消させることができ る業務モデルのパターンが設定されて 、る。

[0162] このような定義を行うと、検証エラー発生箇所の構造などが、作業前のモデルのパ ターンと合致する場合に、作業後のモデルに変換して表示することができる。たとえ ば、図 34の例の検証 ID「2」の検 SE/レールでは、判断の分岐先に対してガード条件 が記載されていない場合、ガード条件付きの業務フローに変換するような対処後業 務モデルパターンが設定されて 、る。

[0163] なお、図 34の例では、ガード条件として、遷移先の業務プロセスの名前が自動的に 設定される。ユーザは、別のガード条件が適切と判断した場合、図編集部 121に対 する操作入力を行い、任意のガード条件を設定できる。 [0164] 検証結果表示制御部 118aは、検証エラーが発生した際に、検 /レール'対処法 情報 113dを参照し、対処前業務モデルパターンと対処後業務モデルパターンとが 設定されていれば、設定内容に沿ったモデルの変更指示を図編集部 121に対して 出力する。図編集部 121は、指示に従って業務フロー図等の図を編集する。

[0165] なお、対処前業務モデルパターン力 対処後業務モデルパターンへの図の自動編 集を行った場合、ユーザからの確認を示す操作入力を待って、編集後の図を確定す ることができる。これにより、ユーザが気づかない間に、図が変更されることを防止でき る。

[0166] なお、上記の処理機能は、コンピュータによって実現することができる。その場合、 業務モデル図作成支援装置が有すべき機能の処理内容を記述したプログラムが提 供される。そのプログラムをコンピュータで実行することにより、上記処理機能がコンビ ユータ上で実現される。処理内容を記述したプログラムは、コンピュータで読み取り可 能な記録媒体に記録しておくことができる。コンピュータで読み取り可能な記録媒体 としては、磁気記録装置、光ディスク、光磁気記録媒体、半導体メモリなどがある。磁 気記録装置には、ハードディスク装置 (HDD)、フレキシブルディスク (FD)、磁気テ ープなどがある。光ディスクには、 DVD (Digital Versatile Disc)、 DVD— RAM ( Random Access Memory)、 CD— ROM (Compact Disc Read Only Memory)、 CD— R (Recordable) ZRW (Rewritable)などがある。光磁気記録媒体には、 MO (

Magneto-Optical disk)などがある。

[0167] プログラムを流通させる場合には、たとえば、そのプログラムが記録された DVD、 C D— ROMなどの可搬型記録媒体が販売される。また、プログラムをサーバコンビユー タの記憶装置に格納しておき、ネットワークを介して、サーバコンピュータから他のコ ンピュータにそのプログラムを転送することもできる。

[0168] プログラムを実行するコンピュータは、たとえば、可搬型記録媒体に記録されたプロ グラムもしくはサーバコンピュータ力 転送されたプログラムを、 自己の記憶装置に格 納する。そして、コンピュータは、自己の記憶装置力 プログラムを読み取り、プロダラ ムに従った処理を実行する。なお、コンピュータは、可搬型記録媒体から直接プログ ラムを読み取り、そのプログラムに従った処理を実行することもできる。また、コンビュ ータは、サーバコンピュータ力もプログラムが転送される毎に、逐次、受け取ったプロ グラムに従った処理を実行することもできる。

[0169] 上記については単に本発明の原理を示すものである。さらに、多数の変形、変更が 当業者にとって可能であり、本発明は上記に示し、説明した正確な構成および応用 例に限定されるものではなぐ対応するすべての変形例および均等物は、添付の請 求項およびその均等物による本発明の範囲とみなされる。

符号の説明

[0170] 1 業務モデル図

la 検証対象要素

2 対処法情報

3 モデル構造解析手段

4 検証手段

5 検証結果表示手段

6 図形

7 エラーメッセージ

8 対処法

Claims

請求の範囲

[1] 利用者の業務モデルの構造を表す業務モデル図の作成を支援する業務モデル図 作成支援プログラムにお 、て、

コンピュータを、

図形と線とを構成要素とする前記業務モデル図を解析し、前記業務モデル図を構 成する各構成要素の種別を判別し、構成要素間の関係を示すモデル構造を生成す るモデル構造解析手段、

前記構成要素の少なくとも一部を検証対象要素として選択し、前記業務モデル図 の構成要素が満たすべき条件が予め設定された検 SEレールの中から、選択した前 記検証対象要素の種別に対応する検 SE/レールを抽出し、選択した前記検証対象要 素力 抽出した前記検言 IE/レールに適合して ヽるか否かを検証する検証手段、 前記検証手段にお!、て不適合と判定された場合、前記検証対象要素の前記検証 ルールへの不適合を解消するために操作すべき位置を表示する検証結果表示手段

として機能させることを特徴とする業務モデル図作成支援プログラム。

[2] 前記検証結果表示手段は、前記検証手段にお!、て不適合と判定された場合、前 記検 SE/レールに不適合な構成要素を前記検 SE/レールに適合させるための対処法が 登録された対処法情報を参照し、不適合と判断した際の前記検 SE/レールに前記検 証対象要素を適合させるための対処法を表示することを特徴とする請求の範囲第 1 項記載の業務モデル図作成支援プログラム。

[3] 前記検証結果表示手段は、前記業務モデル図の前記モデル構造を示す図上に、 前記検証対象要素の位置を表示することを特徴とする請求の範囲第 1項記載の業務 モデル図作成支援プログラム。

[4] 前記検証結果表示手段は、前記業務モデル図上に、前記業務モデル図内での前 記検証対象要素の位置を表示することを特徴とする請求の範囲第 1項記載の業務モ デル図作成支援プログラム。

[5] 前記検証手段は、予め保持された複数の前記検iE/レールのうち、ユーザによって 指定された前記検 SE/レールを前記検証対象要素に適用することを特徴とする請求の 範囲第 1項記載のモデル構造作成支援プログラム。

[6] 前記検証手段は、前記検 SE/レールに対して予め設定された検証タイミングになつ たとき、前記検証対象要素が前記検言 IE/レールに適合して ヽるカゝ否かを検証すること を特徴とする請求の範囲第 1項記載のモデル構造作成支援プログラム。

[7] 前記検証手段は、前記業務モデル図の構成要素を定義するデータを直接検証す る前記検iE/レールを用いて、前記検証対象要素を検証することを特徴とする請求の 範囲第 1項記載のモデル構造作成支援プログラム。

[8] 前記検証結果表示手段は、前記検証手段にお!、て不適合と判定された場合、前 記検 SE/レールに適合しな 、ことの重要度のレベルを、エラーメッセージと共に表示す ることを特徴とする請求の範囲第 1項記載のモデル構造作成支援プログラム。

[9] 前記検証手段は、検証結果にタイムスタンプを付与して、記憶手段に蓄積し、 前記検証結果表示手段は、前記記憶手段に蓄積された検証結果に基づいて、前 記検iE/レールに不適合と判定された構成要素の発生状況の推移を示す統計情報を 生成し、前記統計情報を表示することを特徴とする請求の範囲第 1項記載のモデル 構造作成支援プログラム。

[10] 前記検証手段は、ユーザによって任意に定義された前記検 SE/レールによって、前 記検証対象要素の検証を行うことを特徴とする請求の範囲第 1項記載のモデル構造 作成支援プログラム。

[11] 前記検証結果表示手段は、前記検 SE/レールに不適合の前記検証対象要素を前 記検 SE/レールに適合させるための変更パターンが予め設定されており、前記検証手 段において不適合と判定された場合、前記変更パターンに基づいて前記検証対象 要素を変更した前記業務モデル図を表示することを特徴とする請求の範囲第 1項記 載のモデル構造作成支援プログラム。

[12] 前記検証手段は、複数の前記検 SE/レールを含む検 SE/レール集合を複数保持し、 ユーザによって選択された前記検iE/レール集合に含まれる前記検iE/レールを前記 検証対象要素に適用し、適合の有無を判定することを特徴とする請求の範囲第 1項 記載のモデル構造作成支援プログラム。

[13] コンピュータにより、利用者の業務モデルの構造を表す業務モデル図の作成を支 援するための業務モデル図作成支援方法において、

モデル構造解析手段が、図形と線とを構成要素とする前記業務モデル図を解析し 、前記業務モデル図を構成する各構成要素の種別を判別し、構成要素間の関係を 示すモデル構造を生成し、

検証手段が、前記構成要素の少なくとも一部を検証対象要素として選択し、前記業 務モデル図の構成要素が満たすべき条件が予め設定された検iE/レールの中から、 選択した前記検証対象要素の種別に対応する検 SE/レールを抽出し、選択した前記 検証対象要素が、抽出した前記検言 IE/レールに適合して 、る力否かを検証し、 検証結果表示手段が、前記検証手段において不適合と判定された場合、前記検 証対象要素の前記検iEレールへの不適合を解消するために操作すべき位置を表示 する、

ことを特徴とする業務モデル図作成支援方法。

[14] 利用者の業務モデルの構造を表す業務モデル図の作成を支援する業務モデル図 作成支援装置において、

図形と線とを構成要素とする前記業務モデル図を解析し、前記業務モデル図を構 成する各構成要素の種別を判別し、構成要素間の関係を示すモデル構造を生成す るモデル構造解析手段と、

前記構成要素の少なくとも一部を検証対象要素として選択し、前記業務モデル図 の構成要素が満たすべき条件が予め設定された検 SEレールの中から、選択した前 記検証対象要素の種別に対応する検 SE/レールを抽出し、選択した前記検証対象要 素力 抽出した前記検言 IE/レールに適合している力否かを検証する検証手段と、 前記検証手段にお!、て不適合と判定された場合、前記検証対象要素の前記検証 ルールへの不適合を解消するために操作すべき位置を表示する検証結果表示手段 と、

を有することを特徴とする業務モデル図作成支援装置。

[15] 利用者の業務モデルの構造を表す業務モデル図の作成を支援する業務モデル図 作成支援プログラムを記録したコンピュータ読み取り可能な記録媒体において、 コンピュータを、 図形と線とを構成要素とする前記業務モデル図を解析し、前記業務モデル図を構 成する各構成要素の種別を判別し、構成要素間の関係を示すモデル構造を生成す るモデル構造解析手段、

前記構成要素の少なくとも一部を検証対象要素として選択し、前記業務モデル図 の構成要素が満たすべき条件が予め設定された検 SEレールの中から、選択した前 記検証対象要素の種別に対応する検 SE/レールを抽出し、選択した前記検証対象要 素力 抽出した前記検言 IE/レールに適合して ヽるか否かを検証する検証手段、 前記検証手段にお!、て不適合と判定された場合、前記検証対象要素の前記検証 ルールへの不適合を解消するために操作すべき位置を表示する検証結果表示手段

として機能させることを特徴とする業務モデル図作成支援プログラムを記録したコン ピュータ読み取り可能な記録媒体。