Movatterモバイル変換


[0]ホーム

URL:


W3C

EXI for JSON (EXI4JSON)

W3C Working Group Note 26 July 2018

This version:
https://www.w3.org/TR/2018/NOTE-exi-for-json-20180726/
Latest version:
https://www.w3.org/TR/exi-for-json/
Previous version:
https://www.w3.org/TR/2016/WD-exi-for-json-20160823/
Editors:
Daniel Peintner, Siemens AG
Don Brutzman, Web3D Consortium

Copyright © 2018W3C® (MIT,ERCIM,Keio,Beihang). W3Cliability,trademark anddocument use rules apply.


Abstract

The EXI format is a compact representation that simultaneously optimizes performance and the utilization of computational resources. The EXI format was designed to support XML representation. With a relatively small set of transformations it may also be used for JSON, a popular format for exchange of structured data on the Web.

Status of this Document

This section describes the status of this document at the time of its publication. Other documents may supersede this document. A list of current W3C publications and the latest revision of this technical report can be found in the W3C technical reports index athttps://www.w3.org/TR/.

This document has been produced by theEfficient Extensible Interchange (EXI) Working Group. The goals of the EXI Format are discussed in theEXI Format document.

Publication as a Working Group Note does not imply endorsement by the W3C Membership. This is a draft document and may be updated, replaced or obsoleted by other documents at any time. It is inappropriate to cite this document as other than work in progress.

Please send comments about this document to thepublic-exi@w3.org mailing list (Archives).

This document was produced by a group operating under theW3C Patent Policy.

This document is governed by the1 February 2018 W3C Process Document.


1. Introduction

JSON is a popular format for exchange of structured data on the Web and it is specified in[RFC 7159 - The JavaScript Object Notation (JSON) Data Interchange Format] and[ECMA-404 - The JSON Data Interchange Format]. This document describes how the[Efficient XML Interchange (EXI) Format 1.0 (Second Edition)] specification can be used to represent JSON data efficiently in terms of message size and processing.

2. Concept

TheEXI for JSON approach is to equivalently convert any well-formed JSON structures to XML event streams (AppendixD Examples shows some examples) that are directly suitable for datatype-aware EXI representation. Lossless round-trip conversion back to the original JSON structures is supported.

The proposed XML event stream results in a compact format — the so-calledEXI for JSON (orEXI4JSON) document — that can be read and written with little additional software. That said, AppendixB XML Schema for EXI4JSON provides an XML Schema describing theEXI for JSON document. EXI processors use theschema-informed grammars that stem from this schema.

TheEXI Options describe the EXI options that may be used for any EXI document. Negotiation of what options need to be supported by anEXI for JSON implementation are handled externally to the document. This specification makes use of the default options with the following modifications:

Table 2-1. PredefinedEXI4JSON EXI Options
EXI OptionDescriptionValue
strictStrict interpretation of schemas is used to achieve better compactnesstrue
schemaIdIdentify the schema information, if any, used to encode the body"exi4json"

Both EXI Options for strict and schemaId are REQUIRED and cannot be changed. If future versions ofEXI for JSON are specified, version identification is reflected in the schemaId value.

3. Representing JSON data using EXI

Any valid JSON data can be converted to equivalent EXI. Similarly, corresponding EXI streams that conform to the rules and schema of this specification can be converted to equivalent JSON. The following subsections specify how JSON data MUST be represented for equivalent round-trip conversion. This approach is not suitable for arbitrary EXI or XML data.

Prefixes are used throughout this section to designate certain namespaces. The bindings shown below are assumed, however, any prefixes can be used in practice if they are properly bound to the namespaces.

PrefixNamespace Name
jhttp://www.w3.org/2015/EXI/json

Also, the specification makes use of EXI event terminology and the associated grammar notation (e.g.,SE stands for Start Element andEE for End Element) that is fully described in the EXI specification dealing withEXI Event Types.

A JSON value is anobject,array,string, ornumber, or one of the following three literal names:truefalsenull.

3.1 JSONobject

A JSONobject is represented as aj:map element which may comprise a set of key/value pairs as it content.

SE(j:map)<!--key/value pairs--> EE

The XML event sequence for a key/value pair is

SE(j:key)<!--value--> EE

Note:

If thekey-name is not valid with respect toNCName or it conflicts with any existing global element name in the XML schema (e.g.,array orstring) thekey part MUST be escaped as subsequently described in3.1.1 Key-name Escaping.

That said, any escaped character MUST be unescaped to get back the original JSONkey-name (seeD.3 Example 3).

3.1.1 Key-name Escaping

We distinguish two types of escaping:

  1. Conflict with NCName character(s)

    Any character CharRef that is not valid in XML names for use within XML names MUST be escaped as follows

    CharRef := '_' [0-9]+ '.'

    The digits after '_' up to the terminating '.' provide the decimal number of the character's code point.
    (e.g., JSON key "1 key" becomes "_49._32.key")

    Note:

    In order to represent '_' itself, the underscore character needs to be written as "_95." (with period character included) for unambiguous parsing.

  2. Conflict with existingEXI4JSON global schema element name

    If thekey-name is one of the reserved EXI4JSON schema element names (map,array,string,number,boolean,null, orother), then thekey MUST be prefixed with the following character sequence "_."
    (e.g., JSON key "map" becomes "_.map")

3.2 JSONarray

A JSONarray is represented as aj:array element which may comprise a collection of values.

SE(j:array)<!--values--> EE

3.3 JSONstring

A JSONstring MAY be represented as aj:string element.

SE(j:string) CH(string-value) EE

TheEXI for JSON transformation rules allow to map a string also toone of the following more-optimized XML event sequences

  • SE(j:other) SE(j:base64Binary) CH(string-value) EE EE
  • SE(j:other) SE(j:dateTime) CH(string-value) EE EE
  • SE(j:other) SE(j:time) CH(string-value) EE EE
  • SE(j:other) SE(j:date) CH(string-value) EE EE

Note:

The above mentioned choice requires that thestring-value is representable by the corresponding EXI datatype.

3.4 JSONnumber

A JSONnumber MAY be represented as aj:number element.

SE(j:number) CH(number-value) EE

TheEXI for JSON transformation rules allow to map a number also toone of the following more-optimized XML event sequences

  • SE(j:other) SE(j:integer) CH(number-value) EE EE
  • SE(j:other) SE(j:decimal) CH(number-value) EE EE

Note:

The above mentioned choice requires that thenumber-value is representable by the corresponding EXI datatype.

3.5 JSONtrue

A JSONtrue is represented as aj:boolean element with the Characters (CH) event content equals"true".

SE(j:boolean) CH("true") EE

3.6 JSONfalse

A JSONfalse is represented as aj:boolean element with the Characters (CH) event content equals"false".

SE(j:boolean) CH("false") EE

3.7 JSONnull

A JSONnull is represented as anemptyj:null element.

SE(j:null) EE

A References

Efficient XML Interchange (EXI) Format 1.0 (Second Edition)
Efficient XML Interchange (EXI) Format 1.0 (Second Edition), John Schneider, Takuki Kamiya, Daniel Peintner, Rumen Kyusakov, Editors. World Wide Web Consortium. The latest version is available at https://www.w3.org/TR/exi/. (See https://www.w3.org/TR/2014/REC-exi-20140211/.)
RFC 7159 - The JavaScript Object Notation (JSON) Data Interchange Format
The JavaScript Object Notation (JSON) Data Interchange Format, T. Bray, Editor. Internet Engineering Task Force (IETF), Request for Comments: 7159. Available athttps://tools.ietf.org/html/rfc7159 (See https://tools.ietf.org/html/rfc7159.)
ECMA-404 - The JSON Data Interchange Format
The JSON Data Interchange Format, ECMA Standard ECMA-404, first edition, October 2013. Available athttp://www.ecma-international.org/publications/standards/Ecma-404.htm (See http://www.ecma-international.org/publications/standards/Ecma-404.htm.)

B XML Schema forEXI4JSON

The following XML schema describes theEXI4JSON document (see alsoexi4json.xsd).

<?xml version="1.0" encoding="UTF-8"?><xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema" elementFormDefault="qualified"    targetNamespace="http://www.w3.org/2015/EXI/json" xmlns:j="http://www.w3.org/2015/EXI/json">    <!--      * This is a schema for the XML representation of JSON      *     * The schema is made available under the terms of the W3C software notice and license     * at https://www.w3.org/Consortium/Legal/copyright-software-19980720     *    -->    <xs:element name="map" type="j:mapType"/>    <xs:element name="array" type="j:arrayType"/>    <xs:element name="string" type="j:stringType"/>    <xs:element name="number" type="j:numberType"/>    <xs:element name="boolean" type="j:booleanType"/>    <xs:element name="null" type="j:nullType"/>    <xs:element name="other" type="j:otherType"/>    <xs:complexType name="mapType">        <xs:sequence minOccurs="0" maxOccurs="unbounded">            <!-- any element is a map key which contains the actual value  -->            <!-- "key": 25 -->            <!--                 <age>                    <number>25</number>                </age>            -->            <xs:any processContents="lax" namespace="##targetNamespace"/>        </xs:sequence>    </xs:complexType>    <xs:complexType name="arrayType">        <xs:choice minOccurs="0" maxOccurs="unbounded">            <xs:element ref="j:map"/>            <xs:element ref="j:array"/>            <xs:element ref="j:string"/>            <xs:element ref="j:number"/>            <xs:element ref="j:boolean"/>            <xs:element ref="j:null"/>            <xs:element ref="j:other"/>        </xs:choice>    </xs:complexType>    <xs:simpleType name="stringType">        <xs:restriction base="xs:string"/>    </xs:simpleType>    <xs:simpleType name="numberType">        <xs:restriction base="xs:double">            <!-- exclude positive and negative infinity, and NaN -->            <!-- Note: No real effect for EXI Float datatype -->            <xs:minExclusive value="-INF"/>            <xs:maxExclusive value="INF"/>        </xs:restriction>    </xs:simpleType>    <xs:simpleType name="booleanType">        <xs:restriction base="xs:boolean"/>    </xs:simpleType>    <xs:complexType name="nullType"/>    <xs:complexType name="otherType">        <xs:choice>            <!-- useful types beyond JSON such as binary, date-times, decimal and integer -->            <xs:element name="base64Binary">                <xs:simpleType>                    <xs:restriction base="xs:base64Binary"/>                </xs:simpleType>            </xs:element>            <xs:element name="dateTime">                <xs:simpleType>                    <xs:restriction base="xs:dateTime"/>                </xs:simpleType>            </xs:element>            <xs:element name="time">                <xs:simpleType>                    <xs:restriction base="xs:time"/>                </xs:simpleType>            </xs:element>            <xs:element name="date">                <xs:simpleType>                    <xs:restriction base="xs:date"/>                </xs:simpleType>            </xs:element>            <xs:element name="integer">                <xs:simpleType>                    <xs:restriction base="xs:integer"/>                </xs:simpleType>            </xs:element>            <xs:element name="decimal">                <xs:simpleType>                    <xs:restriction base="xs:decimal"/>                </xs:simpleType>            </xs:element>        </xs:choice>    </xs:complexType></xs:schema>

C Design Decisions (Non-Normative)

This section discusses a number of key decision points. A rationale for each decision is given and background information is provided.

C.1 Selection ofother Datatype Representations

Compared to the basic JSON datatypes and the corresponding EXI datatype mapping (i.e.,exi:string,exi:double, andexi:boolean) the elementother allows for other EXI datatype representations: namelyexi:base64Binary,exi:dateTime,exi:dateTime,exi:time,exi:date,exi:integer, andexi:decimal.

The selection of these additional datatypes is based on their foreseen efficiency and potential usage in JSON documents.

C.2 Character Encoding

JSON text may be encoded in UTF-8, UTF-16, or UTF-32 (seeJSON Character Encoding).EXI for JSON matches the JSON specification in that it does not provide an explicit label for the included characters.

If possible without loss of correctness, processors are recommended to use the default UTF-8 for maximum interoperability when creating JSON documents.

C.3 Selection of EXI options

EXI for JSON defines a set ofpredefined EXI Options beyond the defaultEXI Options.

C.3.1 EXI Optionstrict

The default EXI value forstrict is false to permit event items not declared in the schemas.

The main reason to setstrict to true in theEXI for JSON context is to reduce specification and code complexity while at the same time allowing for simple implementations. In section3. Representing JSON data using EXI it is specified how to map anEXI4JSON stream to JSON. Allowingstrict to be false would require to deal with unexpected elements and/or attributes and would make the specification more complex while at the same time increase code complexity. The working group concluded thatstrict being false does not provide any benefit in this context.

Besides thatstrict being true increases compactness and allows for realizing more-optimized processors with less code.

C.3.2 EXI OptionschemaId

TheschemaId is used to identify the schema information used for processing the EXI stream. The value"exi4json" has been chosen to identify the schema in AppendixB XML Schema for EXI4JSON.

C.4 Change of Structure

TheEXI for JSON structure has been changed compared to theprevious publication. A JSON key is not represented anymore as attribute. Instead it is transformed to an element with the JSON value as nested element.

The reason for this change is to allow for dedicated XML schema definitions (which were not possible before). This change implied escaping (see3.1.1 Key-name Escaping) with the positive side effect to generate valid XML streams.

Note:

EXI streams would not need escaping.

D Examples (Non-Normative)

D.1 Example 1

This example illustrates a simple JSON document with a numbered value and an array of strings.

JSON EXI4JSON
{  "keyNumber": 123,  "keyArrayStrings": [    "s1",    "s2"  ]}
<j:map xmlns:j="http://www.w3.org/2015/EXI/json">  <j:keyNumber>    <j:number>123</j:number>  </j:keyNumber>  <j:keyArrayStrings>    <j:array>      <j:string>s1</j:string>      <j:string>s2</j:string>    </j:array>  </j:keyArrayStrings></j:map>

D.2 Example 2

This is example illustrates nested JSON values such as objects and arrays.

JSON EXI4JSON
{  "glossary": {    "title": "example glossary",    "GlossDiv": {      "title": "S",      "GlossList": {        "GlossEntry": {          "ID": "SGML",          "SortAs": "SGML",          "GlossTerm": "Standard Generalized Markup Language",          "Acronym": "SGML",          "Abbrev": "ISO 8879:1986",          "GlossDef": {            "para": "A meta-markup language,              used to create markup languages such as DocBook.",            "GlossSeeAlso": [              "GML",              "XML"            ]          },          "GlossSee": "markup"        }      }    }  }}
<j:map xmlns:j="http://www.w3.org/2015/EXI/json">  <j:glossary>    <j:map>      <j:title>        <j:string>example glossary</j:string>      </j:title>      <j:GlossDiv>        <j:map>          <j:title>            <j:string>S</j:string>          </j:title>          <j:GlossList>            <j:map>              <j:GlossEntry>                <j:map>                  <j:ID>                    <j:string>SGML</j:string>                  </j:ID>                  <j:SortAs>                    <j:string>SGML</j:string>                  </j:SortAs>                  <j:GlossTerm>                    <j:string>Standard Generalized Markup Language</j:string>                  </j:GlossTerm>                  <j:Acronym>                    <j:string>SGML</j:string>                  </j:Acronym>                  <j:Abbrev>                    <j:string>ISO 8879:1986</j:string>                  </j:Abbrev>                  <j:GlossDef>                    <j:map>                      <j:para>                        <j:string>A meta-markup language, used to create                          markup languages such as DocBook.</j:string>                      </j:para>                      <j:GlossSeeAlso>                        <j:array>                          <j:string>GML</j:string>                          <j:string>XML</j:string>                        </j:array>                      </j:GlossSeeAlso>                    </j:map>                  </j:GlossDef>                  <j:GlossSee>                    <j:string>markup</j:string>                  </j:GlossSee>                </j:map>              </j:GlossEntry>            </j:map>          </j:GlossList>        </j:map>      </j:GlossDiv>    </j:map>  </j:glossary></j:map>

D.3 Example 3

This is an example with a keyname"a number" which is not valid with respect to NCName and uses3.1.1 Key-name Escaping.

JSON EXI4JSON
{  "a number": 1 }
<j:map xmlns:j="http://www.w3.org/2015/EXI/json">  <j:a_32.number>    <j:number>1</j:number>  </j:a_32.number></j:map>

E Schema Mapping (Non-Normative)

This section describes best practices in how to map knowledge of JSON data into dedicated XML schema definitions. Dedicated XML schema definitions (compared to the pre-defined"exi4json" schemaId specified in this document) allow for an even more efficient representation by keeping compatibility on a structural basis.

Note: JSON schema is used in the examples but the practices are not limited to JSON schema language.

Editorial note 
Add information about JSON schema "additionalProperties": false/true

E.1 JSON object

A JSON object is mapped to anelement with complexType and the name attribute set tomap. The child elements appear inall so that they can appear in any order. The attributeminOccurs is set to "0" if a child element is not required.

JSON schema XML schema definition
{  "type": "object",  "properties": {    "firstname": {      "type": "string"    },    "lastname": {      "type": "string"    },    "age": {      "type": "number"    }  },  "required": [    "lastname",    "age"  ]}
<element name="map">    <complexType>        <all>            <element minOccurs="0" name="firstname">                <complexType>                    <sequence>                        <!--unnamed-format-->                        <element name="string" type="string"/>                    </sequence>                </complexType>            </element>            <element name="age">                <complexType>                    <sequence>                        <element name="number" type="double"/>                    </sequence>                </complexType>            </element>            <element name="lastname">                <complexType>                    <sequence>                        <!--unnamed-format-->                        <element name="string" type="string"/>                    </sequence>                </complexType>            </element>        </all>    </complexType></element>

E.2 JSON array

A JSON array is mapped to anelement with complexType and the name attribute set toarray. The child elements appear in asequence and the attributeminOccurs is set to "0" andmaxOccurs to "unbounded". The child elements itself depend on the items type.

JSON schema XML schema definition
{  "type": "array",  "items": {    "type": "number"  }}
<element name="array">    <complexType>        <sequence maxOccurs="unbounded" minOccurs="0">            <element name="number" type="double"/>        </sequence>    </complexType></element>

E.3 JSON string

A JSON string is mapped to an element with the name attribute set tostring and typed as string.

JSON schema XML schema definition
{  "type": "string"}
<element name="string" type="string"/>

E.4 JSON number

A JSON number is mapped to an element with the name attribute set tonumber and typed as double.

Editorial note 
Differentiate between "number" and "integer".
JSON schema XML schema definition
{  "type": "number"}
<element name="number" type="double"/>

E.5 JSON boolean

A JSON boolean is mapped to an element with the name attribute set toboolean and typed as boolean.

JSON schema XML schema definition
{  "type": "boolean"}
<element name="boolean" type="boolean"/>

E.6 JSON null

A JSON null is mapped to an element with the name attribute set tonull and typed as empty complexType.

JSON schema XML schema definition
{  "type": "null"}
<element name="null">    <complexType/></element>

E.7 JSON enumeration

A JSON enumeration is mapped to an element based on the desired type.

JSON schema XML schema definition
{  "type": "string",  "enum": ["red", "amber", "green"]}
<element name="string">    <simpleType>        <restriction base="string">            <enumeration value="red"/>            <enumeration value="green"/>            <enumeration value="amber"/>        </restriction>    </simpleType></element>

F Acknowledgements (Non-Normative)

This document is the work of theEfficient XML Interchange (EXI) WG.

Members of the Working Group are (at the time of writing, sorted alphabetically by last name):

The EXI Working Group would like to acknowledge the following former members or external experts for their leadership, guidance and expertise they provided throughout the process of creating this document (sorted alphabetically by last name):

The EXI Working Group especially acknowledges and thanks Liam Quin (W3C/MIT) for his guidance and insight throughout the development of the EXI family of recommendations.


[8]ページ先頭

©2009-2025 Movatter.jp