JP4249534B2 - データ処理装置、データ検証方法及びデータ検証プログラム - Google Patents
データ処理装置、データ検証方法及びデータ検証プログラム Download PDFInfo
- Publication number
- JP4249534B2 JP4249534B2 JP2003118374A JP2003118374A JP4249534B2 JP 4249534 B2 JP4249534 B2 JP 4249534B2 JP 2003118374 A JP2003118374 A JP 2003118374A JP 2003118374 A JP2003118374 A JP 2003118374A JP 4249534 B2 JP4249534 B2 JP 4249534B2
- Authority
- JP
- Japan
- Prior art keywords
- data
- verification
- xslt
- schema
- data file
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Lifetime
Links
Images
Landscapes
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
- Train Traffic Observation, Control, And Security (AREA)
Description
【０００１】
【発明の属する技術分野】
本発明は、システム制御に用いる制御用データなどを検証するためのデータ処理装置、データ検証方法及びデータ検証プログラムに関する。
【０００２】
【従来の技術】
近年、コンピュータ制御による公共システムが種々開発されている。このような公共システムにおいて使用されるソフトウェアは、一般に、プログラムとアプリケーションデータとにより構成される。ここで、上記プログラムは、一般化されたプログラムを処理目的に適合させるために必要とするデータを含み、上記アプリケーションデータは、上記システムが適用される特定の環境に関連付けるためのデータである。
【０００３】
特に、このようなコンピュータ制御による公共システムでは上記アプリケーションデータへの依存度が増す傾向にあり、したがって、当該アプリケーションデータに対する信頼性と安全性の確保というシステム要件の重要度がさらに高まりつつある。
【０００４】
しかし、このようなアプリケーションデータに誤りが存在するような場合には、システムの機能障害として重大な事象となって顕在化する可能性が一般に生じ得る。このため、当該アプリケーションデータに対する検証（以下、データ検証という。）がデータ仕様作成段階から実機試験段階までの各段階において厳重に施されている。
【０００５】
このデータ検証は主に人手によって行われる。検証ツールを用いる場合であっても、作業者は、まず、専用の検証ツールをアプリケーションデータ毎に複数開発し、該検証ツールを用いてアプリケーションデータに対するデータ検証を上記各段階において逐一かつ直接行うとともに厳重を期すため複数回及び複数通り（検証ツールの数だけ。）行う。
【０００６】
このため、様々な仕様に基づくアプリケーションデータを短い納期で作成するような場合、当該アプリケーションデータに対し上記厳重なデータ検証を複数回及び複数通り行って高い信頼性や安全性を確保するためには多大な労力とコストが必要となる。
【０００７】
一方、ＸＭＬ（eXtensible Markup Language）と呼ばれるメタ言語（言語を作るための言語）をベースとしたデータ処理技術（以下、ＸＭＬ技術という。）が最近注目されている。このＸＭＬ技術は、データ内容（例えば、各データ要素が属するカテゴリなど。）やデータ構造（例えば、データ内におけるデータ要素の配置など。）をデータに埋め込むことが可能であり、データの可視性に優れ、データ検証性が格段に行い易くなっている。ここで、上記データ構造を定義する言語をＸＭＬスキーマ（XML schema）という。
ここで、上記データ要素とは、ＸＭＬのタグ（tag）で囲まれ、データ全体を構成する一つ一つのデータ要素である。
【０００８】
さらに、ＸＭＬ技術では、ＸＭＬ文書の読み込みや、ＸＭＬ文書中におけるデータ構造の解析及びデータ操作などを行うための既存のプロセッサ（ＸＭＬプロセッサ（あるいは、ＸＭＬパーサ（XML parser）という。）が複数利用可能であり、汎用性の高いアプリケーションの構築が可能となっている。また、ＸＭＬスキーマに基づくＸＭＬ文書としてのデータの妥当性（以下、バリディティ（validity）という。）検証がＸＭＬプロセッサを用いることにより可能となっている。
【０００９】
ここで、上記「ＸＭＬ文書としてのデータ」とは、メタ言語であるＸＭＬを用いて定義されるデータベース記述言語（以下、ＤＢＬという。）に基づいて作成されたデータであり、ＤＢＬにおいて定義されたデータ構造はＸＭＬスキーマとして記録される。
【００１０】
そこで、最近、上記アプリケーションデータの元となるデータベースの設計に対し上記ＸＭＬ技術の適用が試みられつつある。この場合、アプリケーションデータはＸＭＬ文書としてのデータを意味する。このＸＭＬ技術の適用は、データ記述言語としてＸＭＬが有するデータの表現力・扱い易さとともに、ＸＭＬスキーマによるバリディティ検証機能がデータの信頼性・安全性確保上有効であるとの考えに基づいている。
【００１１】
例えば、特許文献１には、ＸＭＬ技術を用いることにより、個々のデータベースの機構や構造が異なっていても実稼動までに要するアプリケーションシステムの設計開発コストやデータベースが変更された場合のアプリケーションシステムの修正コストを最小にできる汎用データベースアクセス装置に係る技術が開示されている。
【００１２】
また、特許文献２には、ＸＭＬ技術を用いることにより、異なった種類の制御データに基づく電話交換機が複数併設されているような場合であっても各電話交換機がこのような制御データを用いて各々制御可能となるような交換機間制御信号伝送システムに係る技術が開示されている。
【００１３】
また、鉄道信号システムのうち、デジタルＡＴＣ（Automatic Train Control）システムと称する自動列車制御システム（以下、新ＡＴＣシステムという。）に対してＸＭＬ技術を用いることも可能である。
【００１４】
この新ＡＴＣシステムによれば、ＡＴＣ地上装置（すなわち、地上に設置されたＡＴＣ装置。）は、先行列車の現在位置などの現在位置情報をデジタル符号化すると共にＭＳＫ（Minimum Shift Keying）方式に基づいて変調し、ＡＴＣ車上装置（すなわち、車上に搭載されたＡＴＣ装置。）へレールを介して送信する。
【００１５】
ＡＴＣ車上装置は、列車制御用のプログラム（以下、ＡＴＣ車上装置制御用プログラムという。）を実行し、上記レールを介して受信した上記現在位置情報と、予め車上ＤＢ（以下、ＡＴＣ車上ＤＢ（Data Base）という。）に記録された線区情報（例えば、停車駅、軌道回路の配置、地形を示す情報など）や車両性能情報（例えば、ブレーキ性能を示す情報など）などの列車制御用データ（以下、ＡＴＣ車上ＤＢデータという。）に基づいて連続的な許容速度を示すブレーキパターンを算出し、当該ブレーキパターンに基づいてブレーキ制御を行う。なお、このような新ＡＴＣシステムにおけるブレーキ制御は、「一段ブレーキ制御」と呼ばれている。
【００１６】
したがって、新ＡＴＣシステムによれば、次のような利点がある。
１）運転時隔の短縮や到達時分の短縮化が図れる。
２）連続的な許容速度を示すブレーキパターンに基づいてブレーキ制御が行われるためブレーキによるショックが緩和されて乗り心地が改善される。
３）車両性能に応じたブレーキ制御が容易に行えるのでブレーキ性能が異なる車両が混在する線区においても効率的な列車運行が可能になると共に、ブレーキ性能の向上に伴うＡＴＣ地上装置の改修や信号現示図表（許容速度を決定するためのデータ）の変更などが不要となり経済的である。
【００１７】
このような新ＡＴＣシステムでは、ＡＴＣ地上装置から送信される先行列車の現在位置などの現在位置情報とＡＴＣ車上装置に格納されるＡＴＣ車上ＤＢデータとに基づいて列車のブレーキパターンが算出されるので、特に、ＡＴＣ車上ＤＢデータへの依存度が大きい。このＡＴＣ車上ＤＢデータは、ＡＴＣ地上装置用のデータを含めて列車制御用データ全体を一元管理する「ＡＴＣ地上車上ＤＢ」を元に自動変換され作成されるものである。したがって、鉄道信号において十分な安全性を確保する上で、ＡＴＣ地上車上ＤＢデータに対する信頼性と安全性の確保というシステム要件の重要度が非常に高い。
【００１８】
そこで、最近、上記ＡＴＣ地上車上ＤＢデータが記録されたＡＴＣ地上車上ＤＢの設計に対し上記ＸＭＬ技術を適用することによりＡＴＣ地上車上ＤＢデータの信頼性・安全性の向上を図ろうとする試みがある。この場合、ＡＴＣ地上車上ＤＢデータは、ＸＭＬ文書としてのデータとして作成される。
【００１９】
【特許文献１】
特開２００１−３４４１４７号公報
【特許文献２】
特開２００２−２４７２１５号公報
【００２０】
【発明が解決しようとする課題】
しかし、単にデータのバリディティを検証するのみで個々のデータ要素の参照・比較・照査などが個別的に詳細に行えないＸＭＬスキーマのデータ検証機能には超え難い限界が存在する。すなわち、ＸＭＬスキーマでは、個々のデータ要素の参照・比較・照査などを詳細かつ正確に検証することが困難であり、バリディティ検証を超えるような信頼性及び一貫性を確保するためのデータ検証が困難となっている。
【００２１】
特に、上記ＡＴＣ地上車上ＤＢデータには、（１）列車が走行する線路配線、（２）列車の運行指示をするために必要な進路定義など、（３）列車の在線検知のための軌道回路区分、（４）線路が敷設されている環境、（５）列車運転に必要な諸設備情報、（６）車両性能データなど、のような凡そ６種類に分類表現される非常に多くの詳細なデータ要素が含まれるが、このようなデータ要素の一つ一つが全て正確なものでなければ列車運行上重大な事態を招く恐れが生じ得る。このため、ＡＴＣ地上車上ＤＢデータに対しては、これらＡＴＣ地上車上ＤＢデータの複数のデータ要素間の参照・比較・照査などを個別的に詳細に行えることが必須となる。
【００２２】
したがって、従来のように単にＸＭＬ文書としてのＡＴＣ地上車上ＤＢデータのバリディティを検証するのみで複数のデータ要素間の参照・比較・照査などが個別的に詳細に行えないＸＭＬスキーマだけでは上記必須要件、すなわち、複数のデータ要素間の参照・比較・照査などを詳細かつ正確に検証することが困難となる。このため、ＸＭＬ文書としてのＡＴＣ地上車上ＤＢデータに対するバリディティ検証を超えるような信頼性及び一貫性を確保するためのデータ検証方法が強く望まれている。
【００２３】
上記問題点は、新ＡＴＣシステムに限らず、他の鉄道信号システムの制御用データ（例えば、連動図表データ、信号現示図表データ、ＡＴＳ制御図表データ或いは踏切制御図表データなど。）を作成する際にも同様に生じ得るものである。
【００２４】
本発明の課題は、労力やコストを増やすことなく、信頼性及び一貫性が極めて高いデータを作成可能なデータ処理装置、データ検証方法及びデータ検証プログラムを提供することである。
【００２５】
【課題を解決するための手段】
本発明は、このような課題を解決するために、次のような特徴を備えている。なお、次に示す手段の説明中、括弧書きにより実施の形態に対応する構成を一例として示す。符号等は、後述する図面参照符号等である。
【００２６】
請求項１に記載の発明は、
ＸＭＬ文書として作成されたデータファイルのデータ検証を行うデータ処理装置であって、
データ検証の対象となる前記データファイル、
前記ＸＭＬ文書のデータ構造が定義された１次スキーマ、
前記ＸＭＬ文書として作成されたデータファイルに含まれる各データ要素の中から取得するデータ要素が指定され、且つ、取得された一つ或いは複数のデータ要素に対して、当該データ要素の内容が正しいか否かを検証するため検証演算の内容が定義されたデータ検証用ＸＳＬＴ、
前記データ検証用ＸＳＬＴによる検証結果から不良の検証結果の項目を特定するための２次スキーマ、
をそれぞれ入力する入力手段と、
前記１次スキーマを用いて前記データファイルが当該１次スキーマに定義されたデータ構造に従っているか判定する１次スキーマ検証手段と、
該１次スキーマ検証手段を経た前記データファイルに対して、前記データ検証用ＸＳＬＴに指定されたデータ要素の取得と検証演算とを行って、この検証演算の結果をＸＭＬ文書で表わしたＸＳＬＴ検証結果を出力するＸＳＬＴ検証手段と、
ＸＭＬ文書により表わされた前記ＸＳＬＴ検証結果に対して、前記２次スキーマを用いて検証結果が良と示された項目と不良と示された項目のうち、不良と示された項目を特定する２次スキーマ検証手段と、
を備えたことを特徴とする。
【００３０】
さらに、請求項２に記載の発明のように、請求項１に記載の発明において、
前記ＸＳＬＴ検証手段は、相互に関連し合う複数のデータ要素（例えば、データ要素Ｂ１〜Ｂ４。）が前記制御用データファイルに含まれている場合、当該相互に関連し合う複数のデータ要素の間で、データ内容が正しいか否かを検証するための検証演算を行うことを特徴とする。
【００３１】
さらに、請求項３に記載の発明のように、請求項１又は２に記載の発明において、
前記ＸＳＬＴ検証手段は、相互に関連し合う複数のデータ要素（例えば、データ要素Ｂ１〜Ｂ４。）が前記制御用データファイルに含まれている場合、当該相互に関連し合う複数のデータ要素に対して複数の異なる検証演算を行うことを特徴とする。
【００３２】
さらに、請求項４に記載の発明は、請求項１〜３の何れか一項に記載の発明において、前記データファイルは、鉄道信号システムの制御用データファイルであることを特徴とする。
さらに、請求項５に記載の発明のように、請求項４に記載の発明において、前記ＸＳＬＴ検証手段は、前記鉄道信号システムの設備設置（例えば、トランスポンダ２の設置位置。）を示すデータ要素（例えば、データ要素Ｂ１０３、Ｂ１０４。）が前記制御用データファイルに含まれている場合、当該データ要素が、予め設定された設置仕様（例えば、データ要素Ａ１４に示す設置仕様。）を満たすか否かを検証するための検証演算を行うことによって、検証機能を強化できる。すなわち、設備設置基準を当該データ要素の設置仕様として定義し、この定義を反映したＸＳＬＴが予め設定されているなら、このＸＳＬＴを用いて当該設置仕様に基づく実際の設備設置に対する検証が行える。
【００３３】
また、上記課題を解決するため、請求項６に記載の発明は、
コンピュータが、ＸＭＬ文書として作成されたデータファイルのデータ検証を行うデータ検証方法であって、
データ検証の対象となる前記データファイル、
前記ＸＭＬ文書のデータ構造が定義された１次スキーマ、
前記ＸＭＬ文書として作成されたデータファイルに含まれる各データ要素の中から取得するデータ要素が指定され、且つ、取得された一つ或いは複数のデータ要素に対して、当該データ要素の内容が正しいか否かを検証するため検証演算の内容が定義されたデータ検証用ＸＳＬＴ、
前記データ検証用ＸＳＬＴによる検証結果から不良の検証結果の項目を特定するための２次スキーマ、
を前記コンピュータが当該コンピュータのデータベースにそれぞれ入力する入力ステップと、
ＸＭＬプロセッサを実行する前記コンピュータが、前記１次スキーマを用いて前記データファイルが当該１次スキーマに定義されたデータ構造に従っているか判定する１次スキーマ検証ステップと、
ＸＳＬＴプロセッサを実行する前記コンピュータが、該１次スキーマ検証ステップを経た前記データファイルに対して、前記データ検証用ＸＳＬＴに指定されたデータ要素の取得と検証演算とを行って、この検証演算の結果をＸＭＬ文書で表わしたＸＳＬＴ検証結果を出力するＸＳＬＴ検証ステップと、
ＸＭＬプロセッサを実行する前記コンピュータが、ＸＭＬ文書により表わされた前記ＸＳＬＴ検証結果に対して、前記２次スキーマを用いて検証結果が良と示された項目と不良と示された項目のうち、不良と示された項目を特定する２次スキーマ検証ステップと、
を含むことを特徴とする。
【００３７】
さらに、請求項７に記載の発明のように、請求項６に記載の発明において、
前記ＸＳＬＴ検証ステップは、相互に関連し合う複数のデータ要素（例えば、データ要素Ｂ１〜Ｂ４。）が前記制御用データファイルに含まれている場合、前記コンピュータが、当該相互に関連し合う複数のデータ要素の間で、データ内容が正しいか否かを検証するための検証演算を行うステップであることを特徴とする。
【００３８】
さらに、請求項８に記載の発明のように、請求項６又は７に記載の発明において、
前記ＸＳＬＴ検証ステップは、相互に関連し合う複数のデータ要素（例えば、データ要素Ｂ１〜Ｂ４。）が前記制御用データファイルに含まれている場合、前記コンピュータが、当該相互に関連し合う複数のデータ要素に対して複数の異なる検証演算を行うステップであることを特徴とする。
【００３９】
また、請求項９に記載の発明は、請求項６〜８の何れか一項に記載の発明において、前記データファイルは、鉄道信号システムの制御用データファイルであることを特徴とする。
さらに、請求項１０に記載の発明のように、請求項６〜９の何れか一項に記載の発明において、前記ＸＳＬＴ検証ステップは、前記鉄道信号システムの設備設置（例えば、トランスポンダ２の設置位置。）を示すデータ要素（例えば、データ要素Ｂ１０３、Ｂ１０４。）が前記制御用データファイルに含まれている場合、前記コンピュータが、当該データ要素について予め設定された設置仕様（例えば、データ要素Ａ１４に示す設置仕様。）を満たすか否かを検証するための検証演算を行うことによって、検証機能を強化できる。すなわち、設備設置基準を当該データ要素の設置仕様として定義し、この定義を反映したＸＳＬＴが予め設定されているなら、このＸＳＬＴを用いて当該設置仕様に基づく実際の設備設置に対する検証が行える。
【００４０】
また、上記課題を解決するため、請求項１１に記載の発明は、
ＸＭＬ文書として作成されたデータファイル（例えば、ＤＢデータ１０１。）の内容を検証するためのコンピュータ（例えば、データ処理装置１００。）に、
データ検証の対象となる前記データファイル、
前記ＸＭＬ文書のデータ構造が定義された１次スキーマ、
前記ＸＭＬ文書として作成されたデータファイルに含まれる各データ要素の中から取得するデータ要素が指定され、且つ、取得された一つ或いは複数のデータ要素に対して、当該データ要素の内容が正しいか否かを検証するため検証演算の内容が定義されたデータ検証用ＸＳＬＴ、
前記データ検証用ＸＳＬＴによる検証結果から不良の検証結果の項目を特定するための２次スキーマ、
をそれぞれ入力する機能と、
前記１次スキーマを用いて前記データファイルが当該１次スキーマに定義されたデータ構造に従っているか判定する１次スキーマ検証機能と、
該１次スキーマ検証機能を経た前記データファイルに対して、前記データ検証用ＸＳＬＴに指定されたデータ要素の取得と検証演算とを行って、この検証演算の結果をＸＭＬ文書で表わしたＸＳＬＴ検証結果を出力するＸＳＬＴ検証機能と、
ＸＭＬ文書により表わされた前記ＸＳＬＴ検証結果に対して、前記２次スキーマを用いて検証結果が良と示された項目と不良と示された項目のうち、不良と示された項目を特定する２次スキーマ検証機能と、
を実現させる。
【００４４】
さらに、請求項１２に記載の発明のように、請求項１１に記載の発明において、
前記ＸＳＬＴ検証機能は、相互に関連し合う複数のデータ要素（例えば、データ要素Ｂ１〜Ｂ４。）が前記制御用データファイルに含まれている場合、当該相互に関連し合う複数のデータ要素の間で、データ内容が正しいか否かを検証するための検証演算を前記コンピュータに実現させる。
【００４５】
さらに、請求項１３に記載の発明のように、請求項１１又は１２に記載の発明において、
前記ＸＳＬＴ検証機能は、相互に関連し合う複数のデータ要素（例えば、データ要素Ｂ１〜Ｂ４。）が前記制御用データファイルに含まれている場合、当該相互に関連し合う複数のデータ要素に対して複数の異なる検証演算を前記コンピュータに実現させる。
【００４６】
また、請求項１４に記載の発明は、請求項１１〜１３の何れか一項に記載の発明において、前記データファイルは、鉄道信号システムの制御用データファイルであることを特徴とする。
さらに、請求項１５に記載の発明のように、請求項１４に記載の発明において、前記ＸＳＬＴ検証機能は、前記鉄道信号システムの設備設置（例えば、トランスポンダ２の設置位置。）を示すデータ要素（例えば、データ要素Ｂ１０３、Ｂ１０４。）が前記制御用データファイルに含まれている場合、前記コンピュータに、当該データ要素が、予め設定された設置仕様（例えば、データ要素Ａ１４に示す設置仕様。）を満たすか否かを検証するための検証演算を行わせることによって、検証機能を強化できる。すなわち、設備設置基準を当該データ要素の設置仕様として定義し、この定義を反映したＸＳＬＴが予め設定されているなら、このＸＳＬＴを用いて当該設置仕様に基づく実際の設備設置に対する検証が行える。
【００４７】
したがって、ＸＭＬ文書に対する信頼性及び一貫性の検証にＸＳＬＴが用いられるので、データ要素がＸＰａｔｈ（ＸＭＬ文書の特定の部分を指し示す構文を規定したもの。）に基づいて個別的に取得され、当該個別的に取得されたデータ要素に対しＸＭＬスキーマでは行えないデータ参照・比較・照査が容易かつ正確に行われる。このため、ＸＭＬスキーマでは行えないデータ内容の詳細な検証が可能となり、極めて高い信頼性及び一貫性を有するＸＭＬ文書としてのデータが容易に作成可能となる。
また、鉄道信号システムの制御用データファイルは相互に関連し合うデータが冗長に登録されているため、多方面からデータ検証が行え、鉄道信号システムの制御用データファイルに対する信頼性及び一貫性をさらに高めることが可能となる。このような極めて高い信頼性及び一貫性を有する鉄道信号システムの制御用データファイルを元にした実装用データが、各列車に搭載される車上装置と地上装置のそれぞれに供給されることとなり、鉄道信号システムの安全性をさらに高めることが可能となる。
また、ＡＴＣ地上設備など鉄道信号システムの設備設置位置が、予め設定された設置仕様を満たしているか否かが容易且つ確実に判定可能となる。
【００４８】
【発明の実施の形態】
＜第１の実施の形態＞
以下、図１〜図３を参照して、本発明を適用した第１の実施の形態におけるデータ処理装置１００について詳細に説明する。
【００４９】
以下で詳述するが、データ処理装置１００は、ＸＭＬ文書として作成されたデータファイルに対する信頼性及び一貫性の検証をＸＳＬＴ（eXtensible Stylesheet Language Transformations）を用いて行えることを特徴とする。
【００５０】
ここで、ＸＳＬＴとは、元来、ＸＭＬ文書の構造を変換するための言語として開発されたものであり、一般的な用途においても「ＸＭＬ文書の構造変換、例えば、ＸＭＬ文書からＨＴＭＬ文書へ変換するための言語」という考え方が支配的となっている。しかし、本発明者等は、このような開発の意図とは別に、ＸＳＬＴがＸＭＬ文書中の各データ要素を個別的に取得可能であり、さらに、当該取得した各データ要素に対し参照・比較・照査などの検証演算が可能であることを見出した。
すなわち、本発明は、ＸＳＬＴが有する上記機能を利用したものであり、本発明を適用したデータ処理装置１００は、ＸＳＬＴを用いることによりＸＭＬスキーマでは従来行えなかったＸＭＬ文書中の個々のデータ要素についての信頼性および一貫性についての詳細検証を可能とするものである。ここで、ＸＳＬＴでは、ＸＭＬ文書中の各データ要素はデータ要素固有のパス（ＸＰａｔｈにより示される。）に基づいて個別的に取得される。
【００５１】
図１は、本第１の実施の形態におけるデータ処理装置１００の機能ブロック図である。図１に示すように、データ処理装置１００は、ＤＢ（Data Base；データベース）１０、ＲＯＭ１１、入力部１２、出力部１３、ＣＰＵ１４、ＲＡＭ１５等を備え、これら各部はバス１６によって相互に接続されている。
【００５２】
ＤＢ１０は、ＸＭＬ文書として作成されたＤＢデータ１０１（例えば、制御システムを制御するための制御用データ等。）と、ＤＢデータ１０１に対するバリディティ検証を行うためのＤＢＬ用１次スキーマ１０２とを格納する。
ここで、ＤＢＬ用１次スキーマ１０２に基づくＤＢデータ１０１に対するバリディティ検証を１次検証と称する。
【００５３】
更に、ＤＢ１０は、ＤＢＬ用１次スキーマ１０２によるバリディティ検証では困難な、より詳細なＤＢデータ１０１に対する信頼性及び一貫性を検証するためのデータ検証用ＸＳＬＴ１０３と、データ検証用ＸＳＬＴ１０３による検証結果（検証項目毎に「ＯＫ」（検証結果が良（データ内容が正確）の意。）又は「ＮＧ」（検証結果が不良（データ内容が不正確）の意。）として記録。）を表すＤＢデータＸＳＬＴ検証結果１０４（ＸＭＬ文書）と、ＤＢデータＸＳＬＴ検証結果１０４に対するバリディティ検証（この場合、「ＮＧ」として記録された検証項目の特定。）を行うためのＤＢＬ用２次スキーマ１０５とを格納する。
ここで、データ検証用ＸＳＬＴ１０３及びＤＢＬ用２次スキーマ１０５に基づくＤＢデータ１０１に対する信頼性及び一貫性検証を２次検証と称する。従来では、ＤＢデータ１０１に対し１次検証のみ実施されていたが、本発明では、１次検証では困難なＤＢデータ１０１に対するより詳細な一貫性及び信頼性検証が可能な２次検証が実施できる。
【００５４】
ＲＯＭ１１は、ＤＢＬ用１次スキーマ１０２に基づきＤＢデータ１０１に対するバリディティ検証を行ったり、ＤＢＬ用２次スキーマ１０５に基づくＤＢデータＸＳＬＴ検証結果１０４に対するバリディティ検証を行うためのＸＭＬプロセッサ１１１を格納するとともに、データ検証用ＸＳＬＴ１０３に基づきＤＢデータ１０１に対する信頼性及び一貫性検証を行うためのＸＳＬＴプロセッサ１１２などのデータ検証用の各種プログラムを格納する。
【００５５】
ＲＯＭ１１は、ＤＢＭＳ（Data Base Management System；データベース管理システム）アプリケーションプログラム１１３を格納する。このＤＢＭＳアプリケーションプログラム１１３は、ＤＢデータ１０１の帳票印刷などを行ってユーザーが見やすい形式にＤＢデータ１０１のデータ内容を出力したり、ユーザが１次・２次検証結果に基づいてＤＢデータ１０１を編集（修正入力）し、当該編集後のＤＢデータ１０１をＸＭＬプロセッサ３０に渡し、再度、信頼性及び一貫性の検証が行えるようにするためのものである。
【００５６】
入力部１２は、キーボードや、マウス・タッチパネル等のポインティングデバイスを備え、ＤＢデータ１０１の修正入力や、データ処理装置１００に対する各種指示入力を行う（何れも、図示略。）。
【００５７】
出力部１３は、ＤＢデータ１０１の帳票印刷等を行うためのプリンタや、ＤＢデータ１０１の編集を行う際にデータ内容等を表示するための表示装置を備える（何れも、図示略。）。
【００５８】
ＣＰＵ１４は、ＲＯＭ１１に予め格納された各種プログラムを実行することにより、データ処理装置１００を統括的に制御する。特に、ＣＰＵ１４は、ＸＭＬプロセッサ１１１、ＸＳＬＴプロセッサ１１２や、ＤＢＭＳアプリケーションプログラム１１３を実行してＤＢデータ１０１に対する信頼性及び一貫性検証を行うとともに当該検証結果に基づいてＤＢデータ１０１に対する修正入力を可能とする。その結果、１次検証では困難であったＤＢデータ１０１に対する信頼性及び一貫性の確保が容易に実現できる。
ここで、ＸＭＬプロセッサ１１１、ＸＳＬＴプロセッサ１１２による処理内容の詳細については、後に詳述する。
【００５９】
ＲＡＭ１５は、上記各種プログラムを実行可能に展開するためのワークエリアや、各種データを一時的に記憶するためのメモリエリア等を備える。
【００６０】
次に、図２を参照して、データ処理装置１００によるデータ作成処理のプロセスを説明する。
【００６１】
まず、ユーザにより、ＤＢデータ１０１用のＤＢＬが作成され、当該ＤＢＬを用いてＤＢデータ１０１が作成され（ステップＳ１０）、次に、ＤＢデータ１０１に対する１次検証を行うためのＤＢＬ用１次スキーマ１０２が作成され（ステップＳ１１）、更に、２次検証を行うためのデータ検証用ＸＳＬＴ１０３及びＤＢＬ用２次スキーマ１０５が作成される（ステップＳ１２、Ｓ１３）。
【００６２】
次に、ＣＰＵ１４により、ステップＳ１０の段階で作成されたＤＢデータ１０１に対する１次検証及び２次検証が行われる（ステップＳ２１〜Ｓ２３）。この後、当該検証結果に基づいてＤＢデータ１０１のデータ内容がＤＢＭＳアプリケーションプログラム１１３を用いて再編集されれば、極めて高い信頼性及び一貫性が確保されたＤＢデータ１０１が作成される。
以下、ＤＢデータ１０１に対する１次検証及び２次検証について説明する。
【００６３】
まず、ＣＰＵ１４は、ＸＭＬプロセッサ１１１を実行し、ＤＢデータ１０１に対する１次検証を行う。
すなわち、ＣＰＵ１４は、ＤＢＬ用１次スキーマ１０２に基づいてＤＢデータ１０１に対するバリディティ検証を行う（ステップＳ２１）。
【００６４】
ステップＳ２１の後、ＣＰＵ１４は、ＸＳＬＴプロセッサ１１２及びＸＭＬプロセッサ１１１を実行し、ＤＢデータ１０１に対する２次検証を行う（ステップＳ２２、Ｓ２３）。
すなわち、ＣＰＵ１４は、まず、データ検証用ＸＳＬＴ１０３に基き、１次検証では困難なより詳細なＤＢデータ１０１に対する信頼性及び一貫性検証を行い、当該検証結果を検証項目毎に「ＯＫ］及び「ＮＧ」として記録したＤＢデータＸＳＬＴ検証結果１０４を出力する（ステップＳ２２）。
【００６５】
ステップＳ２２の後、ＣＰＵ１４は、ＤＢＬ用２次スキーマ１０５に基き、ＤＢデータＸＳＬＴ検証結果１０４に対するバリディティ検証（この場合、「ＮＧ」として記録された検証項目の特定。）を行って２次検証が完了する（ステップＳ２３）。
【００６６】
次に、図３を参照し、上記したステップＳ２２、Ｓ２３で行われる処理の具体例を示す。図３に、ＸＳＬＴを用いたデータ検証処理の一例を説明するフローチャートを示す。
【００６７】
まず、ＣＰＵ１４は、データ検証用ＸＳＬＴ１０３に基づいてＸＳＬＴプロセッサ１１２を実行し、１次検証では困難なより詳細なＤＢデータ１０１の信頼性及び一貫性を確保することを目的とした検証演算Ｋを行う。
【００６８】
ここで、当該検証対象となるＤＢデータ１０１には、データ要素Ａ、Ｂ、Ｄがデータ名（カテゴリ）や所定データ構造を伴って記録されている。これらデータ要素Ａ、Ｂ、Ｄの指定はＸＰａｔｈを用いて行われる。
更に、データ要素Ａとデータ要素Ｂは数値データであり、データ要素Ｄはデータ要素Ａとデータ要素Ｂとの和に対応する数値データであり、何れもオペレータにより手入力されたものである。また、検証演算Ｋは二つのデータ要素（すなわち、データ要素Ａ、Ｂ。）の和を算出する演算である。
【００６９】
まず、ＣＰＵ１４は、ＤＢデータ１０１に対し、ＸＰａｔｈ−Ａ（データ要素Ａを指定するためのＸＰａｔｈ。）を指定してデータ要素Ａを取得し（ステップＳ３１）、更に、ＸＰａｔｈ−Ｂ（データ要素Ｂを指定するためのＸＰａｔｈ。）を指定してデータＢを取得する（ステップＳ３２）。
【００７０】
その後、ＣＰＵ１４は、データ要素Ａ、Ｂに基づいて検証演算Ｋを実行し、当該演算結果である演算データＣを取得する（ステップＳ３３）。ここで実行される検証演算Ｋはデータ要素Ａ、Ｂの和を算出する演算であり、演算データＣはデータ要素Ａとデータ要素Ｂとの和である。
【００７１】
検証演算Ｋの後、ＣＰＵ１４は、ＸＰａｔｈ−Ｄ（データ要素Ｄを指定するためのＸＰａｔｈ。）を指定してデータ要素Ｄを取得し（ステップＳ３４）、検証演算Ｋによって得られた演算データＣがデータ要素Ｄと同一か否かを判定する（ステップＳ３５）。
【００７２】
ステップＳ３５の判定処理により、データ要素Ａ、Ｂ、Ｄが信頼性及び一貫性を有しているか否かが検証可能となる。すなわち、ステップＳ３５で、演算データＣとデータ要素Ｄとが一致する場合（ステップＳ３５；ＯＫ）、データ要素Ａ、Ｂ、Ｄは信頼性及び一貫性を有し、ＣＰＵ１４は、検証結果「ＯＫ」をＸＭＬ文書としてのデータ形式でＤＢデータＸＳＬＴ検証結果１０４に出力する（ステップＳ３６）。
【００７３】
また、演算データＣとデータ要素Ｄとが一致しない場合（ステップＳ３５；ＮＧ）、データ要素Ａ、Ｂ、Ｄには信頼性及び一貫性が無く、ＣＰＵ１４は、検証結果「ＮＧ」をＸＭＬ文書としてのデータ形式でＤＢデータＸＳＬＴ検証結果１０４に出力する（ステップＳ３７）。
【００７４】
その後、ＣＰＵ１４は、ＤＢＬ用２次スキーマ１０５に基づいてＸＭＬプロセッサ１１１を実行し、ＤＢデータＸＳＬＴ検証結果１０４に対するバリディティ検証を行って、「ＮＧ」として記録された検証項目（すなわち、修正が必要な項目。）を特定する（ステップＳ３８）。ここで、ＤＢデータＸＳＬＴ検証結果１０４はＸＭＬ文書となっているため、修正が必要となる個所を正確かつ容易に特定できる。
【００７５】
なお、検証演算Ｋは上記したものに限らない。例えば、所定機器の設置範囲を表すデータ要素Ａと、当該機器の設置可能範囲を表すデータ要素Ｂとに対し、これらデータ要素Ａ、Ｂを比較し、データ要素Ａがデータ要素Ｂに論理的に包含されているか否かを判定するような検証演算Ｋであっても良い。この場合、データ要素Ａがデータ要素Ｂに論理的に包含されていれば、データ要素Ａ、Ｂは信頼性及び一貫性を有し、データ要素Ａがデータ要素Ｂに論理的に包含されていなければ、データ要素Ａ、Ｂには信頼性及び一貫性が無く、修正入力されることとなる。
【００７６】
更に、同一データ群に対し複数の異なる検証演算Ｋを実行するようにしても良い。この場合、信頼性及び一貫性の検証がネットワーク的に多方面から可能となり、信頼性の向上がより一層図られる。
【００７７】
以上説明したように、データ処理装置１００は、オペレータの手入力によりＸＭＬ文書として作成されたＤＢデータ１０１に対し、ＤＢＬ用１次スキーマ１０２による１次検証（バリディティ検証）と、当該１次検証では困難なＤＢデータ１０１に対する信頼性及び一貫性を確保するための２次検証を、データ検証用ＸＳＬＴ１０３及びＤＢＬ用２次スキーマ１０５を用いて行う。特に、データ処理装置１００は、２次検証において、データ検証用ＸＳＬＴ１０３に基づき、ＤＢデータ１０１の個々のデータ要素の参照・比較・照査を行うことによってより詳細なデータ検証を行い、当該検証結果をＤＢデータＸＳＬＴ検証結果１０４として出力し、更に、ＤＢＬ用２次スキーマ１０５に基づきＤＢデータＸＳＬＴ検証結果１０４に対するバリディティ検証（この場合、「ＮＧ」個所の特定。）を行い、ＤＢデータ１０１において修正が必要な個所を自動的に割り出す。
【００７８】
したがって、ＸＭＬ文書としてのデータに対する信頼性及び一貫性の検証にＸＳＬＴが用いられることにより、データ要素がＸＰａｔｈに基づいて個別的に取得され、当該個別的に取得されたデータ要素に対しＸＭＬスキーマでは行えないデータ参照・比較・照査が容易かつ正確に行われる。このため、ＸＭＬスキーマでは行えないデータ内容の詳細な検証が可能となり、極めて高い信頼性及び一貫性を有するＸＭＬ文書としてのデータが作成可能となる。
【００７９】
なお、本第１の実施の形態における記述は、本発明に係るデータ作成装置、データ検証方法及びデータ検証プログラムの一例を示すものであり、これに限定されるものではない。本第１の実施の形態におけるデータ処理装置１００の細部構成、各種数値及び詳細動作に関しては、本発明の趣旨を逸脱しない範囲で適宜変更可能である。
【００８０】
例えば、ＸＭＬスキーマ（ＤＢＬ用１次スキーマ１０２、ＤＢＬ用２次スキーマ１０５）によるデータ検証を、複数の異なるＸＭＬプロセッサ（ＸＭＬプロセッサ１１１）を用いて行うようにしても良いし、更に、ＸＳＬＴ（データ検証用ＸＳＬＴ１０３）を用いたデータ検証を、複数の異なるＸＳＬＴプロセッサ（ＸＳＬＴプロセッサ１１２）を用いて行うようにしても良い。このようにすれば、データ検証処理に対するダイバーシティ化が可能となり、より一層、信頼性及び一貫性の向上が図られる。
【００８１】
＜第２の実施の形態＞
次に、図４〜図１２を参照して、本発明を適用した第２の実施の形態におけるデータ処理装置１００ａについて詳細に説明する。
【００８２】
以下で詳述するが、データ処理装置１００ａは、ＸＭＬ文書として作成されたＡＴＣ地上車上ＤＢデータ（本第２の実施の形態においては、ＡＴＣ地上車上ＤＢデータ２０１。）に対する信頼性及び一貫性の検証をＸＳＬＴ（本第２の実施の形態においては、データ検証用ＸＳＬＴ２０３。）を用いて行えることを特徴とする。
【００８３】
すなわち、本第２の実施の形態におけるデータ処理装置１００ａは、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３を用いることによりＸＭＬスキーマ（本第２の実施の形態においては、ＡＴＣ地上車上ＤＢＬ用１次スキーマ２０２。）では従来行えなかったＸＭＬ文書としてのＡＴＣ地上車上ＤＢデータ２０１の信頼性および一貫性についての詳細検証を可能とするものである。
【００８４】
図４は、データ処理装置１００ａの機能ブロック図である。図４に示すように、データ処理装置１００ａは、ＡＴＣ地上車上ＤＢ２０、ＲＯＭ２１、入力部２２、出力部２３、ＣＰＵ２４、ＲＡＭ２５などを備え、これら各部はバス２６によって相互に接続されている。
【００８５】
ＡＴＣ地上車上ＤＢ２０は、ＸＭＬ文書として作成されたＡＴＣ地上車上ＤＢデータ２０１と、ＡＴＣ地上車上ＤＢデータ２０１に対するバリディティ検証を行うためのＡＴＣ地上車上ＤＢＬ用１次スキーマ２０２とを格納する。
ここで、ＡＴＣ地上車上ＤＢＬ用１次スキーマ２０２に基づくＡＴＣ地上車上ＤＢデータ２０１に対するバリディティ検証を１次検証と称する。
【００８６】
さらに、ＡＴＣ地上車上ＤＢ２０は、ＡＴＣ地上車上ＤＢＬ用１次スキーマ２０２によるバリディティ検証では困難な、より詳細なＡＴＣ地上車上ＤＢデータ２０１に対する信頼性及び一貫性を検証するためのＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３と、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３による検証結果を表すＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４（ＸＭＬ文書）と、このＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に対するバリディティ検証を行うためのＡＴＣ地上車上ＤＢＬ用２次スキーマ２０５とを格納する。
【００８７】
ここで、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３による検証結果は、検証項目毎に「ＯＫ」又は「ＮＧ」としてＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に記録される。また、「ＯＫ」とは、検証結果が良、すなわちデータ内容が正確である意であり、「ＮＧ」は、検証結果が不良、すなわち、データ内容が不正確である意である。また、ＡＴＣ地上車上ＤＢＬ用２次スキーマ２０５によるバリディティ検証は、ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に「ＮＧ」と記録された検証項目を特定することである。
【００８８】
ここで、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３及びＡＴＣ地上車上ＤＢＬ用２次スキーマ２０５に基づくＡＴＣ地上車上ＤＢデータ２０１に対する信頼性及び一貫性検証を２次検証と称する。従来では、ＸＭＬ文書として作成されたＡＴＣ地上車上ＤＢデータ２０１に対しては１次検証のみ実施されるものであるが、本発明では、１次検証では困難なＡＴＣ地上車上ＤＢデータ２０１に対するより詳細な一貫性及び信頼性検証が可能な２次検証を実施する。
【００８９】
ＲＯＭ２１は、ＡＴＣ地上車上ＤＢＬ用１次スキーマ２０２に基づきＡＴＣ地上車上ＤＢデータ２０１に対するバリディティ検証を行ったり、ＡＴＣ地上車上ＤＢＬ用２次スキーマ２０５に基づくＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に対するバリディティ検証を行うためのＸＭＬプロセッサ２１１を格納するとともに、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３に基づきＡＴＣ地上車上ＤＢデータ２０１に対する信頼性及び一貫性検証を行うためのＸＳＬＴプロセッサ２１２などのデータ検証用の各種プログラムを格納する。
【００９０】
ＲＯＭ２１は、ＤＢＭＳアプリケーションプログラム２１３を格納する。このＤＢＭＳアプリケーションプログラム２１３は、ＡＴＣ地上車上ＤＢデータ２０１の帳票印刷などを行ってユーザーが見やすい形式にＡＴＣ地上車上ＤＢデータ２０１のデータ内容を出力したり、ユーザが１次・２次検証結果に基づいてＡＴＣ地上車上ＤＢデータ２０１を編集（修正入力）し、当該編集後のＡＴＣ地上車上ＤＢデータ２０１をＸＭＬプロセッサ２１１に渡し、再度、信頼性及び一貫性の検証が行えるようにするためのものである。
【００９１】
入力部２２は、キーボードや、マウス・タッチパネルなどのポインティングデバイスを備え（何れも、図示略。）、ＡＴＣ地上車上ＤＢデータ２０１の修正入力や、データ処理装置１００ａに対する各種指示入力を行う。
【００９２】
出力部２３は、ＡＴＣ地上車上ＤＢデータ２０１の帳票印刷などを行うためのプリンタや、ＡＴＣ地上車上ＤＢデータ２０１の編集を行う際にデータ内容などを表示するための表示装置を備える（何れも、図示略。）。
【００９３】
ＣＰＵ２４は、ＲＯＭ２１に予め格納された各種プログラムを実行することにより、データ処理装置２００を統括的に制御する。特に、ＣＰＵ２４は、ＸＭＬプロセッサ２１１、ＸＳＬＴプロセッサ２１２や、ＤＢＭＳアプリケーションプログラム２１３を実行してＡＴＣ地上車上ＤＢデータ２０１に対する信頼性及び一貫性検証を行うとともに当該検証結果に基づいてＡＴＣ地上車上ＤＢデータ２０１に対する修正入力を可能とする。その結果、１次検証では困難であったＡＴＣ地上車上ＤＢデータ２０１に対する信頼性及び一貫性の確保が容易に実現できる。ＸＭＬプロセッサ２１１、ＸＳＬＴプロセッサ２１２による処理内容の詳細については後に詳述する。
【００９４】
ＲＡＭ２５は、上記各種プログラムを実行可能に展開するためのワークエリアや、各種データを一時的に記憶するためのメモリエリアなどを備える。
【００９５】
次に、図５を参照して、データ処理装置２００によるデータ作成処理のプロセスを説明する。
【００９６】
まず、ユーザにより、ＡＴＣ地上車上ＤＢデータ２０１用のＤＢＬ（以下、ＡＴＣ地上車上ＤＢＬという。）が作成され、当該ＡＴＣ地上車上ＤＢＬを用いてＡＴＣ地上車上ＤＢデータ２０１が作成され（ステップＳ４０）、次に、ＡＴＣ地上車上ＤＢデータ２０１に対する１次検証を行うためのＡＴＣ地上車上ＤＢＬ用１次スキーマ２０２が作成され（ステップＳ４１）、さらに、２次検証を行うためのＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３及びＡＴＣ地上車上ＤＢＬ用２次スキーマ２０５が作成される（ステップＳ４２、Ｓ４３）。
【００９７】
次に、ＣＰＵ２４により、ステップＳ４０の段階で作成されたＡＴＣ地上車上ＤＢデータ２０１に対する１次検証及び２次検証が行われる（ステップＳ５１〜Ｓ５３）。この後、当該検証結果に基づいてＡＴＣ地上車上ＤＢデータ２０１のデータ内容がＤＢＭＳアプリケーションプログラム２１３を用いて再編集されれば、極めて高い信頼性及び一貫性が確保されたＡＴＣ地上車上ＤＢデータ２０１が作成される。
【００９８】
以下、上記１次検証及び２次検証（ステップＳ５１〜Ｓ５３）について詳細に説明する。
【００９９】
１次検証；
まず、ＣＰＵ２４は、ＸＭＬプロセッサ２１１を実行し、ＡＴＣ地上車上ＤＢデータ２０１に対する１次検証を行う。
すなわち、ＣＰＵ２４は、ＡＴＣ地上車上ＤＢＬ用１次スキーマ２０２に基づいてＡＴＣ地上車上ＤＢデータ２０１に対するバリディティ検証を行う（ステップＳ５１）。
【０１００】
２次検証；
ステップＳ５１の後、ＣＰＵ２４は、ＸＳＬＴプロセッサ２１２及びＸＭＬプロセッサ２１１を実行し、ＡＴＣ地上車上ＤＢデータ２０１に対する２次検証を行う（ステップＳ５２、Ｓ５３）。
【０１０１】
すなわち、ＣＰＵ２４は、まず、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３に基づいてＸＳＬＴプロセッサ２１２を実行し、１次検証では困難なより詳細な信頼性及び一貫性検証をＡＴＣ地上車上ＤＢデータ２０１に対して行い、当該検証結果を検証項目毎に「ＯＫ］及び「ＮＧ」として記録したＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４を出力する（ステップＳ５２）。
【０１０２】
ステップＳ５２の後、ＣＰＵ２４は、ＡＴＣ地上車上ＤＢＬ用２次スキーマ２０５に基づいてＸＭＬプロセッサ２１１を実行し、ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に対するバリディティ検証（この場合、「ＮＧ」として記録された検証項目の特定）を行って２次検証が完了する（ステップＳ５３）。ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４はＸＭＬ文書としての形式を有しているため、修正が必要となる個所を正確かつ容易に特定できる。
【０１０３】
ここで、図６〜図１２を参照して、ステップＳ５２で行われる処理の具体例について説明する。なお、検証内容は、ここで示すものに限らない。図６に、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３の一例を示し、図７に、ＡＴＣ地上車上ＤＢデータ２０１の一例を示し、図８に、ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４の一例を示す。
【０１０４】
ＣＰＵ２４は、ＡＴＣ地上車上ＤＢデータ２０１に対し、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３に基づいてＸＳＬＴプロセッサ２１２を実行する。この際、ＣＰＵ２４は、図９に示すようなレール１における軌道回路Ａ下５Ｔの軌道回路長１ａが、軌道回路Ａ下５ＴのＡ下５Ｔ軌道回路終点方キロ程１ｂとＡ下５Ｔ軌道回路起点方キロ程１ｃとの差に一致するか否かを判定することによりＡＴＣ地上車上ＤＢデータ２０１についてのデータ検証を行い（以下、ＸＳＬＴ検証例１という。）、次に、図１０に示すようなレール１における互いに隣接する軌道回路Ａ下５Ｔ、Ｂ下５Ｔの境界のキロ程、すなわち、軌道回路Ａ下５ＴのＡ下５Ｔ軌道回路終点方キロ程１ｂと軌道回路Ｂ下５ＴのＢ下５Ｔ軌道回路起点方キロ程２ｂとが一致するか否かを判定することによりＡＴＣ地上車上ＤＢデータ２０１についてのデータ検証を行う（以下、ＸＳＬＴ検証例２という。）。
【０１０５】
ここでは、ＡＴＣ地上車上ＤＢデータ２０１には相互に関連し合う冗長なデータが予め登録されている。ここに、相互に関連し合う冗長なデータとは、例えば、「軌道回路長」に対しては当該軌道回路における「軌道回路終点方キロ程」及び「軌道回路起点方キロ程」であり、「軌道回路終点方（或いは、起点方）キロ程」に対しては当該軌道回路の終点方（或いは、起点方）に隣接する「軌道回路起点方（或いは、終点方）キロ程」などである。このような冗長なデータに基づきＡＴＣ地上車上ＤＢデータ２０１全体が正確に登録されているか否かが検証される。したがって、このような冗長なデータを用いることにより、ＡＴＣ地上車上ＤＢデータ２０１に対し複数の視点に基づくデータ検証が可能となり、信頼性及び一貫性の高いＡＴＣ地上車上ＤＢデータ２０１が提供できる。
【０１０６】
以下、上記ＸＳＬＴ検証例１、２について詳細に説明する。
【０１０７】
まず、ＸＳＬＴ検証例１について説明する。
ＣＰＵ２４は、図６の図中符号Ａ１のデータ要素が表すコマンドに応じて、図７の図中符号Ｂ１のデータ要素の内容「１５０８９８」を取得し、データ名「自軌道起点方キロ程」のデータとしてＲＡＭ２５に一時格納する。この「自軌道起点方キロ程」は、図９のＡ下５Ｔ軌道回路起点方キロ程１ｃに対応する。
【０１０８】
その後、ＣＰＵ２４は、図６の図中符号Ａ２のデータ要素が表すコマンドに応じて、図７の図中符号Ｂ２のデータ要素の内容「１５１９１８」を取得し、データ名「自軌道終点方キロ程」のデータとしてＲＡＭ２５に一時格納する。この「自軌道終点方キロ程」は、図９のＡ下５Ｔ軌道回路終点方キロ程１ｂに対応する。
【０１０９】
その後、ＣＰＵ２４は、図６の図中符号Ａ３のデータ要素が表すコマンドに応じて、上記ＲＡＭ２５に一時格納したデータ名「自軌道終点方キロ程」のデータからデータ名「自軌道起点方キロ程」のデータを差し引き（すなわち、データ「１５１９１８」からデータ「１５０８９８」を差し引き）、当該差引きの結果（すなわち、「１０２０」）をデータ名「計算軌道回路長」のデータとしてＲＡＭ２５に一時格納する。この「計算軌道回路長」は、図９のＡ下５Ｔ軌道回路長１ａに対応する。
【０１１０】
その後、ＣＰＵ２４は、図６の図中符号Ａ４のデータ要素が表すコマンドに応じて、図７の図中符号Ｂ３のデータ要素の内容「１０２１」を取得し、データ名「軌道回路長データ」のデータとしてＲＡＭ２５に一時格納する。この「軌道回路長データ」は、上記したデータ名「計算軌道回路長」のデータとともに図９のＡ下５Ｔ軌道回路長１ａに対応する。
【０１１１】
その後、ＣＰＵ２４は、上記ＲＡＭ２５に一時格納したデータ名「計算軌道回路長」のデータ「１０２０」とデータ名「軌道回路長データ」のデータ「１０２１」とを比較し図６の図中符号Ａ５又はＡ６の各データ要素が表すコマンドを実行する。
【０１１２】
この際、ＣＰＵ２４は、図６の図中符号Ａ６の各データ要素が表すコマンドに応じて、当該比較結果を図８に示すＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に記録する。この記録は、図８の図中符号Ｃ１に示すようなＸＭＬ文書としての形式に基づく記録である。
【０１１３】
この場合、図６の図中符号Ａ５の「<xsl:if test=“＄計算軌道回路長＝＄軌道回路長データ”>」が表すコマンドが実行された段階で当該データ名「計算軌道回路長」のデータと当該データ名「軌道回路長データ」のデータとは一致しないと判定され、「<軌道回路長チェック>ＯＫ</軌道回路長チェック>」はＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に記録されない。
【０１１４】
次に、ＸＳＬＴ検証例２について説明する。
ＣＰＵ２４は、図中符号Ａ７のデータ要素が表すコマンドに応じて、図７の図中符号Ｂ４のデータ要素の内容「１５１９１９」を取得し、データ名「隣接軌道起点方キロ程」のデータとしてＲＡＭ２５に一時格納する。この「隣接軌道起点方キロ程」は、図１０のＢ下５Ｔ軌道回路起点方キロ程２ｂに対応する。
【０１１５】
その後、ＣＰＵ２４は、上記ＲＡＭ２５に一時格納したデータ名「自軌道終点方キロ程」のデータ「１５１９１８」と「隣接軌道起点方キロ程」のデータ「１５１９１９」とを比較し図６の図中符号Ａ８又はＡ９の各データ要素が表すコマンドを実行する。
【０１１６】
この際、ＣＰＵ２４は、図６の図中符合Ａ９の各データ要素が表すコマンドに応じて、当該比較結果を図８のＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に記録する。この記録は、図８の図中符号Ｃ２に示すようなＸＭＬ文書としての形式に基づく記録である。
【０１１７】
この場合、図６の図中符号Ａ８の「<xsl:if test=“＄自軌道終点方キロ程＝＄隣接軌道起点方キロ程”>」が表すコマンドが実行された段階で当該データ名「自軌道終点方キロ程」のデータと当該データ名「隣接軌道起点方キロ程」のデータとは一致しないと判定され、「<隣接軌道キロ程チェック>ＯＫ<隣接軌道キロ程チェック>」はＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に記録されない。
【０１１８】
なお、ＡＴＣ地上車上ＤＢデータ２０１は、図７に例示したものに限らず、例えば、図１１に例示したもの（以下、ＡＴＣ地上車上ＤＢデータ２０１ａという。）を用いても良い。ＡＴＣ地上車上ＤＢデータ２０１ａには、図７の図中符号Ｂ１〜Ｂ４の各データ要素に代えて、図中符号Ｂ１１〜Ｂ１４の各データ要素が各々登録されている。
【０１１９】
ＣＰＵ２４は、ＡＴＣ地上車上ＤＢデータ２０１ａに対し、上記したＸＳＬＴ検証１、２に相当するデータ検証（比較）を行うと、当該比較結果を図１２に示すＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４ａのように記録する。この記録は、図１２の図中符号Ｃ１１、Ｃ１２に示すようなＸＭＬ文書としての形式に基く記録である。ここで、ＡＴＣ地上車上ＤＢデータ２０１ａに対する上記ＸＳＬＴ検証１による比較結果を図１２の図中符号Ｃ１１に示し、上記ＸＳＬＴ検証２による比較結果を図１２の図中符号Ｃ１２に示す。
【０１２０】
なお、本第２の実施の形態における記述は、本発明に係るデータ作成装置、データ検証方法及びデータ検証プログラムの一例を示すものであり、これに限定されるものではない。本第２の実施例におけるデータ処理装置１００ａの細部構成、各種数値及び詳細動作に関しては、本発明の趣旨を逸脱しない範囲で適宜変更可能である。
【０１２１】
例えば、本発明を適用して作成されるＡＴＣ地上車上ＤＢデータ２０１、ＡＴＣ地上車上ＤＢデータ２０１ａのような軌道回路に関するデータに限らない。この場合、新ＡＴＣシステムに係る制御用データのうち他のデータであっても良いし、また、連動図表データ、信号現示図表データ、ＡＴＳ制御図表データ或いは踏切制御図表データなどの他の鉄道信号システムの制御用データに対しても、本発明は適用可能である。このような図表データは、ビットマップデータやＪＰＥＧ（Joint Photographic Experts Group）データなどの図表そのものを示すデータではなく、各図表を出力するために必要な情報データであり、ＡＴＣ地上車上ＤＢデータ２０１などと同様のＸＭＬ文書としてのデータ形式を有するものである。
【０１２２】
また、ＡＴＣ地上車上ＤＢデータ２０１には所定の地上設備（例えば、列防など）の敷設範囲を示すデータが登録されていても良く、この場合、データ処理装置１００ａは、当該敷設範囲を示すデータに対してＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３に基づくデータ検証を行う。
以下、このような場合について具体的に説明する。
【０１２３】
ここでは、例えば、図１３（ａ）に示すような、地上設備ａの敷設範囲が軌道回路１Ｔ〜３Ｔであり、地上設備ｂの敷設範囲が軌道回路２Ｔ〜４Ｔであり、地上設備ｃの敷設範囲が軌道回路３Ｔ〜５Ｔである場合を想定する。
【０１２４】
この場合、ＡＴＣ地上車上ＤＢデータ２０１には、図１３（ｂ）に示す表１及び表２に示す相互に関連し合うデータが互いに冗長に登録されているものとする。
【０１２５】
ここで、表１には、軌道回路１Ｔ〜５Ｔ毎に敷設されている地上設備ａ〜ｃが示されている。すなわち、表１には、軌道回路１Ｔには地上設備ａが敷設され、軌道回路２Ｔには地上設備ａ、ｂが敷設され、軌道回路３Ｔには地上設備ａ、ｂ、ｃが敷設され、軌道回路４Ｔには地上設備ｂ、ｃが敷設され、軌道回路５Ｔには地上設備ｃが敷設されていることが示されている。また、表２には、地上設備ａ〜ｃ毎の敷設範囲（軌道回路１Ｔ〜５Ｔ）が示されている。すなわち、表２には、地上設備ａの敷設範囲は軌道回路１Ｔ〜３Ｔであり、地上設備ｂの敷設範囲は軌道回路２Ｔ〜４Ｔであり、地上設備ｃの敷設範囲は軌道回路３Ｔ〜５Ｔであることが示されている。
【０１２６】
ＣＰＵ２４は、１次検証の後、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３に基づいてＸＳＬＴプロセッサ２１２を実行して２次検証を行い、ＡＴＣ地上車上ＤＢデータ２０１に記録された表１に示すデータと表２に示すデータとを互いに比較して当該比較結果をＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に記録する。この記録は、ＸＭＬ文書としての形式に基づく記録である。
【０１２７】
例えば、表１、２に示すデータの比較処理としては、まず、表１、２に示すデータに対し、各々、軌道回路名（１Ｔ〜５Ｔ）と地上設備名（ａ〜ｃ）とを合成して当該合成結果を要素とする集合を作成する。例えば、表１に示すデータに対する集合（以下、集合１）は「｛１Ｔａ、２Ｔａ、２Ｔｂ、３Ｔａ、３Ｔｂ、３Ｔｃ、４Ｔｂ、４Ｔｃ、５Ｔｃ｝」であり、表２に示すデータに対する集合（以下、集合２）は「｛１Ｔａ、２Ｔａ、３Ｔａ、２Ｔｂ、３Ｔｂ、４Ｔｂ、３Ｔｃ、４Ｔｃ、５Ｔｃ｝」である。次に、上記集合１、２が一致するか否か（すなわち、集合１が集合２を包含し、且つ集合２が集合１を包含するか否か）を判定し、一致する場合には、ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に「ＯＫ」と記録し、一致しない場合には「ＮＧ」と記録する。
【０１２８】
このように、相互に関連し合う冗長な表１、２のデータに基づいてデータ検証が行われる場合、表１或いは表２のどちらか一方のデータだけがＡＴＣ地上車上ＤＢデータ２０１に記録され当該データのみに基づいてデータ検証されるような場合に比べ、より正確なデータ検証が可能となり、より高い一貫性及び信頼性を有するＡＴＣ地上車上ＤＢデータ２０１が提供できる。
【０１２９】
また、本第２の実施の形態においては、ＡＴＣ地上車上ＤＢデータ２０１にＡＴＣ地上設備の設備設置を示すデータがさらに登録されていても良い。このようなＡＴＣ地上車上ＤＢデータ２０１を、以下ではＡＴＣ地上車上ＤＢデータ２０１ｂとし、データ処理装置１００ａは、ＡＴＣ地上車上ＤＢデータ２０１ｂに登録された当該設備設置が、予め設定された設置仕様を満たしているか否かをＸＳＬＴを用いて検証する。
この設置仕様は、当該設備の設置基準に基づいて定義され、ここで定義された設置仕様は、ＡＴＣ地上車上ＤＢデータ２０１ｂに登録された実際の設備設置に対する検証を行うためのＸＳＬＴ（ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３ｂという。）に反映される。
【０１３０】
以下、ＡＴＣ地上設備の一つであるトランスポンダの設置について、当該設置位置が、予め設定された設置仕様を満たしているか否かをＸＳＬＴを用いて検証する場合について説明する。
【０１３１】
図１４に、トランスポンダ２の設置位置が、予め設定された設置仕様を満たしているか否かを検証するためのＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３ｂの一例を示し、図１５に、トランスポンダ２の設置位置を示すＡＴＣ地上車上ＤＢデータ２０１ｂの一例を示し、図１６に、ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４ｂの一例を示す。これらＡＴＣ地上車上ＤＢデータ２０１ｂ、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３ｂ、ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４ｂはＡＴＣ地上車上ＤＢ２０に格納される。
【０１３２】
ＣＰＵ２４は、ＡＴＣ地上車上ＤＢデータ２０１ｂに対し、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３ｂに基づいてＸＳＬＴプロセッサ２１２を実行する。この際、ＣＰＵ２４は、図１７に示すようなレール１の軌道回路Ａ下５Ｔに対するトランスポンダ２の設置位置、すなわち、Ａ下５Ｔ軌道回路終点方キロ程１ｂからトランスポンダ設置キロ程１ｄを差し引いたトラポン設置距離１ｅが、予め設定された設置仕様を満たしているか否かを判定する。
【０１３３】
すなわち、ＣＰＵ２４は、図１４の図中符号Ａ１１のデータ要素が表すコマンドに応じて、図１５の図中符号Ｂ１０１のデータ要素の内容「１５１９１８」を取得し、データ名「自軌道終点方キロ程」のデータとしてＲＡＭ２５に一時格納する。この「自軌道終点方キロ程」は、図１７のＡ下５Ｔ軌道回路終点方キロ程１ｂに対応する。
【０１３４】
その後、ＣＰＵ２４は、図１４の図中符号Ａ１２のデータ要素が表すコマンドに応じて、図１５の図中符号Ｂ１０２のデータ要素の内容「１」を取得し、データ名「トラポンＩＤ＿１」のデータとしてＲＡＭ２５に一時格納する。すなわち、この「トラポンＩＤ＿１」は、図１７のトランスポンダ２のＩＤに対応する。
【０１３５】
その後、ＣＰＵ２４は、図１４の図中符号Ａ１３の各データ要素が表すコマンドに応じて、上記ＲＡＭ２５に一時格納されたデータ名「トラポンＩＤ＿１」のデータ内容「１」と同じトランスポンダＩＤのトランスポンダ設置キロ程、すなわち、図１５の図中符号Ｂ１０３に示すデータ要素「トランスポンダ設置キロ程」の内容「１５１８５０」を取得し、上記ＲＡＭ２５に一時格納されたデータ名「自軌道終点方キロ程」のデータ（すなわち、データ「１５１９１８」。）から当該取得したデータ「１５１８５０」を差し引き、当該差し引きの結果（すなわち、「６８」。）をデータ名「トラポン設置距離」のデータとしてＲＡＭ２５に一時格納する。この「トランスポンダ設置キロ程」、「トラポン設置距離」は、図１７のトランスポンダ設置キロ程１ｄ、トラポン設置距離１ｅに各々対応する。
【０１３６】
その後、ＣＰＵ２４は、図１４の図中符号Ａ１４のデータ要素が表すコマンドに応じて、上記ＲＡＭ２５に一時格納されたデータ名「トラポン設置距離」のデータが５０以上且つ１００以下であるか否かを算出し図１４の図中符号Ａ１５又はＡ１６の各データ要素が表すコマンドを実行する。
【０１３７】
ここで、ＣＰＵ２４は、データ名「トラポン設置距離」のデータが５０以上且つ１００以下の場合、すなわち、トランスポンダ２の設置位置が設置仕様を満たしている場合には、図中符号Ａ１６の各データ要素が表すコマンドを実行し、５０以上且つ１００以下でない場合、すなわち、トランスポンダ２の設置位置が設置仕様を満たしていない場合には、図中符号Ａ１５の各データ要素が表すコマンドを実行する。
なお、図中符号Ａ１４に示すデータ要素に含まれ、トランスポンダ２の設置位置に対する設置仕様として記述された、「５０」、「１００」という数値は、ＸＭＬ文書として作成される設置仕様の数値を定義するための別のＸＭＬ文書として作成されたデータファイルにより与えることもできる。
【０１３８】
ＣＰＵ２４は、上記データ名「トラポン設置距離」のデータ（すなわち、「６８」。）が５０以上且つ１００以下であるため、図１４の図中符号Ａ１６の各データ要素が表すコマンドを実行して当該算出結果を図１６（ａ）に示すＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４ｂに記録する。この記録はＸＭＬ文書としての形式に基づく記録である。
【０１３９】
ここで、図１５の図中符号Ｂ１０２のデータ要素の内容が、例えば、「２」の場合、すなわち、データ名「トラポンＩＤ＿１」のデータ内容が「２」の場合、ＣＰＵ２４は、このデータ名「トラポンＩＤ＿１」のデータ内容「２」と同じトランスポンダＩＤのトランスポンダ設置キロ程、すなわち、図１５の図中符号Ｂ１０４に示すデータ要素「トランスポンダ設置キロ程」の内容「１５１８１０」を取得し、上記ＲＡＭ２５に一時格納されたデータ名「自軌道終点方キロ程」のデータ（すなわち、データ「１５１９１８」。）から当該取得したデータ「１５１８１０」を差し引き、当該差し引きの結果（すなわち、「１０８」。）をデータ名「トラポン設置距離」のデータとしてＲＡＭ２５に一時格納する。その後、ＣＰＵ２４は、図１４の図中符号Ａ１４のデータ要素が表すコマンドに応じて、上記ＲＡＭ２５に一時格納されたデータ名「トラポン設置距離」のデータが５０以上且つ１００以下であるか否かを算出すると、このデータ名「トラポン設置距離」のデータ（すなわち、「１０８」。）が５０以上且つ１００以下でないため、図１４の図中符号Ａ１５の各データ要素が表すコマンドを実行して当該算出結果を図１６（ｂ）に示すＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４ｃに記録する。この記録はＸＭＬ文書としての形式に基づく記録である。
【０１４０】
したがって、上記したように、トランスポンダ２などのＡＴＣ地上設備の設置位置が所定の設置仕様を満たしているか否かの検証が容易に実行可能となり、ＡＴＣ地上設備の設置位置を表すＡＴＣ地上車上ＤＢデータ２０１ｂに対する一貫性及び信頼性の向上が図られる。
【０１４１】
なお、ＡＴＣ地上車上ＤＢデータ２０１ｂがＡＴＣ地上車上ＤＢデータ２０１に含まれ、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３ｂがＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３に含まれ、ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４ｂがＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に含まれるようであっても良い。
【０１４２】
【発明の効果】
本発明によれば、ＸＭＬ文書としてのデータに対する信頼性及び一貫性の検証にＸＳＬＴが用いられることにより、データ要素がＸＰａｔｈに基づいて個別的に取得され、当該個別的に取得されたデータ要素に対しＸＭＬスキーマでは行えないデータ参照・比較・照査が容易かつ正確に行われる。このため、ＸＭＬスキーマでは行えないデータ内容の詳細な検証が可能となり、極めて高い信頼性及び一貫性を有するＸＭＬ文書としてのデータが容易に作成可能となる。
また、鉄道信号システムの制御用データファイルは相互に関連し合うデータが冗長に登録されているため、多方面からデータ検証が行え、鉄道信号システムの制御用データファイルに対する信頼性及び一貫性をさらに高めることが可能となる。このような極めて高い信頼性及び一貫性を有する鉄道信号システムの制御用データファイルを元にした実装用データが、各列車に搭載される車上装置と地上装置のそれぞれに供給されることとなり、鉄道信号システムの安全性をさらに高めることが可能となる。
また、ＡＴＣ地上設備などの鉄道信号システムの設備設置位置が、予め設定された設置仕様を満たしているか否かが容易且つ確実に判定可能となる。
【図面の簡単な説明】
【図１】第１の実施の形態におけるデータ処理装置の機能ブロック図である。
【図２】第１の実施の形態におけるデータ処理装置によるデータ作成処理のプロセスを説明するフローチャートである。
【図３】第１の実施の形態におけるＸＳＬＴを用いたデータ検証処理の一例を説明するフローチャートである。
【図４】第２の実施の形態におけるデータ処理装置の機能ブロック図である。
【図５】第２の実施の形態におけるデータ処理装置によるデータ作成処理のプロセスを説明するフローチャートである。
【図６】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴの一例を示す図である。
【図７】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータの一例を示す図である。
【図８】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果の一例を示す図である。
【図９】図７のＡＴＣ地上車上ＤＢデータの内容を模式的に示す図である。
【図１０】図７のＡＴＣ地上車上ＤＢデータの内容を模式的に示す図である。
【図１１】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータの他の例を示す図である。
【図１２】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果の他の例を示す図である。
【図１３】（ａ）は、第２の実施の形態におけるＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴによる２次検証の他の例を模式的に示す図であり、（ｂ）は、（ａ）に示す２次検証例に係るＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴの内容を説明するための表である。
【図１４】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴの他の例を示す図である。
【図１５】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータの他の例を示す図である。
【図１６】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果の他の例を示す図である。
【図１７】図１５のＡＴＣ地上車上ＤＢデータの内容を模式的に示す図である。
【符号の説明】
１ レール
２ トランスポンダ
１０ ＤＢ
１１、２１ ＲＯＭ
１２、２２ 入力部
１３、２３ 出力部
１４、２４ ＣＰＵ
１５、２５ ＲＡＭ
１６、２６ バス
２０ ＡＴＣ地上車上ＤＢ
１００、１００ａ データ処理装置
１０１ ＤＢデータ
１０２ ＤＢＬ用１次スキーマ
１０３ データ検証用ＸＳＬＴ
１０４ ＤＢデータＸＳＬＴ検証結果
１０５ ＤＢＬ用２次スキーマ
１１１、２１１ ＸＭＬプロセッサ
１１２、２１２ ＸＳＬＴプロセッサ
１１３、２１３ ＤＢＭＳアプリケーションプログラム
２０１、２０１ａ、２０１ｂ ＡＴＣ地上車上ＤＢデータ
２０２ ＡＴＣ地上車上ＤＢＬ用１次スキーマ
２０３、２０３ｂ ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ
２０４、２０４ａ、２０４ｂ、２０４ｃ ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果
２０５ ＡＴＣ地上車上ＤＢＬ用２次スキーマ
【発明の属する技術分野】
本発明は、システム制御に用いる制御用データなどを検証するためのデータ処理装置、データ検証方法及びデータ検証プログラムに関する。
【０００２】
【従来の技術】
近年、コンピュータ制御による公共システムが種々開発されている。このような公共システムにおいて使用されるソフトウェアは、一般に、プログラムとアプリケーションデータとにより構成される。ここで、上記プログラムは、一般化されたプログラムを処理目的に適合させるために必要とするデータを含み、上記アプリケーションデータは、上記システムが適用される特定の環境に関連付けるためのデータである。
【０００３】
特に、このようなコンピュータ制御による公共システムでは上記アプリケーションデータへの依存度が増す傾向にあり、したがって、当該アプリケーションデータに対する信頼性と安全性の確保というシステム要件の重要度がさらに高まりつつある。
【０００４】
しかし、このようなアプリケーションデータに誤りが存在するような場合には、システムの機能障害として重大な事象となって顕在化する可能性が一般に生じ得る。このため、当該アプリケーションデータに対する検証（以下、データ検証という。）がデータ仕様作成段階から実機試験段階までの各段階において厳重に施されている。
【０００５】
このデータ検証は主に人手によって行われる。検証ツールを用いる場合であっても、作業者は、まず、専用の検証ツールをアプリケーションデータ毎に複数開発し、該検証ツールを用いてアプリケーションデータに対するデータ検証を上記各段階において逐一かつ直接行うとともに厳重を期すため複数回及び複数通り（検証ツールの数だけ。）行う。
【０００６】
このため、様々な仕様に基づくアプリケーションデータを短い納期で作成するような場合、当該アプリケーションデータに対し上記厳重なデータ検証を複数回及び複数通り行って高い信頼性や安全性を確保するためには多大な労力とコストが必要となる。
【０００７】
一方、ＸＭＬ（eXtensible Markup Language）と呼ばれるメタ言語（言語を作るための言語）をベースとしたデータ処理技術（以下、ＸＭＬ技術という。）が最近注目されている。このＸＭＬ技術は、データ内容（例えば、各データ要素が属するカテゴリなど。）やデータ構造（例えば、データ内におけるデータ要素の配置など。）をデータに埋め込むことが可能であり、データの可視性に優れ、データ検証性が格段に行い易くなっている。ここで、上記データ構造を定義する言語をＸＭＬスキーマ（XML schema）という。
ここで、上記データ要素とは、ＸＭＬのタグ（tag）で囲まれ、データ全体を構成する一つ一つのデータ要素である。
【０００８】
さらに、ＸＭＬ技術では、ＸＭＬ文書の読み込みや、ＸＭＬ文書中におけるデータ構造の解析及びデータ操作などを行うための既存のプロセッサ（ＸＭＬプロセッサ（あるいは、ＸＭＬパーサ（XML parser）という。）が複数利用可能であり、汎用性の高いアプリケーションの構築が可能となっている。また、ＸＭＬスキーマに基づくＸＭＬ文書としてのデータの妥当性（以下、バリディティ（validity）という。）検証がＸＭＬプロセッサを用いることにより可能となっている。
【０００９】
ここで、上記「ＸＭＬ文書としてのデータ」とは、メタ言語であるＸＭＬを用いて定義されるデータベース記述言語（以下、ＤＢＬという。）に基づいて作成されたデータであり、ＤＢＬにおいて定義されたデータ構造はＸＭＬスキーマとして記録される。
【００１０】
そこで、最近、上記アプリケーションデータの元となるデータベースの設計に対し上記ＸＭＬ技術の適用が試みられつつある。この場合、アプリケーションデータはＸＭＬ文書としてのデータを意味する。このＸＭＬ技術の適用は、データ記述言語としてＸＭＬが有するデータの表現力・扱い易さとともに、ＸＭＬスキーマによるバリディティ検証機能がデータの信頼性・安全性確保上有効であるとの考えに基づいている。
【００１１】
例えば、特許文献１には、ＸＭＬ技術を用いることにより、個々のデータベースの機構や構造が異なっていても実稼動までに要するアプリケーションシステムの設計開発コストやデータベースが変更された場合のアプリケーションシステムの修正コストを最小にできる汎用データベースアクセス装置に係る技術が開示されている。
【００１２】
また、特許文献２には、ＸＭＬ技術を用いることにより、異なった種類の制御データに基づく電話交換機が複数併設されているような場合であっても各電話交換機がこのような制御データを用いて各々制御可能となるような交換機間制御信号伝送システムに係る技術が開示されている。
【００１３】
また、鉄道信号システムのうち、デジタルＡＴＣ（Automatic Train Control）システムと称する自動列車制御システム（以下、新ＡＴＣシステムという。）に対してＸＭＬ技術を用いることも可能である。
【００１４】
この新ＡＴＣシステムによれば、ＡＴＣ地上装置（すなわち、地上に設置されたＡＴＣ装置。）は、先行列車の現在位置などの現在位置情報をデジタル符号化すると共にＭＳＫ（Minimum Shift Keying）方式に基づいて変調し、ＡＴＣ車上装置（すなわち、車上に搭載されたＡＴＣ装置。）へレールを介して送信する。
【００１５】
ＡＴＣ車上装置は、列車制御用のプログラム（以下、ＡＴＣ車上装置制御用プログラムという。）を実行し、上記レールを介して受信した上記現在位置情報と、予め車上ＤＢ（以下、ＡＴＣ車上ＤＢ（Data Base）という。）に記録された線区情報（例えば、停車駅、軌道回路の配置、地形を示す情報など）や車両性能情報（例えば、ブレーキ性能を示す情報など）などの列車制御用データ（以下、ＡＴＣ車上ＤＢデータという。）に基づいて連続的な許容速度を示すブレーキパターンを算出し、当該ブレーキパターンに基づいてブレーキ制御を行う。なお、このような新ＡＴＣシステムにおけるブレーキ制御は、「一段ブレーキ制御」と呼ばれている。
【００１６】
したがって、新ＡＴＣシステムによれば、次のような利点がある。
１）運転時隔の短縮や到達時分の短縮化が図れる。
２）連続的な許容速度を示すブレーキパターンに基づいてブレーキ制御が行われるためブレーキによるショックが緩和されて乗り心地が改善される。
３）車両性能に応じたブレーキ制御が容易に行えるのでブレーキ性能が異なる車両が混在する線区においても効率的な列車運行が可能になると共に、ブレーキ性能の向上に伴うＡＴＣ地上装置の改修や信号現示図表（許容速度を決定するためのデータ）の変更などが不要となり経済的である。
【００１７】
このような新ＡＴＣシステムでは、ＡＴＣ地上装置から送信される先行列車の現在位置などの現在位置情報とＡＴＣ車上装置に格納されるＡＴＣ車上ＤＢデータとに基づいて列車のブレーキパターンが算出されるので、特に、ＡＴＣ車上ＤＢデータへの依存度が大きい。このＡＴＣ車上ＤＢデータは、ＡＴＣ地上装置用のデータを含めて列車制御用データ全体を一元管理する「ＡＴＣ地上車上ＤＢ」を元に自動変換され作成されるものである。したがって、鉄道信号において十分な安全性を確保する上で、ＡＴＣ地上車上ＤＢデータに対する信頼性と安全性の確保というシステム要件の重要度が非常に高い。
【００１８】
そこで、最近、上記ＡＴＣ地上車上ＤＢデータが記録されたＡＴＣ地上車上ＤＢの設計に対し上記ＸＭＬ技術を適用することによりＡＴＣ地上車上ＤＢデータの信頼性・安全性の向上を図ろうとする試みがある。この場合、ＡＴＣ地上車上ＤＢデータは、ＸＭＬ文書としてのデータとして作成される。
【００１９】
【特許文献１】
特開２００１−３４４１４７号公報
【特許文献２】
特開２００２−２４７２１５号公報
【００２０】
【発明が解決しようとする課題】
しかし、単にデータのバリディティを検証するのみで個々のデータ要素の参照・比較・照査などが個別的に詳細に行えないＸＭＬスキーマのデータ検証機能には超え難い限界が存在する。すなわち、ＸＭＬスキーマでは、個々のデータ要素の参照・比較・照査などを詳細かつ正確に検証することが困難であり、バリディティ検証を超えるような信頼性及び一貫性を確保するためのデータ検証が困難となっている。
【００２１】
特に、上記ＡＴＣ地上車上ＤＢデータには、（１）列車が走行する線路配線、（２）列車の運行指示をするために必要な進路定義など、（３）列車の在線検知のための軌道回路区分、（４）線路が敷設されている環境、（５）列車運転に必要な諸設備情報、（６）車両性能データなど、のような凡そ６種類に分類表現される非常に多くの詳細なデータ要素が含まれるが、このようなデータ要素の一つ一つが全て正確なものでなければ列車運行上重大な事態を招く恐れが生じ得る。このため、ＡＴＣ地上車上ＤＢデータに対しては、これらＡＴＣ地上車上ＤＢデータの複数のデータ要素間の参照・比較・照査などを個別的に詳細に行えることが必須となる。
【００２２】
したがって、従来のように単にＸＭＬ文書としてのＡＴＣ地上車上ＤＢデータのバリディティを検証するのみで複数のデータ要素間の参照・比較・照査などが個別的に詳細に行えないＸＭＬスキーマだけでは上記必須要件、すなわち、複数のデータ要素間の参照・比較・照査などを詳細かつ正確に検証することが困難となる。このため、ＸＭＬ文書としてのＡＴＣ地上車上ＤＢデータに対するバリディティ検証を超えるような信頼性及び一貫性を確保するためのデータ検証方法が強く望まれている。
【００２３】
上記問題点は、新ＡＴＣシステムに限らず、他の鉄道信号システムの制御用データ（例えば、連動図表データ、信号現示図表データ、ＡＴＳ制御図表データ或いは踏切制御図表データなど。）を作成する際にも同様に生じ得るものである。
【００２４】
本発明の課題は、労力やコストを増やすことなく、信頼性及び一貫性が極めて高いデータを作成可能なデータ処理装置、データ検証方法及びデータ検証プログラムを提供することである。
【００２５】
【課題を解決するための手段】
本発明は、このような課題を解決するために、次のような特徴を備えている。なお、次に示す手段の説明中、括弧書きにより実施の形態に対応する構成を一例として示す。符号等は、後述する図面参照符号等である。
【００２６】
請求項１に記載の発明は、
ＸＭＬ文書として作成されたデータファイルのデータ検証を行うデータ処理装置であって、
データ検証の対象となる前記データファイル、
前記ＸＭＬ文書のデータ構造が定義された１次スキーマ、
前記ＸＭＬ文書として作成されたデータファイルに含まれる各データ要素の中から取得するデータ要素が指定され、且つ、取得された一つ或いは複数のデータ要素に対して、当該データ要素の内容が正しいか否かを検証するため検証演算の内容が定義されたデータ検証用ＸＳＬＴ、
前記データ検証用ＸＳＬＴによる検証結果から不良の検証結果の項目を特定するための２次スキーマ、
をそれぞれ入力する入力手段と、
前記１次スキーマを用いて前記データファイルが当該１次スキーマに定義されたデータ構造に従っているか判定する１次スキーマ検証手段と、
該１次スキーマ検証手段を経た前記データファイルに対して、前記データ検証用ＸＳＬＴに指定されたデータ要素の取得と検証演算とを行って、この検証演算の結果をＸＭＬ文書で表わしたＸＳＬＴ検証結果を出力するＸＳＬＴ検証手段と、
ＸＭＬ文書により表わされた前記ＸＳＬＴ検証結果に対して、前記２次スキーマを用いて検証結果が良と示された項目と不良と示された項目のうち、不良と示された項目を特定する２次スキーマ検証手段と、
を備えたことを特徴とする。
【００３０】
さらに、請求項２に記載の発明のように、請求項１に記載の発明において、
前記ＸＳＬＴ検証手段は、相互に関連し合う複数のデータ要素（例えば、データ要素Ｂ１〜Ｂ４。）が前記制御用データファイルに含まれている場合、当該相互に関連し合う複数のデータ要素の間で、データ内容が正しいか否かを検証するための検証演算を行うことを特徴とする。
【００３１】
さらに、請求項３に記載の発明のように、請求項１又は２に記載の発明において、
前記ＸＳＬＴ検証手段は、相互に関連し合う複数のデータ要素（例えば、データ要素Ｂ１〜Ｂ４。）が前記制御用データファイルに含まれている場合、当該相互に関連し合う複数のデータ要素に対して複数の異なる検証演算を行うことを特徴とする。
【００３２】
さらに、請求項４に記載の発明は、請求項１〜３の何れか一項に記載の発明において、前記データファイルは、鉄道信号システムの制御用データファイルであることを特徴とする。
さらに、請求項５に記載の発明のように、請求項４に記載の発明において、前記ＸＳＬＴ検証手段は、前記鉄道信号システムの設備設置（例えば、トランスポンダ２の設置位置。）を示すデータ要素（例えば、データ要素Ｂ１０３、Ｂ１０４。）が前記制御用データファイルに含まれている場合、当該データ要素が、予め設定された設置仕様（例えば、データ要素Ａ１４に示す設置仕様。）を満たすか否かを検証するための検証演算を行うことによって、検証機能を強化できる。すなわち、設備設置基準を当該データ要素の設置仕様として定義し、この定義を反映したＸＳＬＴが予め設定されているなら、このＸＳＬＴを用いて当該設置仕様に基づく実際の設備設置に対する検証が行える。
【００３３】
また、上記課題を解決するため、請求項６に記載の発明は、
コンピュータが、ＸＭＬ文書として作成されたデータファイルのデータ検証を行うデータ検証方法であって、
データ検証の対象となる前記データファイル、
前記ＸＭＬ文書のデータ構造が定義された１次スキーマ、
前記ＸＭＬ文書として作成されたデータファイルに含まれる各データ要素の中から取得するデータ要素が指定され、且つ、取得された一つ或いは複数のデータ要素に対して、当該データ要素の内容が正しいか否かを検証するため検証演算の内容が定義されたデータ検証用ＸＳＬＴ、
前記データ検証用ＸＳＬＴによる検証結果から不良の検証結果の項目を特定するための２次スキーマ、
を前記コンピュータが当該コンピュータのデータベースにそれぞれ入力する入力ステップと、
ＸＭＬプロセッサを実行する前記コンピュータが、前記１次スキーマを用いて前記データファイルが当該１次スキーマに定義されたデータ構造に従っているか判定する１次スキーマ検証ステップと、
ＸＳＬＴプロセッサを実行する前記コンピュータが、該１次スキーマ検証ステップを経た前記データファイルに対して、前記データ検証用ＸＳＬＴに指定されたデータ要素の取得と検証演算とを行って、この検証演算の結果をＸＭＬ文書で表わしたＸＳＬＴ検証結果を出力するＸＳＬＴ検証ステップと、
ＸＭＬプロセッサを実行する前記コンピュータが、ＸＭＬ文書により表わされた前記ＸＳＬＴ検証結果に対して、前記２次スキーマを用いて検証結果が良と示された項目と不良と示された項目のうち、不良と示された項目を特定する２次スキーマ検証ステップと、
を含むことを特徴とする。
【００３７】
さらに、請求項７に記載の発明のように、請求項６に記載の発明において、
前記ＸＳＬＴ検証ステップは、相互に関連し合う複数のデータ要素（例えば、データ要素Ｂ１〜Ｂ４。）が前記制御用データファイルに含まれている場合、前記コンピュータが、当該相互に関連し合う複数のデータ要素の間で、データ内容が正しいか否かを検証するための検証演算を行うステップであることを特徴とする。
【００３８】
さらに、請求項８に記載の発明のように、請求項６又は７に記載の発明において、
前記ＸＳＬＴ検証ステップは、相互に関連し合う複数のデータ要素（例えば、データ要素Ｂ１〜Ｂ４。）が前記制御用データファイルに含まれている場合、前記コンピュータが、当該相互に関連し合う複数のデータ要素に対して複数の異なる検証演算を行うステップであることを特徴とする。
【００３９】
また、請求項９に記載の発明は、請求項６〜８の何れか一項に記載の発明において、前記データファイルは、鉄道信号システムの制御用データファイルであることを特徴とする。
さらに、請求項１０に記載の発明のように、請求項６〜９の何れか一項に記載の発明において、前記ＸＳＬＴ検証ステップは、前記鉄道信号システムの設備設置（例えば、トランスポンダ２の設置位置。）を示すデータ要素（例えば、データ要素Ｂ１０３、Ｂ１０４。）が前記制御用データファイルに含まれている場合、前記コンピュータが、当該データ要素について予め設定された設置仕様（例えば、データ要素Ａ１４に示す設置仕様。）を満たすか否かを検証するための検証演算を行うことによって、検証機能を強化できる。すなわち、設備設置基準を当該データ要素の設置仕様として定義し、この定義を反映したＸＳＬＴが予め設定されているなら、このＸＳＬＴを用いて当該設置仕様に基づく実際の設備設置に対する検証が行える。
【００４０】
また、上記課題を解決するため、請求項１１に記載の発明は、
ＸＭＬ文書として作成されたデータファイル（例えば、ＤＢデータ１０１。）の内容を検証するためのコンピュータ（例えば、データ処理装置１００。）に、
データ検証の対象となる前記データファイル、
前記ＸＭＬ文書のデータ構造が定義された１次スキーマ、
前記ＸＭＬ文書として作成されたデータファイルに含まれる各データ要素の中から取得するデータ要素が指定され、且つ、取得された一つ或いは複数のデータ要素に対して、当該データ要素の内容が正しいか否かを検証するため検証演算の内容が定義されたデータ検証用ＸＳＬＴ、
前記データ検証用ＸＳＬＴによる検証結果から不良の検証結果の項目を特定するための２次スキーマ、
をそれぞれ入力する機能と、
前記１次スキーマを用いて前記データファイルが当該１次スキーマに定義されたデータ構造に従っているか判定する１次スキーマ検証機能と、
該１次スキーマ検証機能を経た前記データファイルに対して、前記データ検証用ＸＳＬＴに指定されたデータ要素の取得と検証演算とを行って、この検証演算の結果をＸＭＬ文書で表わしたＸＳＬＴ検証結果を出力するＸＳＬＴ検証機能と、
ＸＭＬ文書により表わされた前記ＸＳＬＴ検証結果に対して、前記２次スキーマを用いて検証結果が良と示された項目と不良と示された項目のうち、不良と示された項目を特定する２次スキーマ検証機能と、
を実現させる。
【００４４】
さらに、請求項１２に記載の発明のように、請求項１１に記載の発明において、
前記ＸＳＬＴ検証機能は、相互に関連し合う複数のデータ要素（例えば、データ要素Ｂ１〜Ｂ４。）が前記制御用データファイルに含まれている場合、当該相互に関連し合う複数のデータ要素の間で、データ内容が正しいか否かを検証するための検証演算を前記コンピュータに実現させる。
【００４５】
さらに、請求項１３に記載の発明のように、請求項１１又は１２に記載の発明において、
前記ＸＳＬＴ検証機能は、相互に関連し合う複数のデータ要素（例えば、データ要素Ｂ１〜Ｂ４。）が前記制御用データファイルに含まれている場合、当該相互に関連し合う複数のデータ要素に対して複数の異なる検証演算を前記コンピュータに実現させる。
【００４６】
また、請求項１４に記載の発明は、請求項１１〜１３の何れか一項に記載の発明において、前記データファイルは、鉄道信号システムの制御用データファイルであることを特徴とする。
さらに、請求項１５に記載の発明のように、請求項１４に記載の発明において、前記ＸＳＬＴ検証機能は、前記鉄道信号システムの設備設置（例えば、トランスポンダ２の設置位置。）を示すデータ要素（例えば、データ要素Ｂ１０３、Ｂ１０４。）が前記制御用データファイルに含まれている場合、前記コンピュータに、当該データ要素が、予め設定された設置仕様（例えば、データ要素Ａ１４に示す設置仕様。）を満たすか否かを検証するための検証演算を行わせることによって、検証機能を強化できる。すなわち、設備設置基準を当該データ要素の設置仕様として定義し、この定義を反映したＸＳＬＴが予め設定されているなら、このＸＳＬＴを用いて当該設置仕様に基づく実際の設備設置に対する検証が行える。
【００４７】
したがって、ＸＭＬ文書に対する信頼性及び一貫性の検証にＸＳＬＴが用いられるので、データ要素がＸＰａｔｈ（ＸＭＬ文書の特定の部分を指し示す構文を規定したもの。）に基づいて個別的に取得され、当該個別的に取得されたデータ要素に対しＸＭＬスキーマでは行えないデータ参照・比較・照査が容易かつ正確に行われる。このため、ＸＭＬスキーマでは行えないデータ内容の詳細な検証が可能となり、極めて高い信頼性及び一貫性を有するＸＭＬ文書としてのデータが容易に作成可能となる。
また、鉄道信号システムの制御用データファイルは相互に関連し合うデータが冗長に登録されているため、多方面からデータ検証が行え、鉄道信号システムの制御用データファイルに対する信頼性及び一貫性をさらに高めることが可能となる。このような極めて高い信頼性及び一貫性を有する鉄道信号システムの制御用データファイルを元にした実装用データが、各列車に搭載される車上装置と地上装置のそれぞれに供給されることとなり、鉄道信号システムの安全性をさらに高めることが可能となる。
また、ＡＴＣ地上設備など鉄道信号システムの設備設置位置が、予め設定された設置仕様を満たしているか否かが容易且つ確実に判定可能となる。
【００４８】
【発明の実施の形態】
＜第１の実施の形態＞
以下、図１〜図３を参照して、本発明を適用した第１の実施の形態におけるデータ処理装置１００について詳細に説明する。
【００４９】
以下で詳述するが、データ処理装置１００は、ＸＭＬ文書として作成されたデータファイルに対する信頼性及び一貫性の検証をＸＳＬＴ（eXtensible Stylesheet Language Transformations）を用いて行えることを特徴とする。
【００５０】
ここで、ＸＳＬＴとは、元来、ＸＭＬ文書の構造を変換するための言語として開発されたものであり、一般的な用途においても「ＸＭＬ文書の構造変換、例えば、ＸＭＬ文書からＨＴＭＬ文書へ変換するための言語」という考え方が支配的となっている。しかし、本発明者等は、このような開発の意図とは別に、ＸＳＬＴがＸＭＬ文書中の各データ要素を個別的に取得可能であり、さらに、当該取得した各データ要素に対し参照・比較・照査などの検証演算が可能であることを見出した。
すなわち、本発明は、ＸＳＬＴが有する上記機能を利用したものであり、本発明を適用したデータ処理装置１００は、ＸＳＬＴを用いることによりＸＭＬスキーマでは従来行えなかったＸＭＬ文書中の個々のデータ要素についての信頼性および一貫性についての詳細検証を可能とするものである。ここで、ＸＳＬＴでは、ＸＭＬ文書中の各データ要素はデータ要素固有のパス（ＸＰａｔｈにより示される。）に基づいて個別的に取得される。
【００５１】
図１は、本第１の実施の形態におけるデータ処理装置１００の機能ブロック図である。図１に示すように、データ処理装置１００は、ＤＢ（Data Base；データベース）１０、ＲＯＭ１１、入力部１２、出力部１３、ＣＰＵ１４、ＲＡＭ１５等を備え、これら各部はバス１６によって相互に接続されている。
【００５２】
ＤＢ１０は、ＸＭＬ文書として作成されたＤＢデータ１０１（例えば、制御システムを制御するための制御用データ等。）と、ＤＢデータ１０１に対するバリディティ検証を行うためのＤＢＬ用１次スキーマ１０２とを格納する。
ここで、ＤＢＬ用１次スキーマ１０２に基づくＤＢデータ１０１に対するバリディティ検証を１次検証と称する。
【００５３】
更に、ＤＢ１０は、ＤＢＬ用１次スキーマ１０２によるバリディティ検証では困難な、より詳細なＤＢデータ１０１に対する信頼性及び一貫性を検証するためのデータ検証用ＸＳＬＴ１０３と、データ検証用ＸＳＬＴ１０３による検証結果（検証項目毎に「ＯＫ」（検証結果が良（データ内容が正確）の意。）又は「ＮＧ」（検証結果が不良（データ内容が不正確）の意。）として記録。）を表すＤＢデータＸＳＬＴ検証結果１０４（ＸＭＬ文書）と、ＤＢデータＸＳＬＴ検証結果１０４に対するバリディティ検証（この場合、「ＮＧ」として記録された検証項目の特定。）を行うためのＤＢＬ用２次スキーマ１０５とを格納する。
ここで、データ検証用ＸＳＬＴ１０３及びＤＢＬ用２次スキーマ１０５に基づくＤＢデータ１０１に対する信頼性及び一貫性検証を２次検証と称する。従来では、ＤＢデータ１０１に対し１次検証のみ実施されていたが、本発明では、１次検証では困難なＤＢデータ１０１に対するより詳細な一貫性及び信頼性検証が可能な２次検証が実施できる。
【００５４】
ＲＯＭ１１は、ＤＢＬ用１次スキーマ１０２に基づきＤＢデータ１０１に対するバリディティ検証を行ったり、ＤＢＬ用２次スキーマ１０５に基づくＤＢデータＸＳＬＴ検証結果１０４に対するバリディティ検証を行うためのＸＭＬプロセッサ１１１を格納するとともに、データ検証用ＸＳＬＴ１０３に基づきＤＢデータ１０１に対する信頼性及び一貫性検証を行うためのＸＳＬＴプロセッサ１１２などのデータ検証用の各種プログラムを格納する。
【００５５】
ＲＯＭ１１は、ＤＢＭＳ（Data Base Management System；データベース管理システム）アプリケーションプログラム１１３を格納する。このＤＢＭＳアプリケーションプログラム１１３は、ＤＢデータ１０１の帳票印刷などを行ってユーザーが見やすい形式にＤＢデータ１０１のデータ内容を出力したり、ユーザが１次・２次検証結果に基づいてＤＢデータ１０１を編集（修正入力）し、当該編集後のＤＢデータ１０１をＸＭＬプロセッサ３０に渡し、再度、信頼性及び一貫性の検証が行えるようにするためのものである。
【００５６】
入力部１２は、キーボードや、マウス・タッチパネル等のポインティングデバイスを備え、ＤＢデータ１０１の修正入力や、データ処理装置１００に対する各種指示入力を行う（何れも、図示略。）。
【００５７】
出力部１３は、ＤＢデータ１０１の帳票印刷等を行うためのプリンタや、ＤＢデータ１０１の編集を行う際にデータ内容等を表示するための表示装置を備える（何れも、図示略。）。
【００５８】
ＣＰＵ１４は、ＲＯＭ１１に予め格納された各種プログラムを実行することにより、データ処理装置１００を統括的に制御する。特に、ＣＰＵ１４は、ＸＭＬプロセッサ１１１、ＸＳＬＴプロセッサ１１２や、ＤＢＭＳアプリケーションプログラム１１３を実行してＤＢデータ１０１に対する信頼性及び一貫性検証を行うとともに当該検証結果に基づいてＤＢデータ１０１に対する修正入力を可能とする。その結果、１次検証では困難であったＤＢデータ１０１に対する信頼性及び一貫性の確保が容易に実現できる。
ここで、ＸＭＬプロセッサ１１１、ＸＳＬＴプロセッサ１１２による処理内容の詳細については、後に詳述する。
【００５９】
ＲＡＭ１５は、上記各種プログラムを実行可能に展開するためのワークエリアや、各種データを一時的に記憶するためのメモリエリア等を備える。
【００６０】
次に、図２を参照して、データ処理装置１００によるデータ作成処理のプロセスを説明する。
【００６１】
まず、ユーザにより、ＤＢデータ１０１用のＤＢＬが作成され、当該ＤＢＬを用いてＤＢデータ１０１が作成され（ステップＳ１０）、次に、ＤＢデータ１０１に対する１次検証を行うためのＤＢＬ用１次スキーマ１０２が作成され（ステップＳ１１）、更に、２次検証を行うためのデータ検証用ＸＳＬＴ１０３及びＤＢＬ用２次スキーマ１０５が作成される（ステップＳ１２、Ｓ１３）。
【００６２】
次に、ＣＰＵ１４により、ステップＳ１０の段階で作成されたＤＢデータ１０１に対する１次検証及び２次検証が行われる（ステップＳ２１〜Ｓ２３）。この後、当該検証結果に基づいてＤＢデータ１０１のデータ内容がＤＢＭＳアプリケーションプログラム１１３を用いて再編集されれば、極めて高い信頼性及び一貫性が確保されたＤＢデータ１０１が作成される。
以下、ＤＢデータ１０１に対する１次検証及び２次検証について説明する。
【００６３】
まず、ＣＰＵ１４は、ＸＭＬプロセッサ１１１を実行し、ＤＢデータ１０１に対する１次検証を行う。
すなわち、ＣＰＵ１４は、ＤＢＬ用１次スキーマ１０２に基づいてＤＢデータ１０１に対するバリディティ検証を行う（ステップＳ２１）。
【００６４】
ステップＳ２１の後、ＣＰＵ１４は、ＸＳＬＴプロセッサ１１２及びＸＭＬプロセッサ１１１を実行し、ＤＢデータ１０１に対する２次検証を行う（ステップＳ２２、Ｓ２３）。
すなわち、ＣＰＵ１４は、まず、データ検証用ＸＳＬＴ１０３に基き、１次検証では困難なより詳細なＤＢデータ１０１に対する信頼性及び一貫性検証を行い、当該検証結果を検証項目毎に「ＯＫ］及び「ＮＧ」として記録したＤＢデータＸＳＬＴ検証結果１０４を出力する（ステップＳ２２）。
【００６５】
ステップＳ２２の後、ＣＰＵ１４は、ＤＢＬ用２次スキーマ１０５に基き、ＤＢデータＸＳＬＴ検証結果１０４に対するバリディティ検証（この場合、「ＮＧ」として記録された検証項目の特定。）を行って２次検証が完了する（ステップＳ２３）。
【００６６】
次に、図３を参照し、上記したステップＳ２２、Ｓ２３で行われる処理の具体例を示す。図３に、ＸＳＬＴを用いたデータ検証処理の一例を説明するフローチャートを示す。
【００６７】
まず、ＣＰＵ１４は、データ検証用ＸＳＬＴ１０３に基づいてＸＳＬＴプロセッサ１１２を実行し、１次検証では困難なより詳細なＤＢデータ１０１の信頼性及び一貫性を確保することを目的とした検証演算Ｋを行う。
【００６８】
ここで、当該検証対象となるＤＢデータ１０１には、データ要素Ａ、Ｂ、Ｄがデータ名（カテゴリ）や所定データ構造を伴って記録されている。これらデータ要素Ａ、Ｂ、Ｄの指定はＸＰａｔｈを用いて行われる。
更に、データ要素Ａとデータ要素Ｂは数値データであり、データ要素Ｄはデータ要素Ａとデータ要素Ｂとの和に対応する数値データであり、何れもオペレータにより手入力されたものである。また、検証演算Ｋは二つのデータ要素（すなわち、データ要素Ａ、Ｂ。）の和を算出する演算である。
【００６９】
まず、ＣＰＵ１４は、ＤＢデータ１０１に対し、ＸＰａｔｈ−Ａ（データ要素Ａを指定するためのＸＰａｔｈ。）を指定してデータ要素Ａを取得し（ステップＳ３１）、更に、ＸＰａｔｈ−Ｂ（データ要素Ｂを指定するためのＸＰａｔｈ。）を指定してデータＢを取得する（ステップＳ３２）。
【００７０】
その後、ＣＰＵ１４は、データ要素Ａ、Ｂに基づいて検証演算Ｋを実行し、当該演算結果である演算データＣを取得する（ステップＳ３３）。ここで実行される検証演算Ｋはデータ要素Ａ、Ｂの和を算出する演算であり、演算データＣはデータ要素Ａとデータ要素Ｂとの和である。
【００７１】
検証演算Ｋの後、ＣＰＵ１４は、ＸＰａｔｈ−Ｄ（データ要素Ｄを指定するためのＸＰａｔｈ。）を指定してデータ要素Ｄを取得し（ステップＳ３４）、検証演算Ｋによって得られた演算データＣがデータ要素Ｄと同一か否かを判定する（ステップＳ３５）。
【００７２】
ステップＳ３５の判定処理により、データ要素Ａ、Ｂ、Ｄが信頼性及び一貫性を有しているか否かが検証可能となる。すなわち、ステップＳ３５で、演算データＣとデータ要素Ｄとが一致する場合（ステップＳ３５；ＯＫ）、データ要素Ａ、Ｂ、Ｄは信頼性及び一貫性を有し、ＣＰＵ１４は、検証結果「ＯＫ」をＸＭＬ文書としてのデータ形式でＤＢデータＸＳＬＴ検証結果１０４に出力する（ステップＳ３６）。
【００７３】
また、演算データＣとデータ要素Ｄとが一致しない場合（ステップＳ３５；ＮＧ）、データ要素Ａ、Ｂ、Ｄには信頼性及び一貫性が無く、ＣＰＵ１４は、検証結果「ＮＧ」をＸＭＬ文書としてのデータ形式でＤＢデータＸＳＬＴ検証結果１０４に出力する（ステップＳ３７）。
【００７４】
その後、ＣＰＵ１４は、ＤＢＬ用２次スキーマ１０５に基づいてＸＭＬプロセッサ１１１を実行し、ＤＢデータＸＳＬＴ検証結果１０４に対するバリディティ検証を行って、「ＮＧ」として記録された検証項目（すなわち、修正が必要な項目。）を特定する（ステップＳ３８）。ここで、ＤＢデータＸＳＬＴ検証結果１０４はＸＭＬ文書となっているため、修正が必要となる個所を正確かつ容易に特定できる。
【００７５】
なお、検証演算Ｋは上記したものに限らない。例えば、所定機器の設置範囲を表すデータ要素Ａと、当該機器の設置可能範囲を表すデータ要素Ｂとに対し、これらデータ要素Ａ、Ｂを比較し、データ要素Ａがデータ要素Ｂに論理的に包含されているか否かを判定するような検証演算Ｋであっても良い。この場合、データ要素Ａがデータ要素Ｂに論理的に包含されていれば、データ要素Ａ、Ｂは信頼性及び一貫性を有し、データ要素Ａがデータ要素Ｂに論理的に包含されていなければ、データ要素Ａ、Ｂには信頼性及び一貫性が無く、修正入力されることとなる。
【００７６】
更に、同一データ群に対し複数の異なる検証演算Ｋを実行するようにしても良い。この場合、信頼性及び一貫性の検証がネットワーク的に多方面から可能となり、信頼性の向上がより一層図られる。
【００７７】
以上説明したように、データ処理装置１００は、オペレータの手入力によりＸＭＬ文書として作成されたＤＢデータ１０１に対し、ＤＢＬ用１次スキーマ１０２による１次検証（バリディティ検証）と、当該１次検証では困難なＤＢデータ１０１に対する信頼性及び一貫性を確保するための２次検証を、データ検証用ＸＳＬＴ１０３及びＤＢＬ用２次スキーマ１０５を用いて行う。特に、データ処理装置１００は、２次検証において、データ検証用ＸＳＬＴ１０３に基づき、ＤＢデータ１０１の個々のデータ要素の参照・比較・照査を行うことによってより詳細なデータ検証を行い、当該検証結果をＤＢデータＸＳＬＴ検証結果１０４として出力し、更に、ＤＢＬ用２次スキーマ１０５に基づきＤＢデータＸＳＬＴ検証結果１０４に対するバリディティ検証（この場合、「ＮＧ」個所の特定。）を行い、ＤＢデータ１０１において修正が必要な個所を自動的に割り出す。
【００７８】
したがって、ＸＭＬ文書としてのデータに対する信頼性及び一貫性の検証にＸＳＬＴが用いられることにより、データ要素がＸＰａｔｈに基づいて個別的に取得され、当該個別的に取得されたデータ要素に対しＸＭＬスキーマでは行えないデータ参照・比較・照査が容易かつ正確に行われる。このため、ＸＭＬスキーマでは行えないデータ内容の詳細な検証が可能となり、極めて高い信頼性及び一貫性を有するＸＭＬ文書としてのデータが作成可能となる。
【００７９】
なお、本第１の実施の形態における記述は、本発明に係るデータ作成装置、データ検証方法及びデータ検証プログラムの一例を示すものであり、これに限定されるものではない。本第１の実施の形態におけるデータ処理装置１００の細部構成、各種数値及び詳細動作に関しては、本発明の趣旨を逸脱しない範囲で適宜変更可能である。
【００８０】
例えば、ＸＭＬスキーマ（ＤＢＬ用１次スキーマ１０２、ＤＢＬ用２次スキーマ１０５）によるデータ検証を、複数の異なるＸＭＬプロセッサ（ＸＭＬプロセッサ１１１）を用いて行うようにしても良いし、更に、ＸＳＬＴ（データ検証用ＸＳＬＴ１０３）を用いたデータ検証を、複数の異なるＸＳＬＴプロセッサ（ＸＳＬＴプロセッサ１１２）を用いて行うようにしても良い。このようにすれば、データ検証処理に対するダイバーシティ化が可能となり、より一層、信頼性及び一貫性の向上が図られる。
【００８１】
＜第２の実施の形態＞
次に、図４〜図１２を参照して、本発明を適用した第２の実施の形態におけるデータ処理装置１００ａについて詳細に説明する。
【００８２】
以下で詳述するが、データ処理装置１００ａは、ＸＭＬ文書として作成されたＡＴＣ地上車上ＤＢデータ（本第２の実施の形態においては、ＡＴＣ地上車上ＤＢデータ２０１。）に対する信頼性及び一貫性の検証をＸＳＬＴ（本第２の実施の形態においては、データ検証用ＸＳＬＴ２０３。）を用いて行えることを特徴とする。
【００８３】
すなわち、本第２の実施の形態におけるデータ処理装置１００ａは、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３を用いることによりＸＭＬスキーマ（本第２の実施の形態においては、ＡＴＣ地上車上ＤＢＬ用１次スキーマ２０２。）では従来行えなかったＸＭＬ文書としてのＡＴＣ地上車上ＤＢデータ２０１の信頼性および一貫性についての詳細検証を可能とするものである。
【００８４】
図４は、データ処理装置１００ａの機能ブロック図である。図４に示すように、データ処理装置１００ａは、ＡＴＣ地上車上ＤＢ２０、ＲＯＭ２１、入力部２２、出力部２３、ＣＰＵ２４、ＲＡＭ２５などを備え、これら各部はバス２６によって相互に接続されている。
【００８５】
ＡＴＣ地上車上ＤＢ２０は、ＸＭＬ文書として作成されたＡＴＣ地上車上ＤＢデータ２０１と、ＡＴＣ地上車上ＤＢデータ２０１に対するバリディティ検証を行うためのＡＴＣ地上車上ＤＢＬ用１次スキーマ２０２とを格納する。
ここで、ＡＴＣ地上車上ＤＢＬ用１次スキーマ２０２に基づくＡＴＣ地上車上ＤＢデータ２０１に対するバリディティ検証を１次検証と称する。
【００８６】
さらに、ＡＴＣ地上車上ＤＢ２０は、ＡＴＣ地上車上ＤＢＬ用１次スキーマ２０２によるバリディティ検証では困難な、より詳細なＡＴＣ地上車上ＤＢデータ２０１に対する信頼性及び一貫性を検証するためのＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３と、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３による検証結果を表すＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４（ＸＭＬ文書）と、このＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に対するバリディティ検証を行うためのＡＴＣ地上車上ＤＢＬ用２次スキーマ２０５とを格納する。
【００８７】
ここで、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３による検証結果は、検証項目毎に「ＯＫ」又は「ＮＧ」としてＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に記録される。また、「ＯＫ」とは、検証結果が良、すなわちデータ内容が正確である意であり、「ＮＧ」は、検証結果が不良、すなわち、データ内容が不正確である意である。また、ＡＴＣ地上車上ＤＢＬ用２次スキーマ２０５によるバリディティ検証は、ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に「ＮＧ」と記録された検証項目を特定することである。
【００８８】
ここで、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３及びＡＴＣ地上車上ＤＢＬ用２次スキーマ２０５に基づくＡＴＣ地上車上ＤＢデータ２０１に対する信頼性及び一貫性検証を２次検証と称する。従来では、ＸＭＬ文書として作成されたＡＴＣ地上車上ＤＢデータ２０１に対しては１次検証のみ実施されるものであるが、本発明では、１次検証では困難なＡＴＣ地上車上ＤＢデータ２０１に対するより詳細な一貫性及び信頼性検証が可能な２次検証を実施する。
【００８９】
ＲＯＭ２１は、ＡＴＣ地上車上ＤＢＬ用１次スキーマ２０２に基づきＡＴＣ地上車上ＤＢデータ２０１に対するバリディティ検証を行ったり、ＡＴＣ地上車上ＤＢＬ用２次スキーマ２０５に基づくＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に対するバリディティ検証を行うためのＸＭＬプロセッサ２１１を格納するとともに、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３に基づきＡＴＣ地上車上ＤＢデータ２０１に対する信頼性及び一貫性検証を行うためのＸＳＬＴプロセッサ２１２などのデータ検証用の各種プログラムを格納する。
【００９０】
ＲＯＭ２１は、ＤＢＭＳアプリケーションプログラム２１３を格納する。このＤＢＭＳアプリケーションプログラム２１３は、ＡＴＣ地上車上ＤＢデータ２０１の帳票印刷などを行ってユーザーが見やすい形式にＡＴＣ地上車上ＤＢデータ２０１のデータ内容を出力したり、ユーザが１次・２次検証結果に基づいてＡＴＣ地上車上ＤＢデータ２０１を編集（修正入力）し、当該編集後のＡＴＣ地上車上ＤＢデータ２０１をＸＭＬプロセッサ２１１に渡し、再度、信頼性及び一貫性の検証が行えるようにするためのものである。
【００９１】
入力部２２は、キーボードや、マウス・タッチパネルなどのポインティングデバイスを備え（何れも、図示略。）、ＡＴＣ地上車上ＤＢデータ２０１の修正入力や、データ処理装置１００ａに対する各種指示入力を行う。
【００９２】
出力部２３は、ＡＴＣ地上車上ＤＢデータ２０１の帳票印刷などを行うためのプリンタや、ＡＴＣ地上車上ＤＢデータ２０１の編集を行う際にデータ内容などを表示するための表示装置を備える（何れも、図示略。）。
【００９３】
ＣＰＵ２４は、ＲＯＭ２１に予め格納された各種プログラムを実行することにより、データ処理装置２００を統括的に制御する。特に、ＣＰＵ２４は、ＸＭＬプロセッサ２１１、ＸＳＬＴプロセッサ２１２や、ＤＢＭＳアプリケーションプログラム２１３を実行してＡＴＣ地上車上ＤＢデータ２０１に対する信頼性及び一貫性検証を行うとともに当該検証結果に基づいてＡＴＣ地上車上ＤＢデータ２０１に対する修正入力を可能とする。その結果、１次検証では困難であったＡＴＣ地上車上ＤＢデータ２０１に対する信頼性及び一貫性の確保が容易に実現できる。ＸＭＬプロセッサ２１１、ＸＳＬＴプロセッサ２１２による処理内容の詳細については後に詳述する。
【００９４】
ＲＡＭ２５は、上記各種プログラムを実行可能に展開するためのワークエリアや、各種データを一時的に記憶するためのメモリエリアなどを備える。
【００９５】
次に、図５を参照して、データ処理装置２００によるデータ作成処理のプロセスを説明する。
【００９６】
まず、ユーザにより、ＡＴＣ地上車上ＤＢデータ２０１用のＤＢＬ（以下、ＡＴＣ地上車上ＤＢＬという。）が作成され、当該ＡＴＣ地上車上ＤＢＬを用いてＡＴＣ地上車上ＤＢデータ２０１が作成され（ステップＳ４０）、次に、ＡＴＣ地上車上ＤＢデータ２０１に対する１次検証を行うためのＡＴＣ地上車上ＤＢＬ用１次スキーマ２０２が作成され（ステップＳ４１）、さらに、２次検証を行うためのＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３及びＡＴＣ地上車上ＤＢＬ用２次スキーマ２０５が作成される（ステップＳ４２、Ｓ４３）。
【００９７】
次に、ＣＰＵ２４により、ステップＳ４０の段階で作成されたＡＴＣ地上車上ＤＢデータ２０１に対する１次検証及び２次検証が行われる（ステップＳ５１〜Ｓ５３）。この後、当該検証結果に基づいてＡＴＣ地上車上ＤＢデータ２０１のデータ内容がＤＢＭＳアプリケーションプログラム２１３を用いて再編集されれば、極めて高い信頼性及び一貫性が確保されたＡＴＣ地上車上ＤＢデータ２０１が作成される。
【００９８】
以下、上記１次検証及び２次検証（ステップＳ５１〜Ｓ５３）について詳細に説明する。
【００９９】
１次検証；
まず、ＣＰＵ２４は、ＸＭＬプロセッサ２１１を実行し、ＡＴＣ地上車上ＤＢデータ２０１に対する１次検証を行う。
すなわち、ＣＰＵ２４は、ＡＴＣ地上車上ＤＢＬ用１次スキーマ２０２に基づいてＡＴＣ地上車上ＤＢデータ２０１に対するバリディティ検証を行う（ステップＳ５１）。
【０１００】
２次検証；
ステップＳ５１の後、ＣＰＵ２４は、ＸＳＬＴプロセッサ２１２及びＸＭＬプロセッサ２１１を実行し、ＡＴＣ地上車上ＤＢデータ２０１に対する２次検証を行う（ステップＳ５２、Ｓ５３）。
【０１０１】
すなわち、ＣＰＵ２４は、まず、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３に基づいてＸＳＬＴプロセッサ２１２を実行し、１次検証では困難なより詳細な信頼性及び一貫性検証をＡＴＣ地上車上ＤＢデータ２０１に対して行い、当該検証結果を検証項目毎に「ＯＫ］及び「ＮＧ」として記録したＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４を出力する（ステップＳ５２）。
【０１０２】
ステップＳ５２の後、ＣＰＵ２４は、ＡＴＣ地上車上ＤＢＬ用２次スキーマ２０５に基づいてＸＭＬプロセッサ２１１を実行し、ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に対するバリディティ検証（この場合、「ＮＧ」として記録された検証項目の特定）を行って２次検証が完了する（ステップＳ５３）。ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４はＸＭＬ文書としての形式を有しているため、修正が必要となる個所を正確かつ容易に特定できる。
【０１０３】
ここで、図６〜図１２を参照して、ステップＳ５２で行われる処理の具体例について説明する。なお、検証内容は、ここで示すものに限らない。図６に、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３の一例を示し、図７に、ＡＴＣ地上車上ＤＢデータ２０１の一例を示し、図８に、ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４の一例を示す。
【０１０４】
ＣＰＵ２４は、ＡＴＣ地上車上ＤＢデータ２０１に対し、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３に基づいてＸＳＬＴプロセッサ２１２を実行する。この際、ＣＰＵ２４は、図９に示すようなレール１における軌道回路Ａ下５Ｔの軌道回路長１ａが、軌道回路Ａ下５ＴのＡ下５Ｔ軌道回路終点方キロ程１ｂとＡ下５Ｔ軌道回路起点方キロ程１ｃとの差に一致するか否かを判定することによりＡＴＣ地上車上ＤＢデータ２０１についてのデータ検証を行い（以下、ＸＳＬＴ検証例１という。）、次に、図１０に示すようなレール１における互いに隣接する軌道回路Ａ下５Ｔ、Ｂ下５Ｔの境界のキロ程、すなわち、軌道回路Ａ下５ＴのＡ下５Ｔ軌道回路終点方キロ程１ｂと軌道回路Ｂ下５ＴのＢ下５Ｔ軌道回路起点方キロ程２ｂとが一致するか否かを判定することによりＡＴＣ地上車上ＤＢデータ２０１についてのデータ検証を行う（以下、ＸＳＬＴ検証例２という。）。
【０１０５】
ここでは、ＡＴＣ地上車上ＤＢデータ２０１には相互に関連し合う冗長なデータが予め登録されている。ここに、相互に関連し合う冗長なデータとは、例えば、「軌道回路長」に対しては当該軌道回路における「軌道回路終点方キロ程」及び「軌道回路起点方キロ程」であり、「軌道回路終点方（或いは、起点方）キロ程」に対しては当該軌道回路の終点方（或いは、起点方）に隣接する「軌道回路起点方（或いは、終点方）キロ程」などである。このような冗長なデータに基づきＡＴＣ地上車上ＤＢデータ２０１全体が正確に登録されているか否かが検証される。したがって、このような冗長なデータを用いることにより、ＡＴＣ地上車上ＤＢデータ２０１に対し複数の視点に基づくデータ検証が可能となり、信頼性及び一貫性の高いＡＴＣ地上車上ＤＢデータ２０１が提供できる。
【０１０６】
以下、上記ＸＳＬＴ検証例１、２について詳細に説明する。
【０１０７】
まず、ＸＳＬＴ検証例１について説明する。
ＣＰＵ２４は、図６の図中符号Ａ１のデータ要素が表すコマンドに応じて、図７の図中符号Ｂ１のデータ要素の内容「１５０８９８」を取得し、データ名「自軌道起点方キロ程」のデータとしてＲＡＭ２５に一時格納する。この「自軌道起点方キロ程」は、図９のＡ下５Ｔ軌道回路起点方キロ程１ｃに対応する。
【０１０８】
その後、ＣＰＵ２４は、図６の図中符号Ａ２のデータ要素が表すコマンドに応じて、図７の図中符号Ｂ２のデータ要素の内容「１５１９１８」を取得し、データ名「自軌道終点方キロ程」のデータとしてＲＡＭ２５に一時格納する。この「自軌道終点方キロ程」は、図９のＡ下５Ｔ軌道回路終点方キロ程１ｂに対応する。
【０１０９】
その後、ＣＰＵ２４は、図６の図中符号Ａ３のデータ要素が表すコマンドに応じて、上記ＲＡＭ２５に一時格納したデータ名「自軌道終点方キロ程」のデータからデータ名「自軌道起点方キロ程」のデータを差し引き（すなわち、データ「１５１９１８」からデータ「１５０８９８」を差し引き）、当該差引きの結果（すなわち、「１０２０」）をデータ名「計算軌道回路長」のデータとしてＲＡＭ２５に一時格納する。この「計算軌道回路長」は、図９のＡ下５Ｔ軌道回路長１ａに対応する。
【０１１０】
その後、ＣＰＵ２４は、図６の図中符号Ａ４のデータ要素が表すコマンドに応じて、図７の図中符号Ｂ３のデータ要素の内容「１０２１」を取得し、データ名「軌道回路長データ」のデータとしてＲＡＭ２５に一時格納する。この「軌道回路長データ」は、上記したデータ名「計算軌道回路長」のデータとともに図９のＡ下５Ｔ軌道回路長１ａに対応する。
【０１１１】
その後、ＣＰＵ２４は、上記ＲＡＭ２５に一時格納したデータ名「計算軌道回路長」のデータ「１０２０」とデータ名「軌道回路長データ」のデータ「１０２１」とを比較し図６の図中符号Ａ５又はＡ６の各データ要素が表すコマンドを実行する。
【０１１２】
この際、ＣＰＵ２４は、図６の図中符号Ａ６の各データ要素が表すコマンドに応じて、当該比較結果を図８に示すＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に記録する。この記録は、図８の図中符号Ｃ１に示すようなＸＭＬ文書としての形式に基づく記録である。
【０１１３】
この場合、図６の図中符号Ａ５の「<xsl:if test=“＄計算軌道回路長＝＄軌道回路長データ”>」が表すコマンドが実行された段階で当該データ名「計算軌道回路長」のデータと当該データ名「軌道回路長データ」のデータとは一致しないと判定され、「<軌道回路長チェック>ＯＫ</軌道回路長チェック>」はＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に記録されない。
【０１１４】
次に、ＸＳＬＴ検証例２について説明する。
ＣＰＵ２４は、図中符号Ａ７のデータ要素が表すコマンドに応じて、図７の図中符号Ｂ４のデータ要素の内容「１５１９１９」を取得し、データ名「隣接軌道起点方キロ程」のデータとしてＲＡＭ２５に一時格納する。この「隣接軌道起点方キロ程」は、図１０のＢ下５Ｔ軌道回路起点方キロ程２ｂに対応する。
【０１１５】
その後、ＣＰＵ２４は、上記ＲＡＭ２５に一時格納したデータ名「自軌道終点方キロ程」のデータ「１５１９１８」と「隣接軌道起点方キロ程」のデータ「１５１９１９」とを比較し図６の図中符号Ａ８又はＡ９の各データ要素が表すコマンドを実行する。
【０１１６】
この際、ＣＰＵ２４は、図６の図中符合Ａ９の各データ要素が表すコマンドに応じて、当該比較結果を図８のＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に記録する。この記録は、図８の図中符号Ｃ２に示すようなＸＭＬ文書としての形式に基づく記録である。
【０１１７】
この場合、図６の図中符号Ａ８の「<xsl:if test=“＄自軌道終点方キロ程＝＄隣接軌道起点方キロ程”>」が表すコマンドが実行された段階で当該データ名「自軌道終点方キロ程」のデータと当該データ名「隣接軌道起点方キロ程」のデータとは一致しないと判定され、「<隣接軌道キロ程チェック>ＯＫ<隣接軌道キロ程チェック>」はＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に記録されない。
【０１１８】
なお、ＡＴＣ地上車上ＤＢデータ２０１は、図７に例示したものに限らず、例えば、図１１に例示したもの（以下、ＡＴＣ地上車上ＤＢデータ２０１ａという。）を用いても良い。ＡＴＣ地上車上ＤＢデータ２０１ａには、図７の図中符号Ｂ１〜Ｂ４の各データ要素に代えて、図中符号Ｂ１１〜Ｂ１４の各データ要素が各々登録されている。
【０１１９】
ＣＰＵ２４は、ＡＴＣ地上車上ＤＢデータ２０１ａに対し、上記したＸＳＬＴ検証１、２に相当するデータ検証（比較）を行うと、当該比較結果を図１２に示すＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４ａのように記録する。この記録は、図１２の図中符号Ｃ１１、Ｃ１２に示すようなＸＭＬ文書としての形式に基く記録である。ここで、ＡＴＣ地上車上ＤＢデータ２０１ａに対する上記ＸＳＬＴ検証１による比較結果を図１２の図中符号Ｃ１１に示し、上記ＸＳＬＴ検証２による比較結果を図１２の図中符号Ｃ１２に示す。
【０１２０】
なお、本第２の実施の形態における記述は、本発明に係るデータ作成装置、データ検証方法及びデータ検証プログラムの一例を示すものであり、これに限定されるものではない。本第２の実施例におけるデータ処理装置１００ａの細部構成、各種数値及び詳細動作に関しては、本発明の趣旨を逸脱しない範囲で適宜変更可能である。
【０１２１】
例えば、本発明を適用して作成されるＡＴＣ地上車上ＤＢデータ２０１、ＡＴＣ地上車上ＤＢデータ２０１ａのような軌道回路に関するデータに限らない。この場合、新ＡＴＣシステムに係る制御用データのうち他のデータであっても良いし、また、連動図表データ、信号現示図表データ、ＡＴＳ制御図表データ或いは踏切制御図表データなどの他の鉄道信号システムの制御用データに対しても、本発明は適用可能である。このような図表データは、ビットマップデータやＪＰＥＧ（Joint Photographic Experts Group）データなどの図表そのものを示すデータではなく、各図表を出力するために必要な情報データであり、ＡＴＣ地上車上ＤＢデータ２０１などと同様のＸＭＬ文書としてのデータ形式を有するものである。
【０１２２】
また、ＡＴＣ地上車上ＤＢデータ２０１には所定の地上設備（例えば、列防など）の敷設範囲を示すデータが登録されていても良く、この場合、データ処理装置１００ａは、当該敷設範囲を示すデータに対してＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３に基づくデータ検証を行う。
以下、このような場合について具体的に説明する。
【０１２３】
ここでは、例えば、図１３（ａ）に示すような、地上設備ａの敷設範囲が軌道回路１Ｔ〜３Ｔであり、地上設備ｂの敷設範囲が軌道回路２Ｔ〜４Ｔであり、地上設備ｃの敷設範囲が軌道回路３Ｔ〜５Ｔである場合を想定する。
【０１２４】
この場合、ＡＴＣ地上車上ＤＢデータ２０１には、図１３（ｂ）に示す表１及び表２に示す相互に関連し合うデータが互いに冗長に登録されているものとする。
【０１２５】
ここで、表１には、軌道回路１Ｔ〜５Ｔ毎に敷設されている地上設備ａ〜ｃが示されている。すなわち、表１には、軌道回路１Ｔには地上設備ａが敷設され、軌道回路２Ｔには地上設備ａ、ｂが敷設され、軌道回路３Ｔには地上設備ａ、ｂ、ｃが敷設され、軌道回路４Ｔには地上設備ｂ、ｃが敷設され、軌道回路５Ｔには地上設備ｃが敷設されていることが示されている。また、表２には、地上設備ａ〜ｃ毎の敷設範囲（軌道回路１Ｔ〜５Ｔ）が示されている。すなわち、表２には、地上設備ａの敷設範囲は軌道回路１Ｔ〜３Ｔであり、地上設備ｂの敷設範囲は軌道回路２Ｔ〜４Ｔであり、地上設備ｃの敷設範囲は軌道回路３Ｔ〜５Ｔであることが示されている。
【０１２６】
ＣＰＵ２４は、１次検証の後、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３に基づいてＸＳＬＴプロセッサ２１２を実行して２次検証を行い、ＡＴＣ地上車上ＤＢデータ２０１に記録された表１に示すデータと表２に示すデータとを互いに比較して当該比較結果をＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に記録する。この記録は、ＸＭＬ文書としての形式に基づく記録である。
【０１２７】
例えば、表１、２に示すデータの比較処理としては、まず、表１、２に示すデータに対し、各々、軌道回路名（１Ｔ〜５Ｔ）と地上設備名（ａ〜ｃ）とを合成して当該合成結果を要素とする集合を作成する。例えば、表１に示すデータに対する集合（以下、集合１）は「｛１Ｔａ、２Ｔａ、２Ｔｂ、３Ｔａ、３Ｔｂ、３Ｔｃ、４Ｔｂ、４Ｔｃ、５Ｔｃ｝」であり、表２に示すデータに対する集合（以下、集合２）は「｛１Ｔａ、２Ｔａ、３Ｔａ、２Ｔｂ、３Ｔｂ、４Ｔｂ、３Ｔｃ、４Ｔｃ、５Ｔｃ｝」である。次に、上記集合１、２が一致するか否か（すなわち、集合１が集合２を包含し、且つ集合２が集合１を包含するか否か）を判定し、一致する場合には、ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に「ＯＫ」と記録し、一致しない場合には「ＮＧ」と記録する。
【０１２８】
このように、相互に関連し合う冗長な表１、２のデータに基づいてデータ検証が行われる場合、表１或いは表２のどちらか一方のデータだけがＡＴＣ地上車上ＤＢデータ２０１に記録され当該データのみに基づいてデータ検証されるような場合に比べ、より正確なデータ検証が可能となり、より高い一貫性及び信頼性を有するＡＴＣ地上車上ＤＢデータ２０１が提供できる。
【０１２９】
また、本第２の実施の形態においては、ＡＴＣ地上車上ＤＢデータ２０１にＡＴＣ地上設備の設備設置を示すデータがさらに登録されていても良い。このようなＡＴＣ地上車上ＤＢデータ２０１を、以下ではＡＴＣ地上車上ＤＢデータ２０１ｂとし、データ処理装置１００ａは、ＡＴＣ地上車上ＤＢデータ２０１ｂに登録された当該設備設置が、予め設定された設置仕様を満たしているか否かをＸＳＬＴを用いて検証する。
この設置仕様は、当該設備の設置基準に基づいて定義され、ここで定義された設置仕様は、ＡＴＣ地上車上ＤＢデータ２０１ｂに登録された実際の設備設置に対する検証を行うためのＸＳＬＴ（ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３ｂという。）に反映される。
【０１３０】
以下、ＡＴＣ地上設備の一つであるトランスポンダの設置について、当該設置位置が、予め設定された設置仕様を満たしているか否かをＸＳＬＴを用いて検証する場合について説明する。
【０１３１】
図１４に、トランスポンダ２の設置位置が、予め設定された設置仕様を満たしているか否かを検証するためのＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３ｂの一例を示し、図１５に、トランスポンダ２の設置位置を示すＡＴＣ地上車上ＤＢデータ２０１ｂの一例を示し、図１６に、ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４ｂの一例を示す。これらＡＴＣ地上車上ＤＢデータ２０１ｂ、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３ｂ、ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４ｂはＡＴＣ地上車上ＤＢ２０に格納される。
【０１３２】
ＣＰＵ２４は、ＡＴＣ地上車上ＤＢデータ２０１ｂに対し、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３ｂに基づいてＸＳＬＴプロセッサ２１２を実行する。この際、ＣＰＵ２４は、図１７に示すようなレール１の軌道回路Ａ下５Ｔに対するトランスポンダ２の設置位置、すなわち、Ａ下５Ｔ軌道回路終点方キロ程１ｂからトランスポンダ設置キロ程１ｄを差し引いたトラポン設置距離１ｅが、予め設定された設置仕様を満たしているか否かを判定する。
【０１３３】
すなわち、ＣＰＵ２４は、図１４の図中符号Ａ１１のデータ要素が表すコマンドに応じて、図１５の図中符号Ｂ１０１のデータ要素の内容「１５１９１８」を取得し、データ名「自軌道終点方キロ程」のデータとしてＲＡＭ２５に一時格納する。この「自軌道終点方キロ程」は、図１７のＡ下５Ｔ軌道回路終点方キロ程１ｂに対応する。
【０１３４】
その後、ＣＰＵ２４は、図１４の図中符号Ａ１２のデータ要素が表すコマンドに応じて、図１５の図中符号Ｂ１０２のデータ要素の内容「１」を取得し、データ名「トラポンＩＤ＿１」のデータとしてＲＡＭ２５に一時格納する。すなわち、この「トラポンＩＤ＿１」は、図１７のトランスポンダ２のＩＤに対応する。
【０１３５】
その後、ＣＰＵ２４は、図１４の図中符号Ａ１３の各データ要素が表すコマンドに応じて、上記ＲＡＭ２５に一時格納されたデータ名「トラポンＩＤ＿１」のデータ内容「１」と同じトランスポンダＩＤのトランスポンダ設置キロ程、すなわち、図１５の図中符号Ｂ１０３に示すデータ要素「トランスポンダ設置キロ程」の内容「１５１８５０」を取得し、上記ＲＡＭ２５に一時格納されたデータ名「自軌道終点方キロ程」のデータ（すなわち、データ「１５１９１８」。）から当該取得したデータ「１５１８５０」を差し引き、当該差し引きの結果（すなわち、「６８」。）をデータ名「トラポン設置距離」のデータとしてＲＡＭ２５に一時格納する。この「トランスポンダ設置キロ程」、「トラポン設置距離」は、図１７のトランスポンダ設置キロ程１ｄ、トラポン設置距離１ｅに各々対応する。
【０１３６】
その後、ＣＰＵ２４は、図１４の図中符号Ａ１４のデータ要素が表すコマンドに応じて、上記ＲＡＭ２５に一時格納されたデータ名「トラポン設置距離」のデータが５０以上且つ１００以下であるか否かを算出し図１４の図中符号Ａ１５又はＡ１６の各データ要素が表すコマンドを実行する。
【０１３７】
ここで、ＣＰＵ２４は、データ名「トラポン設置距離」のデータが５０以上且つ１００以下の場合、すなわち、トランスポンダ２の設置位置が設置仕様を満たしている場合には、図中符号Ａ１６の各データ要素が表すコマンドを実行し、５０以上且つ１００以下でない場合、すなわち、トランスポンダ２の設置位置が設置仕様を満たしていない場合には、図中符号Ａ１５の各データ要素が表すコマンドを実行する。
なお、図中符号Ａ１４に示すデータ要素に含まれ、トランスポンダ２の設置位置に対する設置仕様として記述された、「５０」、「１００」という数値は、ＸＭＬ文書として作成される設置仕様の数値を定義するための別のＸＭＬ文書として作成されたデータファイルにより与えることもできる。
【０１３８】
ＣＰＵ２４は、上記データ名「トラポン設置距離」のデータ（すなわち、「６８」。）が５０以上且つ１００以下であるため、図１４の図中符号Ａ１６の各データ要素が表すコマンドを実行して当該算出結果を図１６（ａ）に示すＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４ｂに記録する。この記録はＸＭＬ文書としての形式に基づく記録である。
【０１３９】
ここで、図１５の図中符号Ｂ１０２のデータ要素の内容が、例えば、「２」の場合、すなわち、データ名「トラポンＩＤ＿１」のデータ内容が「２」の場合、ＣＰＵ２４は、このデータ名「トラポンＩＤ＿１」のデータ内容「２」と同じトランスポンダＩＤのトランスポンダ設置キロ程、すなわち、図１５の図中符号Ｂ１０４に示すデータ要素「トランスポンダ設置キロ程」の内容「１５１８１０」を取得し、上記ＲＡＭ２５に一時格納されたデータ名「自軌道終点方キロ程」のデータ（すなわち、データ「１５１９１８」。）から当該取得したデータ「１５１８１０」を差し引き、当該差し引きの結果（すなわち、「１０８」。）をデータ名「トラポン設置距離」のデータとしてＲＡＭ２５に一時格納する。その後、ＣＰＵ２４は、図１４の図中符号Ａ１４のデータ要素が表すコマンドに応じて、上記ＲＡＭ２５に一時格納されたデータ名「トラポン設置距離」のデータが５０以上且つ１００以下であるか否かを算出すると、このデータ名「トラポン設置距離」のデータ（すなわち、「１０８」。）が５０以上且つ１００以下でないため、図１４の図中符号Ａ１５の各データ要素が表すコマンドを実行して当該算出結果を図１６（ｂ）に示すＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４ｃに記録する。この記録はＸＭＬ文書としての形式に基づく記録である。
【０１４０】
したがって、上記したように、トランスポンダ２などのＡＴＣ地上設備の設置位置が所定の設置仕様を満たしているか否かの検証が容易に実行可能となり、ＡＴＣ地上設備の設置位置を表すＡＴＣ地上車上ＤＢデータ２０１ｂに対する一貫性及び信頼性の向上が図られる。
【０１４１】
なお、ＡＴＣ地上車上ＤＢデータ２０１ｂがＡＴＣ地上車上ＤＢデータ２０１に含まれ、ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３ｂがＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ２０３に含まれ、ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４ｂがＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果２０４に含まれるようであっても良い。
【０１４２】
【発明の効果】
本発明によれば、ＸＭＬ文書としてのデータに対する信頼性及び一貫性の検証にＸＳＬＴが用いられることにより、データ要素がＸＰａｔｈに基づいて個別的に取得され、当該個別的に取得されたデータ要素に対しＸＭＬスキーマでは行えないデータ参照・比較・照査が容易かつ正確に行われる。このため、ＸＭＬスキーマでは行えないデータ内容の詳細な検証が可能となり、極めて高い信頼性及び一貫性を有するＸＭＬ文書としてのデータが容易に作成可能となる。
また、鉄道信号システムの制御用データファイルは相互に関連し合うデータが冗長に登録されているため、多方面からデータ検証が行え、鉄道信号システムの制御用データファイルに対する信頼性及び一貫性をさらに高めることが可能となる。このような極めて高い信頼性及び一貫性を有する鉄道信号システムの制御用データファイルを元にした実装用データが、各列車に搭載される車上装置と地上装置のそれぞれに供給されることとなり、鉄道信号システムの安全性をさらに高めることが可能となる。
また、ＡＴＣ地上設備などの鉄道信号システムの設備設置位置が、予め設定された設置仕様を満たしているか否かが容易且つ確実に判定可能となる。
【図面の簡単な説明】
【図１】第１の実施の形態におけるデータ処理装置の機能ブロック図である。
【図２】第１の実施の形態におけるデータ処理装置によるデータ作成処理のプロセスを説明するフローチャートである。
【図３】第１の実施の形態におけるＸＳＬＴを用いたデータ検証処理の一例を説明するフローチャートである。
【図４】第２の実施の形態におけるデータ処理装置の機能ブロック図である。
【図５】第２の実施の形態におけるデータ処理装置によるデータ作成処理のプロセスを説明するフローチャートである。
【図６】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴの一例を示す図である。
【図７】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータの一例を示す図である。
【図８】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果の一例を示す図である。
【図９】図７のＡＴＣ地上車上ＤＢデータの内容を模式的に示す図である。
【図１０】図７のＡＴＣ地上車上ＤＢデータの内容を模式的に示す図である。
【図１１】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータの他の例を示す図である。
【図１２】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果の他の例を示す図である。
【図１３】（ａ）は、第２の実施の形態におけるＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴによる２次検証の他の例を模式的に示す図であり、（ｂ）は、（ａ）に示す２次検証例に係るＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴの内容を説明するための表である。
【図１４】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴの他の例を示す図である。
【図１５】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータの他の例を示す図である。
【図１６】第２の実施の形態におけるＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果の他の例を示す図である。
【図１７】図１５のＡＴＣ地上車上ＤＢデータの内容を模式的に示す図である。
【符号の説明】
１ レール
２ トランスポンダ
１０ ＤＢ
１１、２１ ＲＯＭ
１２、２２ 入力部
１３、２３ 出力部
１４、２４ ＣＰＵ
１５、２５ ＲＡＭ
１６、２６ バス
２０ ＡＴＣ地上車上ＤＢ
１００、１００ａ データ処理装置
１０１ ＤＢデータ
１０２ ＤＢＬ用１次スキーマ
１０３ データ検証用ＸＳＬＴ
１０４ ＤＢデータＸＳＬＴ検証結果
１０５ ＤＢＬ用２次スキーマ
１１１、２１１ ＸＭＬプロセッサ
１１２、２１２ ＸＳＬＴプロセッサ
１１３、２１３ ＤＢＭＳアプリケーションプログラム
２０１、２０１ａ、２０１ｂ ＡＴＣ地上車上ＤＢデータ
２０２ ＡＴＣ地上車上ＤＢＬ用１次スキーマ
２０３、２０３ｂ ＡＴＣ地上車上ＤＢデータ検証用ＸＳＬＴ
２０４、２０４ａ、２０４ｂ、２０４ｃ ＡＴＣ地上車上ＤＢデータＸＳＬＴ検証結果
２０５ ＡＴＣ地上車上ＤＢＬ用２次スキーマ
Claims (15)
- ＸＭＬ文書として作成されたデータファイルのデータ検証を行うデータ処理装置であって、
データ検証の対象となる前記データファイル、
前記ＸＭＬ文書のデータ構造が定義された１次スキーマ、
前記ＸＭＬ文書として作成されたデータファイルに含まれる各データ要素の中から取得するデータ要素が指定され、且つ、取得された一つ或いは複数のデータ要素に対して、当該データ要素の内容が正しいか否かを検証するため検証演算の内容が定義されたデータ検証用ＸＳＬＴ、
前記データ検証用ＸＳＬＴによる検証結果から不良の検証結果の項目を特定するための２次スキーマ、
をそれぞれ入力する入力手段と、
前記１次スキーマを用いて前記データファイルが当該１次スキーマに定義されたデータ構造に従っているか判定する１次スキーマ検証手段と、
該１次スキーマ検証手段を経た前記データファイルに対して、前記データ検証用ＸＳＬＴに指定されたデータ要素の取得と検証演算とを行って、この検証演算の結果をＸＭＬ文書で表わしたＸＳＬＴ検証結果を出力するＸＳＬＴ検証手段と、
ＸＭＬ文書により表わされた前記ＸＳＬＴ検証結果に対して、前記２次スキーマを用いて検証結果が良と示された項目と不良と示された項目のうち、不良と示された項目を特定する２次スキーマ検証手段と、
を備えたことを特徴とするデータ処理装置。 - 前記ＸＳＬＴ検証手段は、相互に関連し合う複数のデータ要素が前記データファイルに含まれている場合、当該相互に関連し合う複数のデータ要素の間で、データ内容が正しいか否かを検証するための検証演算を行うことを特徴とする請求項１に記載のデータ処理装置。
- 前記ＸＳＬＴ検証手段は、相互に関連し合う複数のデータ要素が前記データファイルに含まれている場合、当該相互に関連し合う複数のデータ要素に対して複数の異なる検証演算を行うことを特徴とする請求項１又は２に記載のデータ処理装置。
- 前記データファイルは、鉄道信号システムの制御用データファイルであることを特徴とする請求項１〜３の何れか一項に記載のデータ処理装置。
- 前記ＸＳＬＴ検証手段は、前記鉄道信号システムの設備設置を示すデータ要素が前記制御用データファイルに含まれている場合、当該データ要素が、予め設定された設置仕様を満たすか否かを検証するための検証演算を行うことを特徴とする請求項４に記載のデータ処理装置。
- コンピュータが、ＸＭＬ文書として作成されたデータファイルのデータ検証を行うデータ検証方法であって、
データ検証の対象となる前記データファイル、
前記ＸＭＬ文書のデータ構造が定義された１次スキーマ、
前記ＸＭＬ文書として作成されたデータファイルに含まれる各データ要素の中から取得するデータ要素が指定され、且つ、取得された一つ或いは複数のデータ要素に対して、当該データ要素の内容が正しいか否かを検証するため検証演算の内容が定義されたデータ検証用ＸＳＬＴ、
前記データ検証用ＸＳＬＴによる検証結果から不良の検証結果の項目を特定するための２次スキーマ、
を前記コンピュータが当該コンピュータのデータベースにそれぞれ入力する入力ステップと、
ＸＭＬプロセッサを実行する前記コンピュータが、前記１次スキーマを用いて前記データファイルが当該１次スキーマに定義されたデータ構造に従っているか判定する１次スキーマ検証ステップと、
ＸＳＬＴプロセッサを実行する前記コンピュータが、該１次スキーマ検証ステップを経た前記データファイルに対して、前記データ検証用ＸＳＬＴに指定されたデータ要素の取得と検証演算とを行って、この検証演算の結果をＸＭＬ文書で表わしたＸＳＬＴ検証結果を出力するＸＳＬＴ検証ステップと、
ＸＭＬプロセッサを実行する前記コンピュータが、ＸＭＬ文書により表わされた前記ＸＳＬＴ検証結果に対して、前記２次スキーマを用いて検証結果が良と示された項目と不良と示された項目のうち、不良と示された項目を特定する２次スキーマ検証ステップと、
を含むことを特徴とするデータ検証方法。 - 前記ＸＳＬＴ検証ステップは、相互に関連し合う複数のデータ要素が前記データファイルに含まれている場合、前記コンピュータが、当該相互に関連し合う複数のデータ要素の間で、データ内容が正しいか否かを検証するための検証演算を行うステップであることを特徴とする請求項６に記載のデータ検証方法。
- 前記ＸＳＬＴ検証ステップは、相互に関連し合う複数のデータ要素が前記データファイルに含まれている場合、前記コンピュータが、当該相互に関連し合う複数のデータ要素に対して複数の異なる検証演算を行うステップであることを特徴とする請求項６又は７に記載のデータ検証方法。
- 前記データファイルは、鉄道信号システムの制御用データファイルであることを特徴とする請求項６〜８の何れか一項に記載のデータ検証方法。
- 前記ＸＳＬＴ検証ステップは、前記鉄道信号システムの設備設置を示すデータ要素が前記制御用データファイルに含まれている場合、前記コンピュータが、当該データ要素について予め設定された設置仕様を満たすか否かを検証するための検証演算を行うステップであることを特徴とする請求項９に記載のデータ検証方法。
- ＸＭＬ文書として作成されたデータファイルの内容を検証するためのコンピュータに、
データ検証の対象となる前記データファイル、
前記ＸＭＬ文書のデータ構造が定義された１次スキーマ、
前記ＸＭＬ文書として作成されたデータファイルに含まれる各データ要素の中から取得するデータ要素が指定され、且つ、取得された一つ或いは複数のデータ要素に対して、当該データ要素の内容が正しいか否かを検証するため検証演算の内容が定義されたデータ検証用ＸＳＬＴ、
前記データ検証用ＸＳＬＴによる検証結果から不良の検証結果の項目を特定するための２次スキーマ、
をそれぞれ入力する機能と、
前記１次スキーマを用いて前記データファイルが当該１次スキーマに定義されたデータ構造に従っているか判定する１次スキーマ検証機能と、
該１次スキーマ検証機能を経た前記データファイルに対して、前記データ検証用ＸＳＬＴに指定されたデータ要素の取得と検証演算とを行って、この検証演算の結果をＸＭＬ文書で表わしたＸＳＬＴ検証結果を出力するＸＳＬＴ検証機能と、
ＸＭＬ文書により表わされた前記ＸＳＬＴ検証結果に対して、前記２次スキーマを用いて検証結果が良と示された項目と不良と示された項目のうち、不良と示された項目を特定する２次スキーマ検証機能と、
を実現させるためのデータ検証プログラム。 - 前記ＸＳＬＴ検証機能は、相互に関連し合う複数のデータ要素が前記データファイルに含まれている場合、前記コンピュータに、当該相互に関連し合う複数のデータ要素の間で、データ内容が正しいか否かを検証するための検証演算を行わせるものであることを特徴とする請求項１１に記載のデータ検証プログラム。
- 前記ＸＳＬＴ検証機能は、相互に関連し合う複数のデータ要素が前記データファイルに含まれている場合、前記コンピュータに、当該相互に関連し合う複数のデータ要素に対して複数の異なる検証演算を行わせるものであることを特徴とする請求項１１又は１２に記載のデータ検証プログラム。
- 前記データファイルは、鉄道信号システムの制御用データファイルであることを特徴とする請求項１１〜１３の何れか一項に記載のデータ検証プログラム。
- 前記ＸＳＬＴ検証機能は、前記鉄道信号システムの設備設置を示すデータ要素が前記制御用データファイルに含まれている場合、前記コンピュータに、当該データ要素が、予め設定された設置仕様を満たすか否かを検証するための検証演算を行わせるものであることを特徴とする請求項１４に記載のデータ検証プログラム。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2003118374A JP4249534B2 (ja) | 2003-01-15 | 2003-04-23 | データ処理装置、データ検証方法及びデータ検証プログラム |
Applications Claiming Priority (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2003006922 | 2003-01-15 | ||
| JP2003061383 | 2003-03-07 | ||
| JP2003118374A JP4249534B2 (ja) | 2003-01-15 | 2003-04-23 | データ処理装置、データ検証方法及びデータ検証プログラム |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JP2004334253A JP2004334253A (ja) | 2004-11-25 |
| JP4249534B2 true JP4249534B2 (ja) | 2009-04-02 |
Family
ID=33514517
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2003118374A Expired - Lifetime JP4249534B2 (ja) | 2003-01-15 | 2003-04-23 | データ処理装置、データ検証方法及びデータ検証プログラム |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP4249534B2 (ja) |
Families Citing this family (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP4484791B2 (ja) * | 2005-08-26 | 2010-06-16 | 株式会社京三製作所 | 検証データ生成装置および検証データ生成プログラム、検証データ生成方法 |
| JP4698685B2 (ja) * | 2006-01-19 | 2011-06-08 | 富士通株式会社 | 表示情報検証プログラム、方法及び装置 |
| US7716040B2 (en) | 2006-06-22 | 2010-05-11 | Multimodal Technologies, Inc. | Verification of extracted data |
| JP5293086B2 (ja) * | 2008-10-28 | 2013-09-18 | セイコーエプソン株式会社 | 情報配信システム、情報配信システムのサービス実現方法およびそのプログラム |
| JP5123337B2 (ja) * | 2010-01-29 | 2013-01-23 | 株式会社京三製作所 | 検証データ生成装置、検証データ生成プログラム及び検証データ生成方法 |
| CN103303341B (zh) * | 2013-05-07 | 2016-01-20 | 成都交大光芒科技股份有限公司 | 轨道交通综合监控系统中基于xml的报警处理方法 |
-
2003
- 2003-04-23 JP JP2003118374A patent/JP4249534B2/ja not_active Expired - Lifetime
Also Published As
| Publication number | Publication date |
|---|---|
| JP2004334253A (ja) | 2004-11-25 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP3824153B2 (ja) | 電子パーツリストシステム | |
| CA2476400C (en) | Method and device for generating logic control units for railroad station-based vital computer apparatuses | |
| EP2738061B1 (en) | Route control program generation method and route control device | |
| US20170236234A1 (en) | Risk management method and system for a land transporation system | |
| CN104090776A (zh) | 一种软件开发方法及系统 | |
| CN113031934B (zh) | 一种用于形式化验证的联锁数据安全转换方法及翻译器 | |
| CN104317812A (zh) | 一种lkj基础数据自动生成方法和系统 | |
| Li et al. | HAZOP study on the CTCS-3 onboard system | |
| JP4249534B2 (ja) | データ処理装置、データ検証方法及びデータ検証プログラム | |
| CN110929309B (zh) | 城轨信号系统中保护区段列表文档的自动验证方法 | |
| CN112559373B (zh) | 一种软件兼容性管理方法和系统 | |
| JP4857737B2 (ja) | 運賃検証装置 | |
| CN113704135B (zh) | 一种需求覆盖验证方法及装置 | |
| CN113689192B (zh) | 一种基于通信的列车控制系统数据生成方法 | |
| JP4484791B2 (ja) | 検証データ生成装置および検証データ生成プログラム、検証データ生成方法 | |
| CN114398475A (zh) | 数据处理方法、装置、电子设备以及存储介质 | |
| JP2005044215A (ja) | データ処理装置、データ処理方法及びプログラム | |
| JP5123337B2 (ja) | 検証データ生成装置、検証データ生成プログラム及び検証データ生成方法 | |
| JPH09120367A (ja) | 料金計算システムプログラム検査方式 | |
| JP4939852B2 (ja) | 運行表示画面試験装置 | |
| CN113553273A (zh) | 一种系统配置规则验证方法及装置 | |
| JP4427340B2 (ja) | 同一性確認情報付与システム、同一性確認情報付与方法および同一性確認情報付与プログラム | |
| CN116048968A (zh) | 一种从测试用例高效导出需求覆盖的方法、设备及介质 | |
| CN115358051A (zh) | 一种航空产品主最低设备清单建议书的候选项目验证方法 | |
| CN107438048A (zh) | Can协议生成方法、装置及具有其的车辆 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20050509 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20080812 |
|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20081010 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20081118 |
|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20081212 |
|
| TRDD | Decision of grant or rejection written | ||
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20090113 |
|
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
| A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20090115 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20120123 Year of fee payment: 3 |
|
| R150 | Certificate of patent or registration of utility model |
Ref document number: 4249534 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20120123 Year of fee payment: 3 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130123 Year of fee payment: 4 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20140123 Year of fee payment: 5 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| EXPY | Cancellation because of completion of term |