(57)【要約】【課題】業務や要件を自動的に検証する技術を提供する。【解決手段】本方法は、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた業務フローを表す二つのデータから、異なるグループに属するアクティビティを接続するデータフローの属性値を抽出するステップと、二つのデータから抽出した属性値について差分を検出するステップを含む。【選択図】図６
2013047877.tif 000002
【特許請求の範囲】
【請求項１】
第１の業務フローデータ格納部に格納されており、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第１の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第１の属性値抽出ステップと、
第２の業務フローデータ格納部に格納されており、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、前記観点と同一の観点によりアクティビティがグルーピングされた第２の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第２の属性値抽出ステップと、
前記第１の属性値抽出ステップにより抽出されるデータフローの属性値と、前記第２の属性値抽出ステップにより抽出されるデータフローの属性値との差分を検出して差分データ格納部に格納する差分検出ステップと、
を含み、コンピュータにより実行される検証方法。
【請求項２】
前記第１の業務フローに対して、ユーザから前記グループの設定を受け付けるステップと、
前記グループが設定された第１の業務フローを表すデータを格納部に格納するステップと、
前記第２の業務フローに対して、ユーザから前記グループの設定を受け付けるステップと、
前記グループが設定された第２の業務フローを表すデータを格納部に格納するステップと、
を更に含む、請求項１記載の検証方法。
【請求項３】
前記第１の属性値抽出ステップ及び第２の属性値抽出ステップにて抽出されるデータフローの属性値には、前記データフローの配列順を含む、
請求項１又は２記載の検証方法。
【請求項４】
前記第１の属性値抽出ステップ及び第２の属性値抽出ステップにて抽出されるデータフローの属性値には、データフローの接続元、データフローの接続先、データフローの名称のうち少なくとも一つを含む、
請求項１乃至３のいずれか１つ記載の検証方法。
【請求項５】
前記差分検出ステップの検出結果から、前記第２の業務フローの整合性を判定する判定ステップ
を更に含む、請求項１乃至４のいずれか１つ記載の検証方法。
【請求項６】
前記差分検出ステップにより抽出された差分から指摘事項を生成するステップ
を更に含む、請求項１乃至５のいずれか１つ記載の検証方法。
【請求項７】
前記第１の業務フローを表すデータについて、画像形式のデータから、所定のデータ構造を有するテキスト形式のデータに変換する第１の業務フローデータ変換ステップと、
前記第２の業務フローを表すデータについて、画像形式のデータから、所定のデータ構造を有するテキスト形式のデータに変換する第２の業務フローデータ変換ステップと、
を更に含む、請求項１乃至６のいずれか一つ記載の検証方法。
【請求項８】
前記第１の業務フローデータ変換ステップにより得られた変換後の第１の業務フローを表すデータについて、ユーザからの修正指示を受け付けるステップと、
前記第２の業務フローデータ変換ステップにより得られた変換後の第２の業務フローを表すデータについて、ユーザからの修正指示を受け付けるステップと、
を更に含む、請求項７に記載の検証方法。
【請求項９】
第１の業務フローデータ格納部に格納されており、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第１の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第１の属性値抽出ステップと、
第２の業務フローデータ格納部に格納されており、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、前記観点と同一の観点によりアクティビティがグルーピングされた第２の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第２の属性値抽出ステップと、
前記第１の属性値抽出ステップにより抽出されるデータフローの属性値と、前記第２の属性値抽出ステップにより抽出されるデータフローの属性値との差分を検出して差分データ格納部に格納する差分検出ステップと、
を、コンピュータが実行する検証プログラム。
【請求項１０】
第１の業務フローデータ格納部に格納されており、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第１の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出し、
第２の業務フローデータ格納部に格納されており、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第１の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する属性値抽出部と、
前記属性値抽出部により、前記第１の業務フローを表すデータから抽出された属性値と、前記第２の業務フローを表すデータから抽出された属性値との差分を検出して差分データ格納部に格納する差分検出部と、
を有する検証装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本技術は、検証技術に関する。
【背景技術】
【０００２】
様々な業務において、予め定められた要件に基づき業務を遂行するように統制することは、ガバナンスの強化、業務の標準化や効率化等の観点から重要である。この要件は管理部隊により作成され、文書化等されて周知される。そして、業務遂行部隊がこの要件を解釈して業務を遂行することとなる。しかし、業務遂行部隊は、予め定められた要件に対する理解不足や思いこみ等から、独自の判断にて手順等を削除したり追加したり変更したりすることがあり、実際の業務が予め定められた要件を満たさず、統制が図られていない場合がある。
【０００３】
また、管理部隊による要件の作成において、実際の業務についての分析や理解が不足していると、作成した要件が実際の業務に適さないものとなる場合がある。
【０００４】
従来技術には、模範作業者の操作履歴を示す手本ログから、必須手順を並べたワークフローを生成し、一般作業者の操作履歴を実績ログとして記録し、ワークフローに不実行手順がある場合は留意手順として通知する技術がある。
【０００５】
また、ＩＤＥＦ（ＩＣＡＭ（Integrated Computer Aided Manufacturing） DEFinition）は、企業活動の様々な特性を、簡明かつ正確に分析し、伝達する手法であり、図表化の技術である。ＩＤＥＦ方法論は、表現しようとする特性毎に追番が付され整理されており、現在１６の対象が選定されている。このうち、ＩＤＥＦ０、ＩＤＥＦxはＦＩＰＳ（Federal Information Processing Standards：連邦情報処理標準）として標準化され、広く活用されている。そして、ＩＤＥＦ０は、製造プロセスや事業プロセスを、機能と物（物体・情報・人・金銭などを含む）の関連で捉え、ボックスと矢印線を用い、階層的に記述する方法である。
【先行技術文献】
【特許文献】
【０００６】
【特許文献１】特開２００９−１１６６７３号公報
【非特許文献】
【０００７】
【非特許文献１】谷口浩之、外３名、「ＩＤＥＦ０を用いた情報セキュリティ対策の評価支援」、研究報告コンピュータセキュリティ（ＣＳＥＣ）、日本、一般社団法人情報処理学会、２０１０年６月２４日、第２０１０−ＣＳＥＣ−５０巻、第４１号、ｐ．１−６
【非特許文献２】谷口浩之、外３名、「ＥＳＧモデルに基づく情報セキュリティ対策の評価支援」、研究報告マルチメディア通信と分散処理（ＤＰＳ）、日本、一般社団法人情報処理学会、２０１１年３月３日、第２０１１−ＤＰＳ−１４６巻、第２２号、ｐ．１−６
【発明の概要】
【発明が解決しようとする課題】
【０００８】
上記したように、実際の業務が予め定められた要件を満たしていない場合や、予め定められた要件が実際の業務に適さないものである場合がある。このため、実際の業務手順が要件を満たしているか検証したり、予め定められた要件が実際の業務に適しているかを検証したりすることは非常に重要である。
【０００９】
従って、本技術の目的は、業務や要件を自動的に検証する新規な技術を提供することである。
【課題を解決するための手段】
【００１０】
本技術に係る検証方法は、（Ａ）第１の業務フローデータ格納部に格納されており、情報セキュリティ管理基準を基にＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第１の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第１の属性値抽出ステップと、（Ｂ）第２の業務フローデータ格納部に格納されており、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、前記観点と同一の観点によりアクティビティがグルーピングされた第２の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第２の属性値抽出ステップと、（Ｃ）前記第１の属性値抽出ステップにより抽出されるデータフローの属性値と、前記第２の属性値抽出ステップにより抽出されるデータフローの属性値との差分を検出して差分データ格納部に格納する差分検出ステップとを含む。
【発明の効果】
【００１１】
業務や要件を自動的に検証できるようになる。
【図面の簡単な説明】
【００１２】
【図１】図１は、ＥＳＧ−ＩＤＥＦ０記法を説明するための図である。
【図２】図２は、第１の業務フローを表すデータの一例を示す図である。
【図３】図３は、第２の業務フローを表すデータの一例を示す図である。
【図４】図４は、グループ設定後の第１の業務フローを表すデータの一例を示す図である。
【図５】図５は、グループ設定後の第２の業務フローを表すデータの一例を示す図である。
【図６】図６は、検証システムの機能ブロック図の一例を示す図である。
【図７】図は、第１の業務フローデータ処理の処理フローの一例を示す図である。
【図８】図８は、第２の業務フローデータ処理の処理フローの一例を示す図である。
【図９】図９は、検証処理の処理フローの一例を示す図である。
【図１０】図１０は、第１の業務フローデータ処理と第２の業務フローデータ処理と検証処理の順序の一例を示す図である。
【図１１】図１１は、第１の業務フローデータ処理と第２の業務フローデータ処理と検証処理の順序の一例を示す図である。
【図１２】図１２は、第１の業務フローデータ処理と第２の業務フローデータ処理と検証処理の順序の一例を示す図である。
【図１３Ａ】図１３Ａは、第１の業務フローデータ処理と第２の業務フローデータ処理と検証処理の順序の一例を示す図である。
【図１３Ｂ】図１３Ｂは、第１の業務フローデータ処理と第２の業務フローデータ処理と検証処理の順序の一例を示す図である。
【図１４】図１４は、第１のグループ設定処理の処理フローの一例を示す図である。
【図１５】図１５は、変換後の第１の業務フローを表すデータの一例を説明する図である。
【図１６】図１６は、第１の業務フローデータ変換処理の処理フローの一例を示す図である。
【図１７】図１７は、定義データの一例を示す図である。
【図１８】図１８は、第１の属性値抽出処理の処理フローの一例を示す図である。
【図１９】図１９は、属性値取得処理の処理フローの一例を示す図である。
【図２０Ａ】図２０Ａは、中間データ格納部に格納される属性値データの例を説明する図である。
【図２０Ｂ】図２０Ｂは、中間データ格納部に格納される属性値データの例を説明する図である。
【図２１】図２１は、第１の属性値データの一例を示す図である。
【図２２】図２２は、第２のグループ設定処理の処理フローの一例を示す図である。
【図２３】図２３は、第２の業務フローデータ変換処理の処理フローの一例を示す図である。
【図２４】図２４は、第２の属性値抽出処理の処理フローの一例を示す図である。
【図２５】図２５は、変換後の第２の業務フローを表すデータの一例を示す図である。
【図２６】図２６は、第２の属性値データの一例を示す図である。
【図２７】図２７は、差分検出処理の処理フローの例を示す図である。
【図２８】図２８は、不一致抽出処理の処理フローの一例を示す図である。
【図２９】図２９は、順不同抽出処理の処理フローの一例を示す図である。
【図３０】図３０は、差分データの一例を示す図である。
【図３１】図３１は、検証処理の処理フローの一例を示す図である。
【図３２】図３２は、検証結果データの一例を示す図である。
【図３３】図３３は、第２の属性値データの一例を示す図である。
【図３４】図３４は、他の実施例における差分データの一例を示す図である。
【図３５】図３５は、他の実施例における検証結果データの一例を示す図である。
【図３６】図３６は、グループ設定の他の例を示す図である。
【図３７】図３７は、コンピュータの機能ブロック図である。
【発明を実施するための形態】
【００１３】
まず、本実施の形態における検証方法のおおまかな流れについて説明する。本実施の形態では、一例として、メールの誤送信防止を目的としたセキュリティ統制の検証を挙げて説明する。セキュリティーポリシーを表すポリシ文書には、メールの誤送信を防止するために情報セキュリティ管理上行うべき手順、すなわち要件が記述されている。ここでは、ポリシ文書は「メール誤送信対策ツールをインストールし、メール送信時、ポップアップ警告が表示された場合には、送信先に間違いが無いか確認する。」という文書が記述されているものとする。このポリシ文書は、セキュリティ管理部隊により作成され、業務遂行部隊に周知される。業務遂行部隊は、ポリシ文書に記述されている要件を解釈し、要件に従って実装（メーラーのインストール等）や運用（メール送信等）を行うこととなる。
【００１４】
また、本実施の形態では、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成されたフローを用いる。モデル表記には、ＩＤＥＦ０を拡張したＥＳＧ−ＩＤＥＦ０という記法を採用するものとする。具体的には、図１に示すように、矩形でアクティビティを表す。また、アクティビティの上側からの矢印は、非同期で入力される入力データフロー（ガバナンスデータフロー）を表し、このデータフローについての条件データが示される。また、アクティビティの左側からの矢印は、同期をとって入力される入力データフローを表している。また、アクティビティの右側への矢印は、出力データを表す。また、アクティビティの下側からの矢印は、リソースの入力データフローを表している。
【００１５】
本実施の形態では、アクティビティを縦軸方向に連結することによって、統制や依存関係を表す。また、アクティビティを横軸方向に連結することによって、ワークフローを表す。具体的には、動作の流れや依存関係を表す。
【００１６】
このような前提の下、上述したポリシ文書に記載されている要件は、図２に示すような業務フローとして表現できる。また、実際の業務については、業務の遂行状態を調査し、その結果、図３に示すような業務フローとして表現できる。なお、各業務フローの作成は、ある程度の経験とスキルを有するユーザが行っても良いし、作成を支援する装置があれば、それを用いても良い。
【００１７】
本実施の形態において特徴的な点は、ユーザが定める所定の観点に基づいて、アクティビティが複数のグループにグルーピングされている点にある。本実施の形態では、図２及び図３に示される業務フローについて、管理レイヤ（セキュリティ統制の体制に基づく階層）に基づいて、「管理統制」「実装統制」「運用統制」「業務」の４つのグループＧ１〜Ｇ４が設定されている。図４は、図２に示される業務フローについて複数のグループＧ１〜Ｇ４を設定したものであり、図５は、図３に示される業務フローについて複数のグループＧ１〜Ｇ４を設定したものである。
【００１８】
なお、本実施の形態では、業務フローについて、管理レイヤの観点から境界線ｂ１〜ｂ３を設けたときに、その境界線ｂ１〜ｂ３により分割されて形成される一つ一つの区画（レーン）がグループを表している。
【００１９】
そして、本実施の形態では、図４及び図５に示されるグループ設定後の業務フローについて、一方の業務フローを検証の基準とし、他方の業務フローを検証の対象として比較し、異なるグループに属するアクティビティを接続するデータフローについて、その属性値の差分を検出する。以下、図４及び図５を用いて説明する。図４に示される業務フローにおいて、異なるグループに属するアクティビティを接続するデータフローは、グループＧ１「管理統制」に属するアクティビティ「周知」とグループＧ２「実装統制」に属するアクティビティ「インストール」を接続するデータフローｆ１、グループＧ２「実装統制」に属するアクティビティ「インストール」とグループＧ３「運用統制」に属するアクティビティ「ポップアップ表示」「確認」「メール送信」を接続するデータフローｆ２，ｆ３，ｆ４及びｆ５、グループＧ２「実装統制」に属するアクティビティ「インストール」とグループＧ４「業務」に属するアクティビティ「メール送信」とを接続するデータフローｆ６、グループＧ３「運用統制」に属するアクティビティ「ポップアップ表示」「メール送信」とグループＧ４「業務」に属するアクティビティ「メール送信」とを接続するデータフローｆ７及びｆ８である。また、図５に示される業務フローは、図４に示される業務フローとほぼ同じであるが、データフローｆ４１及びｆ４２が相違する。グループＧ２「実装統制」のアクティビティ「インストール」を接続元とするデータフローｆ４１は接続先が「？」となっており、グループＧ３「運用統制」のアクティビティ「確認」を接続先とするデータフローｆ４２は、接続元が存在しない。すなわち、異なるグループに属するアクティビティを接続するデータフローの属性値として、図４ではデータフローｆ４の属性値が抽出されるが、図５ではｆ４１及び４２の属性値は抽出されない。その結果、データフローｆ４の有無が差分として検出される。
【００２０】
本実施の形態において、異なるグループに属するアクティビティを接続するデータフローは縦軸方向のデータフローである。縦軸方向のデータフローは統制や依存関係を表していることから、検証基準の業務フローと検証対象の業務フローとを比較したときに、異なるグループに属するアクティビティを接続するデータフローの属性値に差分があるということは、統制や依存関係に不整合があることを意味する。そこで、この検出結果に基づいて、下記のようにセキュリティ統制の検証が行われる。
【００２１】
まず、ポリシ文書に示されるセキュリティポリシが適切である、すなわち、予め定められた要件が適切であることを前提とし、実際の業務プロセスが要件を満たしているかを検証する場合について説明する。この場合は、予め定められた要件（セキュリティポリシ）に基づき作成された業務フロー（図４参照）を基準として、実際の業務に基づいて作成された業務フロー（図５参照）の検証を行う。具体的には、上記検出結果として差分が検出されない場合は、情報セキュリティ管理上行うべき手順が守られている（統制がとれている）ことを意味し、実際のメール送信業務が要件を満たしていると判断できる。差分が検出された場合は、情報セキュリティ管理上行うべき手順が守られていない（統制がとれていない）ことを意味し、実際のメール送信業務が要件を満たしていないと判断できる。上記の通り、図４と図５では、データフローｆ４の有無が差分として検出されるため、統制がとれておらず、実際のメール送信業務が要件を満たしていないと判断できる。
【００２２】
次に、実際の業務が適切であることを前提とし、予め定められた要件（セキュリティポリシ）が実際の業務に適しているかを検証する場合について説明する。この場合は、実際の業務に基づいて作成された業務フロー（図５参照）を基準として、予め定められた要件（セキュリティポリシ）に基づき作成された業務フロー（図４参照）の検証を行う。具体的には、上記検出結果として差分が検出されない場合は、要件は実際の業務に適していると判断できる。差分が検出された場合は、要件が実際の業務に適していないと判断できる。上記の通り、図４と図５とでは、データフローｆ４の有無が差分として検出されるため、情報セキュリティ管理上行うべき手順が実際の業務に適していないと判断できる。
【００２３】
すなわち、上記二つの前提のいずれにおいても、基準となる業務フローが適切であり、グループ間の統制や依存関係が整合していることを前提として、次のように考えることができる。検証の基準となる業務フロー（以下、検証基準業務フローと言う）と検証の対象となる業務フロー（以下、検証対象業務フローと言う）を比較し、異なるグループに属するアクティビティを接続するデータフローの差分を検出する。差分が検出されない場合は、検証対象業務フローのグループ間の依存関係が整合していることを意味する。すなわち、実際の業務が正しく遂行されている、若しくは、要件が実際の業務に適していると判断できる。一方、差分が検出された場合は、検証対象フローのグループ間の依存関係が不整合であることを意味する。すなわち、実際の業務が正しく遂行されていない、若しくは、要件が実際の業務に適していないと判断できる。
【００２４】
以下、本実施の形態の検証システム及び方法について、詳細に説明する。図６は、本実施の形態に係る検証システム１００の機能ブロック図である。検証システム１００は、業務フローデータ処理部１０と、第１の業務フローデータ格納部１１４と、第１の属性値データ格納部１１５と、第２の業務フローデータ格納部２１４と、第２の属性値データ格納部２１５と、変換ルール格納部１６と、中間データ格納部１７と、検証部２０と、差分データ格納部２４と、検証結果格納部２５と、指摘事項生成ルール格納部２６とを有する。また、業務フローデータ処理部１０は、グループ設定部１１と、業務フローデータ変換部１２と、属性値抽出部１３とを有する。また、検証部２０は、差分検出部２１と、判定部２２と、指摘事項生成部２３とを備える。
【００２５】
業務フローデータ処理部１０は、ユーザからの指示に応じて第１の業務フローデータ処理を行う場合は、第１の業務フローデータ格納部１１４に格納されているデータを取得して所定の処理を行い、生成したデータを第１の属性値データ格納部１１５に格納する。詳しくは、グループ設定部１１は、第１の業務フローデータ格納部１１４に格納されているデータを取得してグループを設定する処理を行い、グループ設定後のデータを第１の業務フローデータ格納部１１４に格納する。業務フローデータ変換部１２は、第１の業務フローデータ格納部１１４に格納されているグループ設定後のデータを所定の処理により変換し、変換後のデータを第１の業務フローデータ格納部１１４に格納する。属性値抽出部１３は、第１の業務フローデータ格納部１１４に格納されている変換後のデータを取得して処理を行い、生成したデータを第１の属性値データ格納部１１５に格納する。
【００２６】
また、業務フローデータ処理部１０は、ユーザからの指示に応じて第２の業務フローデータ処理を行う場合は、第２の業務フローデータ格納部２１４に格納されているデータを取得して所定の処理を行い、生成したデータを第２の属性値データ格納部２１５に格納する。詳しくは、グループ設定部１１は、第２の業務フローデータ格納部２１４に格納されているデータを取得してグループを設定する処理を行い、グループ設定後のデータを第２の業務フローデータ格納部２１４に格納する。業務フローデータ変換部１２は、第２の業務フローデータ格納部２１４に格納されているグループ設定後のデータを所定の処理により変換し、変換後のデータを第２の業務フローデータ格納部２１４に格納する。属性値抽出部１３は、第２の業務フローデータ格納部２１４に格納されている変換後のデータを取得して処理を行い、生成したデータを第２の属性値データ格納部２１５に格納する。なお、変換ルール格納部１６には、業務フローデータ変換部１２の処理に用いられるデータが格納されている。また、中間データ格納部１７は、業務フローデータ処理部１０の作業領域である。
【００２７】
検証部２０は、第１の属性値データ格納部１１５に格納されているデータと、第２の属性値データ格納部２１５に格納されているデータを取得して処理を行い、生成したデータを検証結果格納部２５に格納する。詳しくは、差分検出部２１は、第１の属性値データ格納部１１５と第２の属性値データ格納部２１５からデータを取得して処理を行い、生成したデータを差分データ格納部２４に格納する。判定部２２は、差分データ格納部２４からデータを取得して処理を行い、生成したデータを検証結果格納部２５に格納する。また、指摘事項生成部２３は、判定部２２の処理結果を受けて処理を行い、生成したデータを検証結果格納部２５に格納する。なお、指摘事項生成ルール格納部２６には、指摘事項生成部２３の処理に用いられるデータが格納されている。検証結果格納部２５に格納されているデータは、ユーザに提示される。
【００２８】
以下に、検証システム１００による処理を説明する。図７は、業務フローデータ処理部１０による第１の業務フローデータ処理の処理フローの一例を示す図であり、図８は、業務フローデータ処理部１０による第２の業務フローデータ処理の処理フローの一例を示す図であり、図９は、検証部２０による検証処理の処理フローの一例を示す図である。
【００２９】
なお、第１の業務フローデータ処理と第２の業務フローデータ処理と検証処理の順序は、検証処理の前に第１の業務フローデータ処理と第２の業務フローデータ処理が実行されていれば良い。たとえば、図１０に示すように、第１の業務フローデータ処理と第２の業務フローデータ処理が各々独立して事前に行われ、その後に検証処理が行われても良い。また、図１１に示すように、第１の業務フローデータ処理が事前に行われ、その後に、第２の業務フローデータ処理と検証処理とが連続的に行われても良い。また、図１２に示すように、第２の業務フローデータ処理が事前に行われ、その後に、第１の業務フローデータ処理と検証処理とが連続的に行われても良い。また、図１３Ａや図１３Ｂに示すように、第１の業務フローデータ処理と第２の業務フローデータ処理と検証処理とが連続的に行われても良い。
【００３０】
まず、図７に示される第１の業務フローデータ処理について説明する。第１の業務フローデータ処理は、検証の基準となる第１の業務フローを表すデータから、異なるグループに属するアクティビティを接続するデータフローの属性値を抽出する処理である。本実施の形態において、第１の業務フローを表すデータは、図２に示されるデータである。この第１の業務フローを表すデータは、上述の通り、例えば、ポリシ文書などに基づいて作成される。詳細については、上述した通りであるので説明を省略する。第１の業務フローを表すデータは、画像形式のデータとして第１の業務フローデータ格納部１１４に格納される。
【００３１】
図７の説明に戻り、業務フローデータ処理部１０は、ユーザの指示に応じて第１の業務フローデータ処理を行う場合、第１の業務フローデータ格納部１１４から第１の業務フローを表すデータを取得して処理を行う。まず、業務フローデータ処理部１０のグループ設定部１１が、第１のグループ設定処理（図７：ステップＳ１１）を実行する。図１４は、第１のグループ設定処理の処理フローの一例を示す図である。グループ設定部１１は、第１の業務フローデータ格納部１１４から第１の業務フローを表すデータを取得し（図１４：ステップＳ４１）、第１の業務フローを表示装置に表示させる（ステップＳ４３）。ユーザは、表示された第１の業務フローに対して、例えば、矩形枠をマウスで描画してアクティビティを囲む等により、アクティビティを複数のグループにグルーピングする。グループ設定部１１は、ユーザにより入力されたグループの設定を受け付ける（ステップＳ４５）。グループ設定部１１は、ユーザからグループ設定完了指示があるかを判断し（ステップＳ４７）、完了指示がない場合（ステップＳ４７のＮｏルート）は、ステップＳ４５に戻って、グループの設定の受付を継続する。完了指示があった場合（ステップＳ４７のＹｅｓルート）はステップＳ４９に進み、グループが設定された第１の業務フローを表すデータ（図４参照）を、第１の業務フローデータ格納部１１４に格納する（ステップＳ４９）。なお、グループについては、上述したため説明を省略する。
【００３２】
図７の説明に戻り、次に、業務フローデータ変換部１２が第１の業務フローデータ変換処理を行う（ステップＳ１３）。第１の業務フローデータ変換処理は、図４に示されるグループ設定後の第１の業務フローを表すデータを、画像形式のデータから、図１５に示される所定のデータ構造を有するテキスト形式のデータに変換する処理である。図１６は、第１の業務フローデータ変換処理の処理フローの一例を示す図である。業務フローデータ変換部１２は、グループ設定後の第１の業務フローを表すデータ（図４参照）を第１の業務フローデータ格納部１１４から取得する（図１６：ステップＳ５１）。次に、業務フローデータ変換部１２は、変換ルール格納部１６に格納されている所定の変換ルールに従って、グループ設定後の第１の業務フローを表すデータを、画像形式のデータ（図４参照）から、所定のデータ構造を持つテキスト形式のデータ（図１５参照）に変換する（ステップＳ５３）。ここでは、文字列がテキストデータである表形式のデータである。
【００３３】
図１５は、変換後の第１の業務フローを表すデータの一例を説明する図である。項目として、グループの番号とグループ名の項目ａ１、グループの優先順位の項目ａ２、そのグループに属するアクティビティのアクティビティ番号とアクティビティ名の項目ａ３、そのアクティビティを接続先とする入力データフローの項目ａ４、そのアクティビティを接続元とする出力データフローの項目ａ５、そのアクティビティを接続先とするリソースのリソース名の項目ａ６を有する。また、入力データフローの項目ａ４は、入力データフロー番号と入力データフロー名の項目ａ４１、接続元のアクティビティが属するグループのグループ名とそのアクティビティ名の項目ａ４２、入力種別の項目ａ４３、内容の項目ａ４４が含まれる。また、出力データフローの項目ａ５には、出力データフロー番号と出力データフロー名の項目ａ５１、内容の項目ａ５２、接続先のアクティビティが属するグループとそのアクティビティ名の項目ａ５３が含まれる。
【００３４】
なお、図１５は、説明の便宜上、変換後の第１の業務フローを表すデータについて一部を抜粋したものである。すなわち、図１５はグループ名「実装統制」「運用統制」のグループについて記載したものであり、グループ名「管理統制」「業務」のグループについては記載を省略してあるが、実際には、これらのデータも含まれる。
【００３５】
そして、業務フローデータ変換部１２による変換処理（ステップＳ５３）は、例えば次のように実行される。変換ルール格納部１６には、変換ルールとして定義データが格納されている。図１７は、定義データの一例を示す図である。定義データには、（Ａ）矩形枠はアクティビティを示し、（Ｂ）矩形枠内の文字列はアクティビティ名であり、（Ｃ）矩形枠の上側に接続する矢印が入力データフロー（入力種別は「非同期」）であり、（Ｄ）矢印末端付近に位置する文字列は入力データフロー名であり、（Ｅ）矩形枠の左側に接続する矢印が入力データフロー（入力種別は「同期」）であり、（Ｆ）その矢印末端付近に位置する文字列は入力データフロー名であり、（Ｇ）矩形枠の下側に接続する矢印が入力データフロー（入力種別は「リソース」）であり、（Ｈ）その矢印の途中に位置する文字列はリソース名であることが定義されている。また、変換ルール格納部１６には、第１のグループ設定処理（図７：ステップＳ１１）にて設定された矩形枠がグループを示すことを定義したルールが格納されている。業務フローデータ変換部１２は、この変換ルールに基づいて、グループ設定後の第１の業務フローを表すデータ（図４参照）から図形を認識し、要素データに分解する。
【００３６】
また、変換ルール格納部１６には、変換後の第１の業務フローを表すデータ（図１５参照）の各項目の値と、図４に示す画像形式のデータとの対応付けのための変換ルールが格納されている。以下に、その対応付けの一例を説明する。なお、図１５の入力データフローの項目ａ４の値に付与した符号ｆ１，ｆ２，ｆ７，ｆ３，ｆ１１，ｆ４，ｆ１０，ｆ８及びｆ５は、図４の符号と対応している。すなわち、図１５において各符号が指し示すデータは、その符号が付与された入力データフローの属性値であることを意味している。
【００３７】
グループ番号とグループ名の項目ａ１に含まれるグループ番号の値は、図４においてグループの配列順により認識される。ここでは、配列順は上から下と定められており、グループＧ１からグループＧ４の順序にてグループ番号１から４が付与される。また、グループ番号とグループ名の項目ａ１に含まれるグループ名の値は、図４において所定の位置にある文字列として認識される。ここでは、グループ名は、グループとして認識された矩形の左端に位置する文字列として定められており、グループＧ１が「管理統制」、グループＧ２が「実装統制」、グループＧ３が「運用統制」、グループＧ４が「業務」となる。また、グループの優先順位の項目ａ２の値は、後述する処理においてユーザにより入力されるため、ここでは認識されない。
【００３８】
アクティビティ番号とアクティビティ名の項目ａ３に含まれるアクティビティ番号の値は、グループごとにそのグループに属するアクティビティに付与される通番であり、各グループ内におけるアクティビティの配列順により認識される。ここでは、アクティビティ番号は、左から右の配列順序で通番が付与される。例えば、グループＧ３について説明すると、アクティビティ「ポップアップ表示」「確認」「メール送信」順序にて通番１から３が付与される。また、アクティビティ番号とアクティビティ名の項目ａ３に含まれるアクティビティ名の値は、所定の位置の文字列として認識される。本実施の形態では、アクティビティとして認識された矩形内の文字列であり、例えば、グループＧ３に属するアクティビティについて説明すると、「ポップアップ表示」「確認」「メール送信」がアクティビティ名として認識される。
【００３９】
符号ａ４で示される項目は、項目ａ３の値で示されるアクティビティを入力先とする入力データフローについての項目である。ただし、入力種別がリソースの入力データフローのうち、接続元のアクティビティが存在しない入力データフローについては、リソース名の項目ａ６の値として認識され、項目ａ４の値としては認識されない。たとえば、図４において、グループＧ２に属するアクティビティ名「インストール」のアクティビティに対する入力データフローｆ１２を例に説明すると、接続元のアクティビティが存在しないため、入力データフローの項目ａ４の値ではなく、リソース名の項目ａ６の値として認識される。
【００４０】
入力データフロー番号と入力データフロー名の項目ａ４１に含まれる入力データフロー番号の値は、アクティビティ毎にそのアクティビティを接続先とする入力データフローに付与される通番である。通番は、所定の配列順序にて付与される。本実施の形態では、入力データフローの入力種別に基づく順序（ここでは、リソース、同期、非同期の順序）で通番が付与される。入力種別が同一の入力データフローが複数存在する場合は、所定の配列順序（ここでは、入力種別が同期の場合は、接続位置が上から下の配列順、非同期又はリソースの場合は接続位置が左から右の配列順）にて通番が付与される。例えば、図４において、グループＧ３のアクティビティ名「ポップアップ表示」のアクティビティに対する入力データフローを例に説明すると、入力データフローｆ２，ｆ７，ｆ３の順序にて通番「１，２，３」が付与される。また、グループＧ３のアクティビティ名「メール送信」のアクティビティに対する入力データフローを例に説明すると、入力データフローｆ１０，ｆ８，ｆ５の順序で通番「１，２，３」が付与される。このとき、入力種別が同期である入力データフローはｆ１０，ｆ８の二つが存在するため、接続位置が上から下の配列順に基づいてデータフローｆ１０，ｆ８の順序で通番「１，２」が付与される。
【００４１】
また、入力データフロー番号と入力データフロー名の項目ａ４１に含まれる入力データフロー名の値は、所定の位置の文字列として認識される。ここでは、入力データフロー名は、矢印の末端付近の文字列として認識される。例えば、グループＧ３に属するアクティビティ名「ポップアップ表示」のアクティビティに対する入力データフローを例に説明すると、入力データフローｆ２，ｆ７，ｆ３の入力データフロー名は「メールチェッカ」「メール」「ポップアップ設定」となる。
【００４２】
入力種別の項目ａ４２の値は、接続先のアクティビティに対する入力データフローの接続位置により認識される。ここでは、接続位置がアクティビティを示す矩形の上側の場合は非同期、左側の場合は同期、下側の場合はリソースとして認識される。たとえば、グループＧ３に属するアクティビティ名「ポップアップ表示」のアクティビティに対する入力データフローを例に説明すると、入力データフローｆ３は非同期、入力データフローｆ７は同期、入力データフローｆ２はリソースとなる。なお、上述したが、入力種別がリソースの入力データフローのうち、接続元のアクティビティが存在しない入力データフローについては、符号ａ６で示される項目の値として認識される。
【００４３】
また、接続元グループ名とアクティビティ名の項目ａ４２の値は、入力データフローの末端が接続するアクティビティについて、そのアクティビティが属するグループのグループ名及びそのアクティビティ名として認識される。例えば、グループＧ３に属するアクティビティ名「ポップアップ表示」のアクティビティに対する入力データフローを例に説明すると、入力データフローｆ２，ｆ７，ｆ５の接続元グループ名とアクティビティ名は「実装統制／インストール」「業務／メール送信」「実装統制／インストール」となる。
【００４４】
内容の項目ａ４４の値は、後述する処理にてユーザにより入力されるものであり、ここでは認識されない。
【００４５】
符号ａ５で示される項目は、符号ａ３で示されるアクティビティを接続元とする出力データフローについての項目である。出力データフロー番号と出力データフロー名の項目ａ５１に含まれる出力データフロー番号の値は、アクティビティ毎にそのアクティビティを接続元とする出力データフローに付与される通番であり、所定の配列順で付与される。ここでは、通番は、接続元のアクティビティに対する出力データフローの接続位置が上から下の配列順で付与される。例えば、グループＧ２に属するアクティビティ名「インストール」のアクティビティからの出力データフローを例に説明すると、出力データフローｆ５，ｆ４，ｆ３，ｆ２，ｆ６の順序にて通番「１，２，３，４，５」が付与される。
【００４６】
出力データフロー番号と出力データフロー名の項目ａ５１に含まれる出力データフロー名の値は、所定の位置の文字列（ここでは、出力データフローとして認識された矢印の末端上方付近の文字列）として認識される。例えば、グループＧ２のアクティビティ名「インストール」のアクティビティからの出力データフローを例に説明すると、出力データフローｆ５，ｆ４，ｆ３，ｆ２，ｆ６の出力データフロー名は、「確認基準」「確認基準」「ポップアップ設定」「メールチェッカ」「転送設定」となる。
【００４７】
内容の項目ａ５２の値は、後述する処理にてユーザにより入力されるものであり、ここでは認識されない。接続先グループ名とアクティビティ名の項目ａ５３の値は、矢印の先端が接続するアクティビティを特定し、そのアクティビティが属するグループのグループ名及びそのアクティビティ名として認識される。例えば、グループＧ２のアクティビティ名「インストール」のアクティビティからの出力データフローを例に説明すると、出力データフローｆ５，ｆ４，ｆ３，ｆ２，ｆ６の接続先グループ名とアクティビティ名は、「運用統制／メール送信」「運用統制／確認」「運用統制／ポップアップ表示」「運用統制／ポップアップ表示」「業務／メール送信」となる。
【００４８】
業務フローデータ変換部１２は、上記の認識した各値を上記の各項目と関連付け、図１５に示されるデータ構造を有するテキスト形式のデータを生成する。
【００４９】
図１６の説明に戻り、業務フローデータ変換部１２は、上記のようにして生成された変換後の業務フローを表すデータを第１の業務フローデータ格納部１１４に格納する（ステップＳ５５）。なお、図１５は、後述する処理にてユーザによる修正が行われた後のデータを表しており、現時点でのデータとは異なる。例えば、現時点においては、符号ａ２や符号ａ４４や符号ａ５２で示される項目の値は空欄であり、又、格納済みの値についても異なるものがある。
【００５０】
次に、業務フローデータ変換部１２は、変換後の第１の業務フローのデータを表示装置に出力し、ユーザに提示する（ステップＳ５７）。
【００５１】
ユーザへの提示は、図１５に示すような表形式での表示でも良いし、表形式以外の他の形式で表示しても良い。例えば、図４に示されるような図として表示し、値が空欄の項目については、値を入力する欄を所定位置に表示するようにしても良い。どのような形式の表示においても、ステップＳ５３にて認識されなかった値については、空欄を表示する等して、ユーザに入力を促し、ユーザの指示を受け付ける（ステップＳ５８）。また、表示されるテキストは、ユーザにより修正可能とする。
【００５２】
ユーザは、表示画面を確認し、変換後の第１の業務フローを表すデータに修正がある場合は、修正を加える。すなわち、空欄にデータを入力したり、表示されているテキストを修正したりする。例えば、優先順位の項目ａ２の値や、入力データフローの内容の項目ａ４４の値や、出力データフローの内容の項目ａ５２の値が空欄として表示されるため、この値を入力する。なお、不明な値は「？」を入力するようにしても良い。また、その他の項目の値についても、修正箇所があれば修正する。ユーザは、修正が完了した場合、又は、修正が無い場合は、完了ボタンをクリックする等して、完了の指示を入力する。
【００５３】
図１６の説明に戻り、業務フローデータ変換部１２は、ユーザから完了の指示があるかを判断し（ステップＳ５９）、完了指示がない場合は、ステップＳ５８に戻りユーザからの指示を受け付ける（ステップＳ５９のＮｏルート）。ステップＳ５９にてユーザから完了の完了指示ありと判断した場合は、ステップＳ６１に進む（ステップＳ５９のＹｅｓルート）。そして、業務フローデータ変換部１２は、ステップＳ５８にて入力されたユーザからの修正指示に応じて、変換後の第１の業務フローデータを修正し（ステップＳ６１）、第１の業務フローデータ格納部１１４に格納されている変換後の第１の業務フローを表すデータを、修正後のものに更新する（ステップＳ６３）。第１の業務フローデータ格納部１１４は、図１５に示すデータが格納された状態となる。
【００５４】
図７の処理の説明に戻り、業務フローデータ処理部１０は第１の業務フローデータ変換処理が完了すると、第１の属性値抽出処理（ステップＳ１５）を行う。第１の属性値抽出処理は、第１の業務フローデータから、異なるグループに属するアクティビティを接続するデータフローの属性値を抽出する処理である。図１８は、第１の属性値抽出処理の処理フローの一例を示す図である。属性値抽出部１３は、まず、第１の業務フローデータ格納部１１４から変換後の第１の業務フローを表すデータ（図１５参照）を取得する（図１８：ステップＳ７１）。次に、属性値抽出部１３は、取得した変換後の第１の業務フローを表すデータから、処理対象とするグループを一つ特定する（ステップＳ７３）。すなわち、図１５に示すデータの項目ａ１の列から処理対象とする値を一つ特定する。そして、属性値抽出部１３は、特定したグループに含まれるアクティビティと他のグループに含まれるアクティビティとを接続するデータフローの属性値を取得する。（ステップＳ７５）。
【００５５】
図１９は、ステップＳ７５で説明した属性値取得処理の処理フローの一例を示す図である。属性値抽出部１３は、特定したグループに属するアクティビティを所定の順序にて一つ特定する（ステップＳ８１）。ここでは、アクティビティ番号の順番でアクティビティが特定される。すなわち、ステップＳ７３で特定した項目ａ１の値に対応付けて格納されている項目ａ３の値について、アクティビティ番号の順番で値を一つ特定する。
【００５６】
つぎに、属性値抽出部１３は、特定したアクティビティを接続先とする入力データフローを所定の順序にて一つ特定する（ステップＳ８３）。ここでは、入力データフロー番号の順番で入力データフローが特定される。すなわち、ステップＳ８１で特定した項目ａ３の値に対応付けて格納されている項目ａ４の値について、項目ａ４１に含まれる入力データフロー番号の順番にて値を一つ特定する。
【００５７】
つぎに、属性値抽出部１３は、特定した入力データフローの接続元が他グループに属するアクティビティであるか判断する（ステップＳ８５）。すなわち、Ｓ８３にて特定した項目ａ４の値について、項目ａ４２の接続元グループ名の値が、項目ａ１のグループ名の値と異なるか判断する。そして、属性値抽出部１３は、ステップＳ８５において、他グループではないと判断した場合はステップＳ８３の処理に戻る（ステップＳ８５のＮｏルート）。他グループであると判断した場合は（ステップＳ８５のＹｅｓルート）、特定したデータフローの属性値を取得し、データフロー毎にグループセット識別子を付与し、属性値データとして中間データ格納部１７に格納する（ステップＳ８７）。
【００５８】
図２０Ａは、中間データ格納部１７に格納される属性値データの例を説明する図である。この例は、処理対象のグループを「運用統制」としたときのものである。取得された属性値は、属性値データの各項目の値として格納される。本実施の形態では、属性値は、入力データフロー名、接続元グループ名とアクティビティ名、接続先グループ名とアクティビティ名の値を含む。ただし、取得する属性値は、これに限られるものではない。例えば、図１５で示されるデータにおいて、入力種別の項目ａ４３の値や、内容の項目ａ４４の値を属性値として含めても良い。なお、図２０Ａに示される符号ｆ２，ｆ７，ｆ３，ｆ４，ｆ８及びｆ５は、図４における入力データフローの符号と対応している。
【００５９】
また、属性値データには、ステップＳ８７において属性値に付与されたグループセット識別子が含まれる。グループセット識別子とは、接続元のグループと接続先のグループの組を識別可能な値である。ここでは、グループセット識別子は、図１５で示されるデータの項目ａ１のグループ番号（自グループのグループ番号）の値と、項目ａ４２の接続元グループ名の値に対応するグループ番号（他グループのグループ番号）の値とを、「‐（ハイフン）」で接続したものとしている。例えば、接続元グループと接続先グループがグループ番号「２」とグループ番号「３」である場合は、グループセット識別子は「２−３」となる。また、グループ番号の小さい方が「‐」の前に位置し、大きい方が「‐」の後ろに位置することとしている。
【００６０】
図１９の説明に戻り、属性値抽出部１３は、ステップＳ８１で特定したアクティビティを接続先とするデータフローについて、未処理のデータフローがあるか判断する（ステップＳ８９）。すなわち、ステップＳ８１にて特定した項目ａ３の値に対応付けて格納されている項目ａ４の値について、未処理の値があるか判断する。未処理のデータフローがある場合は、ステップＳ８３の処理に戻る（ステップＳ８９のＹｅｓルート）。未処理のデータフローがない場合はステップＳ９１に進み（ステップＳ８９のＮｏルート）、未処理のアクティビティがあるか判断する（ステップＳ９１）。すなわち、図１８のステップＳ７３にて特定した項目ａ１の値に対応付けて格納されている項目ａ３の値について、未処理の値があるか判断する。未処理のアクティビティがある場合は、ステップＳ８１に戻る（ステップＳ９１のＹｅｓルート）。未処理のアクティビティがない場合は、ステップＳ９３に進み（ステップＳ９１のＮｏルート）、中間データ格納部１７に格納されている各データフローの属性値を、グループセット識別子でグループ分けする（ステップＳ９３）。例えば、図２０Ｂに示すように、属性値は、グループセット識別子「２−３」「３−４」の二つのグループに分けられる。なお、図２０Ｂに示される符号ｆ２，ｆ７，ｆ３，ｆ４，ｆ８及びｆ５は、図４における入力データフローの符号と対応している。
【００６１】
次に、属性値抽出部１３は、グループセット識別子で分けたグループごとに、グループセット内通番を付与し、中間データ格納部に格納する（ステップＳ９５）。グループセット内通番は、アクティビティ番号の順番に従って付与される。また、同一アクティビティに対して複数の入力データフローが存在する場合は、更に、入力データフロー番号の順番に従って通番が付与される。その結果、図２０Ｂに示される属性値データには、グループセット内通番の項目に値が格納される。そして、属性値抽出部１３は、中間データ格納部１７に格納されている属性値データを取得する（ステップＳ９７）。
【００６２】
図１８の説明に戻り、属性値抽出部１３は、取得した属性値データを第１の属性値データ格納部１１５に格納する（ステップＳ７７）。図２１は、第１の属性値データ格納部１１５に格納される第１の属性値データを説明する図である。第１の属性値データの各項目の値は、中間データ格納部１７に格納されていた属性値データの各項目の値が格納される。ただし、グループ名１の項目には、グループセット識別子の先頭番号をグループ番号とするグループ名が格納され、グループ名２の項目には末尾番号をグループ番号とするグループ名が格納される。
【００６３】
また、属性値抽出部１３は、図１５に示されるデータの優先順位の項目ａ２の値から、グループセットを構成する二つのグループの優先順位のデータを取得し、第１の属性値データの優先の項目の値として格納する（ステップＳ７８）。ここでは優先順位の高い方のグループのグループ名を格納する。
【００６４】
そして、属性値抽出部１３は、未処理のグループがあるか判断する（ステップＳ７９）。すなわち、図１５に示されるデータの項目ａ１の列について、未処理の値があるか判断する。未処理のグループがある場合は、ステップＳ７３に戻る（ステップＳ７９のＹｅｓルート）。未処理のグループがない場合は、処理を終了する（ステップＳ７９のＮｏルート）。
【００６５】
以上の処理により、第１の属性値データ格納部１１５には、図２１に示される第１の属性値データが格納される。なお、図２１に示される符号ｆ２，ｆ３，ｆ４，ｆ５，ｆ７及びｆ８は、図４における入力データフローの符号と対応している。なお、図２１は、第１の属性値データの一部抜粋である。すなわち、図２１には、ステップＳ７３においてグループ名「運用統制」のグループを特定したときに生成されるデータについて記載したものであり、実際には、他のグループの各々について特定したときのデータも含まれる。例えば、グループ名「管理統制」のグループについての処理のときは、接続元グループが他のグループである入力データフローが無いため、属性値は取得されない。また、グループ名「実装統制」のグループについての処理のときは、図４に示されるデータフローｆ１の属性値が取得される。また、グループ名「業務」のグループについての処理のときは、図４に示されるデータフローｆ６の属性値が取得される。図７の処理に戻り、業務フローデータ処理部１０は、第１の属性値抽出処理Ｓ１５が終了すると、第１の業務フローデータ処理を終了する。
【００６６】
次に、図８で示される業務フローデータ処理部１０による第２の業務フローデータ処理を説明する。第２の業務フローデータ処理は、検証の対象とする第２の業務フローを表すデータから、異なるグループに属するアクティビティを接続するデータフローの属性値を抽出する処理である。この処理は、図７に示される第１の業務フローデータ処理とほぼ同様である。すなわち、図２２，図２３，図２４に示される第２のグループ設定処理（図８におけるステップＳ２１）、第２の業務フローデータ変換処理（図８におけるステップＳ２３）、第２の属性値抽出処理（図８におけるステップＳ２５）は、図１４，図１６，図１８に示される第１のグループ設定処理（図７におけるステップＳ１１）、第１の業務フローデータ変換処理（図７におけるステップＳ１３）、第１の属性値抽出処理（図におけるステップＳ１５）とほぼ同じである。ただし、第２の業務フローを表すデータは第２の業務フローデータ格納部２１４に格納され、処理結果として得られる第２の属性値データは第２の属性値データ格納部２１５に格納される点で異なる。
【００６７】
上述の通り、処理内容はほぼ同じであるが、処理対象となる業務フローを表すデータに相違点があるため、処理結果が異なる。相違点としては、図２で示される初期の第１の業務フローを表すデータにおけるデータフローｆ４が、図３で示される初期の第２の業務フローを表すデータにおいてデータフローｆ４１及びｆ４２となっている点である。すなわち、第２の業務フローを表すデータでは、データフローｆ４１について、接続先のアクティビティは不明を表す「？」となっている。また、データフローｆ４２については、接続元のアクティビティが存在しない。
【００６８】
このため、図２５に示される変換後の第２の業務フローを表すデータは、データフローｆ４１の属性値のうち、接続先グループ名とアクティビティ名の項目ａ５３の値が「？」となる。また、データフローｆ４２の属性値のうち、接続元グループ名とアクティビティ名の項目ａ４２の値が「なし」となる。また、図２１に示される第１の属性値データにおいて、入力データフローｆ４の属性値のデータが存在するが、図２６に示される第２の属性値データにおいては存在しない。これは、データフローｆ４２の接続元のアクティビティは「なし」であるため、異なるグループに属するアクティビティを接続するデータフローではないと判断され、図２４に示される第２の属性値抽出処理において、属性値が取得されないためである。また、図２６に示される第２の属性値データは、データフローｆ５の属性値のデータについて、グループセット内通番の項目の値が「３」になる。これは、データフローｆ４２の属性値が取得されず、データフローｆ５のグループセット内通番が繰り上がったためである。
【００６９】
以上の処理により、第２の属性値データ格納部２１５には図２６に示される第２の属性値データが格納される。
【００７０】
次に、図９に示される検証処理について説明する。検証部２０の差分検出部２１は、第１の属性値データ格納部１１５から第１の属性値データを取得する（図９：ステップＳ３１）。また、差分検出部２１は、第２の属性値データ格納部２１５から第２の属性値データを取得する（ステップＳ３３）。次に、差分検出部２１は、取得した第１の属性値データと第２の属性値データとの差分を検出する差分検出処理を実行する（ステップＳ３５）。図２７は、差分検出処理の処理フローの例を示す図である。差分検出部２１は、処理対象とするグループセットを特定する（図２７：ステップＳ１０１）。次に、差分検出部２１は、第１の属性値データの中から特定したグループセットに対応付けられている属性値を取得する（ステップＳ１０３）。また、差分検出部２１は、第２の属性値データの中から特定したグループセットに対応付けられている属性値を取得する（ステップＳ１０５）。その後、差分検出部２１は、不一致抽出処理を実行する（ステップＳ１０７）。図２８は、不一致抽出処理の処理フローの一例を示す図である。差分抽出部２１は、ステップＳ１０３にて第１の属性値データから取得した属性値のデータと、ステップＳ１０５にて第２の属性値データから取得した属性値のデータとを比較し（図２８：ステップＳ１２１）、グループセット内通番以外の属性値について不一致点があるか判断する（ステップＳ１２３）。不一致点がないと判断した場合は、処理を終了する（ステップＳ１２３のＮｏルート）。不一致点があると判断した場合は、不一致点を抽出し、差分データ格納部２４に格納する（ステップＳ１２５）。
【００７１】
例えば、図２１に示される第１の属性値データと、図２６に示される第２の属性値データとの比較について説明すると、グループセット内通番以外の差分として、データフローｆ４の属性値のデータの有無が検出される。
【００７２】
図２７の説明に戻り、差分検出部２１は、不一致抽出処理（ステップＳ１０７）が完了すると、順不同抽出処理を実行する（ステップＳ１０９）。図２９は、順不同抽出処理の処理フローの一例を示す図である。差分検出部２１は、ステップＳ１０３にて第１の属性値データから取得した属性値のデータと、ステップＳ１０５にて第２の属性値データから取得した属性値のデータとを比較（図２９：ステップＳ１３１）する。次に、差分検出部２１は、グループセット内通番以外の属性値が完全一致するデータフローのデータを特定する（ステップＳ１３３）。次に、差分検出部２１は、第２の属性値データについて、特定したデータフローのデータを、第１の属性値データのグループセット内通番に従って整列させる（ステップＳ１３５）。そして、差分検出部２１は、第２の属性値データの整列後のデータについて、グループセット内通番が所定の順序（本実施の形態では昇順）になっているか判断する（ステップＳ１３７）。所定の順序になっている場合は、処理を終了する（ステップＳ１３７のＹｅｓルート）。所定の順序になっていない場合は（ステップＳ１３７のＮｏルート）、グループセット内通番の不一致点を抽出し、差分データ格納部２４に格納する（ステップＳ１３９）。
【００７３】
例えば、図２１と図２６で説明すると、差分検出部２１は、ステップＳ１３１にてグループセット識別子「２−３」の属性値のデータを比較し（ステップＳ１３１）、グループセット内通番以外の属性値が完全一致するデータフローｆ２、ｆ３及びｆ５のデータを特定する（ステップＳ１３３）。そして、差分検出部２１は、第２の属性値データについて、特定したデータフローｆ２，ｆ３及びｆ５のデータを、第１の属性値データのグループセット内通番に従って整列させる（ステップＳ１３５）。第１の属性値データのグループセット内通番はデータフローｆ２，ｆ３，ｆ５の順番で１，２，４となっているため、第２の属性値データの順序は変更されることなく、データフローｆ２，ｆ３，ｆ５の順序のままとなる。次に、差分検出部２１は、第２の属性値データのデータのうち、整列させたデータについてグループセット内通番が所定順（ここでは昇順）になっているか判断する（ステップＳ１３７）。第２の属性値データのｆ２，ｆ３及びｆ５のデータは順序が変更されることなく、そのままとなっており、グループセット内通番は「１，２，３」と昇順になっている。したがって、ステップＳ１３７ではＹｅｓルートに進み、処理を終了する。
【００７４】
図２７の処理に戻り、差分検出部２１は、未処理のグループセットがあるか判断する（ステップＳ１１１）。未処理のグループセットがある場合は、ステップＳ１０１に戻り（ステップＳ１１１のＹｅｓルート）、未処理のグループセットがない場合は、処理を終了する（ステップＳ１１１のＮｏルート）。この差分検出処理の結果、差分データ格納部２４には、第１の属性値データと第２の属性値データとの差分を示す差分データが格納される。図３０は、差分データの一例を説明する図である。差分データには、ステップＳ１０７で抽出される不一致点のデータと、ステップＳ１０９で抽出される順不同のデータが含まれる。不一致点のデータと順不同のデータの項目には、データ名、グループセット内通番、入力データフロー名、接続元グループ名とアクティビティ名、接続先グループ名とアクティビティ名の項目が含まれている。各項目には、差分として検出されたデータについて、第１の属性値データの各項目に対応する値が含まれる。また、不一致点及び順不同のデータの項目には、「データ名」の項目が含まれている。この「データ名」は、他の項目の値が、第１の属性値データと第２の属性値データのうち、どちらのデータに含まれていた値であるかを表している。本実施の形態では、第１の属性値データの値が含まれるため、「データ名」の項目の値は「第１の属性値データ」となる。また、差分データには、差分が検出されたグループセットについて、そのグループセットを構成するグループの優先関係、そのグループセットのグループセット識別子、そのグループセットを構成するグループのグループ名１、グループ名２が含まれる。
【００７５】
たとえば、図３０に示す差分データは、相違点はあるが、順不同は無いことを意味している。また、相違点については、データ名の項目に示される「第１の属性値データ」にデータフローｆ４（すなわち、グループセット識別子「２−３」で示されるグループセット「実装統制−運用統制」に属し、接続元グループ名とアクティビティ名が「実装統制／インストール」であり、接続先グループ名とアクティビティ名が「運用統制／確認」であり、入力データフロー名が「確認基準」であるデータフローｆ４）が存在するが、第２の属性値データには存在しないことを示している。
【００７６】
図９の説明に戻り、検証部２０は差分検出処理（ステップＳ３５）が完了すると、検証処理（ステップＳ３７）を実行する。図３１は、検証処理の処理フローの一例を示す図である。判定部２２は、差分データ格納部２４から差分データを取得する（図３１：ステップＳ２０１）。次に、判定部２２は、ステップＳ２０１の結果から差分があるかを判断する（ステップＳ２０３）。判定部２２は、差分無しと判断した場合（ステップＳ２０３のＮｏルート）は、判定結果として不整合無しを表すデータを検証結果格納部２５に格納し（ステップＳ２０７）、ステップＳ２１３に進む。差分有りと判断した場合（ステップＳ２０３のＹｅｓルート）は、判定結果として不整合有りを表すデータを検証結果格納部２５に格納する（ステップＳ２０５）。図３２は、検証結果データの一例を説明する図である。検証結果データには、項目として、判定結果を示す「判定」の項目、差分が抽出されたグループセットの「グループセット識別子」の項目、指摘事項を表す「指摘事項」の項目が含まれている。判定の項目の値は、差分有りの場合は「ＮＧ」、差分無しの場合は「ＯＫ」となる。また、グループセット識別子の項目の値は、その差分が検出されたグループセットのグループセット識別子となる。
【００７７】
また、指摘事項生成部２３は、ステップＳ２０５にて不整合有りの判定がなされると、指摘事項生成ルール格納部２６に格納されている指摘事項作成ルールに従って指摘事項を作成する（ステップＳ２０９）。指摘事項生成部２３は、作成された指摘事項を検証結果格納部２５に格納する（ステップＳ２１１）。すなわち、作成した指摘事項のデータを図３２に示される「指摘事項」の項目の値とする。例えば、指摘事項作成部２３は、差分データから、不一致点がデータフローｆ４の有無であることを読み取り、指摘事項作成ルールに従って「第１の属性値データ、グループセット内通番３、確認基準の統制漏れ、未定義データの利用」という指摘事項を作成する。この指摘事項は、次のことを意味している。第２の業務フローについて、第１の業務フローのデータフローｆ４に対応するデータフローに不整合があること。その不整合は確認基準の統制漏れであり、未定義データを利用していること。
【００７８】
なお、指摘事項の「統制漏れ」は次のように判断される。優先順位が高いグループから低いグループへのデータフローは統制上必須のデータフローである。例えば、入力データフローｆ４は、接続先のグループ「運用統制」よりも接続元のグループ「実装統制」の優先順位が高いことから「必須」のデータフローである。しかし、第２の業務フローには対応する入力データフローが存在しないため、「統制漏れ」であることがわかる。そこで、指摘事項生成部２３は、差分データを取得し、不一致点のデータに含まれる接続元グループ名の値と接続先グループ名の値、及び、優先の項目の値から、接続元グループが接続先グループよりも優先順位が高いか判断する。接続元グループの方が優先順位が高い場合は「統制漏れ」とする。
【００７９】
また、指摘事項の「未定義データの利用」は次のように判断される。例えば、入力データフローｆ４と接続先及び入力種別が同一のデータフローｆ４２の接続元は「なし」であることから、入力データフローｆ４に対応する入力データフローｆ４２は存在するが、入力データフローｆ４２はデータフロー名「確認基準」のデータを未定義で利用していることがわかる。そこで、指摘事項生成部２３は、差分データを取得し、第１の属性値データにおいて差分として抽出された入力データフローについて、その入力データフローに対応するデータフローの属性値を第２の属性値データから取得し、取得したデータフローの接続元が「なし」である場合は、「未定義データの利用」とする。
【００８０】
図３１の説明に戻り、検証部２０は、検証結果格納部２５に格納されている検証結果データを表示装置に出力する（ステップＳ２１３）。本実施の形態では、図３２に示される検証結果データが表示装置に表示される。ユーザは、この検証結果データを参照することで、現場において統制がとれているか判断することができる。
【００８１】
また、上記の例は、順不同抽出処理（ステップＳ１０９）において順不同が検出されないケースである。そこで、以下に、順不同が検出されるケースについて説明する。たとえば、第２の業務フローデータ処理における第２の属性値抽出処理（図８のステップＳ２５）において、図３３に示す第２の属性値データが抽出されたと仮定する。この第２の属性値データは、データフローｆ４についてのデータが抽出されている。また、グループセット内通番が、データフローｆ５についてのデータでは「３」、データフローｆ４についてのデータでは「４」となっている。なお、第１の属性値データは上記の図２１で示されるデータであると仮定する。この第２の属性値データが用いられた場合、不一致抽出処理（図２７のステップＳ１０７）は次のようになる。なお、以下の説明は、グループセット識別子「２−３」のグループを処理対象としたときの例である。図２８に示されるように、まず、差分検出部２１は、第１の属性値データから取得した属性値のデータと、第２の属性値データから取得した属性値のデータとを比較する（ステップＳ１２１）。次に、グループセット内通番以外の属性値について不一致点があるか判断する（ステップＳ１２３）。ここでは、データフローｆ３，ｆ２，ｆ５及びｆ４について、グループセット内通番は異なるが、その他の属性値は一致しているので、不一致点無しと判断し、処理を終了する（ステップＳ１２３のＮｏルート）。
【００８２】
次に、差分検出部２１は順不同抽出処理を実行する（図２７のステップＳ１０９）。図２９に示されるように、まず、差分検出部２１は、第１の属性値データから取得した属性値のデータと、第２の属性値データから取得した属性値のデータとを比較する（ステップＳ１３１）。次に、差分検出部２１は、グループセット内通番以外の属性値が完全一致するデータフローのデータを特定する（ステップＳ１３３）。ここでは、データフローｆ３，ｆ２，ｆ４及びｆ５のデータフローのデータが特定される。次に、差分検出部２１は、第２の属性値データについて、特定したデータフローのデータを第１の属性値データに含まれるグループセット内通番に従って整列させる。ここでは、第１の属性値データのグループセット内通番は、データフローｆ３，ｆ２，ｆ４，ｆ５の順番で付与されているため、第２の属性値データのデータフローのデータをｆ３，ｆ２，ｆ５，ｆ４の順番からｆ３，ｆ２，ｆ４，ｆ５の順番に整列させる。その結果、第２の属性値データのグループセット内通番は「１，２，４，３」の順番となる。次に、差分検出部２１は、整列後の第２の属性値データについて、グループセット内通番が所定順（ここでは昇順）になっているか判断する（ステップＳ１３７）。この例においては、整列により「１，２，４，３」となり、昇順になっていないため、ステップＳ１３９に進む。そして、差分検出部２１は、グループセット内通番の不一致点を抽出し、差分データ格納部２４に格納する（ステップＳ１３９）。図３４は、本実施例における差分データを説明する図である。不一致点についてのデータは空欄である。また、順不同のデータには、順不同が検出されたデータフローｆ４及びｆ５についてのデータが含まれている。
【００８３】
つぎに、検証部２０は、検証処理を実行する（図９のステップＳ３７）。詳しくは、図３１に示されるように、判定部２２は、差分データ格納部２４から差分データを取得する（ステップＳ２０１）。次に、判定部２２は、ステップＳ２０１の処理の結果、差分が有るか判断する（ステップＳ２０３）。本実施例では差分データに順不同のデータが含まれているため、差分有りと判断される。判定部２２は、不整合有りを示すデータを検証結果格納部２５に格納する（ステップＳ２０５）。図３５は、検証結果データを示す図である。判定の項目の値は「ＮＧ」となり、グループセット識別子の項目の値は「２−３」となる。次に、指摘事項作成部２３は、指摘事項作成ルールに基づいて指摘事項を作成する（ステップＳ２０９）。ここでは、データフローｆ４及びｆ５についてのデータが順不同であるため、その相違点を指摘する指摘事項「第１の属性値データ／グループセット内通番３，４／確認基準の統制違い／統制手順の相違」を作成する。この指摘事項は、第１の業務フローのデータフローｆ４及びｆ５について第２の業務フローにて順不同となっており、確認基準の統制違い、統制手順の相違があることを意味している。ユーザは、この検証結果を参照することで、実際の業務において、誤った手順で業務が実行されていることを認識することができる。
【００８４】
以上本技術の実施の形態を説明したが、本技術はこれに限定されるものではない。たとえば、第１の業務フローを表すデータを実際の業務に基づいて生成したデータとし、第２の業務フローを表すデータを要件から生成したデータとし、実際の業務に対して要件が適当であるかを検証しても良い。
【００８５】
また、どのようにグループを設定するかは、検証内容によってユーザが適宜定めるものであり、本実施の形態に限定されるものではない。本実施の形態では、セキュリティ統制について検証を行うため、管理レイヤの観点からグループが設定されているが、検証内容によっては、例えば、担当組織や担当者など、アクティビティの主体の観点から設定されても良いし、他の観点に基づいて設定されても良い。また、グループは、本実施の形態に示すように、全てのアクティビティについて設定されても良いし、又、図３６に示すように、一部のアクティビティについて設定されても良い。また、複数のグループは、本実施の形態に示すように隣接していても良いし、図３６に示すように、隣接していなくても良い。例えば、管理レイヤの「実装統制」をグループＧ１とし、「業務」をグループＧ２として、グループＧ１とグループＧ２について整合性を検証しても良い。また、グループの設定はアクティビティをグルーピング可能な形であれば良い。たとえば、本実施の形態では矩形枠（レーン）によりグループを設定しているが、他の形の枠により囲っても良いし、枠を用いることなく、グループ毎にアクティビティをマウスでクリックする等して設定しても良い。
【００８６】
また、例えば、図６に示した機能ブロック図は一例であって、データ格納態様や機能ブロック構成は、実際のファイル構成やプログラムモジュール構成と一致しない場合もある。
【００８７】
なお、上で述べた情報処理装置１００及び１０００は、コンピュータ装置であって、図３７に示すように、メモリ２５０１とＣＰＵ（Central Processing Unit）２５０３とハードディスク・ドライブ（ＨＤＤ：Hard Disk Drive）２５０５と表示装置２５０９に接続される表示制御部２５０７とリムーバブル・ディスク２５１１用のドライブ装置２５１３と入力装置２５１５とネットワークに接続するための通信制御部２５１７とがバス２５１９で接続されている。オペレーティング・システム（ＯＳ：Operating System）及び本実施例における処理を実施するためのアプリケーション・プログラムは、ＨＤＤ２５０５に格納されており、ＣＰＵ２５０３により実行される際にはＨＤＤ２５０５からメモリ２５０１に読み出される。ＣＰＵ２５０３は、アプリケーション・プログラムの処理内容に応じて表示制御部２５０７、通信制御部２５１７、ドライブ装置２５１３を制御して、所定の動作を行わせる。また、処理途中のデータについては、主としてメモリ２５０１に格納されるが、ＨＤＤ２５０５に格納されるようにしてもよい。本技術の実施例では、上で述べた処理を実施するためのアプリケーション・プログラムはコンピュータ読み取り可能なリムーバブル・ディスク２５１１に格納されて頒布され、ドライブ装置２５１３からＨＤＤ２５０５にインストールされる。インターネットなどのネットワーク及び通信制御部２５１７を経由して、ＨＤＤ２５０５にインストールされる場合もある。このようなコンピュータ装置は、上で述べたＣＰＵ２５０３、メモリ２５０１などのハードウエアとＯＳ及びアプリケーション・プログラムなどのプログラムとが有機的に協働することにより、上で述べたような各種機能を実現する。
【００８８】
以上述べた本実施の形態をまとめると、以下のようになる。
【００８９】
本実施の形態に係る検証方法は、（Ａ）第１の業務フローデータ格納部に格納されており、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第１の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第１の属性値抽出ステップと、（Ｂ）第２の業務フローデータ格納部に格納されており、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、前記観点と同一の観点によりアクティビティがグルーピングされた第２の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第２の属性値抽出ステップと、（Ｃ）前記第１の属性値抽出ステップにより抽出されるデータフローの属性値と、前記第２の属性値抽出ステップにより抽出されるデータフローの属性値との差分を検出して差分データ格納部に格納する差分検出ステップとを含む。
【００９０】
これにより、ＩＤＥＦ０をベースとする所定のモデル表記に従って作成された業務フローが大規模である場合や複雑である場合でも、異なるグループに属するアクティビティを接続するデータフローに着目して差分を検出することで、効率的に業務フローの検証を行うことができる。
【００９１】
さらに、上で述べた第１の業務フローに対して、ユーザからグループの設定を受け付けるステップと、グループが設定された第１の業務フローを表すデータを格納部に格納するステップと、上で述べた第２の業務フローに対して、ユーザからグループの設定を受け付けるステップと、グループが設定された第２の業務フローを表すデータを格納部に格納するステップとを更に含むようにしてもよい。このようにすれば、ユーザの観点に基づいたグループの設定が容易となる。
【００９２】
また、上で述べた第１の属性値抽出ステップ及び第２の属性値抽出ステップにて抽出されるデータフローの属性値には、データフローの配列順を含むようにしてもよい。このようにすれば、差分検出ステップにてデータフローの配列順の相違が抽出されるようになる。従って、ユーザは、業務の手順の差分に基づいて業務フローを検証できるようになる。
【００９３】
また、上で述べた第１の属性値抽出ステップ及び第２の属性値抽出ステップにて抽出されるデータフローの属性値には、データフローの接続元、データフローの接続先、データフローの名称のうち少なくとも一つを含むようにしてもよい。このようにすれば、データフローの接続先や接続元や名称の差分が抽出されるようになる。従って、ユーザは、データフローの接続先や接続元や名称の差分に基づいて、業務フローを検証できるようになる。
【００９４】
さらに、本実施の形態に係る検証方法は、上で述べた差分検出ステップの検出結果から、第２の業務フローの整合性を判定する判定ステップを更に含むようにしてもよい。このようにすれば、ユーザの観点に基づいて設定されたグループ間における整合の有無が検出されるようになる。従って、ユーザは、ユーザが設定したグループ間における整合性を容易に把握することができるようになる。
【００９５】
また、本実施の形態に係る検証方法は、差分検出ステップにより抽出された差分から指摘事項を生成するステップを更に含むようにしてもよい。このようにすれば、差分に応じて指摘事項が生成されるようになる。従って、ユーザは、指摘事項に基づいて業務や要件の不備を容易に把握することができるようになる。
【００９６】
また、本実施の形態に係る検証方法は、上で述べた第１の業務フローを表すデータについて、画像形式のデータから、所定のデータ構造を有するテキスト形式のデータに変換する第１の業務フローデータ変換ステップと、上で述べた第２の業務フローを表すデータについて、画像形式のデータから、所定のデータ構造を有するテキスト形式のデータに変換する第２の業務フローデータ変換ステップとを更に含むようにしてもよい。このようにすれば、座標データに基づく比較は不要となる。
【００９７】
また、本実施の形態に係る検証方法は、上で述べた第１の業務フローデータ変換ステップにより得られた変換後の第１の業務フローを表すデータについて、ユーザからの修正指示を受け付けるステップと、上で述べた第２の業務フローデータ変換ステップにより得られた変換後の第２の業務フローを表すデータについて、ユーザからの修正指示を受け付けるステップとを更に含むようにしてもよい。このようにすれば、業務フローの完成度が高くなり、検証の精度を高めることができるようになる。
【００９８】
なお、上で述べたような処理をコンピュータに実施させるためのプログラムを作成することができ、当該プログラムは、例えばフレキシブル・ディスク、ＣＤ−ＲＯＭ、光磁気ディスク、半導体メモリ（例えばＲＯＭ）、ハードディスク等のコンピュータ読み取り可能な記憶媒体又は記憶装置に格納される。なお、処理途中のデータについては、ＲＡＭ等の記憶装置に一時保管される。
【００９９】
以上の実施例を含む実施形態に関し、さらに以下の付記を開示する。
【０１００】
（付記１）
第１の業務フローデータ格納部に格納されており、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第１の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第１の属性値抽出ステップと、
第２の業務フローデータ格納部に格納されており、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、前記観点と同一の観点によりアクティビティがグルーピングされた第２の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第２の属性値抽出ステップと、
前記第１の属性値抽出ステップにより抽出されるデータフローの属性値と、前記第２の属性値抽出ステップにより抽出されるデータフローの属性値との差分を検出して差分データ格納部に格納する差分検出ステップと、
を含み、コンピュータにより実行される検証方法。
【０１０１】
（付記２）
前記第１の業務フローに対して、ユーザから前記グループの設定を受け付けるステップと、
前記グループが設定された第１の業務フローを表すデータを格納部に格納するステップと、
前記第２の業務フローに対して、ユーザから前記グループの設定を受け付けるステップと、
前記グループが設定された第２の業務フローを表すデータを格納部に格納するステップと、
を更に含む、付記１記載の検証方法。
【０１０２】
（付記３）
前記第１の属性値抽出ステップ及び第２の属性値抽出ステップにて抽出されるデータフローの属性値には、前記データフローの配列順を含む、
付記１又は２記載の検証方法。
【０１０３】
（付記４）
前記第１の属性値抽出ステップ及び第２の属性値抽出ステップにて抽出されるデータフローの属性値には、データフローの接続元、データフローの接続先、データフローの名称のうち少なくとも一つを含む、
付記１乃至３のいずれか１つに記載の検証方法。
【０１０４】
（付記５）
前記差分検出ステップの検出結果から、前記第２の業務フローの整合性を判定する判定ステップ
を更に含む、付記１乃至４のいずれか１つ記載の検証方法。
【０１０５】
（付記６）
前記差分検出ステップにより抽出された差分から指摘事項を生成するステップ
を更に含む、付記１乃至５のいずれか１つ記載の検証方法。
【０１０６】
（付記７）
前記第１の業務フローを表すデータについて、画像形式のデータから、所定のデータ構造を有するテキスト形式のデータに変換する第１の業務フローデータ変換ステップと、
前記第２の業務フローを表すデータについて、画像形式のデータから、所定のデータ構造を有するテキスト形式のデータに変換する第２の業務フローデータ変換ステップと、
を更に含む、付記１乃至６のいずれか一つ記載の検証方法。
【０１０７】
（付記８）
前記第１の業務フローデータ変換ステップにより得られた変換後の第１の業務フローを表すデータについて、ユーザからの修正指示を受け付けるステップと、
前記第２の業務フローデータ変換ステップにより得られた変換後の第２の業務フローを表すデータについて、ユーザからの修正指示を受け付けるステップと、
を更に含む、付記７記載の検証方法。
【０１０８】
（付記９）
第１の業務フローデータ格納部に格納されており、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第１の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第１の属性値抽出ステップと、
第２の業務フローデータ格納部に格納されており、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、前記観点と同一の観点によりアクティビティがグルーピングされた第２の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第２の属性値抽出ステップと、
前記第１の属性値抽出ステップにより抽出されるデータフローの属性値と、前記第２の属性値抽出ステップにより抽出されるデータフローの属性値との差分を検出して差分データ格納部に格納する差分検出ステップと、
を、コンピュータが実行する検証プログラム。
【０１０９】
（付記１０）
第１の業務フローデータ格納部に格納されており、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第１の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出し、
第２の業務フローデータ格納部に格納されており、ＩＤＥＦ０をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第１の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する属性値抽出部と、
前記属性値抽出部により、前記第１の業務フローを表すデータから抽出された属性値と、前記第２の業務フローを表すデータから抽出された属性値との差分を検出して差分データ格納部に格納する差分検出部と、
を有する検証装置。
【符号の説明】
【０１１０】
１０  業務フローデータ処理部
１１  グループ設定部    １２  業務フローデータ変換部      １３  属性値抽出部
１１４  第１の業務フローデータ格納部      ２１４  第２の業務フローデータ格納部
１１５  第１の属性値データ格納部      ２１５  第２の属性値データ格納部
１６  変換ルール格納部      １７  中間データ格納部
２０  検証部
２１  差分抽出部      ２２  判定部      ２３  指摘事項生成部
２６  指摘事項生成ルール格納部      ２５  検証結果格納部
【図１】
2013047877.tif 000003
【図２】
2013047877.tif 000004
【図３】
2013047877.tif 000005
【図４】
2013047877.tif 000006
【図５】
2013047877.tif 000007
【図６】
2013047877.tif 000008
【図７】
2013047877.tif 000009
【図８】
2013047877.tif 000010
【図９】
2013047877.tif 000011
【図１０】
2013047877.tif 000012
【図１１】
2013047877.tif 000013
【図１２】
2013047877.tif 000014
【図１３Ａ】
2013047877.tif 000015
【図１３Ｂ】
2013047877.tif 000016
【図１４】
2013047877.tif 000017
【図１５】
2013047877.tif 000018
【図１６】
2013047877.tif 000019
【図１７】
2013047877.tif 000020
【図１８】
2013047877.tif 000021
【図１９】
2013047877.tif 000022
【図２０Ａ】
2013047877.tif 000023
【図２０Ｂ】
2013047877.tif 000024
【図２１】
2013047877.tif 000025
【図２２】
2013047877.tif 000026
【図２３】
2013047877.tif 000027
【図２４】
2013047877.tif 000028
【図２５】
2013047877.tif 000029
【図２６】
2013047877.tif 000030
【図２７】
2013047877.tif 000031
【図２８】
2013047877.tif 000032
【図２９】
2013047877.tif 000033
【図３０】
2013047877.tif 000034
【図３１】
2013047877.tif 000035
【図３２】
2013047877.tif 000036
【図３３】
2013047877.tif 000037
【図３４】
2013047877.tif 000038
【図３５】
2013047877.tif 000039
【図３６】
2013047877.tif 000040
【図３７】
2013047877.tif 000041