JIS X4177-2-2005 Document Schema Definition Languages (DSDL) -- Part 2:Regular-grammar-based validation -- RELAX NG.pdf

上传人:哈尼dd 文档编号:3670523 上传时间:2019-09-19 格式:PDF 页数:39 大小:1.71MB
返回 下载 相关 举报
JIS X4177-2-2005 Document Schema Definition Languages (DSDL) -- Part 2:Regular-grammar-based validation -- RELAX NG.pdf_第1页
第1页 / 共39页
JIS X4177-2-2005 Document Schema Definition Languages (DSDL) -- Part 2:Regular-grammar-based validation -- RELAX NG.pdf_第2页
第2页 / 共39页
JIS X4177-2-2005 Document Schema Definition Languages (DSDL) -- Part 2:Regular-grammar-based validation -- RELAX NG.pdf_第3页
第3页 / 共39页
JIS X4177-2-2005 Document Schema Definition Languages (DSDL) -- Part 2:Regular-grammar-based validation -- RELAX NG.pdf_第4页
第4页 / 共39页
JIS X4177-2-2005 Document Schema Definition Languages (DSDL) -- Part 2:Regular-grammar-based validation -- RELAX NG.pdf_第5页
第5页 / 共39页
亲,该文档总共39页,到这儿已超出免费预览范围,如果喜欢就下载吧!
资源描述

《JIS X4177-2-2005 Document Schema Definition Languages (DSDL) -- Part 2:Regular-grammar-based validation -- RELAX NG.pdf》由会员分享,可在线阅读,更多相关《JIS X4177-2-2005 Document Schema Definition Languages (DSDL) -- Part 2:Regular-grammar-based validation -- RELAX NG.pdf(39页珍藏版)》请在三一文库上搜索。

1、 X 4177-2:2005 (ISO/IEC 19757-2:2003) (1) 規格,工業標準化法第 12 条第 1 項規定基,財団法人日本規格協会(JSA),工業標準 原案具日本工業規格制定申出,日本工業標準調査会審議経,経済産業大 臣制定日本工業規格。 制定当,日本工業規格国際規格対比,国際規格一致日本工業規格作成及日 本工業規格基礎国際規格原案提案容易,ISO/IEC 19757-2:2003,Document Schema Definition Languages (DSDL) - Part 2: Regular-grammar-based validation - RELAX N

2、G 基礎用 。 規格一部,技術的性質特許権,出願公開後特許出願,実用新案権,又出願公開後 実用新案登録出願抵触可能性注意喚起。経済産業大臣及日本工業標準調査会 ,技術的性質特許権,出願公開後特許出願,実用新案権,又出願公開後実用新 案登録出願確認,責任。 規格,次示附属書。 附属書 A(規定)RELAX NG RELAX NG 附属書 B(参考)例 附属書 C(参考)文献 JIS X 4177 規格群,次示部編成。 JIS X 4177-1第部:概要 JIS X 4177-2第部:正規文法基妥当性検証RELAX NG JIS X 4177-4第部:名前空間基検証委譲言語 X 4177-2:20

3、05 (ISO/IEC 19757-2:2003) (2) 目 次 序文1 0. 導入1 1. 適用範囲1 2. 引用規格1 3. 定義2 4. 記法4 4.1 拡張 BNF4 4.2 推論規則4 5. 6 6. 完全構文7 7. 単純化9 7.1 一般事項9 7.2 注釈9 7.3 空白9 7.4 datatypeLibrary 属性 9 7.5 value 要素 type 属性10 7.6 href 属性 10 7.7 externalRef 要素 10 7.8 include 要素10 7.9 element 要素及 attribute 要素 name 属性11 7.10 ns 属性 1

4、1 7.11 QName11 7.12 div 要素11 7.13 子要素数11 7.14 mixed 要素11 7.15 optional 要素12 7.16 zeroOrMore 要素12 7.17 制約12 7.18 combine 属性13 7.19 grammar 要素13 7.20 define 要素及 ref 要素13 7.21 notAllowed 要素14 7.22 empty 要素14 8. 単純構文14 9. 意味15 X 4177-2:0000 (ISO/IEC 19757-2:2003) (3) 9.1 推論規則15 9.2 名前16 9.3 17 9.4 妥当性20

5、 10. 制限20 10.1 一般事項20 10.2 禁止20 10.3 文字列並22 10.4 属性制限23 10.5 interleave 制限24 11. 適合性24 附属書 A(規定)RELAX NG RELAX NG 25 附属書 B(参考)例 31 附属書 C(参考)文献 35 日本工業規格 JIS X 4177-2:2005 (ISO/IEC 19757-2:2003 ) 文書定義言語(DSDL)第 2 部:正規文法 基妥当性検証 - RELAX NG Document Schema Definition Languages (DSDL) - Part 2: Regular-gr

6、ammar-based validation - RELAX NG 序文序文 規格,2003 年第 1 版発行 ISO/IEC 19757-2,Document Schema Definition Languages (DSDL) - Part 2: Regular-grammar-based validation - RELAX NG 翻訳,技術的内容変更 作成日本工業規格。 0. 導入導入 規格構成次示。5., 示,6.以降用 XML 文書抽象化 示。6.,RELAX NG 構文示。7.,RELAX NG 単純化適用一連 変換示,更 RELAX NG 追加要件規定。8.,変換適用結果構文示

7、。 単純構文,完全構文部分集合。9.,単純構文用正 RELAX NG 意味示。 意味, 場合要素RELAX NG照妥当規定。 10.,RELAX NG 単純形式変換後 RELAX NG 満要件示。最 後 11.,RELAX NG 妥当性検証器関適合性要件示。 規格,RELAX NG 規定(附属書附属書 C 1)基。RELAX NG 関指導書,規格別 用意RELAX NG Tutorial(附属書附属書 C 2)参照 。 1. 適用範囲適用範囲 規格, XML 関言語 RELAX NG 規定。 RELAX NG , XML 文書構造及内容関規定。 , 正規木文法用規定。 規格, RELAX NG

8、 満要件規定, RELAX NG 規定 XML 文書規定。 備考備考 規格対応国際規格,次示。 , 対応程度表記号, ISO/IEC Guide21 基, IDT (一致) , MOD (修 正) ,NEQ(同等)。 ISO/IEC 19757-2:2003 , Document Schema Definition Languages (DSDL) Part 2: Regular-grammar-based validation RELAX NG (IDT) 2. 引用規格引用規格 次掲規格又文書,規格引用,規格規定一部 構成。引用規格,発効年又発行年付記,記載年版 規格規定構成,後改正版追補

9、適用。発行年付記 引用規格,最新版(追補含。 )適用。 2 X 4177-2:2005 (ISO/IEC 19757-2:2003) 備考備考 次文書,本文中参照一意識別子付与。一意識 別子,太字示名称。 JIS X 4159:2005 拡張可能付言語(XML) 備考備考 W3C 勧告,Extensible Markup Language (XML) 1.0 (Third Edition),2004 年 2 月 4 日,規格 一致。 参考参考 W3C 勧告 http:/www.w3.org/TR/2004/REC-xml-20040204 入手可能。 W3C XML-Names, W3C XM

10、L-Names, Namespaces in XML, W3C Recommendation, 14 January 1999 備考備考 TR X 0023:1999 XML 名前空間, W3C 勧告一致。 参考参考 W3C 勧告 http:/www.w3.org/TR/1999/REC-xml-names-19990114/入手可能。 W3C 勧告一致規格,JIS X 4158:2005 名前空間発効予定, 伴 TR X 0023:1999 廃止。 W3C XLink, XML Linking Language (XLink) Version 1.0, W3C Recommendation,

11、 27 June 2001 備考備考 TR X 0076:2003 XML 付言語(Xlink) 1.0 , W3C 勧告一致。 参考参考 W3C勧告http:/www.w3.org/TR/2001/REC-xlink-20010627/入手可能。 W3C 勧告一致規格,JIS X 4176:2005 付言語() 発効予定,伴 TR X 0076:2003 廃止。 W3C XML-Infoset, XML Information Set, W3C Recommendation, 24 October 2001 参考参考 W3C 勧告 http:/www.w3.org/TR/2001/REC-x

12、ml-infoset-20011024/入手可能。 IETF RFC 2045, Multipurpose Internet Mail Extensions (MIME) Part One: Format of Internet Message Bodies, 1996-11 備考備考 TS X 0069:2005 多目的拡張(MIME) 第 1 部 本体 IETF RFC 一致。 参考参考 IETF RFC http:/www.ietf.org/rfc/rfc2045.txt 入手可能。 IETF RFC 2046, Multipurpose Internet Mail Extensions

13、 (MIME) Part Two: Media Types, 1996-11 備考備考 TS X 0070:2004 多目的拡張(MIME) 第 2 部 型 IETF RFC 一致。 参考参考 IETF RFC http:/www.ietf.org/rfc/rfc2046.txt 入手可能。 IETF RFC 2396, Uniform Resource Identifiers (URI): Generic Syntax, 1998-08 備考備考 TS X 0097:2003 統一資源識別子(URI) 共通構文, IETF RFC 一致。 参考参考 IETF RFC http:/www.ie

14、tf.org/rfc/rfc2396.txt 入手可能。 IETF RFC 2732, Format for Literal IPv6 Addresses in URLs, Internet Standards Track Specification, 1999 年 12 月 参考参考 IETF RFC http:/www.ietf.org/rfc/rfc2732.txt 入手可能。 IETF RFC 3023, XML Media Types,Internet Standards Track Specification, 1998 年 8 月 参考参考 IETF RFC http:/www.

15、ietf.org/rfc/rfc3023.txt 入手可能。 3. 定義定義 規格用主用語定義,次。 参考参考 規格,JIS X 4159 定義用語用。 3.1 資源資源(resource) 識別可能。 参考参考 統一資源識別子(URI)指示可能。 3 X 4177-2:2005 (ISO/IEC 19757-2:2003) 3.2 統一資源識別子統一資源識別子(URI) 簡潔文字列,IETF RFC 2396 定義構文用,抽 象的又具体的資源参照。 3.3 URI 参照参照(URI reference) 素片識別子 URI 又相対 URI。 3.4 相対相対 URI(relative URI

16、) URI 参照形式,基底 URI 基解決別 URI 生成 。 3.5 基底基底 URI(base URI) 相対 URI 解決用 URI。 3.6 素片識別子素片識別子(fragment identifier) URI 参照含付加的情報, URI 基取出動 作成功後利用者利用。 3.7 (instance) RELAX NG 照妥当検証中 XML 文書。 3.8 文字文字(space character) #x20 符号位置文字。 3.9 空白文字空白文字(whitespace character) #x20, #x9, #xA 又#xD 符号位置文字。 3.10 名前名前(name) UR

17、I 局所名対。 3.11 名前空間名前空間 URI(namespace URI) 名前一部 URI。 3.12 局所名局所名(local name) 名前一部 NCName。 3.13 NCName W3C XML-Names NCName 生成規則文字列。 3.14 名前名前(name class) 一部,名前。 3.15 (pattern) 一部,属性集合並要素及文字列列 。 3.16 外来属性外来属性(foreign attribute) 名前空間URI空文字列RELAX NG名前空間URI属性。 3.17 外来要素外来要素(foreign element) 名前空間 URI RELAX

18、 NG 名前空間 URI 要素。 3.18 完全構文完全構文(full syntax) 単純化前 RELAX NG 文法構文。 3.19 単純構文単純構文(simple syntax) 単純化後 RELAX NG 文法構文。 3.20 単純化単純化(simplification) 完全構文RELAX NG単純構文変換。 3.21 型型(datatype library) 局所名型対応付。 備考備考 型,URI 特定。 3.22 型型(datatype) 文字列集合,同値関係。 3.23 公理公理(axiom) 無条件証明可能命題。 3.24 推論規則推論規則(inference rule) 一

19、以上肯定的又否定的前提条件, 必一結論規則 , 肯定的前提条件証明可能, , 否定的前提条件証明可能場合, 結論証明可能。 3.25 照妥当照妥当(valid with respect to a schema) 記述 XML 文書 集合属。 3.26 (schema) XML 文書集合指定。 3.27 文法文法(grammar) NCName 対応付伴開始。 3.28 正正(correct schema) 規格規格要求満。 3.29 妥当性検証器妥当性検証器(validator) 正決定, 照妥 当決定。 3.30 (path) / 又 / 区切 NCName 。 3.31 情報集合情報集合(

20、infoset) W3C XML-Infoset 定義 XML 文書抽象化。 3.32 情報項目情報項目(information item) 情報集合構成要素。 4 X 4177-2:2005 (ISO/IEC 19757-2:2003) 3.33 (data model) 規格規格定義 XML 文書抽象表現。 3.34 XML 文書文書(XML document) JIS X 4159 定義整形式 XML 文書文字列。 3.35 拡張拡張 BNF(EBNF) 文脈自由文法記述用表記。 3.36 弱意味弱意味(weak matching) 種類一,9.3.7 規定規定。 3.37 直上文法直上文法(in-scope grammar) 最近祖先文法要素。 3.38 内容種別内容種

展开阅读全文
相关资源
猜你喜欢
相关搜索

当前位置:首页 > 其他


经营许可证编号:宁ICP备18001539号-1