ISO_IEC_19757-2_2008E.pdf

Reference numberISO/IEC 19757-2:2008(E)ISO/IEC 2008 INTERNATIONAL 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:Validation de grammaire oriente courante RELAX NG ISO/IEC 19757-2:2008(E)PDF disclaimer This PDF file may contain embedded typefaces.In accordance with Adobes licensing policy,this 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 Secretariat 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 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 publication 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 20 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 reserved ContentsPageForeword.iiiIntroduction.iv1Scope.12Normative references.13Terms and definitions.14Notation.44.1EBNF.44.2Inference rules.44.2.1Variables.44.2.2Propositions.54.2.3Expressions.65Data model.76Full syntax.87Simplification.97.1General.97.2Annotations.97.3Whitespace.97.4datatypeLibrary attribute.97.5type attribute of value element.107.6href attribute.107.7externalRef element.107.8include element.107.9name attribute of element and attribute elements.117.10ns attribute.117.11QNames.117.12div element.117.13Number of child elements.117.14mixed element.127.15optional element.127.16zeroOrMore element.127.17Constraints.127.18combine attribute.137.19grammar element.137.20define and ref elements.137.21notAllowed element.147.22empty element.148Simple syntax.149Semantics.159.1Inference rules.159.2Name classes.159.3Patterns.169.3.1choice pattern.169.3.2group pattern.169.3.3empty pattern.169.3.4text pattern.169.3.5oneOrMore pattern.179.3.6interleave pattern.179.3.7element and attribute pattern.179.3.8data and value pattern.189.3.9Built-in datatype library.189.3.10list pattern.199.4Validity.19 ISO/IEC 2008 All rights reservedISO/IEC 19757-2:2008(E)iii10Restrictions.1910.1General.1910.2Prohibited paths.1910.2.1General.1910.2.2attribute pattern.2010.2.3oneOrMore pattern.2010.2.4list pattern.2010.2.5except element in data pattern.2010.2.6start element.2110.3String sequences.2110.4Restrictions on attributes.2310.5Restrictions on interleave.2311Conformance.23Annex A(normative)RELAX NG schema for RELAX NG.24Annex B(informative)Examples.30B.1Data model.30B.2Full syntax example.31B.3Simple syntax example.31B.4Validation example.32Annex C(normative)RELAX NG Compact syntax.34C.1Introduction.34C.2Syntax.34C.3Lexical structure.36C.4Declarations.37C.5Annotations.39C.5.1Support for annotations.39C.5.2Initial annotations.39C.5.3Documentation shorthand.39C.5.4Following annotations.40C.5.5Grammar annotations.40C.6Conformance.40C.6.1Types of conformance.40C.6.2Validator.41C.6.3Structure preserving translator.41C.6.4Non-structure preserving translator.41C.7Media type registration template for the RELAX NG Compact Syntax.41Bibliography.43 ISO/IEC 2008 All rights reservedISO/IEC 19757-2:2008(E)ivForewordISO(the International Organization for Standardization)and IEC(the International Electrotechnical Commission)formthe specialized system 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 collaborate 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 are 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 ci