SANS 19757-2-2010 Information technology - Document Schema Definition Language (DSDL) Part 2 Regular-grammar-based validation - RELAX NG《信息技术 文献模式定义语言（DSDL） 第2部分：基于规则-语法的有效性检验》.pdf

《SANS 19757-2-2010 Information technology - Document Schema Definition Language (DSDL) Part 2 Regular-grammar-based validation - RELAX NG《信息技术 文献模式定义语言（DSDL） 第2部分：基于规则-语法的有效性检验》.pdf》由会员分享，可在线阅读，更多相关《SANS 19757-2-2010 Information technology - Document Schema Definition Language (DSDL) Part 2 Regular-grammar-based validation - RELAX NG《信息技术 文献模式定义语言（DSDL） 第2部分：基于规则-语法的有效性检验》.pdf（54页珍藏版）》请在麦多课文档分享上搜索。

1、 Collection of SANS standards in electronic format (PDF) 1. Copyright This standard is available to staff members of companies that have subscribed to the complete collection of SANS standards in accordance with a formal copyright agreement. This document may reside on a CENTRAL FILE SERVER or INTRA

2、NET SYSTEM only. Unless specific permission has been granted, this document MAY NOT be sent or given to staff members from other companies or organizations. Doing so would constitute a VIOLATION of SABS copyright rules. 2. Indemnity The South African Bureau of Standards accepts no liability for any

3、damage whatsoever than may result from the use of this material or the information contain therein, irrespective of the cause and quantum thereof. ISBN 978-0-626-23729-5 SANS 19757-2:2010Edition 1 ISO/IEC 19757-2:2008Edition 2 SOUTH AFRICAN NATIONAL STANDARD Information technology Document Schema De

4、finition Language (DSDL) Part 2: Regular-grammar-based validation RELAX NG This national standard is the identical implementation of ISO/IEC 19757-2:2008, and is adopted with the permission of the International Organization for Standardization and the International Electrotechnical Commission. Publi

5、shed by SABS Standards Division 1 Dr Lategan Road Groenkloof Private Bag X191 Pretoria 0001Tel: +27 12 428 7911 Fax: +27 12 344 1568 www.sabs.co.za SABS SANS 19757-2:2010 Edition 1 ISO/IEC 19757-2:2008 Edition 2 Table of changes Change No. Date Scope National foreword This South African standard was

6、 approved by National Committee SABS SC 71L, Information technology Document description and processing language, in accordance with procedures of the SABS Standards Division, in compliance with annex 3 of the WTO/TBT agreement. This SANS document was published in March 2010. Reference numberISO/IEC

7、 19757-2:2008(E)ISO/IEC 2008INTERNATIONAL STANDARD ISO/IEC19757-2Second edition2008-12-15Information technology Document Schema Definition Language (DSDL) Part 2: Regular-grammar-based validation RELAX NG Technologies de linformation Langage de dfinition de schma de documents (DSDL) Partie 2: Valida

8、tion de grammaire oriente courante RELAX NG SANS 19757-2:2010This s tandard may only be used and printed by approved subscription and freemailing clients of the SABS .ISO/IEC 19757-2:2008(E) PDF disclaimer This PDF file may contain embedded typefaces. In accordance with Adobes licensing policy, this

9、 file may be printed or viewed but shall not be edited unless the typefaces which are embedded are licensed to and installed on the computer performing the editing. In downloading this file, parties accept therein the responsibility of not infringing Adobes licensing policy. The ISO Central Secretar

10、iat accepts no liability in this area. Adobe is a trademark of Adobe Systems Incorporated. Details of the software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creation parameters were optimized for printing. Every care has been taken to ensure

11、 that the file is suitable for use by ISO member bodies. In the unlikely event that a problem relating to it is found, please inform the Central Secretariat at the address given below. COPYRIGHT PROTECTED DOCUMENT ISO/IEC 2008 All rights reserved. Unless otherwise specified, no part of this publicat

12、ion may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from either ISO at the address below or ISOs member body in the country of the requester. ISO copyright office Case postale 56 CH-1211 Geneva 2

13、0 Tel. + 41 22 749 01 11 Fax + 41 22 749 09 47 E-mail copyrightiso.org Web www.iso.org Published in Switzerland ii ISO/IEC 2008 All rights reservedSANS 19757-2:2010This s tandard may only be used and printed by approved subscription and freemailing clients of the SABS .Contents PageForeword. iiiIntr

14、oduction iv1 Scope 12 Normative references 13 Terms and definitions 14 Notation. 44.1 EBNF. 44.2 Inference rules 44.2.1 Variables. 44.2.2 Propositions. 54.2.3 Expressions 65 Data model 76 Full syntax 87 Simplification 97.1 General 97.2 Annotations 97.3 Whitespace. 97.4 datatypeLibrary attribute. 97.

15、5 type attribute of value element 107.6 href attribute. 107.7 externalRef element. 107.8 include element. 107.9 name attribute of element and attribute elements 117.10 ns attribute. 117.11 QNames 117.12 div element 117.13 Number of child elements. 117.14 mixed element 127.15 optional element. 127.16

16、 zeroOrMore element. 127.17 Constraints. 127.18 combine attribute. 137.19 grammar element. 137.20 define and ref elements. 137.21 notAllowed element. 147.22 empty element 148 Simple syntax. 149 Semantics. 159.1 Inference rules 159.2 Name classes. 159.3 Patterns. 169.3.1 choice pattern. 169.3.2 group

17、 pattern. 169.3.3 empty pattern. 169.3.4 text pattern. 169.3.5 oneOrMore pattern 179.3.6 interleave pattern 179.3.7 element and attribute pattern. 179.3.8 data and value pattern 189.3.9 Built-in datatype library. 189.3.10 list pattern. 199.4 Validity. 19 ISO/IEC 2008 All rights reservedISO/IEC 19757

18、-2:2008(E)iiiSANS 19757-2:2010This s tandard may only be used and printed by approved subscription and freemailing clients of the SABS .10 Restrictions 1910.1 General 1910.2 Prohibited paths. 1910.2.1 General 1910.2.2 attribute pattern 2010.2.3 oneOrMore pattern 2010.2.4 list pattern. 2010.2.5 excep

19、t element in data pattern. 2010.2.6 start element 2110.3 String sequences. 2110.4 Restrictions on attributes 2310.5 Restrictions on interleave 2311 Conformance 23Annex A (normative) RELAX NG schema for RELAX NG. 24Annex B (informative) Examples. 30B.1 Data model 30B.2 Full syntax example. 31B.3 Simp

20、le syntax example 31B.4 Validation example. 32Annex C (normative) RELAX NG Compact syntax 34C.1 Introduction 34C.2 Syntax. 34C.3 Lexical structure 36C.4 Declarations 37C.5 Annotations 39C.5.1 Support for annotations 39C.5.2 Initial annotations 39C.5.3 Documentation shorthand 39C.5.4 Following annota

21、tions. 40C.5.5 Grammar annotations 40C.6 Conformance 40C.6.1 Types of conformance. 40C.6.2 Validator 41C.6.3 Structure preserving translator 41C.6.4 Non-structure preserving translator 41C.7 Media type registration template for the RELAX NG Compact Syntax. 41Bibliography 43 ISO/IEC 2008 All rights r

22、eservedISO/IEC 19757-2:2008(E)ivSANS 19757-2:2010This s tandard may only be used and printed by approved subscription and freemailing clients of the SABS .ForewordISO (the International Organization for Standardization) and IEC (the International Electrotechnical Commission) formthe specialized syst

23、em for worldwide standardization. National bodies that are members of ISO or IEC participate inthe development of International Standards through technical committees established by the respective organizationto deal with particular fields of technical activity. ISO and IEC technical committees coll

24、aborate in fields of mutualinterest. Other international organizations, governmental and non-governmental, in liaison with ISO and IEC, alsotake part in the work. In the field of information technology, ISO and IEC have established a joint technical committee,ISO/IEC JTC 1.International Standards ar

25、e drafted in accordance with the rules given in the ISO/IEC Directives, Part 2.The main task of the joint technical committee is to prepare International Standards. Draft International Standardsadopted by the joint technical committee are circulated to national bodies for voting. Publication as an I

26、nternationalStandard requires approval by at least 75 % of the national bodies casting a vote.Attention is drawn to the possibility that some of the elements of this document may be the subject of patent rights.ISO and IEC shall not be held responsible for identifying any or all such patent rights.I

27、SO/IEC 19757-2 was prepared by Joint Technical Committee ISO/IEC JTC 1, Information technology, SubcommitteeSC 34, Document description and processing languages.This second edition cancels and replaces the first edition (ISO/IEC 19757-2:2003), of which it constitutes a minor revision.It also incorpo

28、rates the Amendment ISO/IEC 19757-2:2003/Amd.1:2006. ISO/IEC 19757 consists of the following parts, under the general title Information technology Document SchemaDefinition Language (DSDL): Part 2: Regular-grammar-based validation RELAX NG Part 3: Rule-based validation Schematron Part 4: Namespace-b

29、ased validation dispatching language NVDL Part 8: Document semantics renaming language DSRL Part 9: Namespace and datatype declaration in Document Type Definitions (DTDs)The following parts are under preparation: Part 1: Overview Part 5: Extensible Datatypes Part 7: Character Repertoire Description

30、Language (CREPDL)v ISO/IEC 2008 All rights reservedISO/IEC 19757-2:2008(E)SANS 19757-2:2010This s tandard may only be used and printed by approved subscription and freemailing clients of the SABS .IntroductionThe structure of this part of ISO/IEC 19757 is as follows. Clause 5 describes the data mode

31、l, which is the abstractionof an XML document used throughout the rest of the document. Clause 6 describes the syntax of a RELAX NGschema. Clause 7 describes a sequence of transformations that are applied to simplify a RELAX NG schema, andalso specifies additional requirements on a RELAX NG schema.

32、Clause 8 describes the syntax that results fromapplying the transformations; this simple syntax is a subset of the full syntax. Clause 9 describes the semantics of acorrect RELAX NG schema that uses the simple syntax; the semantics specify when an element is valid with respectto a RELAX NG schema. C

33、lause 10 describes requirements that apply to a RELAX NG schema after it has beentransformed into simple form. Finally, Clause 11 describes conformance requirements for RELAX NG validators.This part of ISO/IEC 19757 is based on the RELAX NG Specification1, and the compact syntax shown in Annex Cis b

34、ased on the RELAX NG Compact Syntax3. A tutorial for RELAX NG is available separately (see the RELAX NGTutorial2).vi ISO/IEC 2008 All rights reservedISO/IEC 19757-2:2008(E)SANS 19757-2:2010This s tandard may only be used and printed by approved subscription and freemailing clients of the SABS .1 Sco

35、peThis part of ISO/IEC 19757 specifies RELAX NG, a schema language for XML. A RELAX NG schema specifies apattern for the structure and content of an XML document. The pattern is specified by using a regular tree grammar.This part of ISO/IEC 19757 establishes requirements for RELAX NG schemas and spe

36、cifies when an XML documentmatches the pattern specified by a RELAX NG schema.2 Normative referencesThe following referenced documents are indispensable for the application of this document. For dated references,only the edition cited applies. For undated references, the latest edition of the refere

37、nced document (including anyamendments) applies.NOTE Each of the following documents has a unique identifier that is used to cite the document in the text. The uniqueidentifier consists of the part of the reference up to the first comma.W3C XML, Extensible Markup Language (XML) 1.0 (Second Edition),

38、 W3C Recommendation, 6 October 2000,available at http:/www.w3.org/TR/2000/REC-xml-20001006W3C XML-Names, Namespaces in XML, W3C Recommendation, 14 January 1999, available athttp:/www.w3.org/TR/1999/REC-xml-names-19990114/W3C XLink, XML Linking Language (XLink) Version 1.0, W3C Recommendation, 27 Jun

39、e 2001, available athttp:/www.w3.org/TR/2001/REC-xlink-20010627/W3C XML-Infoset, XML Information Set, W3C Recommendation, 24 October 2001, available athttp:/www.w3.org/TR/2001/REC-xml-infoset-20011024/IETF RFC 2045, Multipurpose Internet Mail Extensions (MIME) Part One: Format of Internet Message Bo

40、dies, InternetStandards Track Specification, November 1996, available at http:/www.ietf.org/rfc/rfc2045.txtIETF RFC 2046, Multipurpose Internet Mail Extensions (MIME) Part Two: Media Types, Internet Standards TrackSpecification, November 1996, available at http:/www.ietf.org/rfc/rfc2046.txtIETF RFC

41、2396, Uniform Resource Identifiers (URI): Generic Syntax, Internet Standards Track Specification, August1998, available at http:/www.ietf.org/rfc/rfc2396.txtIETF RFC 2732, Format for Literal IPv6 Addresses in URLs, Internet Standards Track Specification, December 1999,available at http:/www.ietf.org

42、/rfc/rfc2732.txtIETF RFC 3023, XML Media Types, Internet Standards Track Specification, August 1998, available athttp:/www.ietf.org/rfc/rfc3023.txt3 Terms and definitionsFor the purposes of this document, the following terms and definitions apply.3.1resourcesomething with identity, potentially addre

43、ssable by a URIINTERNATIONAL STANDARD ISO/IEC 19757-2:2008(E)1 ISO/IEC 2008 All rights reservedInformation technology Document Schema Definition Language (DSDL) Part 2: Regular-grammar-based validation RELAX NG SANS 19757-2:2010This s tandard may only be used and printed by approved subscription and

44、 freemailing clients of the SABS .3.2URIcompact string of characters that uses the syntax defined in IETF RFC 2396 to identify an abstract or physical resource3.3URI referenceURI or relative URI and optional fragment identifier3.4relative URIform of URI reference that can be resolved with respect to

45、 a base URI to produce another URI3.5base URIURI used to resolve relative URIs3.6fragment identifieradditional information in a URI reference used by a user agent after the retrieval action on a URI has been successfullyperformed3.7instanceXML document that is being validated with respect to a RELAX

46、 NG schema3.8space charactercharacter with the code value #x203.9whitespace charactercharacter with the code value #x20, #x9, #xA or #xD3.10namepair of a URI and a local name3.11namespace URIURI that is part of a name3.12local nameNCName that is part of a name3.13NCNamestring that matches the NCName

47、 production of W3C XML-Names3.14name classpart of a schema that can be matched against a name3.15patternpart of a schema that can be matched against a set of attributes and a sequence of elements and strings2 ISO/IEC 2008 All rights reservedISO/IEC 19757-2:2008(E)SANS 19757-2:2010This s tandard may

48、only be used and printed by approved subscription and freemailing clients of the SABS .3.16foreign attributeattribute with a name whose namespace URI is neither the empty string nor the RELAX NG namespace URI3.17foreign elementelement with a name whose namespace URI is not the RELAX NG namespace URI

49、3.18full syntaxsyntax of a RELAX NG grammar before simplification3.19simple syntaxsyntax of a RELAX NG grammar after simplification3.20simplificationtransformation of a RELAX NG schema in the full syntax to a schema in the simple syntax3.21datatype librarymapping from local names to datatypesNOTE A datatype library is identified by a URI.3.22datatypeset of strings together with an equivalence relation on that set3.23axiomproposition that is provable unconditionally3.24inference rulerule consisti