(57)【要約】【課題】本発明は、検査対象のシーケンス図などで期待するデータの流れが実現できていることを確認可能な入力情報検証システムを提供する。【解決手段】データ使用可能箇所判定手段１３が、データ生成・使用箇所入力手段３４に読み込まれた各情報に基づいて設計図中のメッセージでデータの生成箇所と使用箇所がつながっていることを確認しデータを使用する箇所でデータが使用可能かどうかを判定する。警告表示手段３７はデータの使用箇所でデータが使用可能でない場合には外部に警告する。【選択図】図１
2010146383.tif 000002
【特許請求の範囲】
【請求項１】
検証対象である時系列情報及び当該時系列情報にかかるデータ受け渡し説明用のメッセージを同時に入力する時系列情報入力手段と、
この入力した時系列情報から当該時系列情報の一部を成す使用データが生成される生成箇所の時刻情報、当該生成箇所のオブジェクト情報、前記使用データが使用される使用箇所の時刻情報、当該使用箇所のオブジェクト情報を読み込むデータ生成・使用箇所入力手段とを備え、
前記時系列情報入力手段及び前記データ生成・使用箇所入力手段に読み込まれた前記各情報とに基づいて前記使用データの生成箇所とその使用箇所とが連携されているか否かを確認し且つ当該使用データの使用箇所での使用が可能か否かを判定するデータ使用可能箇所判定手段を設けると共に、  
前記使用データが前記使用箇所で使用可能でないと判定した場合に作動し外部に対して警告情報を出力する警告表示手段を備えたことを特徴とする入力情報検証システム。
【請求項２】
請求項１に記載の入力情報検証システムにおいて、
前記時系列情報を前記使用データの生成手順を備えたシーケンス図にかかる情報とすると共に、当該シーケンス図がデータ及び要求説明用のメッセージを予め含む構成とし、
前記時系列情報入力手段をシーケンス図入力手段としたことを特徴とする入力情報検証システム。
【請求項３】
請求項１に記載の入力情報検証システムにおいて、
前記時系列情報は、前記使用データを含む前記オブジェクト相互間におけるメッセージの送受信情報であり、
前記時系列情報入力手段を、前記メッセージの送受信情報を入力するメッセージ情報入力手段としたことを特徴とした入力情報検証システム。
【請求項４】
請求項２に記載の入力情報検証システムにおいて、
前記シーケンス図入力手段に、前記シーケンス図に記載されたデータと前記オブジェクト情報にかかるフィールドとの対応情報を読み込むデータ・フィールド対応入力手段を併設すると共に、
前記データ使用可能箇所判定手段は、前記データ・フィールド対応入力手段で読み込まれた前記対応情報と前記データ生成・使用箇所入力手段に入力された前記各情報とに基づいて、前記使用データが前記使用箇所での使用が可能か否かを判定する構成としたことを特徴とした入力情報検証システム。
【請求項５】
請求項４に記載の入力情報検証システムにおいて、
前記シーケンス図入力手段は、検証対象である複数のシーケンス図を入力すると共に、各シーケンス図はメッセージで受け渡されるデータの情報を含む構成とし、
このシーケンス図入力手段に、前記複数のシーケンス図にかかる各シーケンスがどの順序で発生するかを示す情報を読み込む機能を備えたシーケンス図合成情報入力手段を併設すると共に、
前記シーケンス図入力手段に、前記シーケンス図合成情報入力手段で読み込まれた情報に従って機能し前記シーケンス図入力手段で読み込まれた複数のシーケンスを合成して１つ若しくは複数のシーケンス図を生成するシーケンス図合成手段を併設し、
前記データ使用可能箇所判定手段は、前記１つ若しくは複数の各シーケンス図について前記判定を実行する機能を備えていることを特徴とした入力情報検証システム。
【請求項６】
請求項１乃至請求項５のうち何れか一項に記載の入力情報検証システムにおいて、
前記データ生成・使用箇所入力手段は、
前記時系列情報の一部を成し使用データが生成される生成箇所の時刻情報、当該生成箇所のオブジェクト情報、前記使用データが使用される使用箇所の時刻情報、当該使用箇所のオブジェクト情報を抽出可能な情報を読み込むメタデータ入力部と、
この読み込んだ情報を前記シーケンス図と対応づけて、前記使用データが生成される時刻情報、前記使用データが使用される時刻情報、前記各オブジェクト情報を得るデータ生成・使用箇所抽出部と、
を備えていることを特徴とした入力情報検証システム。
【請求項７】
検証対象である時系列情報及び当該時系列情報にかかるデータ受け渡し説明用のメッセージを同時に入力する時系列情報入力処理を時系列情報入力手段が実行し、
次に、この入力した時系列情報から当該時系列情報の一部を成す使用データが生成される生成箇所の時刻情報、当該生成箇所のオブジェクト情報、前記使用データが使用される使用箇所の時刻情報、当該使用箇所のオブジェクト情報を読み込むデータ生成・使用箇所入力処理をデータ生成・使用箇所入力手段が実行し、
前記時系列情報入力処理及び前記データ生成・使用箇所入力処理にて読み込まれた前記各情報とに基づいて前記使用データの生成箇所とその使用箇所とが連携されているか否かを確認し且つ当該使用データの使用箇所での使用が可能か否かを判定するデータ使用可能箇所判定処理をデータ使用可能箇所判定手段が実行し、
前記使用データが前記使用箇所で使用可能でないと判定した場合に外部に対して警告情報の出力を警告表示手段が実行することを特徴とした入力情報検証方法。
【請求項８】
請求項７に記載の入力情報検証方法において、
前記時系列情報は、前記使用データの生成手順を備えたシーケンス図にかかる情報であり、
当該シーケンス図は、データ及び要求説明用のメッセージを含み、
前記時系列情報入力処理をするに際しては、前記シーケンス図を入力処理することを特徴とする入力情報検証方法。
【請求項９】
請求項７に記載の入力情報検証方法において、
前記時系列情報は、前記使用データを含む前記オブジェクト相互間におけるメッセージの送受信情報を含み、
前記時系列情報入力処理をするに際しては、前記メッセージの送受信情報を入力処理することを特徴とした入力情報検証方法。
【請求項１０】
請求項８に記載の入力情報検証方法において、
前記データ生成・使用箇所入力処理を実行後に、前記シーケンス図に記載されたデータと前記オブジェクト情報にかかるフィールドとの対応情報を読み込むデータ・フィールド対応情報入力処理を実行し、
前記判定をするに際しては、前記データ・フィールド対応情報入力処理にて読み込まれた前記対応情報と前記データ生成・使用箇所入力処理にて入力された前記各情報とに基づいてその内容を分析し、その後に前記使用箇所での使用が可能か否かを判定することを特徴とした入力情報検証方法。
【請求項１１】
請求項１０に記載の入力情報検証方法において、
前記検証対象であるシーケンス図を入力処理するに際しては、前記シーケンス図を複数入力すると共に、各シーケンス図はメッセージで受け渡されるデータの情報を含み、
次に、前記複数のシーケンス図にかかる各シーケンスがどの順序で発生するかを示す情報を前記各シーケンス図から読み込むシーケンス図合成情報入力処理を実行し、
前記シーケンス図合成情報入力処理で読み込まれた情報に従って前記シーケンス図の入力処理で読み込まれた複数のシーケンス図の各シーケンスを合成して１つ若しくは複数のシーケンス図を生成するシーケンス合成処理を実行し、
前記判定をするに際しては、前記１つ若しくは複数の各シーケンス図について前記使用データが前記使用箇所での使用が可能か否かの判定を実行するようにしたことを特徴とする入力情報検証方法。
【請求項１２】
請求項７乃至請求項１１のうち何れか一項に記載の入力情報検証方法において、
前記データ生成・使用箇所入力処理を実行するに際しては、
先ず、前記時系列情報の一部を成し使用データが生成される生成箇所の時刻情報、当該生成箇所のオブジェクト情報、前記使用データが使用される使用箇所の時刻情報、当該使用箇所のオブジェクト情報を抽出可能な情報を読み込むメタデータ入力処理を実行し、
次に、この読み込んだ情報を前記シーケンス図と対応づけて、前記使用データが生成される時刻情報、前記使用データが使用される時刻情報、前記各オブジェクト情報を得るデータ生成・使用箇所抽出処理を実行することを特徴とする入力情報検証方法。
【請求項１３】
検証対象である時系列情報及び当該時系列情報にかかるデータ受け渡し説明用のメッセージを同時に入力する時系列情報入力処理機能、
この入力した時系列情報から当該時系列情報の一部を成す使用データが生成される生成箇所の時刻情報、当該生成箇所のオブジェクト情報、前記使用データが使用される使用箇所の時刻情報、当該使用箇所のオブジェクト情報を読み込むデータ生成・使用箇所入力処理機能、
前記時系列情報入力処理機能及び前記データ生成・使用箇所入力処理機能にて読み込まれた前記各情報とに基づいて前記使用データの生成箇所とその使用箇所とが連携されているか否かを確認し且つ当該使用データの使用箇所での使用が可能か否かを判定するデータ使用可能箇所判定機能、
および前記使用データが前記使用箇所で使用可能でないと判定した場合に作動し外部に対して警告情報を出力する警告表示制御機能を、
コンピュータに実行させるようにしたことを特徴とする入力情報検証プログラム。
【請求項１４】
請求項１３に記載の入力情報検証プログラムにおいて、
前記時系列情報は、前記使用データの生成手順を備えたシーケンス図にかかる情報であり、
当該シーケンス図は、データ及び要求説明用のメッセージを含み、
前記時系列情報入力処理機能をシーケンス図入力処理機能としたことを特徴とする入力情報検証プログラム。
【請求項１５】
前記請求項１３に記載の入力情報検証プログラムにおいて、
前記時系列情報は、前記使用データを含む前記オブジェクト相互間におけるメッセージの送受信情報であり、
前記時系列情報入力処理機能を前記メッセージの送受信情報を入力するメッセージ情報入力処理機能としたことを特徴とする入力情報検証プログラム。
【請求項１６】
請求項１４に記載の入力情報検証プログラムにおいて、
前記シーケンス図入力処理機能に、前記シーケンス図に記載されたデータと前記オブジェクト情報にかかるフィールドとの対応情報を読み込むデータ・フィールド対応入力処理機能を併設すると共に、
前記データ使用可能箇所判定機能が、前記データ・フィールド対応入力処理機能で読み込まれた前記対応情報と前記データ生成・使用箇所入力処理機能に入力された前記各情報とに基づいて、前記使用データが前記使用箇所での使用が可能か否かを判定処理する構成とし、
これらの各機能を前記コンピュータに実行させるようにしたことを特徴とする入力情報検証プログラム。
【請求項１７】
請求項１６に記載の入力情報検証プログラムにおいて、
前記シーケンス図入力処理機能は、検証対象である複数のシーケンス図を入力処理すると共に、各シーケンス図はメッセージで受け渡されるデータの情報を含む構成とし、
このシーケンス図入力処理機能に、前記複数のシーケンス図にかかる各シーケンスがどの順序で発生するかを示す情報を読み込むシーケンス図合成情報入力処理機能を併設すると共に、
前記シーケンス図入力処理機能に、前記シーケンス図合成情報入力処理機能で読み込まれた情報に従って機能し前記シーケンス図入力処理機能で読み込まれた複数のシーケンスを合成して１つ若しくは複数のシーケンス図を生成するシーケンス図合成処理機能を併設し、
前記データ使用可能箇所判定機能は、前記１つ若しくは複数の各シーケンス図について前記判定を実行する機能を備え、
これらの各機能を前記コンピュータに実行させるようにしたことを特徴とする入力情報検証プログラム。
【請求項１８】
請求項１３乃至請求項１７のうち何れか一項に記載の入力情報検証プログラムにおいて、
前記データ生成・使用箇所入力処理機能は、
前記時系列情報の一部を成し使用データが生成される生成箇所の時刻情報、当該生成箇所のオブジェクト情報、前記使用データが使用される使用箇所の時刻情報、当該使用箇所のオブジェクト情報を抽出可能な情報を読み込むメタデータ入力処理機能と、
この読み込んだ情報を前記シーケンス図と対応づけて、前記使用データが生成される時刻情報、前記使用データが使用される時刻情報、前記各オブジェクト情報を得るデータ生成・使用箇所抽出処理機能とを備え、
これらの各機能を前記コンピュータに実行させるようにしたことを特徴とする入力情報検証プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、入力情報検証システム、入力情報検証方法及び入力情報検証用プログラムに関する。
【背景技術】
【０００２】
オブジェクト指向言語によりシステム開発を行う場合には、ＯＭＧ（Ｏｂｊｅｃｔ  Ｍａｎａｇｅｍｅｎｔ  Ｇｒｏｕｐ）によって標準化されたＵＭＬ（Ｕｎｉｆｉｅｄ  Ｍｏｄｅｌｉｎｇ  Ｌａｎｇｕａｇｅ）の中のシーケンス図が実装のためのドキュメントとして重視されている。
【０００３】
シーケンス図（シーケンスチャート）は、例えば特許文献１に記載されているように、プログラム実行のある局面でプログラム間でやり取りされるメッセージを時間軸に沿って記述したものである。シーケンス図には、各オブジェクトと、各オブジェクト間で送受されるメッセージが記述される。メッセージは発生する順番にオブジェクトの時間軸に沿って記述される（特許文献１に示す図５を参照）。
【０００４】
又、このシーケンス図に類似のものとして、グラニュラーメッセージ図（ｇｒａｎｕｌａｒ  ｍｅｓｓａｇｅ ｄｉａｇｒａｍ）と呼ばれるものもある（特許文献２）。
グラニュラーメッセージ図は、プロセス間の関係を示すものである。グラニュラーメッセージ図は、プロセス間で通信されるメッセージを特定し、少なくとも一部のメッセージが通信される順序を示すものである。グラニュラーメッセージ図は、複数のプロセス及びメッセージの表示を含む。これらのプロセスは、プロセスラインを含む。プロセスラインを相互接続する水平矢印は、メッセージがプロセス間で通信されることを示す。
各メッセージは、送信プロセスと受信プロセスを関連付けする。プロセスラインとメッセージが交差する位置は、イベントと呼ばれる場合がある。このとき、各メッセージは送信プロセスに関連する送信イベントと、受信プロセスに関連する受信イベントを含む。
【０００５】
更に、シーケンス図は、所定の機能に関するクラス群のメソッド（手続き型言語の関数に対応するもの）の呼び出し関係を示す場合もある。
【０００６】
このようなシーケンス図を解析するシーケンス図解析システムが、特許文献３に記載されている。
このシーケンス図解析システムは、特許文献３に記載のように、シーケンス取得手段と、クラス情報取得手段と、変換手段と、シーケンス一覧表情報生成手段と、シーケンス一覧表情報表示手段とから構成されている。
【０００７】
このような構成を有するシーケンス図解析システムはつぎのように動作する。
すなわち、図１８に示すように、シーケンス図及びクラス図の情報を記録したデータベースよりシーケンス図情報を取得し（Ｓ４０１）、矢印の接続元と接続先のクラスのデータを取得する（Ｓ４０３、Ｓ４０４）。次に、シーケンス図に含まれる各矢印の接続元のクラス及びインスタンス・接続元のクラスが含まれるシーケンスの識別子・メソッド名と、各矢印の接続先のクラス及びインスタンス・接続先のクラスが含まれるシーケンスの識別子・メソッド名とを取得する（Ｓ４０５、Ｓ４０６）。そして、クラス名に対応する列と呼び出し関係に対する行とで構成された行列形式のシーケンス一覧表の情報を生成して表示する（Ｓ４０７）。
【０００８】
このようなシーケンス図解析システムにより、シーケンスの一覧性を向上し、メソッドの一貫性をチェックすることが容易となる。しかし、このようなシーケンス図解析システムを用いても、シーケンス図の正しさを確認するには経験と背景知識を持った開発者によるレビューが必要である。
【特許文献１】特開平６−２３０９５４号公報
【特許文献２】特開２００６−８５７１０号公報
【特許文献３】特開２００８−０９０８５７号公報
【発明の開示】
【発明が解決しようとする課題】
【０００９】
このような関連技術において、第１の課題は、シーケンス図が正しく作成されたのかを検証するに際し、作成したシーケンス図で期待するデータの流れが実現できていることを確認することが困難であるということである。その理由は、シーケンス図ではデータの発生・使用・受け渡しの情報が明記されないため、暗黙的に想定されているデータの発生・使用・受け渡しの情報を類推しながら膨大なシーケンスを確認しなければならないからである。
【００１０】
［発明の目的］  
本発明の目的は、上述の関連技術の課題を解決することにあり、期待するデータの流れが実現できているかどうかの確認を可能ならしめると共に、これによって適切なシーケンンス図であるかどうかを検証可能な入力情報検証システム、入力情報検証方法及び入力情報検証用プログラムを提供することにある。
【課題を解決するための手段】
【００１１】
上記目的を達成するため、本発明の入力情報検証システムは、検証対象である時系列情報及び当該時系列情報にかかるデータ受け渡し説明用のメッセージを同時に入力する時系列情報入力手段と、この入力した時系列情報から当該時系列情報の一部を成す使用データが生成される生成箇所の時刻情報、当該生成箇所のオブジェクト情報、前記使用データが使用される使用箇所の時刻情報、当該使用箇所のオブジェクト情報を読み込むデータ生成・使用箇所入力手段とを備え、前記時系列情報入力手段及び前記データ生成・使用箇所入力手段に読み込まれた前記各情報とに基づいて前記使用データの生成箇所とその使用箇所とが連携されているか否かを確認し且つ当該使用データの使用箇所での使用が可能か否かを判定するデータ使用可能箇所判定手段を設けると共に、前記使用データが前記使用箇所で使用可能でないと判定した場合に作動し外部に対して警告情報を出力する警告表示手段を備えたことを特徴としている。
【００１２】
上記目的を達成するため、本発明の入力情報検証方法は、検証対象である時系列情報及び当該時系列情報にかかるデータ受け渡し説明用のメッセージを同時に入力する時系列情報入力処理を時系列情報入力手段が実行し、次に、この入力した時系列情報から当該時系列情報の一部を成す使用データが生成される生成箇所の時刻情報、当該生成箇所のオブジェクト情報、前記使用データが使用される使用箇所の時刻情報、当該使用箇所のオブジェクト情報を読み込むデータ生成・使用箇所入力処理をデータ生成・使用箇所入力手段が実行し、前記時系列情報入力処理及び前記データ生成・使用箇所入力処理にて読み込まれた前記各情報とに基づいて前記使用データの生成箇所とその使用箇所とが連携されているか否かを確認し且つ当該使用データの使用箇所での使用が可能か否かを判定するデータ使用可能箇所判定処理をデータ使用可能箇所判定手段が実行し、前記使用データが前記使用箇所で使用可能でないと判定した場合に外部に対して警告情報の出力を警告表示手段が実行することを特徴としている。
【００１３】
上記目的を達成するため、本発明の入力情報検証用プログラムは、検証対象である時系列情報及び当該時系列情報にかかるデータ受け渡し説明用のメッセージを同時に入力する時系列情報入力処理機能、この入力した時系列情報から当該時系列情報の一部を成す使用データが生成される生成箇所の時刻情報、当該生成箇所のオブジェクト情報、前記使用データが使用される使用箇所の時刻情報、当該使用箇所のオブジェクト情報を読み込むデータ生成・使用箇所入力処理機能、前記時系列情報入力処理機能及び前記データ生成・使用箇所入力処理機能にて読み込まれた前記各情報とに基づいて前記使用データの生成箇所とその使用箇所とが連携されているか否かを確認し且つ当該使用データの使用箇所での使用が可能か否かを判定するデータ使用可能箇所判定機能、および前記使用データが前記使用箇所で使用可能でないと判定した場合に作動し外部に対して警告情報を出力する警告表示制御機能を、コンピュータに実行させるようにしたことを特徴としている。
【発明の効果】
【００１４】
本発明によれば、作成した設計図で期待するデータの流れが実現できていることを確認でき、これによってシーケンス図が正しく作成されたのかどうかを検証できるという、関連技術にない優れた入力情報検証システム、入力情報検証方法及び入力情報検証用プログラムを提供することができる。
【発明を実施するための最良の形態】
【００１５】
以下、本発明の具体的な実施の形態を図面を参照して説明する。
〔第１の実施の形態〕
（基本的構成）
先ず、本第１実施形態の入力情報検証システムの基本的構成について図１を用いて説明する。図１に示すように、入力情報検証システム１Ａは、検証対象である時系列情報及び当該時系列情報にかかるデータ受け渡し説明用のメッセージを同時に入力するために読み込む処理を行う時系列情報入力手段１０を備える。
【００１６】
又、入力情報検証システム１Ａは、この入力した時系列情報から当該時系列情報の一部を成す使用データが生成される生成箇所の時刻情報、当該生成箇所のオブジェクト情報、前記使用データが使用される使用箇所の時刻情報、当該使用箇所のオブジェクト情報を読み込むデータ生成・使用箇所入力手段１２を備える。
ここで、データ生成・使用箇所入力手段１２における「・」は、「及び」を意味する。このため、データ生成・使用箇所入力手段１２は、データ生成箇所入力機能部とデータ使用箇所入力機能部を含む。
【００１７】
更に、入力情報検証システム１Ａは、前記時系列情報入力手段１０にて入力された前記時系列情報（のうち前記生成箇所と前記使用箇所との間に存在しうる時系列情報）と、前記データ生成・使用箇所入力手段１２にて読み込まれた前記各情報とに基づいて前記使用データの生成箇所とその使用箇所とが連携されているか否かを確認し且つ当該使用データの使用箇所での使用が可能か否かを判定するデータ使用可能箇所判定手段１３を備える。
【００１８】
又更に、入力情報検証システム１Ａは、前記使用データが前記使用箇所で使用可能でないと判定した場合に作動し外部に対して警告情報を出力する警告表示手段１４を備える。
【００１９】
（動作処理手順）
次に、上述のような構成を有する入力情報検証システム１Ａにおける全体の動作処理手順について、図２を参照しつつ説明する。図２は、本発明の第１実施形態による入力情報検証システムにおける動作処理手順の一例を示すフローチャートである。
【００２０】
本第１実施形態に係る入力情報検証（設計図検証）における全体の動作処理手順は、入力情報検証システムが備えたコンピュータが行うものを対象とするものである。
【００２１】
本第１実施形態に係る入力情報検証における全体の動作処理手順は、基本的手順として、先ず、時系列情報入力手段１０が、検証対象である時系列情報及び当該時系列情報にかかるデータ受け渡し説明用のメッセージを同時に入力するために読み込む時系列情報入力処理を実行する（図２に示すステップＳ１：時系列情報入力処理ステップないしは機能）。
【００２２】
続いて、データ生成・使用箇所入力手段１２が、この入力した時系列情報から当該時系列情報の一部を成す使用データが生成される生成箇所の時刻情報、当該生成箇所のオブジェクト情報、前記使用データが使用される使用箇所の時刻情報、当該使用箇所のオブジェクト情報を読み込むデータ生成・使用箇所入力処理を実行する（図２に示すステップＳ２：データ生成・使用箇所入力処理ステップないしは機能）。
【００２３】
次に、データ使用可能箇所判定手段１３が、前記時系列情報入力処理（ステップＳ１）にて入力された前記時系列情報（のうち前記生成箇所と前記使用箇所との間に存在しうる時系列情報）と、前記データ生成・使用箇所入力処理（ステップＳ２）にて読み込まれた前記各情報とに基づいて前記使用データの生成箇所とその使用箇所とが連携されているか否かを確認する。
加えて、データ使用可能箇所判定手段１３が、当該使用データの使用箇所での使用が可能か否かを判定するデータ使用可能箇所判定処理を実行する（図２に示すステップＳ３：データ使用可能箇所判定処理ステップないしは機能）。
【００２４】
ここで、「前記生成箇所と前記使用箇所との間に存在しうる時系列情報」には、前記使用データにかかる送信側および受信側の各オブジェクト情報と、この各オブジェクト情報にかかる各時刻情報とを含む。
【００２５】
しかる後、前記使用データが前記使用箇所で使用可能でないと判定した場合に外部に対して警告情報の出力を実行する（図２に示すステップＳ４：警告出力（警告表示制御）ステップないしは機能）。
【００２６】
このような入力情報検証システム１Ａでは、データ生成・使用箇所入力手段１２を備え、設計図中のメッセージでデータの生成箇所と使用箇所がつながっていることを確認することにより、データを使用する箇所でデータが使用可能かどうかを判定するよう動作する。
【００２７】
このような構成を採用し、データの使用箇所でデータが使用可能でない場合に警告を表示することにより、作成された設計図で期待するデータの流れが実現できていることを確認できる。
【００２８】
以上のように本第１実施形態では、データの生成・使用箇所を受け取り、データを使用する箇所でデータが使用可能かどうかを判定するように構成されているため、作成した設計図のメッセージ送受信で期待するデータの流れが実現できていることを検証できる。
このため、作成した設計図に誤りがあれば、警告を表示してユーザに告知し、設計図の修正を促すことができる。従って、正確な設計図の作成が可能となる。
【００２９】
また、上記の説明において、上述した各ステップの動作内容及び各部の構成要素並びにそれらによる各機能をプログラム化（ソフトウエアプログラム）し、コンピュータに実行させてもよい。  
【００３０】
〔第２の実施の形態〕
（シーケンス図検証システムの全体構成）
次に、本発明の「入力情報検証システム」を「シーケンス図検証システム」に適用した第２実施形態のシーケンス図検証システムの具体的構成について、全体構成から説明し、続いて各部の詳細構成について説明することとする。図３は、本発明における第２実施形態のシーケンス図検証システムの全体の概略構成の一例を示すブロック図である。
【００３１】
図３を参照すると、本第２の実施の形態におけるシーケンス図検証システム１Ｂは、シーケンス図を入力処理するためのシーケンス図入力手段１１と、シーケンス図中におけるデータ生成箇所及びデータ使用箇所を入力処理するためのデータ生成・使用箇所入力手段１２と、当該データ使用箇所にてデータが適正に使用可能となっているかどうかを判定するためのデータ使用可能箇所判定手段１３と、データ使用不可能と判定されたら警告を表示する警告表示手段１４とから構成されている。
【００３２】
これらの手段はそれぞれ基本的につぎのように動作する。
シーケンス図入力手段１１（設計図入力手段）は、検査対象のシーケンス図（設計図）を読み込む。このシーケンス図は、メッセージで受け渡しされるデータ（使用データ）の情報を含む。
【００３３】
データ生成・使用箇所入力手段１２は、シーケンス図中でデータが生成される時刻・オブジェクトおよびデータが使用される時刻・オブジェクトの情報を読み込む。すなわち、データ生成・使用箇所入力手段１２は、検証対象の設計図の一例であるシーケンス図などの図中におけるデータが生成される生成箇所の時刻情報及びオブジェクト情報と、当該データが使用される使用箇所の時刻情報及びオブジェクト情報とを読み込む。
【００３４】
データ使用可能箇所判定手段１３は、シーケンス図中のメッセージでデータの生成箇所と使用箇所がつながっていることを確認することにより、データの使用箇所でそのデータが使用可能かを判定する。
【００３５】
警告表示手段１４は、データの使用箇所でデータが使用可能でない場合に、警告を表示する。
【００３６】
ここで、本第２の実施の形態では、前記第１の実施の形態における時系列情報を、前記使用データの生成手順を備えたシーケンス図にかかる情報とする。又、当該シーケンス図がデータ及び要求説明用（データ受け渡し説明用、データ説明用）のメッセージを予め含む構成とする。
更に、本第２実施形態におけるシーケンス図入力手段１１は、前記第１実施形態における時系列情報入力手段の一例である。
【００３７】
又、データ使用可能箇所判定手段１３は、前記設計図中における前記生成箇所と前記使用箇所とでデータの流れが途絶えているか否かを検証することにより、前記使用箇所で前記データが使用可能か否かを判定する機能を備える。
【００３８】
又、警告表示手段１４は、データ使用可能箇所判定手段１３にて前記使用箇所で前記データが使用不可能と判定された場合に警告動作処理を実行する機能を備える。
【００３９】
（動作処理手順について）
（全体動作）
次に、上述のような構成を有するシーケンス図検証システムにおける全体の動作処理手順について、図４を参照しつつ説明する。図４は、本発明の第２の実施の形態によるシーケンス図検証システムにおける動作処理手順の一例を示すフローチャートである。
【００４０】
本第２実施形態に係る入力情報検証（設計図検証）における全体の動作処理手順は、入力情報検証システムが備えたコンピュータが行うものを対象とするものである。
【００４１】
本第２実施形態に係る入力情報検証における全体の動作処理手順は、基本的手順として、先ず、シーケンス図入力手段１１が、検証対象である時系列情報及び当該時系列情報にかかるデータ受け渡し説明用のメッセージを含む情報の一例であるシーケンス図を入力するシーケンス図入力処理（時系列情報入力処理）を実行する（図４に示すステップＳ１０１：シーケンス図入力処理ステップないしは機能）。
【００４２】
次に、データ生成・使用箇所入力手段１２が、この入力した時系列情報から当該時系列情報の一部を成す使用データが生成される生成箇所の時刻情報、当該生成箇所のオブジェクト情報、前記使用データが使用される使用箇所の時刻情報、当該使用箇所のオブジェクト情報を読み込むデータ生成・使用箇所入力処理を実行する（図４に示すステップＳ１０２：データ生成・使用箇所入力処理ステップないしは機能）。
【００４３】
続いて、データ使用可能箇所判定手段１３が、前記時系列情報入力処理にて入力された前記時系列情報のうち前記生成箇所と前記使用箇所との間に存在しうる時系列情報と、前記データ生成・使用箇所入力処理にて読み込まれた前記各情報とに基づいて前記使用データの生成箇所とその使用箇所とが連携されているか否かを確認し且つ当該使用データの使用箇所での使用が可能か否かを判定するデータ使用可能箇所判定処理を実行する（図４に示すステップＳ１０４乃至ステップＳ１０６からなるステップ：データ使用可能箇所判定ステップないしは機能）。
【００４４】
しかる後、前記使用データが前記使用箇所で使用可能でないと判定した場合に外部に対して警告情報の出力（警告動作処理）を実行する（図４に示すステップＳ１０７：警告表示制御ステップないしは機能）。  
【００４５】
更に、この入力情報検証における動作処理手順では、前記時系列情報入力処理をするに際しては、前記シーケンス図を入力処理する。すなわち、前記時系列情報入力処理機能をシーケンス図入力処理機能とする。
【００４６】
更に又、この入力情報検証における動作処理手順では、前記データ生成・使用箇所入力手段１２による読み込みに先立って、シーケンス図入力手段１１が検査対象のシーケンス図を読み込む。
この場合、前記判定をするに際しては、前記シーケンス図中の前記生成箇所と前記使用箇所とでデータの流れが途絶えているか否かを検証することにより、前記使用箇所で前記データが使用可能か否かを判定する。
【００４７】
更に、この入力情報検証における動作処理手順では、前記警告動作を実行するに際しては、警告表示を実行する。
【００４８】
（詳細動作）
以下、これを更に詳述する。
図４に示すように、まず、シーケンス図入力手段１１は、検査対象のシーケンス図を読み込む（ステップＳ１０１：シーケンス図入力処理ステップないしは機能）。
【００４９】
次に、データ生成・使用箇所入力手段１２は、シーケンス図中でデータが生成される時刻・オブジェクトおよびデータが使用される時刻・オブジェクトの情報を読み込む（ステップＳ１０２：データ生成・使用箇所入力処理ステップないしは機能）。
【００５０】
続いて、データ使用可能箇所判定手段１３は、シーケンス図入力手段１１の読み込んだ情報と、データ生成・使用箇所入力手段１２の読み込んだ情報とを受け取り、以下の手順に従ってデータが使用可能である箇所を判定する。以下には、データ使用可能箇所判定手段１３の動作説明を図４に示すステップＳ１０３からステップＳ１０６の各ステップに従って説明する。
【００５１】
まず、各データの生成箇所で、そのデータを使用可能状態に設定する（ステップＳ１０３：生成箇所使用可能状態設定ステップないしは機能）。
【００５２】
更に、メッセージで受け渡しされるデータが送信箇所で使用可能であり、受信箇所で使用可能でないようなメッセージがあるかどうかを判定する（ステップＳ１０４：受信箇所使用不能メッセージ探索ステップないしは機能）。
【００５３】
ここで、データ使用可能箇所判定手段１３は、データが受信箇所で使用可能でないようなメッセージがあれば（Ｓ１０４の「Ｙｅｓ」）、受信箇所でそのデータが受信可能であるように設定する（ステップＳ１０５：受信箇所受信可能状態設定ステップないしは機能）。
一方、データが受信箇所で使用可能でないようなメッセージがなければ（Ｓ１０４の「Ｎｏ」）、ステップＳ１０６に進む。
【００５４】
このように、データ使用可能箇所判定手段１３は、メッセージで受け渡しされるデータが送信箇所で使用可能であり、受信箇所で使用可能でないようなメッセージがある間、ステップＳ１０４、Ｓ１０５を繰り返す。
【００５５】
そして、データの使用箇所でそのデータが使用可能でない箇所があるかどうかを判定する（ステップＳ１０６：使用不可能箇所探索ステップないしは機能）。
最後に、データ使用可能箇所判定手段１３が使用不可能な箇所があると判定した場合（ステップＳ１０６の「Ｙｅｓ」）、警告表示手段１４は警告を表示する（ステップＳ１０７：警告表示制御ステップないしは機能）。
【００５６】
ここで、上記動作に限らず、シーケンス図中のメッセージでデータの生成箇所と使用箇所がつながっているかどうかを判定すれば、データ生成箇所がない場合に警告を表示するようにしてもよい。
【００５７】
以上のように本第２実施形態では、データの生成・使用箇所を受け取り、データを使用する箇所でデータが使用可能かどうかを判定するように構成されているため、作成したシーケンス図のメッセージ送受信で期待するデータの流れが実現できていることを検証できる。
このため、作成したシーケンス図に誤りがあれば、警告を表示してユーザに告知し、シーケンス図の修正を促すことができる。従って、正確なシーケンス図の作成が可能となる。
【００５８】
すなわち、データ受け渡しに関するメッセージについて、送信箇所、及び受信箇所でそれぞれ使用可能状態に設定する。これによって、データ受け渡しが行われる全てのメッセージが連携状態に設定される。
このとき、各オブジェクト間で連携されている箇所、連携されていない箇所が明らかになる。
【００５９】
その上で、生成箇所と使用箇所が連携しているかどうかを探索する。生成箇所と使用箇所とがどこかのオブジェクト間で不連続となる箇所があり、連携されていなければ、データの流れが途絶えていると判断し、そのシーケンス図には誤りがあり機能しないと判定する。
【００６０】
一方、生成箇所と使用箇所とが各オブジェクト間を通じて連携されていれば、データの流れが途絶えていないと判断し、そのシーケンス図は正しく作成されたものと判定する。
このようにして、正確なシーケンス図の作成が可能となる。
【００６１】
また、警告表示手段１４は、他に構成されたシーケンス図表示手段の一部として構成してもよいし、別体的に構成してもよい。
【００６２】
その他の構成およびその他のステップないしは機能並びにその作用効果については、前述した第１実施形態の場合と同一となっている。また、上記の説明において、上述した各ステップの動作内容及び各部の構成要素並びにそれらによる各機能をプログラム化（ソフトウエアプログラム）し、コンピュータに実行させてもよい。
【００６３】
［第３の実施の形態］
次に、本発明にかかる第３の実施の形態について、図５に基づいて説明する。図５は、本発明の第２実施形態におけるシーケンス図検証システムの全体構成の一例を示すブロック図である。
【００６４】
本第３実施形態では、データ・フィールド対応入力手段を備える点が前述した第２実施形態と異なる。
【００６５】
具体的には、図５を参照すると、本第３実施形態におけるシーケンス図検証システム２は、前記第２実施形態と同様の構成であるシーケンス図入力手段２１と、データ生成・使用箇所入力手段２２と、データ使用可能箇所判定手段２４と、警告表示手段２５とに加え、更にデータ・フィールド対応入力手段２３（データ・フィールド対応情報入力手段）を備えている。
【００６６】
これらの手段はそれぞれ基本的にはつぎのように動作する。
シーケンス図入力手段２１は、検査対象のシーケンス図を読み込む。このシーケンス図は、メッセージで受け渡しされるデータの情報を含む。
【００６７】
データ生成・使用箇所入力手段２２は、シーケンス図中でデータが生成される時刻・オブジェクトおよびデータが使用される時刻・オブジェクトの情報を読み込む。
【００６８】
データ・フィールド対応入力手段２３は、データとフィールドとの対応情報を読み込む。データとフィールドとの対応情報では、シーケンス図の特定の箇所で、データがオブジェクトのフィールドに格納されること、もしくはオブジェクトのフィールドの値がデータとして使われることを記述する。
【００６９】
データ使用可能箇所判定手段２４は、シーケンス図中のメッセージでデータの生成箇所と使用箇所がつながっていることを確認することにより、データの使用箇所でそのデータが使用可能かを判定する。
【００７０】
警告表示手段２５は、データの使用箇所でデータが使用可能でない場合に、警告を表示する。
【００７１】
ここで、前記シーケンス図入力手段２１に、前記シーケンス図に記載されたデータと前記オブジェクト情報にかかるフィールドとの対応情報を読み込むデータ・フィールド対応入力手段２３を併設してもよい。
【００７２】
又、前記データ使用可能箇所判定手段２４は、前記データ・フィールド対応入力手段２３で読み込まれた前記対応情報と前記データ生成・使用箇所入力手段２２に入力された前記各情報とに基づいて、前記使用データが前記使用箇所での使用が可能か否かを判定する機能を備えてよい。
【００７３】
又、前記データ使用可能箇所判定手段２４は、前記データが前記オブジェクトの前記フィールドに格納される箇所で前記データが使用可能であり、同じ前記オブジェクト及び前記フィールドでそれ以降の時間に前記フィールドの値が前記データとして使われる箇所で前記データが使用可能かどうかを判定する機能を備えてよい。
【００７４】
（動作処理手順）
次に、図６のフローチャートを参照して本実施の形態の全体の動作について詳細に説明する。
【００７５】
本第３実施形態に係るシーケンス図検証における動作処理手順は、先ず、前記データ生成・使用箇所入力手段２２によるデータ生成・使用箇所入力処理を実行後に、データ・フィールド対応入力手段２３が、前記シーケンス図に記載されたデータと前記オブジェクト情報にかかるフィールドとの対応情報を読み込むデータ・フィールド対応情報入力処理を実行する（図６に示すステップＳ２０３：データフィールド対応入力処理ステップないしは機能）。
この場合、前記シーケンス図入力処理機能に、データ・フィールド対応入力処理機能を併設してよい。
【００７６】
又、データ使用可能箇所判定手段２４が、前記シーケンス図中の前記生成箇所と前記使用箇所とでデータの流れが途絶えているか否かを検証することにより、前記使用箇所で前記データが使用可能か否かを判定する（図６に示すステップＳ２０５乃至ステップＳ２１０からなるステップ：データ使用可能箇所判定ステップないしは機能）。
【００７７】
更に、前記データ使用可能箇所判定手段２４が、（使用データについて前記使用箇所での使用が可能か否かの）前記判定をするに際しては、前記データ・フィールド対応情報入力処理にて読み込まれた前記対応情報と前記データ生成・使用箇所入力処理にて入力された前記各情報とに基づいてその内容を分析し、その後に前記使用箇所での使用が可能か否かを判定する。
【００７８】
すなわち、前記データ使用可能箇所判定手段２４が、前記判定をするに際しては、前記データが前記オブジェクトの前記フィールドに格納される箇所で前記データが使用可能であり、同じ前記オブジェクト及び前記フィールドでそれ以降の時間に前記フィールドの値が前記データとして使われる箇所で前記データが使用可能かどうかを判定する（図６に示すステップＳ２０７乃至ステップＳ２１０からなるステップ）。
【００７９】
この場合、前記データ使用可能箇所判定機能が、前記データ・フィールド対応入力処理機能で読み込まれた前記対応情報と前記データ生成・使用箇所入力処理機能に入力された前記各情報とに基づいて、前記使用データが前記使用箇所での使用が可能か否かを判定処理する構成としてよい。
【００８０】
以下、これを更に詳述する。
図６に示すように、まず、シーケンス図入力手段２１は、検査対象のシーケンス図を読み込む（ステップＳ２０１：シーケンス図入力処理ステップないしは機能）。
【００８１】
次に、データ生成・使用箇所入力手段２２は、シーケンス図中でデータ（使用データ）が生成される時刻・オブジェクトおよびデータが使用される時刻・オブジェクトの情報を読み込む（ステップＳ２０２：データ生成・使用箇所入力処理ステップないしは機能）。
【００８２】
さらに、データ・フィールド対応入力手段２３は、データとフィールドとの対応情報を読み込む（ステップＳ２０３：データ・フィールド対応情報入力処理ステップないしは機能）。
【００８３】
データ使用可能箇所判定手段２４は、シーケンス図入力手段２１の読み込んだ情報と、データ・フィールド対応入力手段２３の読み込んだ情報と、データ生成・使用箇所入力手段２２の読み込んだ情報とを受け取り、以下の手順に従ってデータが使用可能である箇所を判定する。以下には、データ使用可能箇所判定手段２４の動作説明を図６に示すステップＳ２０４からステップＳ２１０の各ステップに従って説明する。
【００８４】
まず、各データの生成箇所で、そのデータを使用可能状態に設定する（ステップＳ２０４：生成箇所使用可能状態設定ステップないしは機能）。  
【００８５】
続いて、メッセージで受け渡しされるデータが送信箇所で使用可能であり、受信箇所で使用可能でないようなメッセージがあるかどうかを判定する（ステップＳ２０５：受信箇所使用不能メッセージ探索ステップないしは機能）。  
【００８６】
このステップＳ２０５の判定でメッセージがあると判定された場合（ステップＳ２０５の「Ｙｅｓ」）、受信箇所でもそのデータが受信可能であるように設定する（ステップＳ２０６：受信箇所受信可能状態設定ステップないしは機能）。
【００８７】
一方、このステップＳ２０５の判定でメッセージがないと判定された場合、次のステップＳ２０７に進む。
【００８８】
次に、データがオブジェクトのフィールドに格納される箇所でそのデータが使用可能であり、同じオブジェクトおよびフィールドでそれ以降の時間にフィールドの値がデータとして使われる箇所でそのデータが使用可能でない箇所があるかどうかを判定する（ステップＳ２０７：同一オブジェクトデータ使用不能箇所探索ステップないしは機能）。
【００８９】
このステップＳ２０７の判定で使用不可能の箇所があると判定された場合（ステップＳ２０７の「Ｙｅｓ」）、フィールドの値がデータとして使われる箇所もそのデータが使用可能であると設定する（ステップＳ２０８：同一オブジェクト使用可能状態設定ステップないしは機能）。
【００９０】
一方、このステップＳ２０８の判定で使用不可能の箇所がないと判定された場合、次のステップＳ２０９に進む。
【００９１】
そして、データ使用可能箇所判定手段２４は、ステップＳ２０６もしくはステップＳ２０８を実行したかどうかを判定する（ステップＳ２０９：各状態設定実行有無判定ステップないしは機能）。
【００９２】
ここで、ステップＳ２０６を実行した場合とは、データが送信箇所で使用可能であり、受信箇所で使用不可能であるメッセージがある場合である。又、ステップＳ２０８を実行した場合とは、データがオブジェクトのフィールドに格納される箇所でそのデータが使用可能であり、同じオブジェクトおよびフィールドでそれ以降の時間にフィールドの値がデータとして使われる箇所でそのデータが使用不可能の箇所がある場合である。
このように、データ使用可能箇所判定手段２４は、ステップＳ２０６もしくはステップＳ２０８を実行したと判定した場合（ステップＳ２０６もしくはステップＳ２０８にあてはまる箇所がある間：ステップＳ２０９の「Ｙｅｓ」）、ステップＳ２０５からステップＳ２０８を繰り返す（各状態設定ステップないしは機能）。
一方、ステップＳ２０６もしくはステップＳ２０８を実行していないと判定した場合（ステップＳ２０９の「Ｎｏ」）、次のステップＳ２１０に進む。
【００９３】
次いで、データの使用箇所でそのデータが使用可能でない箇所があるかどうかを判定する（ステップＳ２１０：使用不可能箇所探索ステップないしは機能）。
【００９４】
最後に、このステップＳ２１０の判定で使用不可能の箇所があると判定された場合（ステップＳ２１０の「Ｙｅｓ」）、警告表示手段２５は警告を表示する（ステップＳ２１１：警告表示制御ステップないしは機能）。
【００９５】
この動作に限らず、シーケンス図中のメッセージでデータの生成箇所と使用箇所がつながっているかどうかを判定すれば、データ生成箇所がない場合に警告を表示するようにしてもよい。
【００９６】
以上のように本第３実施形態では、データの生成・使用箇所と、データとフィールドとの対応情報とを受け取り、データを使用する箇所でデータが使用可能かどうかを判定するように構成されている。このため、作成したシーケンス図中のメッセージ送受信およびフィールドへの入出力で、期待するデータの流れが実現できていることを検証できる。
【００９７】
すなわち、同一オブジェクトのフィールドにおいて、時間軸上の第１箇所でデータが使用可能であり、第１箇所より後の時間で前記第１箇所と同じデータが使用不可能の箇所を探索する。その場合、オブジェクトに属するフィールドにおいて、時間軸上の上位の箇所と下位の箇所とが連携するように設定する。
【００９８】
ここで、前述の第２実施形態では、オブジェクト間のメッセージの送信側と受信側と連携する設定をした上で、生成箇所と使用箇所との連携の可否の検証を行った（シーケンス図における横方向での連携の有無）。
これに加えて、本第３実施形態では、同一オブジエクトにおける時間軸上の上位と下位とで連携する設定をした上で、検証を行う（シーケンス図における縦方向での連携の有無）。
【００９９】
このように、各オブジェクト間の横方向での連携の検証に加えて、同一オブジェクトにおける時間軸上の上位と下位の縦方向での検証を行うことで、検証精度の向上を図ることができる。
又、横方向の検証と縦方向の検証とを同時に行う構成としてもよい。これにより、検証時間にかかる処理速度を高速化することもできる。
【０１００】
また、警告表示手段２５は、他に構成されたシーケンス図表示手段の一部として構成してもよいし、別体的に構成してもよい。
そのような場合、データとフィールドとの対応情報をコメントとしてシーケンス図上に出力することもできる。更に、データの生成箇所、データの使用箇所のそれぞれをコメントとしてシーケンス図上に出力することもできる。これによって、前記対応情報のコメント、データの生成箇所のコメント、データの使用箇所のコメント等の相対位置関係を、シーケンス図中の各オブジェクト間のメッセ−ジとともにユーザは視覚的に把握できる。このため、データの流れが各オブジェクト間で途絶えている場所（データが連携されていない箇所）を容易に把握でき、警告表示がなされた後に、ユーザは、修正すべき部分の修正を直ちに実行に移すことが可能となる。従って、正確なシーケンス図の作成をより迅速に行うことを可能とする。
【０１０１】
その他の構成およびその他のステップないしは機能並びにその作用効果については、前述した第２実施形態の場合と同一となっている。また、上記の説明において、上述した各ステップの動作内容及び各部の構成要素並びにそれらによる各機能をプログラム化（ソフトウエアプログラム）し、コンピュータに実行させてもよい。
【０１０２】
［第４の実施の形態］
次に、本発明にかかる第４実施形態について、図７に基づいて説明する。図７は、本発明の第４実施形態によるシーケンス図検証システムの全体構成の一例を示すブロック図である。
【０１０３】
本第４実施形態では、シーケンス図合成情報入力手段、シーケンス図合成手段を備える点が第３実施形態の場合と異なる。
【０１０４】
具体的には、図７を参照すると、本第４実施形態におけるシーケンス図検証システム３は、前記第３実施形態と同様の構成であるシーケンス図入力手段３１と、データ生成・使用箇所入力手段３４と、データ・フィールド対応入力手段３５と、データ使用可能箇所判定手段３６と、警告表示手段３７とに加え、更に、シーケンス図合成情報入力手段３２と、シーケンス図合成手段３３とを備えている。
【０１０５】
これらの手段はそれぞれ基本的にはつぎのように動作する。
シーケンス図入力手段３１は、検査対象となる複数のシーケンス図を読み込む。これらのシーケンス図は、メッセージで受け渡しされるデータの情報を含む。
【０１０６】
シーケンス図合成情報入力手段３２は、シーケンス図入力手段３１で読み込まれた複数のシーケンスがどの順序で発生するのかを示す情報を読み込む。
【０１０７】
シーケンス図合成手段３３は、シーケンス図合成情報入力手段３２で読み込まれた情報に従い、シーケンス図入力手段３１で読み込まれた複数のシーケンスを合成して１つもしくは複数のシーケンス図を生成する。
【０１０８】
データ生成・使用箇所入力手段３４は、第３実施形態におけるデータ生成・使用箇所入力手段２２と同様に動作する。
【０１０９】
データ・フィールド対応入力手段３５は、第３実施形態におけるデータ・フィールド対応入力手段２３と同様に動作する。
【０１１０】
データ使用可能箇所判定手段３６は、第３実施形態におけるデータ使用可能箇所判定手段２４と同様に動作する。
【０１１１】
警告表示手段３７は、第３実施形態における警告表示手段２５と同様に動作する。
【０１１２】
ここで、前記シーケンス図入力手段３１は、検証対象である複数のシーケンス図を入力すると共に、各シーケンス図はメッセージで受け渡されるデータの情報を含む構成とする。そして、このシーケンス図入力手段３１に、前記複数のシーケンス図にかかる各シーケンスがどの順序で発生するかを示す情報を読み込む機能を備えたシーケンス図合成情報入力手段３２を併設してもよい。
更に、前記シーケンス図入力手段３１に、前記シーケンス図合成情報入力手段３２で読み込まれた情報に従って機能し前記シーケンス図入力手段３１で読み込まれた複数のシーケンスを合成して１つ若しくは複数のシーケンス図を生成するシーケンス図合成手段３３を併設してもよい。
この場合、前記データ使用可能箇所判定手段３６は、前記シーケンス図合成手段３３で生成された前記１つ若しくは複数の各シーケンス図について前記判定を実行する機能を備えてよい。
【０１１３】
（動作処理手順）
次に、図８のフローチャートを参照して本実施の形態の全体の動作について詳細に説明する。
【０１１４】
本第４実施形態に係るシーケンス図検証における動作処理手順は、先ず、前記シーケンス図入力手段３１が前記検証対象であるシーケンス図を入力処理するに際しては、前記シーケンス図を複数入力する（図８に示すステップＳ３０１：シーケンス図入力処理ステップないしは機能）。
この際、各シーケンス図はメッセージで受け渡されるデータの情報を含む。
【０１１５】
次に、シーケンス図合成情報入力手段３２が、前記複数のシーケンス図にかかる各シーケンスがどの順序で発生するかを示す情報を前記各シーケンス図から読み込むシーケンス図合成情報入力処理を実行する（図８に示すステップＳ３０２：シーケンス図合成情報入力処理ステップないしは機能）。
【０１１６】
すなわち、前記シーケンス図入力手段３１による読み込みの後に、シーケンス図合成情報入力手段３１が複数のシーケンスがどの順序で発生するかを示す情報を読み込む。
この場合、このシーケンス図入力処理機能に、シーケンス図合成情報入力処理機能を併設してもよい。
【０１１７】
次に、シーケンス図合成手段３３が、シーケンス図合成情報入力手段３２による前記シーケンス図合成情報入力処理で読み込まれた情報に従ってシーケンス図入力手段３１による前記シーケンス図の入力処理で読み込まれた複数のシーケンス図の各シーケンスを合成して１つ若しくは複数のシーケンス図を生成するシーケンス合成処理を実行する（図８に示すステップＳ３０３：シーケンス図合成ステップないしは機能）。
この場合、前記シーケンス図入力処理機能に、前記シーケンス図合成情報入力処理機能で読み込まれた情報に従って機能し前記シーケンス図入力処理機能で読み込まれた複数のシーケンスを合成するシーケンス図合成処理機能を併設してもよい。
【０１１８】
又、データ使用可能箇所判定手段３６が、前記シーケンス図中の前記生成箇所と前記使用箇所とでデータの流れが途絶えているか否かを検証することにより、前記使用箇所で前記データが使用可能か否かを判定する（図６に示すステップＳ３０６乃至ステップＳ３０７からなるステップ：データ使用可能箇所判定ステップないしは機能）。
【０１１９】
前記判定をするに際しては、データ使用可能箇所判定手段３６が、前記１つ若しくは複数の各シーケンス図について前記使用データが前記使用箇所での使用が可能か否かの判定を実行する。
この場合、前記データ使用可能箇所判定機能は、前記１つ若しくは複数の各シーケンス図について前記判定を実行する機能を備えてよい。
【０１２０】
以下、これを更に詳述する。
図８に示すように、まず、シーケンス図入力手段３１は、検査対象となる複数のシーケンス図を読み込む（ステップＳ３０１：シーケンス図入力処理ステップないしは機能）。
【０１２１】
続いて、シーケンス図合成情報入力手段３２は、シーケンス図入力手段３１０で読み込まれた複数のシーケンスがどの順序で発生するかの情報を読み込む（ステップＳ３０２：シーケンス図合成情報入力処理ステップないしは機能）。
【０１２２】
更に、シーケンス図合成手段３３は、シーケンス図合成情報入力手段３２で読み込まれた情報に従い、シーケンス図入力手段３１で読み込まれた複数のシーケンスを合成して１つもしくは複数のシーケンス図を生成する（ステップＳ３０３：シーケンス図合成ステップないしは機能）。
【０１２３】
次いで、データ生成・使用箇所入力手段３４は、シーケンス図中でデータが生成される時刻・オブジェクトおよびデータが使用される時刻・オブジェクトの情報を読み込む（ステップＳ３０４：データ生成・使用箇所入力処理ステップないしは機能）。
【０１２４】
更に、データ・フィールド対応入力手段３５は、データとフィールドとの対応情報を読み込む（ステップＳ３０５：データ・フィールド対応情報入力処理ステップないしは機能）。  
【０１２５】
そして、データ使用可能箇所判定手段３６は、第３実施形態におけるステップＳ２０４からステップＳ２０９までの動作と同様にして、シーケンス図の中でそのデータが使用可能である箇所を判定する（ステップＳ３０６：設定用使用可能箇所探索ステップないしは機能）。
【０１２６】
続いて、データ使用可能箇所判定手段３６は、データの使用箇所でそのデータが使用可能でない箇所があるかどうかを判定する（ステップＳ３０７：使用不可能箇所探索ステップないしは機能）。
【０１２７】
最後に、データ使用可能箇所判定手段３６がこのステップＳ３０７の判定で使用不可能の箇所があると判定された場合（ステップＳ３０７の「Ｙｅｓ」）、警告表示手段３７は警告を表示する（ステップＳ３０８：警告表示制御ステップないしは機能）。
【０１２８】
以上のように本第４実施形態では、複数のシーケンス図を受け取り、合成したシーケンス図で期待するデータの流れが実現できていることを検証するように構成されているため、複数のシーケンス図間で整合性がとれているかを確認できる。
又、合成前の一のシーケンス図上にデータの生成箇所があり、合成前の他のシーケンス図上にデータの使用箇所がある場合などにおいても、合成したシーケンス図においてその誤りをチェックできる。
【０１２９】
更に、合成したシーケンス図において、データとフィールドとの対応情報をコメントとしてシーケンス図上に出力することもできる。更に、データの生成箇所、データの使用箇所のそれぞれをコメントとして合成したシーケンス図上に出力することもできる。これによって、前記対応情報のコメント、データの生成箇所のコメント、データの使用箇所のコメント等の相対位置関係を、合成したシーケンス図中の各オブジェクト間のメッセ−ジとともにユーザは視覚的に把握できる。このため、データの流れが各オブジェクト間で途絶えている場所（データが連携されていない箇所）を容易に把握でき、警告表示がなされた後に、ユーザは、修正すべき部分の修正を直ちに実行に移すことが可能となる。従って、合成したシーケンス図のように大規模かつ複雑な場合であっても、正確なシーケンス図の作成をより迅速に行うことを可能とする。
【０１３０】
その他の構成およびその他のステップないしは機能並びにその作用効果については、前述した第３実施形態の場合と同一となっている。また、上記の説明において、上述した各ステップの動作内容及び各部の構成要素並びにそれらによる各機能をプログラム化（ソフトウエアプログラム）し、コンピュータに実行させてもよい。
【０１３１】
ここで、各図に示すブロック図およびフローチャートにおける一部の各部は、コンピュータにより実行可能なプログラムにより機能化された状態を示すソフトウエアモジュール構成であってもよい。
【０１３２】
すなわち、物理的構成は例えば一又は複数のＣＰＵ（或いは一又は複数のＣＰＵと一又は複数のメモリ）等ではあるが、各部（回路・手段）によるソフトウエア構成は、プログラムの制御によってＣＰＵが発揮する複数の機能を、それぞれ複数の部（手段）による構成要素として表現したものである。
【０１３３】
ＣＰＵがプログラムによって実行されている動的状態（プログラムを構成する各手順を実行している状態）を機能表現した場合、ＣＰＵ内に各部（手段）が構成されることになる。プログラムが実行されていない静的状態にあっては、各手段の構成を実現するプログラム全体（或いは各手段の構成に含まれるプログラム各部）は、メモリなどの記憶領域に記憶されている。
【０１３４】
以上に示した各部（手段）は、プログラムにより機能化されたコンピュータをプログラムの機能と共に実現し得るように構成しても、また、固有のハードウエアにより恒久的に機能化された複数の電子回路ブロックからなる装置で構成してもよい。したがって、これらの機能ブロックがハードウェアのみ、ソフトウェアのみ、またはそれらの組合せによっていろいろな形で実現でき、いずれかに限定されるものではない。
【０１３５】
また、各部は、通信可能な専用のコンピュータからなる装置としてそれぞれ構成し、これらの各装置によりシステムを構成してもよい。逆に、各部を単一の装置として構成したシステムであってもよい。
【０１３６】
［第５の実施の形態］
次に、本発明にかかる第５実施形態について、図９乃至図１５に基づいて説明する。本第５実施形態は、前述した各実施形態のより具体的な実施例を示すものである。
【０１３７】
先ず、入力として、図９のようなシーケンス図を考える。このシーケンス図では、アクタのメッセージ情報「ｍｅｓｓａｇｅ１」に対して種々の処理が行われ、最終的にオブジェクトの一つである「Ｐｒｏｃｅｓｓｏｒ（プロセッサ）」オブジェクトにおいて「ｐｒｏｃ（ｄａｔａ）」（プロセス実行開始指示：データ使用）が実行されている。
このシーケンス図が妥当なものであるかはこの図からだけではわからず、背景知識を持った開発者によるレビューが必要である。
【０１３８】
説明のため、図１０のように、オブジェクトの一つである「ＵＩ（ユーザインターフェース）」オブジェクトの活性区間をＡおよびＢ、オブジェクトの一つである「ＤａｔａＳｔｏｒｅ（データストア：データ保管）」オブジェクトの活性区間をＣ、オブジェクトの一つである「Ｐｒｏｃｅｓｓｏｒ」オブジェクトの活性区間をＤおよびＥとする。
【０１３９】
このシーケンス図を検証可能とするため、暗黙的に決められている情報を明示的に記述する。シーケンス図中でデータが生成される時刻・オブジェクトの情報およびデータが使用される時刻・オブジェクトの情報を図１１のコメントのように記述し、データとオブジェクトにかかるフィールドとの対応情報を図１２のコメントのように記述する。
【０１４０】
図１１により、アクタが「ｄａｔａ（データ＜又は使用される使用データ＞）」を生成し、活性区間Ｅ内で「ｄａｔａ」が使用される事が示される。又、活性区間Ｅ内で「ｒｅｓｕｌｔ（プロセス実行結果）」が生成され、活性区間Ｂ内で「ｒｅｓｕｌｔ（プロセス実行結果）」が使用されることが示される。
図１２により、活性区間Ｃ内で「ＤａｔａＳｔｏｒｅ（データストア：データ保管）」オブジェクトのフィールドに「ｄａｔａ」が格納されることが示される。図９、図１１、図１２がシステムへの入力となる。
【０１４１】
システムは、これらの情報を読み込み、図１１より、アクタが「ｄａｔａ」を使用可能と判断し、活性区間Ｅ内で「ｒｅｓｕｌｔ（プロセス実行結果）」が使用可能と判断する。
次に、「ｍｅｓｓａｇｅ１（メッセージ１）」、「ｐｒｏｃ（プロセス実行開始指示）」の戻りメッセージに着目し、活性区間Ａ内で「ｄａｔａ」が利用可能であり、「ｐｒｏｃ」の戻りメッセージ以降の活性区間Ｄ内でｒｅｓｕｌｔが使用可能であると判断する。
【０１４２】
次に、「ｓｅｔＤａｔａ（データ設定）」、「ｓｈｏｗ（表示）」メッセージに着目し、活性区間Ｃ内で「ｄａｔａ」が利用可能であり、活性区間Ｂ内で「ｒｅｓｕｌｔ（プロセス実行結果）」が利用可能であると判断する。
ここで、「ｐｒｏｃｅｓｓ（プロセス実行要求）」メッセージは「ｄａｔａ」を受け渡さないので、活性区間Ｄ内では「ｄａｔａ」は使用可能とは判断されない。
メッセージで受け渡しされるデータが送信箇所で使用可能であり、受信箇所で使用可能でないようなメッセージはなくなるが、活性区間Ｅ内で「ｄａｔａ」が使用されるが使用可能とは判断されていない。そのため、シーケンス図に問題があるとして警告が表示される。
【０１４３】
図１３のように「Ｐｒｏｃｅｓｓｏｒ（プロセッサ）」オブジェクトから「ＤａｔａＳｔｏｒｅ（データストア：データ保管）」オブジェクトへの問い合わせを加えたり、図１４のように「ｐｒｏｃｅｓｓ（プロセス実行要求）」メッセージで「ｄａｔａ」を受け渡しするように変更したりすることでこの問題は修正され、正しいシーケンス図を得ることができる。図１３や図１４に示すシーケンス図はこのシステムでは警告は表示されない。
【０１４４】
その他の構成およびその他のステップないしは機能並びにその作用効果については、前述した第４実施形態の場合と同一となっている。また、上記の説明において、上述した各説明に関する動作内容及び各部の構成要素並びにそれらによる各機能をプログラム化（ソフトウエアプログラム）し、コンピュータに実行させてもよい。
【０１４５】
[その他の各種変形例]
また、本発明にかかる装置及び方法は、そのいくつかの特定の実施の形態に従って説明してきたが、本発明の主旨および範囲から逸脱することなく本発明の本文に記述した実施の形態に対して種々の変形が可能である。
【０１４６】
（その１）
例えば、ここまでの説明ではシーケンス図を検査の対象としているが、オブジェクト間で送受信されるメッセージの時系列の情報を得ることができれば、シーケンス図以外にも利用可能である。
【０１４７】
具体的には、本発明の入力情報検証システムの一実施形態に係るメッセージ送受信検証システム５は、図１５に示すように、オブジェクト間のメッセージ送受信の情報を読み込むメッセージ情報入力手段４０と、データが生成される時刻とオブジェクトおよびデータが使用される時刻とオブジェクトの情報を読み込むデータ生成・使用箇所入力手段２１と、入力されたメッセージでデータの生成箇所と使用箇所がつながっていることを確認することにより、データの使用箇所でそのデータが使用可能かを判定するデータ使用可能箇所判定手段１３と、データの使用箇所でデータが使用可能でない場合に警告を表示する警告表示手段１４とを備えてよい。
【０１４８】
ここで、前記時系列情報は、前記使用データを含む前記オブジェクト相互間におけるメッセージの送受信情報である。そして、前記第１実施の形態の時系列情報入力手段１０の一例として前記メッセージの送受信情報を入力するメッセージ情報入力手段４０を構成している。
【０１４９】
このメッセージ情報入力手段４０は、前記図中における各オブジェクト間のメッセージに関する送受信情報を読み込む機能を備える。
この場合、前記データ使用可能箇所判定手段は、入力された前記メッセージで受け渡されるデータが送信箇所で使用可能でありかつ受信箇所で使用可能でないようなメッセージがあるかどうかを判定する機能を備える。
【０１５０】
更に、この入力情報検証における動作処理手順では、前記データ生成・使用箇所入力手段１２による読み込みに先立って、メッセージ情報入力手段４０が、前記図中における各オブジェクト間のメッセージに関する送受信情報を読み込んでもよい。
この場合、前記判定をするに際しては、入力された前記メッセージで受け渡されるデータが送信箇所で使用可能でありかつ受信箇所で使用可能でないようなメッセージがあるかどうかを判定する。  
又、前記時系列情報入力処理をするに際しては、前記メッセージの送受信情報を入力処理する（メッセージ情報入力処理ステップないしは機能）。この場合、前記時系列情報入力処理機能をメッセージ情報入力処理機能としている。
シーケンス図以外には、例えば、コミュニケーション図、タイミング図、その他これに類するものなどであってもよい。
【０１５１】
その他の構成およびその他のステップないしは機能並びにその作用効果については、前述した第４実施形態の場合と同一となっている。また、上記の説明において、上述した各説明に関する動作内容及び各部の構成要素並びにそれらによる各機能をプログラム化（ソフトウエアプログラム）し、コンピュータに実行させてもよい。
【０１５２】
（その２）
更に、本発明の入力情報検証システムの一実施形態に係るシーケンス図検証システムは、例えば、データ生成・使用箇所入力手段では、直接シーケンス図と対応付けられたデータ以外を入力とすることも可能である。この場合には、データ生成・使用箇所を抽出可能な情報を読み込み、その後読み込んだ情報をシーケンス図と対応づける。これによって得られたデータ生成・使用箇所を元にシーケンス図の検査が可能となる。
【０１５３】
具体的には、図１６に示すように、前記データ生成・使用箇所入力手段１２は、前記生成箇所における前記時刻情報及び前記オブジェクト情報と、前記使用箇所における前記時刻情報及び前記オブジェクト情報とを抽出可能な情報を読み込むメタデータ入力手段１２ａ（メタデータ入力部）を備えてよい。
このメタデータ入力手段１２ａ（メタデータ入力部）は、前記時系列情報の一部を成し使用データが生成される生成箇所の時刻情報、当該生成箇所のオブジェクト情報、前記使用データが使用される使用箇所の時刻情報、当該使用箇所のオブジェクト情報を抽出可能な情報を読み込む。
【０１５４】
更に、データ生成使用箇所入力手段１２は、前記メタデータ入力手段１２ａで読み込んだ情報を前記シーケンス図と対応づけ、前記生成箇所における前記時刻情報及び前記オブジェクト情報と、前記使用箇所における前記時刻情報及び前記オブジェクト情報とを得るデータ生成・使用箇所抽出手段１２ｂ（データ生成・使用箇所抽出部）とを備えてよい。
【０１５５】
このデータ生成・使用箇所抽出手段１２ｂ（データ生成・使用箇所抽出部）は、この読み込んだ情報を前記シーケンス図と対応づけて、前記使用データが生成される時刻情報、前記使用データが使用される時刻情報、前記各オブジェクト情報を得る。
【０１５６】
このような、本発明の一実施の形態に係るシーケンス図検証における動作処理手順では、前記データ生成・使用箇所入力処理を実行するに際しては、先ず、前記メタデータ入力手段１２ａが、前記時系列情報の一部を成し使用データが生成される生成箇所の時刻情報、当該生成箇所のオブジェクト情報、前記使用データが使用される使用箇所の時刻情報、当該使用箇所のオブジェクト情報を抽出可能な情報を読み込むメタデータ入力処理を実行する（メタデータ入力処理ステップないしは機能）。
【０１５７】
次に、データ生成・使用箇所抽出手段１２ｂが、この読み込んだ情報を前記シーケンス図と対応づけて、前記使用データが生成される時刻情報、前記使用データが使用される時刻情報、前記各オブジェクト情報を得るデータ生成・使用箇所抽出処理を実行する（データ生成・使用箇所抽出処理ステップないしは機能）。
【０１５８】
このため、データ生成・使用箇所入力処理機能では、前記時系列情報の一部を成す使用データが生成される時刻，当該使用データにかかる送信側および受信側の各オブジェクト情報，この各オブジェクト情報および前記使用データが使用される各時刻情報を読み込むメタデータ入力処理機能部と、この読み込んだ各情報を前記シーケンス図と対応づけて、前記使用データが生成される時刻，前記オブジェクト及び使用データが使用される時刻，前記オブジェクトにかかる各情報を得るデータ生成・使用箇所抽出機能部とを備えてもよい。
例えば、シーケンス図とコミュニケーション図とを３次元的に組み合わせた３次元モデルメタデータ、コミュニケーション図とタイミング図とを３次元的に組み合わせた３次元モデルメタデータであってもよい。
【０１５９】
その他の構成およびその他のステップないしは機能並びにその作用効果については、前述した第４実施形態の場合と同一となっている。また、上記の説明において、上述した各説明に関する動作内容及び各部の構成要素並びにそれらによる各機能をプログラム化（ソフトウエアプログラム）し、コンピュータに実行させてもよい。
【０１６０】
（その３）
又、前述したメッセージ情報入力手段は、前記のシーケンス図入力手段とは別に個別に設けてもよい。
例えば、図１７に示すように、メッセージ送受信検証システム４は、各オブジェクト間のメッセージに関する送受信情報を読み込むメッセージ情報入力手段４０を前記シーケンス図入力手段に併設してよい。
この場合、前記データ使用可能箇所判定制御手段は、入力された前記メッセージで受け渡されるデータが送信箇所で使用可能でありかつ受信箇所で使用可能でないようなメッセージがあるかどうかを判定する機能を備えてよい。
【０１６１】
又、この実施の形態に係る検証における動作処理手順では、メッセージ情報入力手段が、各オブジェクト間のメッセージに関する送受信情報を読み込み、前記判定制御をするに際しては、入力された前記メッセージで受け渡されるデータが送信箇所で使用可能でありかつ受信箇所で使用可能でないようなメッセージがあるかどうかを判定する。
【０１６２】
更に又、前記実施の形態のデータ使用可能箇所判定手段では、シーケンス図中のメッセージでデータの生成箇所と使用箇所がつながっていることを確認することにより、データの使用箇所でそのデータが使用可能かを判定する。
そして、本発明ではオブジェクト間のメッセージのやりとりだけではなくそのメッセージを通してやりとりされる情報を考慮することにより、複数の形式の入力をつき合わせて確認するのではなく、単独のシーケンスそのものが妥当であるかどうかを確認できる。
このようにして、データが使用箇所で使用可能か判定し、使用可能でない場合に警告を発生する。
【０１６３】
又、本発明では、データ・フィールド対応入力手段はプログラム実行時の挙動を変えることなく、検証に必要な対応情報を入力することでフィールドの情報を含んだ検証を可能とする。
【０１６４】
さらに、本発明はシーケンス図のみで検証が実行できるため、テストプログラム生成手段は不要である。又、本発明は、シーケンス図のそのものを検証できるため、動作するモジュールが存在しない場合でも設計情報のみで検証が実行できる。
これにより、データが使用箇所で使用可能か判定し、使用可能でない場合に警告を発生することができる。
【０１６５】
又、前記実施の形態のシステムを動作させるための前提となるハードウエア構成の一例について説明すると、システムが搭載される入力情報検証装置は、制御手段としての制御モジュールの一部又は一例であるＣＰＵと、第１記憶媒体と、第２記憶媒体と、入力モジュールと、出力モジュールとから構成してもよい。この制御手段は、明細書中の記載の各「手段」や各「機能」を含む構成としてもよい。
【０１６６】
ＣＰＵは、各種ソフトウェアプログラム（コンピュータプログラム）を実行することにより、システムの全体的な動作を司る。
【０１６７】
第１記憶媒体（コンピュータに読み取り可能な媒体）は、各種ソフトウェアプログラムとその実行に必要なデータを格納するための記憶媒体である。
第２記憶媒体は、第１記憶媒体を補完するための記憶媒体である。
好適な例としては、第１記憶媒体は高速に動作するメモリ、例えばＲＡＭである。
第２記憶媒体は、ある程度大きい容量を持つ記憶媒体、例えば、ハードディスクである。
【０１６８】
入力モジュールは、キーボードやマウス、各種ボタン、タッチパネル等の操作入力手段としての操作入力モジュールから入力される操作入力インターフェイス機能などを備えてよい。
【０１６９】
又更に、記憶媒体は、システムにおいて処理途中の情報や処理結果の情報を保持する各種の記憶領域を備えてよい。又、記憶媒体は、他の種々の外部接続によるコンピュータ、光ディスク、光磁気ディスク、磁気テープなどにより構成することもできる。
【０１７０】
出力モジュールは、コンピュータディスプレイやテレビモニタ（表示手段としての表示モジュール）、プロジェクタ、プリンタ（画像形成手段としての画像形成モジュール）等の情報を出力する情報出力手段としての情報出力モジュールへ各種の情報を出力する情報出力インターフェイス機能を備えてよい。
【０１７１】
ＣＰＵは、通信インターフェース、入力インターフェースなどからの要求に基づいて、記憶媒体を適宜参照しながら、ソフトウェアプログラムを実行し、各処理を行うことができる。
要求は、入力された操作入力データないしは操作入力信号であってもよいし、各種の装置など制御する制御データないしは制御信号であってもよい。
このように、記憶媒体には、本実施形態の各処理（各手段）としてコンピュータを機能させるためのプログラム（各処理をコンピュータに実行させるためのプログラム）が記憶される。  
【０１７２】
さらに、本明細書において、フローチャートに示されるステップは、記載された手順に従って時系列的に行われる処理はもちろん、必ずしも時系列的に処理されなくとも、並列的あるいは個別に実行される処理を含むものである。また、実装では、プログラム手順（ステップ）が実行される順序を変更することができる。さらに、実装の必要に応じて、本明細書で説明した特定の手順（ステップ）を、組み合わされた手順（ステップ）として実装、除去、追加、または再配置することができる。  
【０１７３】
又、明細書中の記載において広義な用語（時系列情報等）として引用された用語（オブジェクト情報、時刻情報、手段等）は、明細書中の他の記載においても広義な用語に置き換えることができる。更に、明細書中の記載において、各ステップが各々処理する各動作内容は、各ステップの動作説明に記載されていないが、前記記憶媒体における各々の特定の記憶領域に各々書き込む処理を各々実行することを含むものである。
【０１７４】
又、本発明の一実施形態に係るシーケンス図検証システムでは、シーケンス図中でデータが生成される時刻・オブジェクトおよび、データが使用される時刻・オブジェクトの情報を入力する手段と、シーケンス図中のメッセージでデータの生成箇所と使用箇所がつながっていることを確認することにより、データが使用箇所で使用可能か否かを判定する手段と、使用可能でない場合に警告を発生する手段と、を備えてもよい。
これにより、期待するデータの流れが実現出来ているか否かを自動的に検査する。
【０１７５】
又、前記第２乃至第５の各実施形態では、シーケンス図を検証する際には、時系列情報にかかるデータ受け渡し用のメッセージを全て連携状態に設定（送信側で送信可能状態とし受信側で受信可能状態とする）した上で、検証を行ったが、必ずしも全メッセージを連携状態に設定する必要はない。
データの生成箇所と使用箇所との間に存在し得る時系列情報のみを連携状態に設定する場合であってもよい。
その場合の各構成の機能としては以下のようにすることが好ましい。
【０１７６】
すなわち、データ生成・使用箇所入力手段１２は、入力した時系列情報から当該時系列情報の一部を成す使用データが生成される生成箇所の時刻情報、当該生成箇所のオブジェクト情報、前記使用データが使用される使用箇所の時刻情報、当該使用箇所のオブジェクト情報を読み込む。
【０１７７】
又、データ使用可能箇所判定手段１３は、前記時系列情報入力手段１０にて入力された前記時系列情報のうち前記生成箇所と前記使用箇所との間に存在しうる時系列情報と、前記データ生成・使用箇所入力手段１２に読み込まれた前記各情報とに基づいて前記使用データの生成箇所とその使用箇所とが連携されているか否かを確認し且つ当該使用データの使用箇所での使用が可能か否かを判定する。
【０１７８】
これにより、入力する（読み込む）情報量が少なくても検証を行うことができるので、検証における処理速度の高速化を図ることができる。
【０１７９】
また、前記実施形態では、データ使用可能箇所判定手段１３は、時系列情報入力手段１０およびデータ生成・使用箇所入力手段１２にて読み込まれた各情報に基づいて判定をしたが、これに限るものではない。
データ使用可能箇所判定手段１３は、データ生成・使用箇所入力手段１２にて読み込まれた各情報に基づいて判定をする場合であってもよい。この場合、データ生成・使用箇所入力手段１２では、入力された前記時系列情報のうち前記生成箇所と前記使用箇所との間に存在しうる時系列情報を読み込む機能を備える。
【０１８０】
具体的には、各手段は、以下のような機能であってもよい。
すなわち、データ生成・使用箇所入力手段１２は、入力した時系列情報から当該時系列情報の一部を成す使用データが生成される時刻，当該使用データにかかる送信側および受信側の各オブジェクト情報，この各オブジェクト情報および前記使用データが使用される各時刻情報を読み込む機能を備える。
又、データ使用可能箇所判定手段１３は、このデータ生成・使用箇所入力手段１２に読み込まれた前記各情報に基づいて前記使用データの生成箇所とその使用箇所とが連携されているか否かを確認し且つ当該使用データの使用箇所での使用が可能か否かを判定する。
【０１８１】
更にこのような構成による動作処理手順では、前述の時系列情報入力処理後に、この入力した時系列情報から、当該時系列情報の一部を成す使用データが生成される時刻，当該使用データにかかる送信側および受信側の各オブジェクト情報，この各オブジェクト情報および前記使用データが使用される各時刻情報をデータ生成・使用箇所入力手段が読み込む。
又、この読み込まれた前記各情報に基づいてデータ使用可能箇所判定手段が機能し前記使用データの生成箇所とその使用箇所とが連携されているか否かを確認し且つ当該使用データの使用箇所での使用が可能か否かを判定する。
【０１８２】
これにより、データ生成・使用箇所入力手段１２にて判定に必要な情報を取得できるので、データ使用可能箇所判定手段１３における判定処理を簡略化して処理速度の向上が図れる。
【０１８３】
又、前記実施形態のデータ使用可能箇所判定手段１３は、「データ使用可能箇所判定制御手段」の一例又は一部としてもよい。また、警告表示手段１４は、「警告動作実行手段」の一例又は一部としてもよい。この場合、警告表示手段１４は、データ使用可能箇所判定手段１３にて前記使用箇所で前記データが使用不可能と判定された場合に警告動作処理を実行する。
【０１８４】
又、本発明の一実施形態に係る入力情報検証システムは、データ生成・使用箇所入力処理機能、データ使用可能箇所判定機能、警告動作実行機能からなる構成であってもよい。この構成を、他のシステムに組み入れてこれを入力情報検証システムとすることができ、種々の設計図（例えばシーケンス図やグラニュラーメッセージ図）などの設計図作成支援装置の一機能として用いることができる。これによって、本システムの汎用性を高めることができる。
この際、設計図作成支援装置には当該設計図が予め備えており、データ使用可能箇所判定機能が機能する際に当該設計図情報の読み込みを行う機能を備えてよい。
【産業上の利用可能性】
【０１８５】
本発明は、ソフトウエアの設計解析、特にシーケンス図中のデータの流れを検証するシーケンス図解析などの用途に利用できる。
【図面の簡単な説明】
【０１８６】
【図１】本発明の第１の実施の形態による入力情報図検証システムの全体構成の一例を示すブロック図である。
【図２】本発明の第１の実施の形態による入力情報検証システムにおける動作処理手順の一例を示すフローチャートである。
【図３】本発明の第２の実施の形態によるシーケンス図検証システムの全体構成の一例を示すブロック図である。
【図４】本発明の第２の実施の形態によるシーケンス図検証システムにおける動作処理手順の一例を示すフローチャートである。
【図５】本発明の第３の実施の形態によるシーケンス図検証システムの全体構成の一例を示すブロック図である。
【図６】本発明の第３の実施の形態によるシーケンス図検証システムにおける動作処理手順の一例を示すフローチャートである。
【図７】本発明の第４の実施の形態によるシーケンス図検証システムの全体構成の一例を示すブロック図である。
【図８】本発明の第４の実施の形態によるシーケンス図検証システムにおける動作処理手順の一例を示すフローチャートである。
【図９】本発明の第５の実施の形態によるシーケンス図検証システムにあって、入力となるシーケンス図の一例を説明するための説明図である。
【図１０】本発明の第５の実施の形態によるシーケンス図検証システムにあって、入力となるシーケンス図内の活性区間の名前の一例を説明するための説明図である。
【図１１】本発明の第５の実施の形態によるシーケンス図検証システムにあって、シーケンス図中でデータが生成される時刻・オブジェクトおよびデータが使用される時刻・オブジェクトの情報の一例を説明するための説明図である。
【図１２】本発明の第５の実施の形態によるシーケンス図検証システムにあって、データとフィールドとの対応情報の一例を説明するための説明図である。
【図１３】本発明の第５の実施の形態によるシーケンス図検証システムにあって、ＰｒｏｃｅｓｓｏｒからＤａｔａＳｔｏｒｅへの問い合わせを加えるように修正したシーケンス図の一例を説明するための説明図である。
【図１４】本発明の第５の実施の形態によるシーケンス図検証システムにあって、ｐｒｏｃｅｓｓメッセージでｄａｔａを受け渡しするように修正したシーケンス図の一例を説明するための説明図である。
【図１５】本発明の他の実施の形態による検証システムの全体構成の一例を示すブロック図である。
【図１６】本発明の他の実施の形態によるシーケンス図検証システムの全体構成の一例を示すブロック図である。
【図１７】本発明の他の実施の形態によるシーケンス図検証システムの全体構成の一例を示すブロック図である。
【図１８】関連技術のシーケンス図解析システムの動作処理手順を示すフローチャートである。
【符号の説明】
【０１８７】
１Ａ、５  入力情報検証システム
１Ｂ、２、３  シーケンス図検証システム
１０    時系列情報入力手段
１１    シーケンス図入力手段
１２    データ生成・使用箇所入力手段
１２ａ  メタデータ入力手段（メタデータ入力部）
１２ｂ  データ生成・使用箇所抽出手段（データ生成・使用箇所抽出部）
１３    データ使用可能箇所判定手段
１４    警告表示手段
２１    シーケンス図入力手段
２２    データ生成・使用箇所入力手段
２３    データ・フィールド対応入力手段（データフィールド対応情報入力手段）
２４    データ使用可能箇所判定手段
２５    警告表示手段
３１    シーケンス図入力手段
３２    シーケンス図合成情報入力手段
３３    シーケンス図合成手段
３４    データ生成・使用箇所入力手段
３５    データ・フィールド対応入力手段
３６    データ使用可能箇所判定手段
３７    警告表示手段
【図１】
2010146383.tif 000003
【図２】
2010146383.tif 000004
【図３】
2010146383.tif 000005
【図４】
2010146383.tif 000006
【図５】
2010146383.tif 000007
【図６】
2010146383.tif 000008
【図７】
2010146383.tif 000009
【図８】
2010146383.tif 000010
【図９】
2010146383.tif 000011
【図１０】
2010146383.tif 000012
【図１１】
2010146383.tif 000013
【図１２】
2010146383.tif 000014
【図１３】
2010146383.tif 000015
【図１４】
2010146383.tif 000016
【図１５】
2010146383.tif 000017
【図１６】
2010146383.tif 000018
【図１７】
2010146383.tif 000019
【図１８】
2010146383.tif 000020