"第1の業務フローデータ格納部に格納されており、IDEF0をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第1の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第1の属性値抽出ステップと、第2の業務フローデータ格納部に格納されており、IDEF0をベースとする所定のモデル記法に従って作成され、前記観点と同一の観点によりアクティビティがグルーピングされた第2の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第2の属性値抽出ステップと、前記第1の属性値抽出ステップにより抽出されるデータフローの属性値と、前記第2の属性値抽出ステップにより抽出されるデータフローの属性値との差分を検出して差分データ格納部に格納する差分検出ステップと、を含み、コンピュータにより実行される検証方法。前記第1の業務フローに対して、ユーザから前記グループの設定を受け付けるステップと、前記グループが設定された第1の業務フローを表すデータを格納部に格納するステップと、前記第2の業務フローに対して、ユーザから前記グループの設定を受け付けるステップと、前記グループが設定された第2の業務フローを表すデータを格納部に格納するステップと、を更に含む、請求項1記載の検証方法。前記第1の属性値抽出ステップ及び第2の属性値抽出ステップにて抽出されるデータフローの属性値には、前記データフローの配列順を含む、請求項1又は2記載の検証方法。前記第1の属性値抽出ステップ及び第2の属性値抽出ステップにて抽出されるデータフローの属性値には、データフローの接続元、データフローの接続先、データフローの名称のうち少なくとも一つを含む、請求項1乃至3のいずれか1つ記載の検証方法。前記差分検出ステップの検出結果から、前記第2の業務フローの整合性を判定する判定ステップを更に含む、請求項1乃至4のいずれか1つ記載の検証方法。前記差分検出ステップにより抽出された差分から指摘事項を生成するステップを更に含む、請求項1乃至5のいずれか1つ記載の検証方法。前記第1の業務フローを表すデータについて、画像形式のデータから、所定のデータ構造を有するテキスト形式のデータに変換する第1の業務フローデータ変換ステップと、前記第2の業務フローを表すデータについて、画像形式のデータから、所定のデータ構造を有するテキスト形式のデータに変換する第2の業務フローデータ変換ステップと、を更に含む、請求項1乃至6のいずれか一つ記載の検証方法。前記第1の業務フローデータ変換ステップにより得られた変換後の第1の業務フローを表すデータについて、ユーザからの修正指示を受け付けるステップと、前記第2の業務フローデータ変換ステップにより得られた変換後の第2の業務フローを表すデータについて、ユーザからの修正指示を受け付けるステップと、を更に含む、請求項7に記載の検証方法。第1の業務フローデータ格納部に格納されており、IDEF0をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第1の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第1の属性値抽出ステップと、第2の業務フローデータ格納部に格納されており、IDEF0をベースとする所定のモデル記法に従って作成され、前記観点と同一の観点によりアクティビティがグルーピングされた第2の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第2の属性値抽出ステップと、前記第1の属性値抽出ステップにより抽出されるデータフローの属性値と、前記第2の属性値抽出ステップにより抽出されるデータフローの属性値との差分を検出して差分データ格納部に格納する差分検出ステップと、を、コンピュータが実行する検証プログラム。第1の業務フローデータ格納部に格納されており、IDEF0をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第1の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出し、第2の業務フローデータ格納部に格納されており、IDEF0をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第1の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する属性値抽出部と、前記属性値抽出部により、前記第1の業務フローを表すデータから抽出された属性値と、前記第2の業務フローを表すデータから抽出された属性値との差分を検出して差分データ格納部に格納する差分検出部と、を有する検証装置。上記したように、実際の業務が予め定められた要件を満たしていない場合や、予め定められた要件が実際の業務に適さないものである場合がある。このため、実際の業務手順が要件を満たしているか検証したり、予め定められた要件が実際の業務に適しているかを検証したりすることは非常に重要である。従って、本技術の目的は、業務や要件を自動的に検証する新規な技術を提供することである。本技術に係る検証方法は、A第1の業務フローデータ格納部に格納されており、情報セキュリティ管理基準を基にIDEF0をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第1の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第1の属性値抽出ステップと、B第2の業務フローデータ格納部に格納されており、IDEF0をベースとする所定のモデル記法に従って作成され、前記観点と同一の観点によりアクティビティがグルーピングされた第2の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第2の属性値抽出ステップと、C前記第1の属性値抽出ステップにより抽出されるデータフローの属性値と、前記第2の属性値抽出ステップにより抽出されるデータフローの属性値との差分を検出して差分データ格納部に格納する差分検出ステップとを含む。業務や要件を自動的に検証できるようになる。まず、本実施の形態における検証方法のおおまかな流れについて説明する。本実施の形態では、一例として、メールの誤送信防止を目的としたセキュリティ統制の検証を挙げて説明する。セキュリティーポリシーを表すポリシ文書には、メールの誤送信を防止するために情報セキュリティ管理上行うべき手順、すなわち要件が記述されている。ここでは、ポリシ文書はメール誤送信対策ツールをインストールし、メール送信時、ポップアップ警告が表示された場合には、送信先に間違いが無いか確認する。という文書が記述されているものとする。このポリシ文書は、セキュリティ管理部隊により作成され、業務遂行部隊に周知される。業務遂行部隊は、ポリシ文書に記述されている要件を解釈し、要件に従って実装メーラーのインストール等や運用メール送信等を行うこととなる。また、本実施の形態では、IDEF0をベースとする所定のモデル記法に従って作成されたフローを用いる。モデル表記には、IDEF0を拡張したESG-IDEF0という記法を採用するものとする。具体的には、図1に示すように、矩形でアクティビティを表す。また、アクティビティの上側からの矢印は、非同期で入力される入力データフローガバナンスデータフローを表し、このデータフローについての条件データが示される。また、アクティビティの左側からの矢印は、同期をとって入力される入力データフローを表している。また、アクティビティの右側への矢印は、出力データを表す。また、アクティビティの下側からの矢印は、リソースの入力データフローを表している。本実施の形態では、アクティビティを縦軸方向に連結することによって、統制や依存関係を表す。また、アクティビティを横軸方向に連結することによって、ワークフローを表す。具体的には、動作の流れや依存関係を表す。このような前提の下、上述したポリシ文書に記載されている要件は、図2に示すような業務フローとして表現できる。また、実際の業務については、業務の遂行状態を調査し、その結果、図3に示すような業務フローとして表現できる。なお、各業務フローの作成は、ある程度の経験とスキルを有するユーザが行っても良いし、作成を支援する装置があれば、それを用いても良い。本実施の形態において特徴的な点は、ユーザが定める所定の観点に基づいて、アクティビティが複数のグループにグルーピングされている点にある。本実施の形態では、図2及び図3に示される業務フローについて、管理レイヤセキュリティ統制の体制に基づく階層に基づいて、管理統制実装統制運用統制業務の4つのグループG1~G4が設定されている。図4は、図2に示される業務フローについて複数のグループG1~G4を設定したものであり、図5は、図3に示される業務フローについて複数のグループG1~G4を設定したものである。なお、本実施の形態では、業務フローについて、管理レイヤの観点から境界線b1~b3を設けたときに、その境界線b1~b3により分割されて形成される一つ一つの区画レーンがグループを表している。そして、本実施の形態では、図4及び図5に示されるグループ設定後の業務フローについて、一方の業務フローを検証の基準とし、他方の業務フローを検証の対象として比較し、異なるグループに属するアクティビティを接続するデータフローについて、その属性値の差分を検出する。以下、図4及び図5を用いて説明する。図4に示される業務フローにおいて、異なるグループに属するアクティビティを接続するデータフローは、グループG1管理統制に属するアクティビティ周知とグループG2実装統制に属するアクティビティインストールを接続するデータフローf1、グループG2実装統制に属するアクティビティインストールとグループG3運用統制に属するアクティビティポップアップ表示確認メール送信を接続するデータフローf2,f3,f4及びf5、グループG2実装統制に属するアクティビティインストールとグループG4業務に属するアクティビティメール送信とを接続するデータフローf6、グループG3運用統制に属するアクティビティポップアップ表示メール送信とグループG4業務に属するアクティビティメール送信とを接続するデータフローf7及びf8である。また、図5に示される業務フローは、図4に示される業務フローとほぼ同じであるが、データフローf41及びf42が相違する。グループG2実装統制のアクティビティインストールを接続元とするデータフローf41は接続先がとなっており、グループG3運用統制のアクティビティ確認を接続先とするデータフローf42は、接続元が存在しない。すなわち、異なるグループに属するアクティビティを接続するデータフローの属性値として、図4ではデータフローf4の属性値が抽出されるが、図5ではf41及び42の属性値は抽出されない。その結果、データフローf4の有無が差分として検出される。本実施の形態において、異なるグループに属するアクティビティを接続するデータフローは縦軸方向のデータフローである。縦軸方向のデータフローは統制や依存関係を表していることから、検証基準の業務フローと検証対象の業務フローとを比較したときに、異なるグループに属するアクティビティを接続するデータフローの属性値に差分があるということは、統制や依存関係に不整合があることを意味する。そこで、この検出結果に基づいて、下記のようにセキュリティ統制の検証が行われる。まず、ポリシ文書に示されるセキュリティポリシが適切である、すなわち、予め定められた要件が適切であることを前提とし、実際の業務プロセスが要件を満たしているかを検証する場合について説明する。この場合は、予め定められた要件セキュリティポリシに基づき作成された業務フロー図4参照を基準として、実際の業務に基づいて作成された業務フロー図5参照の検証を行う。具体的には、上記検出結果として差分が検出されない場合は、情報セキュリティ管理上行うべき手順が守られている統制がとれていることを意味し、実際のメール送信業務が要件を満たしていると判断できる。差分が検出された場合は、情報セキュリティ管理上行うべき手順が守られていない統制がとれていないことを意味し、実際のメール送信業務が要件を満たしていないと判断できる。上記の通り、図4と図5では、データフローf4の有無が差分として検出されるため、統制がとれておらず、実際のメール送信業務が要件を満たしていないと判断できる。次に、実際の業務が適切であることを前提とし、予め定められた要件セキュリティポリシが実際の業務に適しているかを検証する場合について説明する。この場合は、実際の業務に基づいて作成された業務フロー図5参照を基準として、予め定められた要件セキュリティポリシに基づき作成された業務フロー図4参照の検証を行う。具体的には、上記検出結果として差分が検出されない場合は、要件は実際の業務に適していると判断できる。差分が検出された場合は、要件が実際の業務に適していないと判断できる。上記の通り、図4と図5とでは、データフローf4の有無が差分として検出されるため、情報セキュリティ管理上行うべき手順が実際の業務に適していないと判断できる。すなわち、上記二つの前提のいずれにおいても、基準となる業務フローが適切であり、グループ間の統制や依存関係が整合していることを前提として、次のように考えることができる。検証の基準となる業務フロー以下、検証基準業務フローと言うと検証の対象となる業務フロー以下、検証対象業務フローと言うを比較し、異なるグループに属するアクティビティを接続するデータフローの差分を検出する。差分が検出されない場合は、検証対象業務フローのグループ間の依存関係が整合していることを意味する。すなわち、実際の業務が正しく遂行されている、若しくは、要件が実際の業務に適していると判断できる。一方、差分が検出された場合は、検証対象フローのグループ間の依存関係が不整合であることを意味する。すなわち、実際の業務が正しく遂行されていない、若しくは、要件が実際の業務に適していないと判断できる。以下、本実施の形態の検証システム及び方法について、詳細に説明する。図6は、本実施の形態に係る検証システム100の機能ブロック図である。検証システム100は、業務フローデータ処理部10と、第1の業務フローデータ格納部114と、第1の属性値データ格納部115と、第2の業務フローデータ格納部214と、第2の属性値データ格納部215と、変換ルール格納部16と、中間データ格納部17と、検証部20と、差分データ格納部24と、検証結果格納部25と、指摘事項生成ルール格納部26とを有する。また、業務フローデータ処理部10は、グループ設定部11と、業務フローデータ変換部12と、属性値抽出部13とを有する。また、検証部20は、差分検出部21と、判定部22と、指摘事項生成部23とを備える。業務フローデータ処理部10は、ユーザからの指示に応じて第1の業務フローデータ処理を行う場合は、第1の業務フローデータ格納部114に格納されているデータを取得して所定の処理を行い、生成したデータを第1の属性値データ格納部115に格納する。詳しくは、グループ設定部11は、第1の業務フローデータ格納部114に格納されているデータを取得してグループを設定する処理を行い、グループ設定後のデータを第1の業務フローデータ格納部114に格納する。業務フローデータ変換部12は、第1の業務フローデータ格納部114に格納されているグループ設定後のデータを所定の処理により変換し、変換後のデータを第1の業務フローデータ格納部114に格納する。属性値抽出部13は、第1の業務フローデータ格納部114に格納されている変換後のデータを取得して処理を行い、生成したデータを第1の属性値データ格納部115に格納する。また、業務フローデータ処理部10は、ユーザからの指示に応じて第2の業務フローデータ処理を行う場合は、第2の業務フローデータ格納部214に格納されているデータを取得して所定の処理を行い、生成したデータを第2の属性値データ格納部215に格納する。詳しくは、グループ設定部11は、第2の業務フローデータ格納部214に格納されているデータを取得してグループを設定する処理を行い、グループ設定後のデータを第2の業務フローデータ格納部214に格納する。業務フローデータ変換部12は、第2の業務フローデータ格納部214に格納されているグループ設定後のデータを所定の処理により変換し、変換後のデータを第2の業務フローデータ格納部214に格納する。属性値抽出部13は、第2の業務フローデータ格納部214に格納されている変換後のデータを取得して処理を行い、生成したデータを第2の属性値データ格納部215に格納する。なお、変換ルール格納部16には、業務フローデータ変換部12の処理に用いられるデータが格納されている。また、中間データ格納部17は、業務フローデータ処理部10の作業領域である。検証部20は、第1の属性値データ格納部115に格納されているデータと、第2の属性値データ格納部215に格納されているデータを取得して処理を行い、生成したデータを検証結果格納部25に格納する。詳しくは、差分検出部21は、第1の属性値データ格納部115と第2の属性値データ格納部215からデータを取得して処理を行い、生成したデータを差分データ格納部24に格納する。判定部22は、差分データ格納部24からデータを取得して処理を行い、生成したデータを検証結果格納部25に格納する。また、指摘事項生成部23は、判定部22の処理結果を受けて処理を行い、生成したデータを検証結果格納部25に格納する。なお、指摘事項生成ルール格納部26には、指摘事項生成部23の処理に用いられるデータが格納されている。検証結果格納部25に格納されているデータは、ユーザに提示される。以下に、検証システム100による処理を説明する。図7は、業務フローデータ処理部10による第1の業務フローデータ処理の処理フローの一例を示す図であり、図8は、業務フローデータ処理部10による第2の業務フローデータ処理の処理フローの一例を示す図であり、図9は、検証部20による検証処理の処理フローの一例を示す図である。なお、第1の業務フローデータ処理と第2の業務フローデータ処理と検証処理の順序は、検証処理の前に第1の業務フローデータ処理と第2の業務フローデータ処理が実行されていれば良い。たとえば、図10に示すように、第1の業務フローデータ処理と第2の業務フローデータ処理が各々独立して事前に行われ、その後に検証処理が行われても良い。また、図11に示すように、第1の業務フローデータ処理が事前に行われ、その後に、第2の業務フローデータ処理と検証処理とが連続的に行われても良い。また、図12に示すように、第2の業務フローデータ処理が事前に行われ、その後に、第1の業務フローデータ処理と検証処理とが連続的に行われても良い。また、図13Aや図13Bに示すように、第1の業務フローデータ処理と第2の業務フローデータ処理と検証処理とが連続的に行われても良い。まず、図7に示される第1の業務フローデータ処理について説明する。第1の業務フローデータ処理は、検証の基準となる第1の業務フローを表すデータから、異なるグループに属するアクティビティを接続するデータフローの属性値を抽出する処理である。本実施の形態において、第1の業務フローを表すデータは、図2に示されるデータである。この第1の業務フローを表すデータは、上述の通り、例えば、ポリシ文書などに基づいて作成される。詳細については、上述した通りであるので説明を省略する。第1の業務フローを表すデータは、画像形式のデータとして第1の業務フローデータ格納部114に格納される。図7の説明に戻り、業務フローデータ処理部10は、ユーザの指示に応じて第1の業務フローデータ処理を行う場合、第1の業務フローデータ格納部114から第1の業務フローを表すデータを取得して処理を行う。まず、業務フローデータ処理部10のグループ設定部11が、第1のグループ設定処理図7:ステップS11を実行する。図14は、第1のグループ設定処理の処理フローの一例を示す図である。グループ設定部11は、第1の業務フローデータ格納部114から第1の業務フローを表すデータを取得し図14:ステップS41、第1の業務フローを表示装置に表示させるステップS43。ユーザは、表示された第1の業務フローに対して、例えば、矩形枠をマウスで描画してアクティビティを囲む等により、アクティビティを複数のグループにグルーピングする。グループ設定部11は、ユーザにより入力されたグループの設定を受け付けるステップS45。グループ設定部11は、ユーザからグループ設定完了指示があるかを判断しステップS47、完了指示がない場合ステップS47のNoルートは、ステップS45に戻って、グループの設定の受付を継続する。完了指示があった場合ステップS47のYesルートはステップS49に進み、グループが設定された第1の業務フローを表すデータ図4参照を、第1の業務フローデータ格納部114に格納するステップS49。なお、グループについては、上述したため説明を省略する。図7の説明に戻り、次に、業務フローデータ変換部12が第1の業務フローデータ変換処理を行うステップS13。第1の業務フローデータ変換処理は、図4に示されるグループ設定後の第1の業務フローを表すデータを、画像形式のデータから、図15に示される所定のデータ構造を有するテキスト形式のデータに変換する処理である。図16は、第1の業務フローデータ変換処理の処理フローの一例を示す図である。業務フローデータ変換部12は、グループ設定後の第1の業務フローを表すデータ図4参照を第1の業務フローデータ格納部114から取得する図16:ステップS51。次に、業務フローデータ変換部12は、変換ルール格納部16に格納されている所定の変換ルールに従って、グループ設定後の第1の業務フローを表すデータを、画像形式のデータ図4参照から、所定のデータ構造を持つテキスト形式のデータ図15参照に変換するステップS53。ここでは、文字列がテキストデータである表形式のデータである。図15は、変換後の第1の業務フローを表すデータの一例を説明する図である。項目として、グループの番号とグループ名の項目a1、グループの優先順位の項目a2、そのグループに属するアクティビティのアクティビティ番号とアクティビティ名の項目a3、そのアクティビティを接続先とする入力データフローの項目a4、そのアクティビティを接続元とする出力データフローの項目a5、そのアクティビティを接続先とするリソースのリソース名の項目a6を有する。また、入力データフローの項目a4は、入力データフロー番号と入力データフロー名の項目a41、接続元のアクティビティが属するグループのグループ名とそのアクティビティ名の項目a42、入力種別の項目a43、内容の項目a44が含まれる。また、出力データフローの項目a5には、出力データフロー番号と出力データフロー名の項目a51、内容の項目a52、接続先のアクティビティが属するグループとそのアクティビティ名の項目a53が含まれる。なお、図15は、説明の便宜上、変換後の第1の業務フローを表すデータについて一部を抜粋したものである。すなわち、図15はグループ名実装統制運用統制のグループについて記載したものであり、グループ名管理統制業務のグループについては記載を省略してあるが、実際には、これらのデータも含まれる。そして、業務フローデータ変換部12による変換処理ステップS53は、例えば次のように実行される。変換ルール格納部16には、変換ルールとして定義データが格納されている。図17は、定義データの一例を示す図である。定義データには、A矩形枠はアクティビティを示し、B矩形枠内の文字列はアクティビティ名であり、C矩形枠の上側に接続する矢印が入力データフロー入力種別は非同期であり、D矢印末端付近に位置する文字列は入力データフロー名であり、E矩形枠の左側に接続する矢印が入力データフロー入力種別は同期であり、Fその矢印末端付近に位置する文字列は入力データフロー名であり、G矩形枠の下側に接続する矢印が入力データフロー入力種別はリソースであり、Hその矢印の途中に位置する文字列はリソース名であることが定義されている。また、変換ルール格納部16には、第1のグループ設定処理図7:ステップS11にて設定された矩形枠がグループを示すことを定義したルールが格納されている。業務フローデータ変換部12は、この変換ルールに基づいて、グループ設定後の第1の業務フローを表すデータ図4参照から図形を認識し、要素データに分解する。また、変換ルール格納部16には、変換後の第1の業務フローを表すデータ図15参照の各項目の値と、図4に示す画像形式のデータとの対応付けのための変換ルールが格納されている。以下に、その対応付けの一例を説明する。なお、図15の入力データフローの項目a4の値に付与した符号f1,f2,f7,f3,f11,f4,f10,f8及びf5は、図4の符号と対応している。すなわち、図15において各符号が指し示すデータは、その符号が付与された入力データフローの属性値であることを意味している。グループ番号とグループ名の項目a1に含まれるグループ番号の値は、図4においてグループの配列順により認識される。ここでは、配列順は上から下と定められており、グループG1からグループG4の順序にてグループ番号1から4が付与される。また、グループ番号とグループ名の項目a1に含まれるグループ名の値は、図4において所定の位置にある文字列として認識される。ここでは、グループ名は、グループとして認識された矩形の左端に位置する文字列として定められており、グループG1が管理統制、グループG2が実装統制、グループG3が運用統制、グループG4が業務となる。また、グループの優先順位の項目a2の値は、後述する処理においてユーザにより入力されるため、ここでは認識されない。アクティビティ番号とアクティビティ名の項目a3に含まれるアクティビティ番号の値は、グループごとにそのグループに属するアクティビティに付与される通番であり、各グループ内におけるアクティビティの配列順により認識される。ここでは、アクティビティ番号は、左から右の配列順序で通番が付与される。例えば、グループG3について説明すると、アクティビティポップアップ表示確認メール送信順序にて通番1から3が付与される。また、アクティビティ番号とアクティビティ名の項目a3に含まれるアクティビティ名の値は、所定の位置の文字列として認識される。本実施の形態では、アクティビティとして認識された矩形内の文字列であり、例えば、グループG3に属するアクティビティについて説明すると、ポップアップ表示確認メール送信がアクティビティ名として認識される。符号a4で示される項目は、項目a3の値で示されるアクティビティを入力先とする入力データフローについての項目である。ただし、入力種別がリソースの入力データフローのうち、接続元のアクティビティが存在しない入力データフローについては、リソース名の項目a6の値として認識され、項目a4の値としては認識されない。たとえば、図4において、グループG2に属するアクティビティ名インストールのアクティビティに対する入力データフローf12を例に説明すると、接続元のアクティビティが存在しないため、入力データフローの項目a4の値ではなく、リソース名の項目a6の値として認識される。入力データフロー番号と入力データフロー名の項目a41に含まれる入力データフロー番号の値は、アクティビティ毎にそのアクティビティを接続先とする入力データフローに付与される通番である。通番は、所定の配列順序にて付与される。本実施の形態では、入力データフローの入力種別に基づく順序ここでは、リソース、同期、非同期の順序で通番が付与される。入力種別が同一の入力データフローが複数存在する場合は、所定の配列順序ここでは、入力種別が同期の場合は、接続位置が上から下の配列順、非同期又はリソースの場合は接続位置が左から右の配列順にて通番が付与される。例えば、図4において、グループG3のアクティビティ名ポップアップ表示のアクティビティに対する入力データフローを例に説明すると、入力データフローf2,f7,f3の順序にて通番1,2,3が付与される。また、グループG3のアクティビティ名メール送信のアクティビティに対する入力データフローを例に説明すると、入力データフローf10,f8,f5の順序で通番1,2,3が付与される。このとき、入力種別が同期である入力データフローはf10,f8の二つが存在するため、接続位置が上から下の配列順に基づいてデータフローf10,f8の順序で通番1,2が付与される。また、入力データフロー番号と入力データフロー名の項目a41に含まれる入力データフロー名の値は、所定の位置の文字列として認識される。ここでは、入力データフロー名は、矢印の末端付近の文字列として認識される。例えば、グループG3に属するアクティビティ名ポップアップ表示のアクティビティに対する入力データフローを例に説明すると、入力データフローf2,f7,f3の入力データフロー名はメールチェッカメールポップアップ設定となる。入力種別の項目a42の値は、接続先のアクティビティに対する入力データフローの接続位置により認識される。ここでは、接続位置がアクティビティを示す矩形の上側の場合は非同期、左側の場合は同期、下側の場合はリソースとして認識される。たとえば、グループG3に属するアクティビティ名ポップアップ表示のアクティビティに対する入力データフローを例に説明すると、入力データフローf3は非同期、入力データフローf7は同期、入力データフローf2はリソースとなる。なお、上述したが、入力種別がリソースの入力データフローのうち、接続元のアクティビティが存在しない入力データフローについては、符号a6で示される項目の値として認識される。また、接続元グループ名とアクティビティ名の項目a42の値は、入力データフローの末端が接続するアクティビティについて、そのアクティビティが属するグループのグループ名及びそのアクティビティ名として認識される。例えば、グループG3に属するアクティビティ名ポップアップ表示のアクティビティに対する入力データフローを例に説明すると、入力データフローf2,f7,f5の接続元グループ名とアクティビティ名は実装統制/インストール業務/メール送信実装統制/インストールとなる。内容の項目a44の値は、後述する処理にてユーザにより入力されるものであり、ここでは認識されない。符号a5で示される項目は、符号a3で示されるアクティビティを接続元とする出力データフローについての項目である。出力データフロー番号と出力データフロー名の項目a51に含まれる出力データフロー番号の値は、アクティビティ毎にそのアクティビティを接続元とする出力データフローに付与される通番であり、所定の配列順で付与される。ここでは、通番は、接続元のアクティビティに対する出力データフローの接続位置が上から下の配列順で付与される。例えば、グループG2に属するアクティビティ名インストールのアクティビティからの出力データフローを例に説明すると、出力データフローf5,f4,f3,f2,f6の順序にて通番1,2,3,4,5が付与される。出力データフロー番号と出力データフロー名の項目a51に含まれる出力データフロー名の値は、所定の位置の文字列ここでは、出力データフローとして認識された矢印の末端上方付近の文字列として認識される。例えば、グループG2のアクティビティ名インストールのアクティビティからの出力データフローを例に説明すると、出力データフローf5,f4,f3,f2,f6の出力データフロー名は、確認基準確認基準ポップアップ設定メールチェッカ転送設定となる。内容の項目a52の値は、後述する処理にてユーザにより入力されるものであり、ここでは認識されない。接続先グループ名とアクティビティ名の項目a53の値は、矢印の先端が接続するアクティビティを特定し、そのアクティビティが属するグループのグループ名及びそのアクティビティ名として認識される。例えば、グループG2のアクティビティ名インストールのアクティビティからの出力データフローを例に説明すると、出力データフローf5,f4,f3,f2,f6の接続先グループ名とアクティビティ名は、運用統制/メール送信運用統制/確認運用統制/ポップアップ表示運用統制/ポップアップ表示業務/メール送信となる。業務フローデータ変換部12は、上記の認識した各値を上記の各項目と関連付け、図15に示されるデータ構造を有するテキスト形式のデータを生成する。図16の説明に戻り、業務フローデータ変換部12は、上記のようにして生成された変換後の業務フローを表すデータを第1の業務フローデータ格納部114に格納するステップS55。なお、図15は、後述する処理にてユーザによる修正が行われた後のデータを表しており、現時点でのデータとは異なる。例えば、現時点においては、符号a2や符号a44や符号a52で示される項目の値は空欄であり、又、格納済みの値についても異なるものがある。次に、業務フローデータ変換部12は、変換後の第1の業務フローのデータを表示装置に出力し、ユーザに提示するステップS57。ユーザへの提示は、図15に示すような表形式での表示でも良いし、表形式以外の他の形式で表示しても良い。例えば、図4に示されるような図として表示し、値が空欄の項目については、値を入力する欄を所定位置に表示するようにしても良い。どのような形式の表示においても、ステップS53にて認識されなかった値については、空欄を表示する等して、ユーザに入力を促し、ユーザの指示を受け付けるステップS58。また、表示されるテキストは、ユーザにより修正可能とする。ユーザは、表示画面を確認し、変換後の第1の業務フローを表すデータに修正がある場合は、修正を加える。すなわち、空欄にデータを入力したり、表示されているテキストを修正したりする。例えば、優先順位の項目a2の値や、入力データフローの内容の項目a44の値や、出力データフローの内容の項目a52の値が空欄として表示されるため、この値を入力する。なお、不明な値はを入力するようにしても良い。また、その他の項目の値についても、修正箇所があれば修正する。ユーザは、修正が完了した場合、又は、修正が無い場合は、完了ボタンをクリックする等して、完了の指示を入力する。図16の説明に戻り、業務フローデータ変換部12は、ユーザから完了の指示があるかを判断しステップS59、完了指示がない場合は、ステップS58に戻りユーザからの指示を受け付けるステップS59のNoルート。ステップS59にてユーザから完了の完了指示ありと判断した場合は、ステップS61に進むステップS59のYesルート。そして、業務フローデータ変換部12は、ステップS58にて入力されたユーザからの修正指示に応じて、変換後の第1の業務フローデータを修正しステップS61、第1の業務フローデータ格納部114に格納されている変換後の第1の業務フローを表すデータを、修正後のものに更新するステップS63。第1の業務フローデータ格納部114は、図15に示すデータが格納された状態となる。図7の処理の説明に戻り、業務フローデータ処理部10は第1の業務フローデータ変換処理が完了すると、第1の属性値抽出処理ステップS15を行う。第1の属性値抽出処理は、第1の業務フローデータから、異なるグループに属するアクティビティを接続するデータフローの属性値を抽出する処理である。図18は、第1の属性値抽出処理の処理フローの一例を示す図である。属性値抽出部13は、まず、第1の業務フローデータ格納部114から変換後の第1の業務フローを表すデータ図15参照を取得する図18:ステップS71。次に、属性値抽出部13は、取得した変換後の第1の業務フローを表すデータから、処理対象とするグループを一つ特定するステップS73。すなわち、図15に示すデータの項目a1の列から処理対象とする値を一つ特定する。そして、属性値抽出部13は、特定したグループに含まれるアクティビティと他のグループに含まれるアクティビティとを接続するデータフローの属性値を取得する。ステップS75。図19は、ステップS75で説明した属性値取得処理の処理フローの一例を示す図である。属性値抽出部13は、特定したグループに属するアクティビティを所定の順序にて一つ特定するステップS81。ここでは、アクティビティ番号の順番でアクティビティが特定される。すなわち、ステップS73で特定した項目a1の値に対応付けて格納されている項目a3の値について、アクティビティ番号の順番で値を一つ特定する。つぎに、属性値抽出部13は、特定したアクティビティを接続先とする入力データフローを所定の順序にて一つ特定するステップS83。ここでは、入力データフロー番号の順番で入力データフローが特定される。すなわち、ステップS81で特定した項目a3の値に対応付けて格納されている項目a4の値について、項目a41に含まれる入力データフロー番号の順番にて値を一つ特定する。つぎに、属性値抽出部13は、特定した入力データフローの接続元が他グループに属するアクティビティであるか判断するステップS85。すなわち、S83にて特定した項目a4の値について、項目a42の接続元グループ名の値が、項目a1のグループ名の値と異なるか判断する。そして、属性値抽出部13は、ステップS85において、他グループではないと判断した場合はステップS83の処理に戻るステップS85のNoルート。他グループであると判断した場合はステップS85のYesルート、特定したデータフローの属性値を取得し、データフロー毎にグループセット識別子を付与し、属性値データとして中間データ格納部17に格納するステップS87。図20Aは、中間データ格納部17に格納される属性値データの例を説明する図である。この例は、処理対象のグループを運用統制としたときのものである。取得された属性値は、属性値データの各項目の値として格納される。本実施の形態では、属性値は、入力データフロー名、接続元グループ名とアクティビティ名、接続先グループ名とアクティビティ名の値を含む。ただし、取得する属性値は、これに限られるものではない。例えば、図15で示されるデータにおいて、入力種別の項目a43の値や、内容の項目a44の値を属性値として含めても良い。なお、図20Aに示される符号f2,f7,f3,f4,f8及びf5は、図4における入力データフローの符号と対応している。また、属性値データには、ステップS87において属性値に付与されたグループセット識別子が含まれる。グループセット識別子とは、接続元のグループと接続先のグループの組を識別可能な値である。ここでは、グループセット識別子は、図15で示されるデータの項目a1のグループ番号自グループのグループ番号の値と、項目a42の接続元グループ名の値に対応するグループ番号他グループのグループ番号の値とを、‐ハイフンで接続したものとしている。例えば、接続元グループと接続先グループがグループ番号2とグループ番号3である場合は、グループセット識別子は2-3となる。また、グループ番号の小さい方が‐の前に位置し、大きい方が‐の後ろに位置することとしている。図19の説明に戻り、属性値抽出部13は、ステップS81で特定したアクティビティを接続先とするデータフローについて、未処理のデータフローがあるか判断するステップS89。すなわち、ステップS81にて特定した項目a3の値に対応付けて格納されている項目a4の値について、未処理の値があるか判断する。未処理のデータフローがある場合は、ステップS83の処理に戻るステップS89のYesルート。未処理のデータフローがない場合はステップS91に進みステップS89のNoルート、未処理のアクティビティがあるか判断するステップS91。すなわち、図18のステップS73にて特定した項目a1の値に対応付けて格納されている項目a3の値について、未処理の値があるか判断する。未処理のアクティビティがある場合は、ステップS81に戻るステップS91のYesルート。未処理のアクティビティがない場合は、ステップS93に進みステップS91のNoルート、中間データ格納部17に格納されている各データフローの属性値を、グループセット識別子でグループ分けするステップS93。例えば、図20Bに示すように、属性値は、グループセット識別子2-33-4の二つのグループに分けられる。なお、図20Bに示される符号f2,f7,f3,f4,f8及びf5は、図4における入力データフローの符号と対応している。次に、属性値抽出部13は、グループセット識別子で分けたグループごとに、グループセット内通番を付与し、中間データ格納部に格納するステップS95。グループセット内通番は、アクティビティ番号の順番に従って付与される。また、同一アクティビティに対して複数の入力データフローが存在する場合は、更に、入力データフロー番号の順番に従って通番が付与される。その結果、図20Bに示される属性値データには、グループセット内通番の項目に値が格納される。そして、属性値抽出部13は、中間データ格納部17に格納されている属性値データを取得するステップS97。図18の説明に戻り、属性値抽出部13は、取得した属性値データを第1の属性値データ格納部115に格納するステップS77。図21は、第1の属性値データ格納部115に格納される第1の属性値データを説明する図である。第1の属性値データの各項目の値は、中間データ格納部17に格納されていた属性値データの各項目の値が格納される。ただし、グループ名1の項目には、グループセット識別子の先頭番号をグループ番号とするグループ名が格納され、グループ名2の項目には末尾番号をグループ番号とするグループ名が格納される。また、属性値抽出部13は、図15に示されるデータの優先順位の項目a2の値から、グループセットを構成する二つのグループの優先順位のデータを取得し、第1の属性値データの優先の項目の値として格納するステップS78。ここでは優先順位の高い方のグループのグループ名を格納する。そして、属性値抽出部13は、未処理のグループがあるか判断するステップS79。すなわち、図15に示されるデータの項目a1の列について、未処理の値があるか判断する。未処理のグループがある場合は、ステップS73に戻るステップS79のYesルート。未処理のグループがない場合は、処理を終了するステップS79のNoルート。以上の処理により、第1の属性値データ格納部115には、図21に示される第1の属性値データが格納される。なお、図21に示される符号f2,f3,f4,f5,f7及びf8は、図4における入力データフローの符号と対応している。なお、図21は、第1の属性値データの一部抜粋である。すなわち、図21には、ステップS73においてグループ名運用統制のグループを特定したときに生成されるデータについて記載したものであり、実際には、他のグループの各々について特定したときのデータも含まれる。例えば、グループ名管理統制のグループについての処理のときは、接続元グループが他のグループである入力データフローが無いため、属性値は取得されない。また、グループ名実装統制のグループについての処理のときは、図4に示されるデータフローf1の属性値が取得される。また、グループ名業務のグループについての処理のときは、図4に示されるデータフローf6の属性値が取得される。図7の処理に戻り、業務フローデータ処理部10は、第1の属性値抽出処理S15が終了すると、第1の業務フローデータ処理を終了する。次に、図8で示される業務フローデータ処理部10による第2の業務フローデータ処理を説明する。第2の業務フローデータ処理は、検証の対象とする第2の業務フローを表すデータから、異なるグループに属するアクティビティを接続するデータフローの属性値を抽出する処理である。この処理は、図7に示される第1の業務フローデータ処理とほぼ同様である。すなわち、図22,図23,図24に示される第2のグループ設定処理図8におけるステップS21、第2の業務フローデータ変換処理図8におけるステップS23、第2の属性値抽出処理図8におけるステップS25は、図14,図16,図18に示される第1のグループ設定処理図7におけるステップS11、第1の業務フローデータ変換処理図7におけるステップS13、第1の属性値抽出処理図におけるステップS15とほぼ同じである。ただし、第2の業務フローを表すデータは第2の業務フローデータ格納部214に格納され、処理結果として得られる第2の属性値データは第2の属性値データ格納部215に格納される点で異なる。上述の通り、処理内容はほぼ同じであるが、処理対象となる業務フローを表すデータに相違点があるため、処理結果が異なる。相違点としては、図2で示される初期の第1の業務フローを表すデータにおけるデータフローf4が、図3で示される初期の第2の業務フローを表すデータにおいてデータフローf41及びf42となっている点である。すなわち、第2の業務フローを表すデータでは、データフローf41について、接続先のアクティビティは不明を表すとなっている。また、データフローf42については、接続元のアクティビティが存在しない。このため、図25に示される変換後の第2の業務フローを表すデータは、データフローf41の属性値のうち、接続先グループ名とアクティビティ名の項目a53の値がとなる。また、データフローf42の属性値のうち、接続元グループ名とアクティビティ名の項目a42の値がなしとなる。また、図21に示される第1の属性値データにおいて、入力データフローf4の属性値のデータが存在するが、図26に示される第2の属性値データにおいては存在しない。これは、データフローf42の接続元のアクティビティはなしであるため、異なるグループに属するアクティビティを接続するデータフローではないと判断され、図24に示される第2の属性値抽出処理において、属性値が取得されないためである。また、図26に示される第2の属性値データは、データフローf5の属性値のデータについて、グループセット内通番の項目の値が3になる。これは、データフローf42の属性値が取得されず、データフローf5のグループセット内通番が繰り上がったためである。以上の処理により、第2の属性値データ格納部215には図26に示される第2の属性値データが格納される。次に、図9に示される検証処理について説明する。検証部20の差分検出部21は、第1の属性値データ格納部115から第1の属性値データを取得する図9:ステップS31。また、差分検出部21は、第2の属性値データ格納部215から第2の属性値データを取得するステップS33。次に、差分検出部21は、取得した第1の属性値データと第2の属性値データとの差分を検出する差分検出処理を実行するステップS35。図27は、差分検出処理の処理フローの例を示す図である。差分検出部21は、処理対象とするグループセットを特定する図27:ステップS101。次に、差分検出部21は、第1の属性値データの中から特定したグループセットに対応付けられている属性値を取得するステップS103。また、差分検出部21は、第2の属性値データの中から特定したグループセットに対応付けられている属性値を取得するステップS105。その後、差分検出部21は、不一致抽出処理を実行するステップS107。図28は、不一致抽出処理の処理フローの一例を示す図である。差分抽出部21は、ステップS103にて第1の属性値データから取得した属性値のデータと、ステップS105にて第2の属性値データから取得した属性値のデータとを比較し図28:ステップS121、グループセット内通番以外の属性値について不一致点があるか判断するステップS123。不一致点がないと判断した場合は、処理を終了するステップS123のNoルート。不一致点があると判断した場合は、不一致点を抽出し、差分データ格納部24に格納するステップS125。例えば、図21に示される第1の属性値データと、図26に示される第2の属性値データとの比較について説明すると、グループセット内通番以外の差分として、データフローf4の属性値のデータの有無が検出される。図27の説明に戻り、差分検出部21は、不一致抽出処理ステップS107が完了すると、順不同抽出処理を実行するステップS109。図29は、順不同抽出処理の処理フローの一例を示す図である。差分検出部21は、ステップS103にて第1の属性値データから取得した属性値のデータと、ステップS105にて第2の属性値データから取得した属性値のデータとを比較図29:ステップS131する。次に、差分検出部21は、グループセット内通番以外の属性値が完全一致するデータフローのデータを特定するステップS133。次に、差分検出部21は、第2の属性値データについて、特定したデータフローのデータを、第1の属性値データのグループセット内通番に従って整列させるステップS135。そして、差分検出部21は、第2の属性値データの整列後のデータについて、グループセット内通番が所定の順序本実施の形態では昇順になっているか判断するステップS137。所定の順序になっている場合は、処理を終了するステップS137のYesルート。所定の順序になっていない場合はステップS137のNoルート、グループセット内通番の不一致点を抽出し、差分データ格納部24に格納するステップS139。例えば、図21と図26で説明すると、差分検出部21は、ステップS131にてグループセット識別子2-3の属性値のデータを比較しステップS131、グループセット内通番以外の属性値が完全一致するデータフローf2、f3及びf5のデータを特定するステップS133。そして、差分検出部21は、第2の属性値データについて、特定したデータフローf2,f3及びf5のデータを、第1の属性値データのグループセット内通番に従って整列させるステップS135。第1の属性値データのグループセット内通番はデータフローf2,f3,f5の順番で1,2,4となっているため、第2の属性値データの順序は変更されることなく、データフローf2,f3,f5の順序のままとなる。次に、差分検出部21は、第2の属性値データのデータのうち、整列させたデータについてグループセット内通番が所定順ここでは昇順になっているか判断するステップS137。第2の属性値データのf2,f3及びf5のデータは順序が変更されることなく、そのままとなっており、グループセット内通番は1,2,3と昇順になっている。したがって、ステップS137ではYesルートに進み、処理を終了する。図27の処理に戻り、差分検出部21は、未処理のグループセットがあるか判断するステップS111。未処理のグループセットがある場合は、ステップS101に戻りステップS111のYesルート、未処理のグループセットがない場合は、処理を終了するステップS111のNoルート。この差分検出処理の結果、差分データ格納部24には、第1の属性値データと第2の属性値データとの差分を示す差分データが格納される。図30は、差分データの一例を説明する図である。差分データには、ステップS107で抽出される不一致点のデータと、ステップS109で抽出される順不同のデータが含まれる。不一致点のデータと順不同のデータの項目には、データ名、グループセット内通番、入力データフロー名、接続元グループ名とアクティビティ名、接続先グループ名とアクティビティ名の項目が含まれている。各項目には、差分として検出されたデータについて、第1の属性値データの各項目に対応する値が含まれる。また、不一致点及び順不同のデータの項目には、データ名の項目が含まれている。このデータ名は、他の項目の値が、第1の属性値データと第2の属性値データのうち、どちらのデータに含まれていた値であるかを表している。本実施の形態では、第1の属性値データの値が含まれるため、データ名の項目の値は第1の属性値データとなる。また、差分データには、差分が検出されたグループセットについて、そのグループセットを構成するグループの優先関係、そのグループセットのグループセット識別子、そのグループセットを構成するグループのグループ名1、グループ名2が含まれる。たとえば、図30に示す差分データは、相違点はあるが、順不同は無いことを意味している。また、相違点については、データ名の項目に示される第1の属性値データにデータフローf4すなわち、グループセット識別子2-3で示されるグループセット実装統制-運用統制に属し、接続元グループ名とアクティビティ名が実装統制/インストールであり、接続先グループ名とアクティビティ名が運用統制/確認であり、入力データフロー名が確認基準であるデータフローf4が存在するが、第2の属性値データには存在しないことを示している。図9の説明に戻り、検証部20は差分検出処理ステップS35が完了すると、検証処理ステップS37を実行する。図31は、検証処理の処理フローの一例を示す図である。判定部22は、差分データ格納部24から差分データを取得する図31:ステップS201。次に、判定部22は、ステップS201の結果から差分があるかを判断するステップS203。判定部22は、差分無しと判断した場合ステップS203のNoルートは、判定結果として不整合無しを表すデータを検証結果格納部25に格納しステップS207、ステップS213に進む。差分有りと判断した場合ステップS203のYesルートは、判定結果として不整合有りを表すデータを検証結果格納部25に格納するステップS205。図32は、検証結果データの一例を説明する図である。検証結果データには、項目として、判定結果を示す判定の項目、差分が抽出されたグループセットのグループセット識別子の項目、指摘事項を表す指摘事項の項目が含まれている。判定の項目の値は、差分有りの場合はNG、差分無しの場合はOKとなる。また、グループセット識別子の項目の値は、その差分が検出されたグループセットのグループセット識別子となる。また、指摘事項生成部23は、ステップS205にて不整合有りの判定がなされると、指摘事項生成ルール格納部26に格納されている指摘事項作成ルールに従って指摘事項を作成するステップS209。指摘事項生成部23は、作成された指摘事項を検証結果格納部25に格納するステップS211。すなわち、作成した指摘事項のデータを図32に示される指摘事項の項目の値とする。例えば、指摘事項作成部23は、差分データから、不一致点がデータフローf4の有無であることを読み取り、指摘事項作成ルールに従って第1の属性値データ、グループセット内通番3、確認基準の統制漏れ、未定義データの利用という指摘事項を作成する。この指摘事項は、次のことを意味している。第2の業務フローについて、第1の業務フローのデータフローf4に対応するデータフローに不整合があること。その不整合は確認基準の統制漏れであり、未定義データを利用していること。なお、指摘事項の統制漏れは次のように判断される。優先順位が高いグループから低いグループへのデータフローは統制上必須のデータフローである。例えば、入力データフローf4は、接続先のグループ運用統制よりも接続元のグループ実装統制の優先順位が高いことから必須のデータフローである。しかし、第2の業務フローには対応する入力データフローが存在しないため、統制漏れであることがわかる。そこで、指摘事項生成部23は、差分データを取得し、不一致点のデータに含まれる接続元グループ名の値と接続先グループ名の値、及び、優先の項目の値から、接続元グループが接続先グループよりも優先順位が高いか判断する。接続元グループの方が優先順位が高い場合は統制漏れとする。また、指摘事項の未定義データの利用は次のように判断される。例えば、入力データフローf4と接続先及び入力種別が同一のデータフローf42の接続元はなしであることから、入力データフローf4に対応する入力データフローf42は存在するが、入力データフローf42はデータフロー名確認基準のデータを未定義で利用していることがわかる。そこで、指摘事項生成部23は、差分データを取得し、第1の属性値データにおいて差分として抽出された入力データフローについて、その入力データフローに対応するデータフローの属性値を第2の属性値データから取得し、取得したデータフローの接続元がなしである場合は、未定義データの利用とする。図31の説明に戻り、検証部20は、検証結果格納部25に格納されている検証結果データを表示装置に出力するステップS213。本実施の形態では、図32に示される検証結果データが表示装置に表示される。ユーザは、この検証結果データを参照することで、現場において統制がとれているか判断することができる。また、上記の例は、順不同抽出処理ステップS109において順不同が検出されないケースである。そこで、以下に、順不同が検出されるケースについて説明する。たとえば、第2の業務フローデータ処理における第2の属性値抽出処理図8のステップS25において、図33に示す第2の属性値データが抽出されたと仮定する。この第2の属性値データは、データフローf4についてのデータが抽出されている。また、グループセット内通番が、データフローf5についてのデータでは3、データフローf4についてのデータでは4となっている。なお、第1の属性値データは上記の図21で示されるデータであると仮定する。この第2の属性値データが用いられた場合、不一致抽出処理図27のステップS107は次のようになる。なお、以下の説明は、グループセット識別子2-3のグループを処理対象としたときの例である。図28に示されるように、まず、差分検出部21は、第1の属性値データから取得した属性値のデータと、第2の属性値データから取得した属性値のデータとを比較するステップS121。次に、グループセット内通番以外の属性値について不一致点があるか判断するステップS123。ここでは、データフローf3,f2,f5及びf4について、グループセット内通番は異なるが、その他の属性値は一致しているので、不一致点無しと判断し、処理を終了するステップS123のNoルート。次に、差分検出部21は順不同抽出処理を実行する図27のステップS109。図29に示されるように、まず、差分検出部21は、第1の属性値データから取得した属性値のデータと、第2の属性値データから取得した属性値のデータとを比較するステップS131。次に、差分検出部21は、グループセット内通番以外の属性値が完全一致するデータフローのデータを特定するステップS133。ここでは、データフローf3,f2,f4及びf5のデータフローのデータが特定される。次に、差分検出部21は、第2の属性値データについて、特定したデータフローのデータを第1の属性値データに含まれるグループセット内通番に従って整列させる。ここでは、第1の属性値データのグループセット内通番は、データフローf3,f2,f4,f5の順番で付与されているため、第2の属性値データのデータフローのデータをf3,f2,f5,f4の順番からf3,f2,f4,f5の順番に整列させる。その結果、第2の属性値データのグループセット内通番は1,2,4,3の順番となる。次に、差分検出部21は、整列後の第2の属性値データについて、グループセット内通番が所定順ここでは昇順になっているか判断するステップS137。この例においては、整列により1,2,4,3となり、昇順になっていないため、ステップS139に進む。そして、差分検出部21は、グループセット内通番の不一致点を抽出し、差分データ格納部24に格納するステップS139。図34は、本実施例における差分データを説明する図である。不一致点についてのデータは空欄である。また、順不同のデータには、順不同が検出されたデータフローf4及びf5についてのデータが含まれている。つぎに、検証部20は、検証処理を実行する図9のステップS37。詳しくは、図31に示されるように、判定部22は、差分データ格納部24から差分データを取得するステップS201。次に、判定部22は、ステップS201の処理の結果、差分が有るか判断するステップS203。本実施例では差分データに順不同のデータが含まれているため、差分有りと判断される。判定部22は、不整合有りを示すデータを検証結果格納部25に格納するステップS205。図35は、検証結果データを示す図である。判定の項目の値はNGとなり、グループセット識別子の項目の値は2-3となる。次に、指摘事項作成部23は、指摘事項作成ルールに基づいて指摘事項を作成するステップS209。ここでは、データフローf4及びf5についてのデータが順不同であるため、その相違点を指摘する指摘事項第1の属性値データ/グループセット内通番3,4/確認基準の統制違い/統制手順の相違を作成する。この指摘事項は、第1の業務フローのデータフローf4及びf5について第2の業務フローにて順不同となっており、確認基準の統制違い、統制手順の相違があることを意味している。ユーザは、この検証結果を参照することで、実際の業務において、誤った手順で業務が実行されていることを認識することができる。以上本技術の実施の形態を説明したが、本技術はこれに限定されるものではない。たとえば、第1の業務フローを表すデータを実際の業務に基づいて生成したデータとし、第2の業務フローを表すデータを要件から生成したデータとし、実際の業務に対して要件が適当であるかを検証しても良い。また、どのようにグループを設定するかは、検証内容によってユーザが適宜定めるものであり、本実施の形態に限定されるものではない。本実施の形態では、セキュリティ統制について検証を行うため、管理レイヤの観点からグループが設定されているが、検証内容によっては、例えば、担当組織や担当者など、アクティビティの主体の観点から設定されても良いし、他の観点に基づいて設定されても良い。また、グループは、本実施の形態に示すように、全てのアクティビティについて設定されても良いし、又、図36に示すように、一部のアクティビティについて設定されても良い。また、複数のグループは、本実施の形態に示すように隣接していても良いし、図36に示すように、隣接していなくても良い。例えば、管理レイヤの実装統制をグループG1とし、業務をグループG2として、グループG1とグループG2について整合性を検証しても良い。また、グループの設定はアクティビティをグルーピング可能な形であれば良い。たとえば、本実施の形態では矩形枠レーンによりグループを設定しているが、他の形の枠により囲っても良いし、枠を用いることなく、グループ毎にアクティビティをマウスでクリックする等して設定しても良い。また、例えば、図6に示した機能ブロック図は一例であって、データ格納態様や機能ブロック構成は、実際のファイル構成やプログラムモジュール構成と一致しない場合もある。なお、上で述べた情報処理装置100及び1000は、コンピュータ装置であって、図37に示すように、メモリ2501とCPUCentralProcessingUnit2503とハードディスクドライブHDD:HardDiskDrive2505と表示装置2509に接続される表示制御部2507とリムーバブルディスク2511用のドライブ装置2513と入力装置2515とネットワークに接続するための通信制御部2517とがバス2519で接続されている。オペレーティングシステムOS:OperatingSystem及び本実施例における処理を実施するためのアプリケーションプログラムは、HDD2505に格納されており、CPU2503により実行される際にはHDD2505からメモリ2501に読み出される。CPU2503は、アプリケーションプログラムの処理内容に応じて表示制御部2507、通信制御部2517、ドライブ装置2513を制御して、所定の動作を行わせる。また、処理途中のデータについては、主としてメモリ2501に格納されるが、HDD2505に格納されるようにしてもよい。本技術の実施例では、上で述べた処理を実施するためのアプリケーションプログラムはコンピュータ読み取り可能なリムーバブルディスク2511に格納されて頒布され、ドライブ装置2513からHDD2505にインストールされる。インターネットなどのネットワーク及び通信制御部2517を経由して、HDD2505にインストールされる場合もある。このようなコンピュータ装置は、上で述べたCPU2503、メモリ2501などのハードウエアとOS及びアプリケーションプログラムなどのプログラムとが有機的に協働することにより、上で述べたような各種機能を実現する。以上述べた本実施の形態をまとめると、以下のようになる。本実施の形態に係る検証方法は、A第1の業務フローデータ格納部に格納されており、IDEF0をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第1の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第1の属性値抽出ステップと、B第2の業務フローデータ格納部に格納されており、IDEF0をベースとする所定のモデル記法に従って作成され、前記観点と同一の観点によりアクティビティがグルーピングされた第2の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第2の属性値抽出ステップと、C前記第1の属性値抽出ステップにより抽出されるデータフローの属性値と、前記第2の属性値抽出ステップにより抽出されるデータフローの属性値との差分を検出して差分データ格納部に格納する差分検出ステップとを含む。これにより、IDEF0をベースとする所定のモデル表記に従って作成された業務フローが大規模である場合や複雑である場合でも、異なるグループに属するアクティビティを接続するデータフローに着目して差分を検出することで、効率的に業務フローの検証を行うことができる。さらに、上で述べた第1の業務フローに対して、ユーザからグループの設定を受け付けるステップと、グループが設定された第1の業務フローを表すデータを格納部に格納するステップと、上で述べた第2の業務フローに対して、ユーザからグループの設定を受け付けるステップと、グループが設定された第2の業務フローを表すデータを格納部に格納するステップとを更に含むようにしてもよい。このようにすれば、ユーザの観点に基づいたグループの設定が容易となる。また、上で述べた第1の属性値抽出ステップ及び第2の属性値抽出ステップにて抽出されるデータフローの属性値には、データフローの配列順を含むようにしてもよい。このようにすれば、差分検出ステップにてデータフローの配列順の相違が抽出されるようになる。従って、ユーザは、業務の手順の差分に基づいて業務フローを検証できるようになる。また、上で述べた第1の属性値抽出ステップ及び第2の属性値抽出ステップにて抽出されるデータフローの属性値には、データフローの接続元、データフローの接続先、データフローの名称のうち少なくとも一つを含むようにしてもよい。このようにすれば、データフローの接続先や接続元や名称の差分が抽出されるようになる。従って、ユーザは、データフローの接続先や接続元や名称の差分に基づいて、業務フローを検証できるようになる。さらに、本実施の形態に係る検証方法は、上で述べた差分検出ステップの検出結果から、第2の業務フローの整合性を判定する判定ステップを更に含むようにしてもよい。このようにすれば、ユーザの観点に基づいて設定されたグループ間における整合の有無が検出されるようになる。従って、ユーザは、ユーザが設定したグループ間における整合性を容易に把握することができるようになる。また、本実施の形態に係る検証方法は、差分検出ステップにより抽出された差分から指摘事項を生成するステップを更に含むようにしてもよい。このようにすれば、差分に応じて指摘事項が生成されるようになる。従って、ユーザは、指摘事項に基づいて業務や要件の不備を容易に把握することができるようになる。また、本実施の形態に係る検証方法は、上で述べた第1の業務フローを表すデータについて、画像形式のデータから、所定のデータ構造を有するテキスト形式のデータに変換する第1の業務フローデータ変換ステップと、上で述べた第2の業務フローを表すデータについて、画像形式のデータから、所定のデータ構造を有するテキスト形式のデータに変換する第2の業務フローデータ変換ステップとを更に含むようにしてもよい。このようにすれば、座標データに基づく比較は不要となる。また、本実施の形態に係る検証方法は、上で述べた第1の業務フローデータ変換ステップにより得られた変換後の第1の業務フローを表すデータについて、ユーザからの修正指示を受け付けるステップと、上で述べた第2の業務フローデータ変換ステップにより得られた変換後の第2の業務フローを表すデータについて、ユーザからの修正指示を受け付けるステップとを更に含むようにしてもよい。このようにすれば、業務フローの完成度が高くなり、検証の精度を高めることができるようになる。なお、上で述べたような処理をコンピュータに実施させるためのプログラムを作成することができ、当該プログラムは、例えばフレキシブルディスク、CD-ROM、光磁気ディスク、半導体メモリ例えばROM、ハードディスク等のコンピュータ読み取り可能な記憶媒体又は記憶装置に格納される。なお、処理途中のデータについては、RAM等の記憶装置に一時保管される。以上の実施例を含む実施形態に関し、さらに以下の付記を開示する。付記1第1の業務フローデータ格納部に格納されており、IDEF0をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第1の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第1の属性値抽出ステップと、第2の業務フローデータ格納部に格納されており、IDEF0をベースとする所定のモデル記法に従って作成され、前記観点と同一の観点によりアクティビティがグルーピングされた第2の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第2の属性値抽出ステップと、前記第1の属性値抽出ステップにより抽出されるデータフローの属性値と、前記第2の属性値抽出ステップにより抽出されるデータフローの属性値との差分を検出して差分データ格納部に格納する差分検出ステップと、を含み、コンピュータにより実行される検証方法。付記2前記第1の業務フローに対して、ユーザから前記グループの設定を受け付けるステップと、前記グループが設定された第1の業務フローを表すデータを格納部に格納するステップと、前記第2の業務フローに対して、ユーザから前記グループの設定を受け付けるステップと、前記グループが設定された第2の業務フローを表すデータを格納部に格納するステップと、を更に含む、付記1記載の検証方法。付記3前記第1の属性値抽出ステップ及び第2の属性値抽出ステップにて抽出されるデータフローの属性値には、前記データフローの配列順を含む、付記1又は2記載の検証方法。付記4前記第1の属性値抽出ステップ及び第2の属性値抽出ステップにて抽出されるデータフローの属性値には、データフローの接続元、データフローの接続先、データフローの名称のうち少なくとも一つを含む、付記1乃至3のいずれか1つに記載の検証方法。付記5前記差分検出ステップの検出結果から、前記第2の業務フローの整合性を判定する判定ステップを更に含む、付記1乃至4のいずれか1つ記載の検証方法。付記6前記差分検出ステップにより抽出された差分から指摘事項を生成するステップを更に含む、付記1乃至5のいずれか1つ記載の検証方法。付記7前記第1の業務フローを表すデータについて、画像形式のデータから、所定のデータ構造を有するテキスト形式のデータに変換する第1の業務フローデータ変換ステップと、前記第2の業務フローを表すデータについて、画像形式のデータから、所定のデータ構造を有するテキスト形式のデータに変換する第2の業務フローデータ変換ステップと、を更に含む、付記1乃至6のいずれか一つ記載の検証方法。付記8前記第1の業務フローデータ変換ステップにより得られた変換後の第1の業務フローを表すデータについて、ユーザからの修正指示を受け付けるステップと、前記第2の業務フローデータ変換ステップにより得られた変換後の第2の業務フローを表すデータについて、ユーザからの修正指示を受け付けるステップと、を更に含む、付記7記載の検証方法。付記9第1の業務フローデータ格納部に格納されており、IDEF0をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第1の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第1の属性値抽出ステップと、第2の業務フローデータ格納部に格納されており、IDEF0をベースとする所定のモデル記法に従って作成され、前記観点と同一の観点によりアクティビティがグルーピングされた第2の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する第2の属性値抽出ステップと、前記第1の属性値抽出ステップにより抽出されるデータフローの属性値と、前記第2の属性値抽出ステップにより抽出されるデータフローの属性値との差分を検出して差分データ格納部に格納する差分検出ステップと、を、コンピュータが実行する検証プログラム。付記10第1の業務フローデータ格納部に格納されており、IDEF0をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第1の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出し、第2の業務フローデータ格納部に格納されており、IDEF0をベースとする所定のモデル記法に従って作成され、且つ、ユーザが定める観点に基づきアクティビティの全部又は一部が複数のグループにグルーピングされた第1の業務フローを表すデータから、異なる前記グループに属するアクティビティを接続するデータフローの属性値を抽出する属性値抽出部と、前記属性値抽出部により、前記第1の業務フローを表すデータから抽出された属性値と、前記第2の業務フローを表すデータから抽出された属性値との差分を検出して差分データ格納部に格納する差分検出部と、を有する検証装置。"