著者

今村 誠 鈴木 克志

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告デジタルドキュメント(DD) (ISSN:09196072)

巻号頁・発行日

vol.2001, no.81, pp.1-8, 2001-07-27

参考文献数

7

被引用文献数

1

---

行政ではXML(eXtensible Markup Language)を用いた電子申請のインフラ整備を進めている.そしてこのインフラ整備では,申請書本文とその申請内容を補足説明する添付文書からなる複数文書一式が,申請書の記載要領に相当する文書内容に関する規約(文書規約)に従っていることを保証する仕組みが重要になる.しかし,XML Schemaのような既存の標準では,要素間や複数文書間にわたる文書内容制約を表現できないという問題があった.そこで,複数XML文書一式に対する文書規約を表現・検証する仕組みの提供を目的として,文書規約記述言語DRDL(Document Rules Description Language)と,その処理系(DRDLプロセッサ)を開発している.DRDLの特徴は,以下の2点である.(1)Xpath(XML Path Language)を基本要素として,等式,限量子,および論理演算子を用いて構成される論理式で文書規約を表現することにより,複数文書一式に対する内容間制約を簡潔に記述できる.(2)同一文書規約を,文書内容検証用と文書変換用の双方の規約として解釈できるようにすることにより,申請様式の電子化や改訂に伴う内容検証機能や変換機能の開発効率を向上させることができる.Japanese Administration has developed XML-based Electronic Application infrastructure. In this development, it is important to establish a method to validate whether a set of documents consisting of a body document and attached documents satisfies document rules in application manuals. But XML Schema, a standard to describe document rules, can not represents a constraint among contents in multiple XML documents. This paper presents Document Rules Description Language (DRDL) and its processor (DRDL Processor) in order to provide a framework for description and validation of constraints among contents in multiple XML documents. The features of DRDL are the following. (1)DRDL can concisely describe constraints among contents in multiple XML documents with logical formula which consist of Xpath (XML Path Language), equality, quantifiers, and logical operators. (2)We can develop validation functions and transformation functions in application forms efficiently, as a DRDL processor can interpret one document rule as both validation procedure and transformation procedure.