Mapping YANG to Document Schema
Definition Languages and Validating NETCONF ContentCESNETlhotka@cesnet.czPlantronicsrohan@ekabal.comNortelschishol@nortel.com
Operations and Management
NETMODThis draft specifies the mapping rules for translating YANG
data models into Document Schema Definition Languages (DSDL), a
coordinated set of XML schema languages standardized as ISO
19757. The following DSDL schema languages are used by the
mapping: RELAX NG, Schematron and DSRL. The mapping takes one or
more YANG modules and produces a set of DSDL schemas for a
selected target document type - datastore content, NETCONF PDU
etc. Procedures for schema-based validation of such documents are
also discussed.The NETCONF Working Group has completed a base protocol used
for configuration management . This base
specification defines protocol bindings and an XML container
syntax for configuration and management operations, but does not
include a modeling language or accompanying rules for how to model
configuration and status information (in XML syntax) carried by
NETCONF. The IETF Operations Area has a long tradition of defining
data for SNMP Management Information Bases (MIBs) using the SMI language
to model its data. While this specific modeling approach has a
number of well-understood problems, most of the data modeling
features provided by SMI are still considered extremely important.
Simply modeling the valid syntax rather than additional semantic
relationships has caused significant interoperability problems in
the past.The NETCONF community concluded that a data modeling framework
is needed to support ongoing development of IETF and
vendor-defined management information modules. The NETMOD Working
Group was chartered to address this problem, by defining a new
human-friendly modeling language based on SMIng and called YANG . Since NETCONF uses XML for encoding its protocol data units
(PDU), it is natural to express the constraints on NETCONF content
using standard XML schema languages. For this purpose, the NETMOD
WG selected the Document Schema Definition Languages (DSDL) that
is being standardized as ISO/IEC 19757 . The
DSDL framework comprises a set of XML schema languages that
address grammar rules, semantic constraints and other data
modeling aspects but also, and more importantly, do it in a
coordinated and consistent way. While it is true that some DSDL
parts have not been standardized yet and are still work in
progress, the three parts that the YANG-to-DSDL mapping relies
upon - RELAX NG, Schematron and DSRL - already have the status of
an ISO/IEC International Standard and are supported in a number of
software tools.This document contains specification of a mapping that
translates YANG data models to XML schemas utilizing a subset of
the DSDL schema languages. The mapping procedure is divided into
two steps: In the first step, the structure of the data tree, RPC
signatures and notifications is expressed as a single RELAX NG
grammar with simple annotations representing additional data model
information (metadata, documentation, semantic constraints,
default values etc.). The second step then generates a coordinated
set of DSDL schemas that can validate specific XML documents such
as client requests, server responses or notifications, perhaps
also taking into account additional context such as active
capabilities.This document relies on many terms that are defined in the
specifications of the NETCONF protocol
and YANG data modeling language . Also, the
common terminology of XML and DSDL schema languages is used as
defined in the respective standards , , , ,
and .The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL
NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL"
in this document are to be interpreted as described in .In the text, we use the following typographic conventions:
YANG statement keywords are delimited by single quotes.XML element names are delimited by "<" and ">" characters.Names of XML attributes are prefixed by the "@" character.Other literal values are delimited by double quotes.XML elements names are always written with explicit namespace
prefixes corresponding to the following XML vocabularies:
DTD compatibility annotations Dublin Core metadata elements Document Semantics Renaming
Language NETCONF event notifications NETCONF protocol NETMOD-specific schema annotations
(see )NETMOD-specific XPath extension
functionsConceptual tree (see )RELAX NG ISO Schematron W3C XML Schema
The following table shows the mapping of these prefixes to
namespace URIs.PrefixNamespace URIahttp://relaxng.org/ns/compatibility/annotations/1.0dchttp://purl.org/dc/termsdsrlhttp://purl.oclc.org/dsdl/dsrlenurn:ietf:params:xml:ns:netconf:notification:1.0ncurn:ietf:params:xml:ns:netconf:base:1.0nmaurn:ietf:params:xml:ns:netmod:dsdl-annotations:1nmfurn:ietf:params:xml:ns:netmod:xpath-extensions:1nmturn:ietf:params:xml:ns:netmod:conceptual-tree:1rnghttp://relaxng.org/ns/structure/1.0schhttp://purl.oclc.org/dsdl/schematronxsdhttp://www.w3.org/2001/XMLSchemaancestor datatype: Any datytype a given datatype is
(transitively) derived from.ancestor built-in datatype: The built-in datatype that is
at the start of the type derivation chain for a given
datatype.conceptual data tree: A virtual XML document integrating
all components of a YANG data model, i.e., configuration
datastore, RPC methods (both requests and replies) and
notifications. The conceptual tree is normally not
instantiated, it only serves as a conceptual target for its
schema. See for details.implicit node: A node that, if missing, may be added to the
information set of an XML document (configuration, RPC input
or output, notification) without changing the meaning of that
XML document for the NETCONF server.The main objective of this work is to complement YANG as a data
modeling language by validation capabilities of DSDL schema
languages, primarily RELAX NG and Schematron. This document
describes the correspondence between grammatical, semantic and data
type constraints expressed in YANG and equivalent DSDL
constructs. The ultimate goal is to be able to capture all
substantial information contained in YANG modules and express it
in DSDL schemas. While the mapping from YANG to DSDL described in
this document is in principle invertible, the inverse mapping from
DSDL to YANG is not in its scope.XML-based information models and XML-encoded data appear in
several different forms in various phases of YANG data modeling
and NETCONF workflow - configuration datastore contents, RPC
requests and replies, and notifications. Moreover, RPC methods are
characterized by an inherent diversity resulting from selective
availability of capabilities and features. YANG modules can also
define new RPC methods. The mapping should be able to accommodate
this variability and generate schemas that are specifically
tailored to a particular situation and thus considerably more
effective for validation than generic all-encompassing schemas.In order to cope with this variability, we assume that the
schemas can be generated on demand from the available collection
of YANG modules and their lifetime will be relatively short. In
other words, we don't envision that any collection of DSDL schemas
will be created and maintained over an extended period of time in
parallel to YANG modules.The generated schemas are primarily intended as input to the
existing XML schema validators and other off-the-shelf
tools. However, the schemas may also be perused by developers and
users as a formal representation of constraints on a particular
XML-encoded data object. Consequently, our secondary goal is to
keep the schemas as readable as possible. To this end, the complexity
of the mapping is distributed into two steps:
The first step maps one or more YANG modules
to a single RELAX NG schema of the so-called "conceptual tree",
which contains grammatical constraints for the main data tree as
well as RPCs and notifications. In order to record additional
constraints that appear in the YANG modules but cannot be
expressed in RELAX NG, the schema is augmented by simple
annotations. The output of the first step can thus be considered
a reasonably readable equivalent of the input YANG modules.In the second step, the annotated RELAX NG schema from step
is transformed further
to a coordinated set of fully conformant DSDL schemas containing
constraints for a particular data object and a specific
situation. The DSDL schemas are intended mainly for machine
validation using off-the-shelf tools.Document Schema Definition Languages (DSDL) is a framework of
schema languages that is being developed as an international
standard ISO/IEC 19757. Unlike other approaches to XML document
validation, notably W3C XML Schema (XSD) , the
DSDL framework adheres to the principle of "small languages": Each
of the DSDL constituents is a stand-alone schema language with a
relatively narrow purpose and focus. Together, these schema
languages may be used in a coordinated way to accomplish various
validation tasks.The mapping described in this document uses three of the DSDL
schema languages, namely RELAX NG, Schematron and DSRL.RELAX NG (pronounced "relaxing") is an XML schema language
for grammar-based validation and Part 2 of the ISO/IEC DSDL
family of standards . Like the W3C XML
Schema language , it is able to describe
constraints on the structure and content of XML
documents. However, unlike the DTD and XSD
schema languages, RELAX NG intentionally avoids any infoset
augmentation such as defining default values. In the DSDL
architecture, the particular task of defining and applying
default values is delegated to another schema language, DSRL
(see ).As its base datatype library, RELAX NG uses the W3C XML
Schema Datatype Library , but unlike XSD,
other datatype libraries may be used along with it or even
replace it if necessary. RELAX NG is very liberal in accepting annotations from other
namespaces. With few exceptions, such annotations may be placed
anywhere in the schema and need no encapsulating elements such
as <xsd:annotation> in XSD.RELAX NG schemas can be represented in two equivalent
syntaxes: XML and compact. The compact syntax is described in
Annex C of the RELAX NG specification ,
which was added to the standard in 2006 (Amendment 1). Automatic
bidirectional conversions between the two syntaxes can be
accomplished using several tools, for example Trang.
For its terseness and readability, the compact syntax is
often the preferred form for publishing RELAX NG schemas whereas
validators and other software tools generally require the XML
syntax. However, the compact syntax has two drawbacks:
External annotations make the compact syntax schema
considerably less readable. While in the XML syntax the
annotating elements and attributes are represented in a simple
and uniform way (XML elements and attributes from foreign
namespaces), the compact syntax uses four different syntactic
constructs: documentation, grammar, initial and following
annotations. Therefore, the impact of annotations on
readability is often much stronger for the compact syntax than
for the XML syntax.In a computer program, it is more difficult to generate
compact syntax than XML syntax. While a number of software
libraries exist that make it easy to create an XML tree in
memory and serialize it, no such aid is available for compact
syntax.
For these reasons, the mapping specification in this document
uses exclusively the XML syntax. Where appropriate, though, the
schemas resulting from the translation may be presented in the
equivalent compact syntax.RELAX NG elements are qualified with the namespace URI
"http://relaxng.org/ns/structure/1.0". The namespace of the W3C
Schema Datatype Library is
"http://www.w3.org/2001/XMLSchema-datatypes".Schematron is Part 3 of DSDL that reached the status of a
full ISO/IEC standard in 2006 . In
contrast to the traditional schema languages such as DTD, XSD or
RELAX NG, which are based on the concept of a formal grammar,
Schematron utilizes a rule-based approach. Its rules may specify
arbitrary conditions involving data from different parts of an
XML document. Each rule consists of three essential components:
context - an XPath expression that defines the set of
locations where the rule is to be applied;assert or report condition - another XPath expression that
is evaluated relative to the location matched by the context
expression;human-readable message that is displayed when the assert
condition is false or report condition is true.
The difference between the assert and report condition is that
the former is positive in that it states a condition that a
valid document has to satisfy, whereas the latter specifies an
error condition.Schematron draws most of its expressive power from XPath
and XSLT . ISO
Schematron allows for dynamic query language binding so that the
following XML query languages can be used: STX, XSLT 1.0, XSLT
1.1, EXSLT, XSLT 2.0, XPath 1.0, XPath 2.0 and XQuery 1.0 (this
list may be extended in future).The human-readable error messages are another feature that
distinguishes Schematron from other common schema languages. The
messages may even contain XPath expressions that are evaluated
in the actual context and thus refer to existing XML document
nodes and their content.The rules defined by a Schematron schema may be divided into
several subsets known as phases. Validations may then be set up to
include only selected phases. In the context of NETCONF data
validation, this is useful for relaxing constraints that may not
always apply. For example, the reference integrity may not be
enforced for a candidate configuration.Schematron elements are qualified with namespace URI
"http://purl.oclc.org/dsdl/schematron".DSRL (pronounced "disrule") is Part 8 of DSDL that reached
the status of a full ISO/IEC standard in 2008 . Unlike RELAX NG and Schematron, it is
specifically designed to modify XML information set of the
validated document. While DSRL is primarily intended for
renaming XML elements and attributes, it can also define default
values for XML attributes and default content for XML elements
so that elements or attributes with these default values are
inserted if they are missing (or present and empty) in the
validated documents. The latter feature is used by the
YANG-to-DSDL mapping for representing YANG default values for
leaf nodes.DSRL elements are qualified with namespace URI
"http://purl.oclc.org/dsdl/dsrl".Besides the DSDL schema languages, the mapping also uses three
sets of annotations that are added as foreign-namespace attributes
and elements to RELAX NG schemas. Two of the annotation sets -
Dublin Core elements and DTD compatibility annotations - are
standard vocabularies for representing metadata and documentation,
respectively. Although these data model items are not used for
formal validation, they quite often carry important information
for data model implementers. Therefore, they SHOULD be included in
the conceptual tree schema and MAY also appear in the final
validation schemas.The third set are NETMOD-specific annotations conveying YANG
semantic constraints and other information that cannot be
expressed natively in RELAX NG. These annotations are only used in
the first step of the mapping, i.e., in the conceptual tree
schema. In the second mapping step, these annotations are
converted to Schematron and DSRL rules.Dublin Core is a
system of metadata elements that was originally created for
describing metadata of World Wide Web resources in order to
facilitate their automated lookup. Later it was accepted as a
standard for describing metadata of arbitrary resources. This
specification uses the definition from . Dublin Core elements are qualified with namespace URI
"http://purl.org/dc/terms".DTD compatibility annotations are part of the RELAX NG DTD
Compatibility specification .
YANG-to-DSDL mapping uses only the <a:documentation>
annotation for representing YANG 'description' and 'reference'
texts.Note that there is no intention to make the resulting schemas
DTD-compatible, the main reason for using these annotations is
technical: they are well supported and adequately interpreted by
several RELAX NG tools.DTD compatibility annotations are qualified with namespace
URI "http://relaxng.org/ns/compatibility/annotations/1.0".NETMOD-specific annotations are XML elements and attributes
qualified with the namespace URI
"urn:ietf:params:xml:ns:netmod:dsdl-annotations:1" that appear
in various locations in the conceptual tree schema. YANG
statements are mapped to these annotations in a straightforward
way. In most cases, the annotation attributes and elements
always have the same name as the corresponding YANG
statement. lists alphabetically the names of
NETMOD-specific annotation attributes (prefixed with "@") and
elements (in angle brackets) along with a reference to the
section where their use is described. contains the formal specification of this
annotation vocabulary.annotationsectionnote@nma:config@nma:default@nma:implicit,
,
<nma:error-app-tag><nma:error-message><nma:instance-identifier>@nma:key@nma:leafref@nma:min-elements@nma:max-elements<nma:must>@nma:ordered-by@nma:presence@nma:status@nma:unique@nma:units@nma:whenNotes:
Appears only as subelement of
<nma:must>.Has an optional attribute
@require-instance.Has a mandatory attribute @assert and
two optional subelements <nma:error-app-tag> and
<nma:error-message>.This section gives an overview of the YANG-to-DSDL mapping, its
inputs and outputs. presents an overall
structure of the mapping: The mapping procedure is divided into two steps:
Transformation T in the first step maps one or more YANG
modules to a single RELAX NG schema for the conceptual tree (see
). Constraints that cannot be
expressed directly in RELAX NG (list key definitions, 'must'
statements etc.) and various documentation texts are recorded in
the schema as simple annotations belonging to special
namespaces.In the second step, the conceptual tree schema is transformed
in multiple ways to a coordinated set of DSDL schemas that can
be used for validating a particular data object in a specific
context. shows just three
simple possibilities as examples. In the process, appropriate
parts of the conceptual tree schema are extracted and specific
annotations transformed to equivalent, but usually more complex,
Schematron patterns, DSRL element maps etc.As indicated in , the second
step of the mapping also uses a schema-independent library that
contains common schema objects such as RELAX NG named pattern
definitions.An implementation of the mapping algorithm accepts one or more
valid YANG modules as its input. It is important to be able to
process multiple YANG modules together since multiple modules may
be negotiated for a NETCONF session and the contents of the
configuration datastore is then obtained as the union of data
trees specified by the individual modules, which may also lead to
multiple roots. In addition, the input modules may be further
coupled by the 'augment' statement in which one module augments
the data tree of another module.It is also assumed that the algorithm has access, perhaps on
demand, to all YANG modules that the module(s) imports
(transitively).The output of the first mapping step is an annotated RELAX NG
schema for the conceptual tree - a virtual XML document
containing, in its different subtrees, the entire datastore, all
RPC requests and replies, and notifications as defined by the
input YANG modules. By "virtual" we mean that such an XML document
need not correspond to the actual layout of the configuration
database in a NETCONF agent, and will certainly never appear on
the wire as the content of a NETCONF PDU. Hence, the RELAX NG
schema for the conceptual tree is not intended for any direct
validations but rather as a representation of a particular data
model expressed in RELAX NG and the common starting point for
subsequent transformations that may produce practical validation
schemas. The conceptual tree is further described in .Other information contained in input YANG modules, such as
semantic constraints or default values, are recorded in the
conceptual tree schema as annotations - XML attributes or elements
qualified with namespace URI
"urn:ietf:params:xml:ns:netmod:dsdl-annotations:1". Metadata
describing the YANG modules are mapped to annotations utilizing
Dublin Core elements (). Finally,
documentation strings are mapped to the <a:documentation>
elements belonging to the DTD compatibility vocabulary ().The output from the second step is a coordinated set of three
DSDL schemas corresponding to a specific data object and context:
RELAX NG schema describing the grammatical and datatype
constraints;Schematron schema expressing other constraints such as
uniqueness of list keys or user-specified semantic rules;DSRL schema containing a specification of default
content.This section describes how the schemas generated by the
YANG-to-DSDL mapping are supposed to be applied for validating XML
instance documents such as the content of a datastore or various
NETCONF PDUs.The validation proceeds in the following steps, which are also
illustrated in :
The XML instance document can be immediately
checked for grammatical and data type validity using the RELAX
NG schema.Second, default values for leaf nodes have
to be applied and their ancestor containers added where
necessary. It is important to apply the defaults before the next
validation step because YANG specification
states that the data tree against which XPath expressions are
evaluated already has all defaults filled-in. Note that this
step modifies the information set of the input XML document.The semantic constraints are checked using
the Schematron schema.YANG modules could in principle be mapped to DSDL schemas in a
number of ways. The mapping procedure described in this document
uses several specific design decisions that are discussed in the
following subsections.DSDL schemas generated from YANG modules using the procedure
described in this document are intended to be used for
validating XML-encoded NETCONF data in various forms: every
YANG-based model represents the contents of a datastore but also
implies an array of schemas for all types of NETCONF PDUs. For a
reasonably strict validation of a given data object, the schemas
have to be quite specific. To begin with, effective validation
of NETCONF PDU content requires separation of client and server
schemas. While the decision about proper structuring of all
PDU-validating schemas is beyond the scope of this document, the
mapping procedure is designed to accommodate any foreseeable
validation needs.An essential part of the YANG-to-DSDL mapping procedure is
nonetheless common to all validation approaches: the grammar and
datatype specifications for the datastore, RPCs and
notifications expressed by one or more YANG modules have to be
translated to RELAX NG. In order to be able to separate this
common step, we introduce the notion of conceptual data tree: it is a virtual XML
tree that contains full datastore, RPC requests with
corresponding replies and notifications. The schema for the
conceptual tree - a single RELAX NG schema with annotations -
therefore has a quite similar logic as the input YANG module(s),
the only major difference being the RELAX NG schema
language.For example, the conceptual data tree for a YANG module
defining nodes in the namespace "http://example.com/ns/example"
may be schematically represented as follows:The namespace URI
"urn:ietf:params:xml:ns:netmod:conceptual-tree:1" identifies a
simple vocabulary consisting of a few elements that encapsulate
and separate the various parts of the conceptual data tree.The conceptual tree schema is not intended for direct
validation but rather serves as a well-defined starting point
for subsequent transformations that generate validation
schemas. In general, these transformations should be relatively
simple - they will typically extract one or more subtrees from
the conceptual tree schema, modify them as necessary and add
encapsulating elements such as those from the NETCONF RPC
layer.Additional information contained in the source YANG
module(s), such as semantic constraints and default values, is
represented in the form of interim NETMOD-specific annotations
that are included as foreign-namespace elements or attributes in
the RELAX NG schema for the conceptual tree. In the second phase
of the mapping, these annotations are translated to equivalent
Schematron and DSRL rules.As a useful side effect, by introducing the conceptual data
tree we are also able to resolve the difficulties arising from
the fact that a single datastore may consist of multiple
parallel data hierarchies defined in one or more YANG modules,
which cannot be mapped to a valid XML document. In the
conceptual data tree, such multiple hierarchies appear under the
single <nmt:top> element.Both YANG and RELAX NG offer means for modularity, i.e., for
splitting the contents of a full schema into separate modules
and combining or reusing them in various ways. However, the
approaches taken by YANG and RELAX NG differ. Modularity in
RELAX NG is suitable for ad hoc combinations of a small number
of schemas whereas YANG assumes a large set of modules similar
to SNMP MIBs. The following differences are important:
In YANG, whenever module A imports module B, it gets access
to the definitions (groupings and typedefs) appearing at the
top level of module B. However, no part of data tree from
module B is imported along with it. In contrast, the
<rng:include> pattern in RELAX NG imports both
definitions of named patterns and the entire schema tree from
the included schema.The names of imported YANG groupings and typedefs are
qualified with the namespace of the imported module. On the
other hand, the names of data nodes contained inside the
imported groupings, when used within the importing module,
become part of the importing module's namespace. In RELAX NG,
the names of patterns are unqualified and so named patterns
defined in both the importing and imported module share the
same flat namespace. The contents of RELAX NG named patterns
may either keep the namespace of the schema where they are
defined or inherit the namespace of the importing module,
analogically to YANG. However, in order to achieve the latter
behavior, the imported module must be prepared in a special
way as a library module that cannot be used as a stand-alone
schema.So the conclusion is that the modularity mechanisms of YANG
and RELAX NG, albeit similar, are not directly
compatible. Therefore, the corresponding design decision for the
mapping algorithm is to collect all information in a single
schema for the conceptual tree, even if it comes from multiple
YANG modules or submodules. In other words, translations of
imported groupings and typedefs are installed in the translation
of importing module - but only if they are really used
there.NOTE: The 'include' statement that is used in YANG for
including submodules has in fact the same semantics as the
<rng:include> pattern. However, since we don't map the
modular structure for YANG modules, it seems to have little
sense to do it for submodules. Consequently, the contents of
submodules appear directly in the conceptual tree schema,
too.RELAX NG supports different styles of schema structuring: One
extreme, often called "Russian Doll", specifies the structure of
an XML instance document in a single hierarchy. The other
extreme, the flat style, uses a similar approach as the Data
Type Definition (DTD) schema language - every XML element
corresponds to a named pattern definition. In practice, some
compromise between the two extremes is usually chosen.YANG supports both styles in principle, too, but in most
cases the modules are organized in a way that's closer to the
"Russian Doll" style, which provides a better insight into the
structure of the configuration data. Groupings are usually
defined only for contents that are prepared for reuse in
multiple places via the 'uses' statement. In contrast, RELAX NG
schemas tend to be much flatter, because finer granularity is
also needed in RELAX NG for extensibility of the schemas - it is
only possible to replace or modify schema fragments that are
factored out as named patterns. For YANG this is not an issue
since its 'augment' and 'refine' statements can delve, by using
path expressions, into arbitrary depths of existing
structures.In general, it not feasible to map YANG extension mechanisms
to those of RELAX NG. For this reason, the mapping essentially
keeps the granularity of the original YANG data model:
definitions of named patterns in the resulting RELAX NG schema
usually have direct counterparts in YANG groupings and
definitions of derived types.Most modern XML schema languages including RELAX NG,
Schematron and DSRL support schemas for so-called compound XML
documents, which contain elements from multiple namespaces. This
is useful for our purpose since YANG-to-DSDL mapping allows for
multiple input YANG modules that naturally leads to compound
document schemas.RELAX NG offers two alternatives for defining the "target"
namespaces in the schema:
First possibility is the traditional XML
way via the @xmlns:xxx attribute.One of the target namespace
URIs may be declared using the @ns attribute.In both cases these attributes are typically attached to the
<rng:grammar> element.The design decision for the mapping is to use exclusively the
alternative , since
in this case all YANG modules are represented symmetrically,
which makes further processing of the conceptual tree schema
considerably easier. Moreover, this way the namespace prefixes
declared in the input modules are recorded in the resulting
schema - the prefix for the namespace declared using @ns would
be lost.DSRL schemas can declare any number of target namespaces via
the standard XML attributes xmlns:xxx.In contrast, Schematron requires all the target namespaces to
be defined in the <sch:ns> subelements of the root
<sch:schema> element.YANG provides statements that allow for marking parts of the
schema as conditional ('feature' and 'if-feature' statements) or
declaring deviations from a data model ('deviation'
statement). These statements are not handled by the YANG-to-DSDL
mapping. Instead, it is assumed that all features and deviations
are specified beforehand and the corresponding changes in the
input YANG modules are already applied.This section explains the main principles underlying the first
step of the mapping. Its result is an annotated RELAX NG schema of
the conceptual tree, which is described in .As a special case, if the input YANG modules contain no data
nodes (this is typical, e.g., for datatype library modules), an
implementation MAY entirely remove the schema of the (empty)
conceptual tree - the <rng:start> element with all its
contents. The output RELAX NG schema will then contain only named
pattern definitions translated from YANG groupings and
typedefs.Detailed specification of the mapping of individual YANG
statements is contained in .In DSDL schema languages, occurrence constraints for a node
are always localized together with that node. In RELAX NG, for
example, <rng:optional> pattern appears as the parent
element of the pattern defining the node in the schema, be it a
leaf or container node. Similarly, DSRL specifies default
content separately for every single node, be it a leaf or
non-leaf element.For leaf nodes in YANG modules, the occurrence constraints are
also easily inferred from the substatements of 'leaf'. In
contrast, for a YANG container it is often necessary to examine
its entire subtree in order to determine the container's
occurrence constraints.Therefore, one of the goals of the first mapping step is to
infer the occurrence constraints for all containers and mark
accordingly the corresponding <rng:element> patterns in
the conceptual tree schema so that any transformation procedure
in the second mapping step can simply use this information and
need not examine the subtree again.First, it has to be decided whether a given container element
must always be present in a valid configuration. If so, such a
container element is called mandatory, otherwise it is called
optional. This constraint is very closely related to the notion
of mandatory nodes in Section
3.1 in . The only difference is that
we also consider list keys to be mandatory.The other occurrence constraint has to do with the semantics
of the 'default' statement and the possibility of removing empty
non-presence containers. As a result, the information set of a
valid configuration may be modified by adding or removing
certain leaf or container elements without changing the meaning
of the configuration. Such elements are called implicit.Note that both occurrence constraints apply to containers at
the top level of the data tree, and then also to other
containers under the additional condition that their parent node
exists in the instance document. For example, consider the
following YANG fragment:Here, container "outer" has the 'presence' substatement,
which means that it is optional and not implicit. If "outer" is
not present in a configuration, its child containers are not
present as well. However, if "outer" does exist, it makes sense
to ask which of its child containers are optional and which are
implicit. In this case, "c1" is optional and implicit, "c2" is
optional but not implicit and "c3" is mandatory (and therefore
not implicit).The following subsections give precise rules for determining
whether a container is optional or mandatory and whether it is
implicit. In order to simplify the recursive definition of these
occurrence characteristics, it is useful to define them for other
types of nodes as well, i.e., leaf, list, leaf-list and anyxml.The decision whether a given node is mandatory or optional
is governed by the following rules:
Leaf, anyxml and choice nodes are mandatory if they
contain the substatement "mandatory true;". For a choice
node this means that at least one node from exactly one case
branch must exist.In addition, leaf nodes are mandatory if they are
declared as list keys.List or leaf-list nodes are mandatory if they contain
'min-elements' substatement with argument value greater than
zero.A container node is mandatory if its definition does not
contain the 'presence' substatement and at least one of its
child nodes is mandatory.A node is optional iff it is not mandatory.In RELAX NG, definitions of nodes that are optional must be
explicitly wrapped in the <rng:optional> element. The
mapping MUST use the above rules to determine whether a YANG
node is optional and if so, insert the <rng:optional>
element in the conceptual tree schema.However, alternatives in <rng:choice> are never
defined as optional in the conceptual tree schema. Therefore,
'anyxml', 'container', 'leaf', 'list' and 'leaf-list'
statements appearing as children of 'choice' (shorthand cases)
are always mapped to mandatory RELAX NG patterns. If a choice
in YANG is not mandatory, <rng:optional> is used to wrap
the entire <rng:choice> pattern.The following rules are used to determine whether a given
node is implicit:
List, leaf-list and anyxml nodes are never implicit.A leaf node is implicit if and only if it has a specified
default value (either directly or via its datatype).A container node is implicit if and only if it does not
have the 'presence' substatement, none of its children is
mandatory and at least one child is implicit.As an exception to the above two rules, a leaf or
container node appearing inside a case of a choice can be
implicit only if that case is declared as default by using
the 'default' statement, see Section
7.9.3 in .In the conceptual tree schema, all implicit containers MUST
be marked with @nma:implicit attribute with the value
"true". In addition, the default case in a choice (defined by
the 'default' substatement of 'choice') MUST be also marked in
the same way, i.e., by @nma:implicit set to "true".YANG groupings and typedefs are generally mapped to RELAX NG
named patterns. There are, however, several caveats that the
mapping has to take into account.First of all, YANG typedefs and groupings may appear at all
levels of the module hierarchy and are subject to lexical
scoping, see
Section 5.5 in . Moreover, top-level
symbols from external modules are imported as qualified names
represented using the external module namespace prefix and the
name of the symbol. In contrast, named patterns in RELAX NG
(both local and imported via the <rng:include> pattern)
share the same namespace and within a grammar they are always
global - their definitions may only appear at the top level as
children of the <rng:grammar> element. Consequently,
whenever YANG groupings and typedefs are mapped to RELAX NG
named pattern definitions, their names MUST be disambiguated in
order to avoid naming conflicts. The mapping uses the following
procedure for mangling the names of groupings and type
definitions:
Names of groupings and typedefs appearing at the top level
of the YANG module hierarchy are prefixed with the module name
and two underscore characters ("__").Names of other groupings and typedefs, i.e., those that do
not appear at the top level of a YANG module, are prefixed
with the module name, double underscore, and then the names of
all ancestor data nodes separated by double underscore.Since the names of groupings and typedefs in YANG have
different namespaces, an additional underline character is
added to the beginning of the mangled names of all
groupings.EXAMPLE. Consider the following YANG module which imports
the standard module "ietf-inet-types" :The resulting RELAX NG schema will then contain the following
named pattern definitions (long regular expression patterns for
IPv4 and IPv6 addresses are not shown):YANG groupings represent a similar concept as named pattern
definitions in RELAX NG and both languages also offer
mechanisms for their subsequent modification. However, in
RELAX NG the definitions themselves are modified whereas YANG
allows for modifying expansions of
groupings. Specifically, YANG provides two statements for this
purpose that may appear as substatements of 'uses':
'refine' statement allows for changing parameters of a
schema node inside the grouping referenced by the parent
'uses' statement;'augment' statement can be used for adding new schema
nodes to the grouping content.Both 'refine' and 'augment' statements are quite powerful
in that they can address, using XPath-like expressions as
arguments, schema nodes that are arbitrarily deep inside the
grouping content. In contrast, modifications of named pattern
definitions in RELAX NG are applied exclusively at the topmost
level of the named pattern content. In order to achieve a
modifiability of named patterns comparable to YANG, the RELAX
NG schema would have to be extremely flat (cf. ) and very difficult to read.Since the goal of the mapping described in this document is
to generate ad hoc DSDL schemas, we decided to avoid these
complications and instead expand the grouping and refine
and/or augment it "in place". In other words, every 'uses'
statement which has 'refine' and/or 'augment' substatements is
replaced by the content of the corresponding grouping, the
changes specified in the 'refine' and 'augment' statements are
applied and the resulting YANG schema fragment is mapped as if
the 'uses'/'grouping' indirection wasn't there.If there are further 'uses' statements inside the grouping
content, they may require expansion, too: it is necessary if
the contained 'uses'/'grouping' pair lies on the "modification
path" specified in the argument of a 'refine' or 'augment'
statement.EXAMPLE. Consider the following YANG module:The resulting conceptual tree schema contains three named
pattern definitions corresponding to the three groupings,
namelyand the configuration data part of the conceptual tree schema
is a single named pattern reference:Now assume that the "uses leaves" statement is refined:The resulting conceptual tree schema now contains just one
named pattern definition - "_example2__fr". The other two
groupings "leaves" and "es" have to be expanded because they
both lie on the "modification path", i.e., contain the leaf
"hoja" that is being refined. The configuration data part of the
conceptual tree now looks like this:RELAX NG has no equivalent of the type derivation mechanism
in YANG, where a ancestor built-in type may be modified (perhaps
in multiple steps) by adding new restrictions. Therefore, when
mapping YANG derived types with restrictions, the derived
types MUST be "unwound" all the way back to the ancestor built-in
type. At the same time, all restrictions found along the type
derivation chain MUST be combined and their intersection used
as facets restricting the corresponding type in RELAX NG.When a derived YANG type is used without restrictions - as
a substatement of either 'leaf' or another 'typedef' - the
'type' statement is mapped simply to the <rng:ref>
element, i.e., a named pattern reference. However, if
restrictions are specified as substatements of the 'type'
statement, the type definition MUST be expanded at that point
so that only the ancestor built-in type appears in the output
schema, restricted with facets that again correspond to the
combination of all restrictions found along the type
derivation chain and also in the 'type' statement.EXAMPLE. Consider this YANG module:The 'type' statement in "leaf month" is mapped simply to
the reference <rng:ref name="example3__dozen"/> and the
corresponding named pattern is defined as follows:Assume now that the definition of leaf "month" is changed
toThe output RELAX NG schema then won't contain any named
pattern definition and leaf "month" will be mapped directly
toThe mapping of type derivation chains may be further
complicated by the presence of the 'default' statement in type
definitions. In the simple case, when a type definition
containing the 'default' statement is used without
restrictions, the 'default' statement is mapped to the
@nma:default attribute attached to the <rng:define>
element.However, if that type definition has to be expanded, the
@nma:default annotation arising from the expanded type
or ancestor types in the type derivation chain MUST be
attached to the element where the expansion occurs. If there
are multiple 'default' statements in consecutive steps of the
type derivation, only the 'default' statement that is closest
to the expanded type is used.EXAMPLE. Consider this variation of the last example:The 'typedef' statement in this module is mapped to the
following named pattern definition:If the "dozen" type is restricted when used in the leaf
"month" definition as in the previous example, the "dozen"
type has to be expanded and @nma:default becomes an attribute
of the <ex3bis:month> element definition:However, if the definition of leaf "month" itself
contained the 'default' substatement, the default specified
for the "dozen" type will be ignored.YANG uses full XPath 1.0 syntax for
the arguments of 'must', 'when' and 'path' statements. However,
since the names of data nodes defined in a YANG module always
belong to the namespace of that YANG module, YANG adopted a
simplification similar to the concept of default namespace in XPath 2.0: node names
needn't carry a namespace prefix inside the module where they
are defined, in which case the module's namespace is
assumed.If an XPath expression is carried over to a NETMOD-specific
annotation in the conceptual tree schema, it MUST be translated
into a fully conformant XPath 1.0 expression that also reflects
the hierarchy of the conceptual data tree:
Each unprefixed node name MUST be
prepended with the local module's namespace prefix declared by
the 'prefix' statement.Absolute XPath expressions, i.e., those
starting with a slash, MUST be prepended with appropriate path
in the conceptual tree, according to the YANG specification of
context for XPath expressions, see ,
sections 7.5.3
and 7.19.5
in .Translation rule
means for example that absolute XPath expressions appearing in
the main configuration data tree always start with
"nmt:netmod-tree/nmt:top/", those appearing in a notification
always start with
"nmt:netmod-tree/nmt:notifications/nmt:notification/", etc.EXAMPLE. YANG XPath expression "/dhcp/max-lease-time"
appearing in the main configuration data will be translated to
"nmt:netmod-tree/nmt:top/dhcp:dhcp/dhcp:max-lease-time".The key identifiers and "descendant schema node identifiers"
(see the ABNF production for and "descendant-schema-nodeid" in
Section 12
of ) are not XPath expressions but SHOULD
be translated by adding local module prefixes as well.YANG allows for extending its own language in-line by adding
new statements with keywords from special namespaces. Such
extensions first have to be declared using the 'extension'
statement and then can be used as the native statements, only with
a namespace prefix qualifying the extension keyword. RELAX NG has
a similar extension mechanism - XML elements and attributes with
names from foreign namespaces may be inserted at almost every
place of a RELAX NG schema.YANG language extensions may or may not have a meaning in the
context of DSDL schemas. Therefore, an implementation MAY ignore
any or all of the extensions. However, an extension that is not
ignored MUST be mapped to XML element(s) and/or attribute(s) that
exactly match the YIN form of the extension.EXAMPLE. Consider the following extension defined by the "acme"
module:This extension can then be used in the same or another
module, for instance like this:If this extension is honored by the mapping, it will be mapped
toNote that the 'extension' statement itself is not mapped in any
way.As explained in , the second step
of the YANG-to-DSDL mapping takes the conceptual tree schema and
transforms it to various DSDL schemas ready for validation. As an
input parameter, this step gets in the simplest case a specification
of the NETCONF XML document type (or combination of multiple types)
that is to be validated. These document type can be, for example,
the content of a datastore, reply to <nc:get> or
<nc:get-config>, other RPC requests or replies and
notifications.In general, the second mapping step has to accomplish the
following three tasks:
Extract the part(s) of the conceptual tree schema that are
appropriate for the requested document type. For example, if a
<get> reply is to be validated, the subtree under
<nmt:top> must be selected.The schema must be adapted to the specific encapsulating
XML elements mandated by the RPC layer. These are, for example,
<nc:rpc> and <nc:data> elements in the case of a
datastore or <en:notification> for a notification.Finally, NETMOD-specific annotations that are relevant for the
schema language of the generated schema must be mapped to
corresponding schema-language-specific rules.These three tasks are together much simpler than the first
mapping step. Presumably, they can be effectively realized
using XSL transformations .The following subsections describe the details of the second
mapping step for the individual DSDL schema languages. then contains a detailed specification for
the mapping of all NETMOD-specific annotations.With one minor exception, obtaining a validating RELAX NG
schema from the conceptual tree schema really means only taking
appropriate parts from the conceptual tree schema and assembling
them in a new RELAX NG grammar, perhaps after removing all
unwanted annotations. Depending on the XML document type that is
the target for validation (<get>/<get-config> reply,
RPC or notification) a corresponding top-level part of the grammar
MUST be added as described in the following subsections.Schemas for multiple alternative target document types can also
be easily generated by enclosing the definitions for requested
type in <rng:choice> element.In order to avoid copying identical named pattern definitions
to the output RELAX NG file, these schema-independent definitions
SHOULD be collected in a library file which is then included by
the validating RELAX NG schemas. has
the listing of this library file.The minor exception mentioned above is the annotation
@nma:config, which must be observed if the target document type is
<get-config> reply. In this case, each element definition
that has this attribute with the value "false" MUST be removed
from the schema together with its descendants. See for more details.For a reply to <get> or <get-config>, the mapping
must take the part of the conceptual tree schema under the
definition of <nmt:top> and insert it in the following
grammar:The definition for the named pattern "message-id-attribute"
is found in the library file "relaxng-lib.rng" which is included
on the second line (see ).Definitions of other named patterns MUST be copied from the
conceptual tree schema without any changes to the resulting
grammar. However, an implementation MAY choose to copy only
those definitions that are really used in the particular
output grammar.For an RPC method named "myrpc" and defined in a YANG
module with prefix "yam", the corresponding schema subtree is
identified by the definition of <nmt:rpc-method> element
whose <nmt:input> subelement has <yam:myrpc> as the
only child.The mapping must also take into account whether the target
document type is an RPC request or reply. For "yam:myrpc"
request, the resulting grammar looks as follows:For "myrpc" reply, the output grammar isIn both cases, exact copies of named pattern definitions from
the conceptual tree schema MUST be inserted, but an
implementation MAY choose to include only those used for the
given RPC.For a notification named "mynotif" and defined in a YANG
module with prefix "yam", the corresponding schema subtree is
identified by the definition of <nmt:notification> element
that has the single child <yam:mynotif>.The resulting grammar looks as follows:The definition of the named pattern "eventTime-element" is
found in the "relaxng-lib.rng" library file, see .Again, exact copies of named pattern definitions from the
conceptual tree schema MUST be inserted, but an implementation
MAY choose to include only those used for the given
notification.Schematron schemas tend to be much flatter and more uniform
compared to RELAX NG. They have exactly four levels of XML
hierarchy: <sch:schema>, <sch:pattern>,
<sch:rule> and <sch:assert> or <sch:report>.In a Schematron schema generated by the second mapping step,
the basic unit of organization is a rule represented by the <sch:rule>
element. Every rule corresponds to exactly one element definition
pattern in the conceptual tree schema:The value of the mandatory @context attribute of
<sch:rule> is set to the absolute path of the context
element in the data tree. The <sch:rule> element contains
the mappings of one or more of the following NETMOD-specific
annotations, if they are attached to the context element:
<nma:instance-identifier>, @nma:key, @nma:leafref,
@nma:min-elements, @nma:max-elements, <nma:must>,
@nma:unique and <nma:when>.In the opposite direction, however, not every element
definition pattern in the conceptual tree schema has a
corresponding rule in the Schematron schema: definitions of
elements the carry none of the above annotations are omitted.Schematron rules may be further grouped into patterns represented by the
<sch:pattern> element. The mapping uses patterns only for
discriminating between subsets of rules that belong to different
validation phases, see . Therefore, the <sch:schema>
always has exactly two <sch:pattern> children: one named
"standard" contains rules for all annotations except
<nma:instance-identifier> and @nma:leafref, and
another named "ref-integrity" containing rules for these two
remaining annotations, i.e., referential integrity checks.Element definitions in the conceptual tree schema that appear
inside a named pattern definition (i.e., have <rng:define>
among its ancestors) are subject to a different treatment. This is
because their path in the data tree is not fixed - the named
pattern may be referred to in multiple different places. The
mapping uses Schematron abstract rules
to handle this case: An element definition inside a named pattern
is mapped to an abstract rule and every use of the named pattern
then extends (uses) this abstract rule in the concrete
context.EXAMPLE. Consider this element pattern annotated with
<nma:must>:If this element pattern appears outside any named pattern
and as a child of <dhcp:dhcp> (as it does in the DHCP
schema, see ), it is mapped to the
following Schematron rule:Now assume the element definition is inside a named pattern
definition, sayIn this case it is mapped to an abstract rule, for instanceAny use of the named pattern definition via <rng:ref
name="_dhcp__default-lease-time"/> then results in a new rule
extending the abstract one, for exampleCare must be taken that the value of the @context attribute in
general consists of two parts in this case: its beginning is
determined by the location of the <rng:ref> element in the
main schema tree and the rest of the path comes from the relative
position of the annotated element definition inside the named
pattern. The situation becomes even more complex when the mapping
has to deal with chained definitions of named patterns
(<rng:ref> inside <rng:define>). The @context value
then must be recursively glued together from multiple parts.The mapping from the conceptual tree schema to Schematron
proceeds in the following steps:
First, the active subtree(s) of the conceptual tree schema
must be selected depending on the requested target document
type. This procedure is identical to the RELAX NG case,
including the handling of @nma:config if
the target document type is <get-config> reply.Namespaces of all input YANG modules, together with the
namespaces of base NETCONF ("nc" prefix) or notifications ("en"
prefix) MUST be declared using the <sch:ns>
element, for example
Validation phases are defined (see ) and their constituting patterns
"standard" and "ref-integrity" created.For either validation phase, the input conceptual tree schema
is scanned and element definitions with annotations relevant for
the given phase are selected and a <sch:rule> is created
for each of them. The rule is abstract if the element definition
appears inside a named pattern, see above.All annotations attached to the given element definition are
then mapped using the mapping rules specified in . The resulting <sch:assert> or
<sch:report> elements are the installed as children of the
<sch:rule> element.In certain situations it is useful to validate XML instance
documents without enforcing the referential integrity
constraints represented by the @nma:leafref and
<nma:instance-identifier> annotations. For example, a
candidate configuration referring to configuration parameters or
state data of certain hardware will not pass full validation
before the hardware is installed. To handle this, the Schematron
mapping introduces two validation
phases:
Validation phase "full", which is the default, checks all
semantic constraints.Validation phase "noref" is the same as "full" except it
doesn't check referential integrity constraints.A parameter identifying the validation phase to use has to be
passed to the Schematron processor or otherwise both patterns
are used by default. How this is exactly done depends on the
concrete Schematron processor and is outside the scope of this
document.The validation phases are defined in Schematron by listing
the patterns that are to be applied for each phase. Therefore,
the mapping puts the rules for referential integrity checking to
a special <sch:pattern> with @id attribute set
to "ref-integrity". The rules mapped from the remaining semantic
constraints are put to another <sch:pattern> with @id
attributes set to "standard".With validation phases, the resulting Schematron schema has
the following overall structure:In order to fully represent the semantics of YANG 'choice'
statement with "mandatory true;" substatement, the RELAX NG
grammar has to be combined with a special Schematron
rule.EXAMPLE. Consider the following module:In this module, all three leaf nodes in both case branches are
optional but because of the "mandatory true;" statement, at least
one of them must be present in a valid configuration. The 'choice'
statement from this module is mapped to the following fragment of
the conceptual tree schema:In the second case branch, the "ex4:bar" element is defined as
mandatory so that this element must be present in a valid
configuration if this branch is selected. However, the two
elements in the first branch "foo" cannot be both declared as
mandatory since each of them alone suffices for a valid
configuration. As a result, the above RELAX NG fragment would
successfully validate configurations where none of the three leaf
elements is present.Therefore, mandatory choices, which can be recognized in the
conceptual tree schema as <rng:choice> elements that do not
have <optional> as their parent, have to be handled in a
special way: For each mandatory choice where at least one of the
cases contains more than one node, a rule MUST be present in the
"standard" pattern of the Schematron schema enforcing the presence
of at least one element from any of the cases. (RELAX NG schema
guarantees that elements from different cases cannot be mixed
together, that all mandatory nodes are present etc.).For the example module above, the Schematron rule will be as
follows:DSRL is the only component of DSDL that is allowed to change
the information set of the validated XML document. While DSRL has
other functions, the YANG-to-DSDL mapping uses it only for
specifying default content. For XML instance documents based on
YANG data models, insertion of default content may potentially
take place for all implicit nodes, see .In DSRL, the default content of an element is specified using
the <dsrl:default-content> element, which is a child of
<dsrl:element-map>. Two sibling elements of
<dsrl:default-content> determine the context for application
of the default content, see :
<dsrl:parent> element contains an XSLT pattern
specifying the parent element; the default content is applied
only if the parent element exists in the instance document.<dsrl:name> contains the XML name of the element which,
if missing or empty, is inserted together with the content of
<dsrl:default-content>.The <dsrl:parent> element is optional in a general DSRL
schema but for the purpose of the YANG-to-DSDL mapping this
element MUST be always present in order to guarantee proper
application of default content.DSRL mapping only deals with element patterns defining implicit
nodes (see ). In the conceptual
tree schema, such element patterns are distinguished by
NETMOD-specific annotation attributes @nma:default or
@nma:implicit, i.e., eitherorIn the simple case, these element patterns are mapped to the
following DSRL element map:where XPARENT is the absolute XPath of ELEM's parent element in
the data tree and DEFCONT is constructed as follows:
If the element pattern defining ELEM is annotated with
@nma:default, DEFCONT is equal to the value of this attribute
(denoted above as DEFVALUE).Otherwise, if the element pattern defining ELEM is annotated
with @nma:implicit, DEFCONT is an XML fragment containing all
descendant elements of ELEM that have either @nma:implicit or
@nma:default attribute.Inside the subtree of <rng:choice>, the @nma:default and
@nma:implicit annotations MUST be ignored unless they are
descendants of a <rng:group> or <rng:interleave>
pattern with @nma:implicit attribute set to "true" - this
corresponds to the default case of a YANG choice (see ).When mapping such a default case, it has to be guaranteed that
the default content is be applied if any of the nodes from any
non-default case are present. This is accomplished by setting
<dsrl:parent> in a special way:where ELEM1, ELEM2, ... ELEMn are the names of top-level nodes
from all non-default cases. The rest of the element map is exactly
as above.EXAMPLE. Consider the following YANG module:The DSRL schema generated for the "get-reply" target document
type will be:Note that the default value for "leaf3" defined in the YANG
module is ignored, because "leaf3" represents a non-default
alternative of a choice and as such can never become an implicit
element.YANG leaf nodes may also obtain a default value from their
type definition. Consequently, @nma:default attributes may also
be attached to <rng:define> elements. The DSRL mapping
MUST handle all <rng:element> patterns that refer to such
a named pattern definition and don't have their own @nma:default
attribute in the same way as if the @nma:default attributed was
attached to the referring <rng:element>.Finally, if there is a chain of named pattern definitions
containing multiple @nma:default attributes, only the topmost
@nma:default annotation is taken into account.Each subsection in this section is devoted to one YANG
statement and provides the specification how the statement is
mapped to the annotated RELAX NG schema of the conceptual
tree. This is the first step of the mapping procedure, see . The subsections are sorted
alphabetically by the statement keyword.Each YANG statement is mapped to an XML fragment, typically a
single element or attribute but it may also be a larger
structure. The mapping procedure is inherently recursive, which
means that after finishing a statement the mapping continues with
its substatements, if there are any, and a certain element of the
resulting fragment becomes the parent of other fragments resulting
from the mapping of substatements. Any changes to this default
recursive procedure are explicitly specified.YANG XML encoding rules translate to the following rules for
ordering multiple subelements:
Within the <nmt:rpc-methods> subtree (i.e., for RPC
input and output parameters) the order of subelements is fixed
and their definitions in the conceptual tree schema MUST follow
the order specified in the source YANG module.When
mapping the 'list' statement, all keys MUST come before any
other subelements and in the same order as they are declared in
the 'key' statement. The order of the remaining (non-key)
subelements is not specified, so their definitions in the
conceptual tree schema MUST be enclosed in the
<rng:interleave> element.Otherwise, all
definitions of subelements in the conceptual tree schema MUST be
enclosed in the <rng:interleave> element.We use the following notation:
The argument of the statement being mapped is denoted by
ARGUMENT.The element in the RELAX NG schema that becomes the parent of
the resulting XML fragment is denoted by PARENT.This statement is mapped to <rng:element> element and
ARGUMENT with prepended local namespace prefix becomes the value
of its @name attribute. The content of <rng:element>
isSubstatements of the 'anyxml' statement, if any, may be
mapped to additional children of the RELAX NG element
definition.If the 'anyxml' statement occurs in any of the input YANG
modules, the following pattern definition MUST be added exactly
once to the RELAX NG schema as a child of the <rng:grammar>
element (cf. , p. 172):EXAMPLE: YANG statement in a module with namespace prefix
"yam"is mapped to the following fragment:An anyxml node is optional if there is no "mandatory true;"
substatement. The <rng:element> element then MUST be
wrapped in <rng:optional>, except when the 'anyxml'
statement is a child of the 'choice' statement and thus forms a
shorthand case for that choice (see for details).This statement is not mapped to the output schema, but see
the rules for handling extensions in .As a substatement of 'uses', this statement is handled as a
part of 'uses' mapping, see .At the top level of a module or submodule, the 'augment'
statement is used for augmenting the schema tree of another YANG
module. If the latter module is not processed within the same
mapping session, the top-level 'augment' statement MUST be
ignored. Otherwise, the contents of the statement are added to
the foreign module with the namespace of the module where the
'augment' statement appears.This statement is ignored as a substatement of 'identity' and
handled within the 'identityref' type if it appears as a
substatement of that type definition, see .This statement is not used since processing of submodules
is always initiated from the main module, see .This statement is handled within the "bits" type, see .This statement is mapped to <rng:group> or
<rng:interleave> element, depending on whether the
statement belongs to an RPC definition or not. If the argument
of a sibling 'default' statement equals to ARGUMENT,
@nma:implicit attribute with the value "true" MUST be added to
that <rng:group> or <rng:interleave> element. The
@nma:implicit attribute MUST NOT be used for nodes that belong
to non-default cases of a choice (see Section
7.9.3 in ).This statement is mapped to <rng:choice> element.Unless 'choice' has the 'mandatory' substatement with the
value "true", the <rng:choice> element MUST be wrapped in
<rng:optional>. The 'choice' statement with "mandatory
true;" requires additional handling, see .The alternatives in <rng:choice> - mapped from either
the 'case' statement or a shorthand case - MUST NOT be defined
as optional.This statement is mapped to @nma:config attribute and
ARGUMENT becomes its value.This statement is not used by the mapping since the output
RELAX NG schema may result from multiple YANG modules created by
different authors. The schema contains references to all input
modules in the Dublin Core elements <dc:source>, see . The original YANG modules are the
authoritative sources of the authorship information.Using the rules specified in , the mapping algorithm MUST
determine whether the statement defines an optional container,
and if so, insert the <rng:optional> element and make it
the new PARENT.The container defined by this statement
is then mapped to the <rng:element> element, which becomes
a child of PARENT and uses ARGUMENT with prepended local namespace
prefix as the value of its @name attribute.Finally, using the rules specified in ,
the mapping algorithm MUST determine whether the container is
implicit, and if so, add the attribute @nma:implicit with the
value "true" to the <rng:element> element.If this statement is a substatement of 'leaf', it is mapped
to the @nma:default attribute of PARENT and ARGUMENT becomes its
value.As a substatement of 'typedef', the 'default' statement is
also mapped to the @nma:default attribute with the value of
ARGUMENT. The placement of this attribute depends on whether or
not the type definition has to be expanded when it is used:
If the type definition is not expanded, @nma:default
becomes an attribute of the <rng:define> pattern
resulting from the parent 'typedef' mapping.Otherwise, @nma:default becomes an attribute of the
ancestor RELAX NG pattern inside which the expansion takes
place.
Details and an example are given in .Finally, as a substatement of 'choice', the 'default'
statement identifies the default case and is handled within the
'case' statement, see . If the default
case uses the shorthand notation where the 'case' statement is
omitted, an extra <rng:group> or <rng:interleave>
element MUST be inserted with @nma:implicit attribute set to
"true" and the default case node is mapped inside this
element. The net result is then the same as if the 'case'
statement wasn't omitted for the default case.EXAMPLE. The following 'choice' statement in a module with
namespace prefix "yam"is mapped toThis statement MAY be ignored. Otherwise, it is mapped to the
DTD compatibility element <a:documentation> and ARGUMENT
becomes its text.In order to get properly formatted in the RELAX NG compact
syntax, this element SHOULD be inserted as the first child of
PARENT.This statement is ignored, see .This statement is mapped to <rng:value> element and
ARGUMENT becomes its text. All substatements except 'status' are
ignored because the <rng:value> element cannot contain
annotation elements, see , section 6.This statement is ignored unless it is a substatement of
'must'. In the latter case it is mapped to the
<nma:error-app-tag> element. See also .This statement is ignored unless it is a substatement of
'must'. In the latter case it is mapped to the
<nma:error-message> element. See also .This statement is ignored. However, extensions to the YANG
language MAY be mapped as described in .This statement is ignored, see .This statement is mapped to a RELAX NG named pattern
definition <rng:define>, but only if the grouping defined
by this statement is used without
refinements and augments in at least one of the input
modules. In this case, the named pattern definition becomes a
child of the <rng:grammar> element and its name is
ARGUMENT mangled according to the rules specified in .Whenever a grouping is used with additional refinements
and/or augments, the grouping is expanded so that the
refinements and augments may be applied directly to the
prescribed schema nodes. See for
further details and an example.An implementation MAY offer the option of recording all
'grouping' statements as named patterns in the output RELAX NG
schema even if they are not referenced. This is useful for
mapping YANG "library" modules containing only 'typedef' and/or
'grouping' statements. This statement is not specifically mapped. However, if the
identity defined by this statement is used as the base for an
"identityref" type in any of the input modules, ARGUMENT will
appear as the text of one of the <rng:value> elements in
the mapping of that "identityref" type. See for more details and an example.This statement is ignored, see .This statement is not specifically mapped. The module whose
name is in ARGUMENT has to be parsed so that the importing
module be able to use its top-level groupings and typedefs and
also augment the data tree of the imported module.If the 'import' statement has the 'revision' substatement,
the corresponding revision of the imported module MUST be
used. The mechanism for finding a given module revision is
outside the scope of this document.This statement is not specifically mapped. The submodule
whose name is in ARGUMENT has to be parsed and its contents
mapped exactly as if the submodule text was a subset of the main
module text.If the 'include' statement has the 'revision' substatement,
the corresponding revision of the submodule MUST be used. The
mechanism for finding a given submodule revision is outside the
scope of this document.This statement is handled within 'rpc' statement, see .This statement is mapped to @nma:key attribute. ARGUMENT is
MUST be translated so that every key is prefixed with the
namespace prefix of the local module. The result of this
translation then becomes the value of the @nma:key
attribute.This statement is mapped to the <rng:element> element
and ARGUMENT with prepended local namespace prefix becomes the
value of its @name attribute.A leaf is optional if there is no "mandatory true;"
substatement and if the leaf is not declared among the keys of
an enclosing list. The <rng:element> element then MUST be
wrapped in <rng:optional>, except when the 'leaf'
statement is a child of the 'choice' statement and thus forms a
shorthand case for that choice (see for details).This statement is mapped to a block enclosed by either
<rng:zeroOrMore> or <rng:oneOrMore> element
depending on whether the argument of 'min-elements' substatement
is "0" or positive, respectively (it is zero by default). This
<rng:zeroOrMore> or <rng:oneOrMore> element becomes
the PARENT.<rng:element> is then added as a child element of PARENT
and ARGUMENT with prepended local namespace prefix becomes the
value of its @name attribute. If the 'leaf-list' statement has
the 'min-elements' substatement and its argument is greater than
one, additional attribute @nma:min-elements is attached to
<rng:element> and the argument of 'min-elements' becomes
the value of this attribute. Similarly, if there is the
'max-elements' substatement and its argument value is not
"unbounded", attribute @nma:max-elements is attached to this
element and the argument of 'max-elements' becomes the value of
this attribute.EXAMPLE. YANG leaf-list in a module with namespace prefix
"yam"is mapped to the following RELAX NG fragment:This statement is handled within the "string" type, see .This statement is mapped exactly as the 'leaf-list'
statement, see .When mapping the substatements of 'list', the order of
children of the list element MUST be specified so that list keys
always appear in the same order as they are defined in the input
YANG module and before other children, see , Section
7.8.5. In particular, if any list key is defined in a
grouping but the list itself is not defined in the same
grouping, and the position of the 'uses' statement would violate
the above ordering requirement, the grouping MUST be expanded,
i.e., the 'uses' statement replaced by the grouping
contents.For example, consider the following YANG fragment of a module
with prefix "yam":is mapped to the following RELAX NG fragment:Note that the "keygrp" grouping is expanded and the
"yam:clef" definition moved before the <rng:interleave>
pattern.This statement may appear as a substatement of 'leaf',
'choice' or 'anyxml' statement. If ARGUMENT is "true", the
parent data node is mapped as mandatory, see .This statement is handled within 'leaf-list' or 'list'
statements, see .This statement is handled within 'leaf-list' or 'list'
statements, see .This statement is not specifically mapped except that a
<dc:source> element SHOULD be created as a child of
<rng:grammar> and contain ARGUMENT as a reference to the
input YANG module. See also .With respect to the conceptual tree schema, substatements of
'module' MUST be mapped so that
top level data elements be defined as children of the
<nmt:top> element;elements mapped from 'rpc' statements be defined as
children of the <nmt:rpc-methods> element;elements mapped from 'notification' statements be defined
as children of the <nmt:notifications> element.This statement is mapped to the <nma:must> element. It
has one mandatory attribute @assert (with no namespace), which
contains ARGUMENT transformed into a valid XPath expression (see
). The <nma:must> element may
get other subelements resulting from mapping 'error-app-tag' and
'error-message' substatements. Other substatements of 'must',
i.e., 'description' and 'reference', are ignored.EXAMPLE. YANG statementis mapped toThis statement is mapped to @xmlns:xxx attribute of the
<rng:grammar> element where "xxx"
is the namespace prefix specified by the sibling 'prefix'
statement. ARGUMENT becomes the value of this attribute.This statement is mapped to the following subtree in the
RELAX NG schema ("yam" is the prefix of the local YANG module):Substatements of 'notification' are mapped under
<rng:element name="yam:ARGUMENT">.The <rng:element name="nmt:rpc-notification"> element is
a child of <rng:element name="nmt:notifications">.This statement is mapped to @nma:ordered-by attribute and
ARGUMENT becomes the value of this attribute. See for an example.This statement is not used by the mapping since the output
RELAX NG schema may result from multiple YANG modules authored
by different parties. The schema contains references to all
input modules in the Dublin Core elements <dc:source>, see
. The original modules are the
authoritative sources of the authorship information.This statement is handled within 'rpc' statement, see .This statement is handled within "leafref" type, see .This statement is handled within "string" type, see .This statement is ignored.This statement is handled within the sibling 'namespace'
statement, see , or within the
parent 'import' statement, see . As a
substatement of 'belongs-to' (in submodules), the 'prefix'
statement is ignored.This statement is mapped to the annotation attribute
@nma:presence with the value "true". In addition, it
influences the mapping of 'container' (): the parent container definition MUST
be wrapped in <rng:optional>, regardless of its
content. See also .This statement is handled within numeric types, see .This statement MAY be ignored. Otherwise, it is mapped to
<a:documentation> element and its text is set to ARGUMENT
prefixed with "See: ".This statement is handled within "instance-identifier" type
().The mapping uses only the most recent instance of the
'revision' statement, i.e., one with the latest date in
ARGUMENT, which specifies the current revision of the input YANG
module . This date SHOULD be recorded,
together with the name of the YANG module, in the corresponding
Dublin Core element <dc:source> (see ), for example in this form:The 'description' substatement of 'revision' is not used.This statement is mapped to the following subtree in the
RELAX NG schema ("yam" is the prefix of the local YANG module):As indicated by the comments, contents of the 'input'
substatement (if any) are mapped under <rng:element
name="yam:ARGUMENT">. Similarly, contents of the 'output'
substatement are mapped under <rng:element
name="nmt:output">. If there is no 'output' substatement, the
<rng:element name="nmt:output"> MUST NOT be present.The <rng:element name="nmt:rpc-method"> element is
a child of <rng:element name="nmt:rpc-methods">.This statement MAY be ignored. Otherwise, it is mapped to
@nma:status attribute and ARGUMENT becomes its value.This statement is not specifically mapped. Its substatements
are mapped as if they appeared directly in the module the
submodule belongs to.Most YANG built-in types have an equivalent in the XSD
datatype library as shown in .YANG typeXSD typeMeaningint8byte8-bit integer valueint16short16-bit integer valueint32int32-bit integer valueint64long64-bit integer valueuint8unsignedByte8-bit unsigned integer valueuint16unsignedShort16-bit unsigned integer valueuint32unsignedInt32-bit unsigned integer valueuint64unsignedLong64-bit unsigned integer valuestringstringcharacter stringbooleanboolean"true" or "false"binarybase64Binarybinary data in base64 encodingDetails about the mapping of individual YANG built-in types
are given in the following subsections.This type is mapped to <rng:empty/>.These two built-in types do not allow any restrictions and
are mapped simply by inserting <rng:data> element whose
@type attribute is set to ARGUMENT mapped according to above.This type is mapped to <rng:list> and for each 'bit'
substatement the following XML fragment is inserted as a child
of <rng:list>:where bit_name is the name of the bit as found in the
argument of the corresponding 'bit' statement.These types are mapped to <rng:choice> element.This type is mapped to <rng:choice> element with one
or more <rng:value> subelements. Each of the
<rng:value> subelements MUST have the @type attribute and
its value set to "QName". One <rng:value> subelement for
the base identity MUST always be present - it
contains the argument of the 'base' substatement as its text.
In addition, one <rng:value>
substatement MUST be added for each identity declared locally
or in an imported module that is derived from this base
identity.All namespace prefixes that are used for identities from
imported modules MUST be appropriately defined.EXAMPLE (taken from Section 7.16.3
of ). Consider the following two YANG
modules:If these two modules are imported to another module with
namespace prefix "yam", leaf
definitionis mapped toThe "crypto" and "des" prefixes will by typically defined
via attributes of the <rng:grammar> element.This type is mapped to <rng:data> element with @type
attribute set to "string". In addition, empty
<nma:instance-identifier> element MUST be inserted as a
child of PARENT.The 'require-instance' substatement, if it exists, is
mapped to the @require-instance attribute of
<nma:instance-identifier>.This type is mapped exactly as the type of the leaf given
in the argument of 'path' substatement. In addition,
@nma:leafref attribute MUST be added to PARENT. The argument
of the 'path' substatement, translated according to , is set as the value of this attribute.YANG built-in numeric types are "int8", "int16", "int32",
"int64", "uint8", "uint16", "uint32", "uint64" and
"decimal64". They are mapped to <rng:data> element with
@type attribute set to ARGUMENT mapped according to .An exception is the "decimal64" type, which is
mapped to the "decimal" type of the XSD datatype library.
Its precision and number of fractional digits are controlled
with the following facets, which MUST always be present:
"totalDigits" facet set to the value of 19."fractionDigits" facet set to the argument of the
'fraction-digits' substatement.The fixed value of the "totalDigits" facet corresponds to the
maximum of 19 decimal digits for 64-bit integers.For example, the statementis mapped to the following RELAX NG datatype:All numeric types support the 'range' restriction, which is
handled as follows:If the range expression has just a single range,
then
if the range consists of a single number, the
<rng:value> pattern is inserted and its content set to
this number.Otherwise the range consists of both lower and upper
bound and the following pair of datatype facets are
inserted:
and
Their contents are the lower and upper bound,
respectively. If the lower bound is "min", the
"minInclusive" facet is omitted and if the upper bound is
"max", the "maxInclusive" facet is omitted.If the range expression has multiple parts separated by
"|", then the parent <rng:data> element must be repeated once
for every range part and all the <rng:data> elements are
wrapped in <rng:choice> element. Each <rng:data>
element contains the <rng:value> pattern or the
"minInclusive" and "maxInclusive" facets for the corresponding
part of the range expression as described in the previous
paragraph. For the "decimal64" type, the "totalDigits" and
"fractionDigits" must be repeated inside each of the
<rng:data> elements.For example,is mapped to the following RELAX NG fragment:This type is mapped to <rng:data> element with the
@type attribute set to "string".The 'length' restriction is handled analogically to the
'range' restriction for the numeric types ():If the length expression has just a single range, then
if the length range consists of a single number L, the
following datatype facet is inserted:
Otherwise the length range consists of both lower and
upper bound and the following pair of datatype facets are
inserted:
and
Their contents are the lower and upper bound of the length
range, respectively. If the lower bound is "min", the
"minLength" facet is omitted and if the upper bound is
"max", the "maxLength" facet is omitted.If the length expression has of multiple parts separated by
"|", then the parent <rng:data> element must be repeated
once for every range part and all the <rng:data>
elements are wrapped in <rng:choice> element. Each
<rng:data> element contains the "length" or "minLength"
and "maxLength" facets for the corresponding part of the
length expression as described in the previous paragraph.Every 'pattern' restriction of the "string" datatype is
mapped to the "pattern" facetwith content equal to the argument of the 'pattern'
statement. All such "pattern" facets must be repeated inside
each copy of the <rng:data> element, i.e., once for each
length range.For example,is mapped to the following RELAX NG fragment:If the 'type' statement refers to a derived type, it is
mapped in one of the following ways depending on whether it
contains any restrictions as its substatements:
Without restrictions, the 'type' statement is mapped
simply to the <rng:ref> element, i.e., a reference to
a named pattern. If the RELAX NG definition of this named
pattern has not been added to the output schema yet, the
corresponding 'typedef' must be found and its mapping
installed as a subelement of <rng:grammar>, see . Even if a given derived type is
used more than once in the input YANG modules, the mapping
of the corresponding 'typedef' MUST be installed only
once.If any restrictions are present, the ancestor built-in
type for the given derived type must be determined and the
mapping of this base type is used. Restrictions appearing at
all stages of the derivation chain must be taken into
account and their conjunction added to the <rng:data>
element which defines the basic type.See for more details and an
example.This statement is mapped to a RELAX NG named pattern
definition <rng:define>, but only if the type defined by
this statement is used without
restrictions in at least one of the input modules. In
this case, the named pattern definition becomes a child of the
<rng:grammar> element and its name is ARGUMENT mangled
according to the rules specified in .Whenever a derived type is used with additional restrictions,
the ancestor built-in type for the derived type is used instead with
restrictions (facets) that are a combination of all restrictions
specified along the type derivation chain. See for further details and an example.An implementation MAY offer the option of recording all
'typedef' statements as named patterns in the output RELAX NG
schema even if they are not referenced. This is useful for
mapping YANG "library" modules containing only 'typedef' and/or
'grouping' statements.This statement is mapped to @nma:unique attribute. ARGUMENT
is translated so that every node identifier in each of its
components is prefixed with the namespace prefix of the local
module, unless the prefix is already present. The result of this
translation then becomes the value of the @nma:unique
attribute.For example, assuming that the local module prefix is
"ex",is mapped to the following attribute/value pair:This statement is mapped to @nma:units attribute and ARGUMENT
becomes its value.If this statement has neither 'refine' nor 'augment'
substatements, it is mapped to <rng:ref> element and the
value of its @name attribute is set to ARGUMENT mangled
according to If there are any 'refine' or 'augment' substatements, the
corresponding grouping must be looked up and its contents is
inserted under PARENT. See for further details and an
example.This statement is ignored.This statement is mapped to @nma:when attribute and ARGUMENT,
translated according to , becomes it
value.This statement is not mapped to the output schema. However,
an implementation SHOULD check that it is compatible with the
YANG version declared by the statement (currently
version 1).This statement is not mapped to the output schema, but see
the rules for extension handling in .This section contains mapping specification for individual
NETMOD-specific annotations. In each case, the result of the
mapping must be inserted into an appropriate context of the target
DSDL schema as described in . The
context is determined by the element definition in the conceptual
tree schema to which the annotation is attached. In the rest of
this section, we will denote CONTELEM the name of this context
element properly qualified with its namespace prefix. Unless
otherwise stated, Schematron asserts are descendants of the
"standard" pattern and therefore active in both validation
phases.If this annotation is present with the value "true", the
following rules apply for DSDL schemas of <nc:get-config>
reply. In particular:
When generating RELAX NG, the contents of the CONTELEM
definition MUST be changed to <rng:notAllowed>.When generating Schematron or DSRL, the CONTELEM
definition and all its descendants in the conceptual tree
schema MUST be ignored.This annotation is used for generating the DSRL schema as
described in .This annotation is used for generating the DSRL schema as
described in .This annotation currently has no mapping defined.This annotation is handled within <nma:must>, see .If this annotation element has the @require-instance
attribute with the value "false", it is ignored. Otherwise it is
mapped to the following Schematron assert:The nmf:evaluate() function is an XSLT extension function
(see Extension
Functions in ) that evaluates an
XPath expression at runtime. Such an extension function is
provided by some XSLT processors, for example Saxon.Assume this annotation has the value "k_1 k_2 ... k_n", i.e.,
specifies n child leaves as keys. The annotation is then mapped
to the following Schematron report:where CONDITION has this form:Each C_i, for i=1,2,...,n, specifies the condition for
violation of uniqueness of key k_i, namelyThis annotation is mapped to the following assert:where PATH is the value of @nma:leafref. The assert is a
descendant of the "ref-integrity" pattern, which means that it
will be used only for the "full" validation phase.This annotation is mapped to the following Schematron
assert:where MIN is the value of @nma:min-elements.This annotation is mapped to the following Schematron
assert:where MAX is the value of @nma:min-elements.This annotation is mapped to the following Schematron
assert:where EXPRESSION is the value of the mandatory @assert
attribute of <nma:must>. If the <nma:error-message>
subelement exists, MESSAGE is set to its content, otherwise it
is set to the default message "Condition EXPRESSION must be
true".This annotation currently has no mapping defined.This annotation currently has no mapping defined.The mapping of this annotation is almost identical as for
@nma:key, see , with two small
differences:
The value of @nma:unique is a list of descendant schema node
identifiers rather than simple leaf names. However, the XPath
expressions specified in work without
any modifications if the descendant schema node identifiers
are substituted for k_1, k_2, ..., k_n.The message appearing as the text of <sch:report> is
different: "Violated uniqueness for list CONTELEM".This annotation is mapped to the following Schematron assert:where EXPRESSION is the value of @nma:when.This document registers three namespace URIs in the IETF XML
registry :This document defines a procedure that maps data models
expressed in the YANG language to a coordinated set of DSDL
schemas. The procedure itself has no security impact on the
Internet.DSDL schemas obtained by the mapping procedure may be used for
validating the content of NETCONF protocol data units or entire
data stores and thus provide additional validity checks above
those performed by NETCONF server and client implementations
supporting YANG data models. The strictness of this validation is
directly derived from the source YANG modules that the validated XML
data adhere to.The authors wish to thank the following individuals who
provided helpful suggestions and/or comments on various versions
of this document: Andy Bierman, Martin Bjorklund, Jirka Kosek and
Phil Shafer.Document Schema Definition Languages (DSDL) - Part 1:
OverviewISO/IECInformation Technology - Document Schema Definition
Languages (DSDL) - Part 8: Document Semantics Renaming
Language - DSRLISO/IECInformation Technology - Document Schema Definition
Languages (DSDL) - Part 4: Namespace-Based Validation
Dispatching Language (NVDL)ISO/IECKey words for use in RFCs to
Indicate Requirement LevelsThe IETF XML RegistryNETCONF Configuration ProtocolThe Dublin Core Metadata Element SetInformation Technology - Document Schema Definition
Languages (DSDL) - Part 2: Regular-Grammar-Based Validation -
RELAX NG. Second Edition.ISO/IECInformation Technology - Document Schema Definition
Languages (DSDL) - Part 2: Regular-Grammar-Based Validation -
RELAX NG. AMENDMENT 1: Compact SyntaxISO/IECRELAX NG DTD CompatibilityInformation Technology - Document Schema Definition
Languages (DSDL) - Part 3: Rule-Based Validation -
SchematronISO/IECExtensible Markup Language (XML) 1.0 (Fourth Edition)XML Path Language (XPath) Version 1.0XML Schema Part 2: Datatypes Second EditionXSL Transformations (XSLT) Version 1.0YANG - A data modeling language for NETCONFSimple Network Management Protocol (SNMP)Simple Network Management Protocol (SNMP)
ResearchPerformance Systems InternationalPerformance Systems InternationalMassachusetts Institute of Technology (MIT),
Laboratory for Computer ScienceStructure of Management Information
Version 2 (SMIv2)Cisco Systems, Inc.SNMPinfoTU BraunschweigSMIng ObjectivesNETCONF Event NotificationsRELAX NGXML Schema Part 1: Structures Second EditionCommon YANG Data TypesThis appendix utilizes Namespace-Based Validation Dispatching
Language (NVDL, Part 4 of DSDL) to define
NETMOD-specific annotations as extensions of the RELAX NG
language. The NVDL schema may be used for validating conceptual
tree schemas as compound XML documents consisting of RELAX NG
sections and embedded sections with NETMOD-specific
annotations. The NVDL schema dispatches the validation as follows:
RELAX NG sections identified by the namespace URI
"http://relaxng.org/ns/structure/1.0" is validated with the
standard RELAX NG schema for RELAX NG, see ,
Annex A.NETMOD-specific annotation sections identified by the
namespace URI "urn:ietf:params:xml:ns:netmod:dsdl-annotations:1"
are validated by several context-dependent RELAX NG schemas
given below.Other sections such as Dublin Core metadata or
<a:documentation> annotation are attached to and validated
together with the parent RELAX NG section.In order to avoid copying the same named pattern definitions to
the RELAX NG schemas generated in the second mapping step, we
collected these definitions to a library file - schema-independent
library - which is included by the validating schemas under the
file name "relaxng-lib.rng" (XML syntax) and "relaxng-lib.rnc"
(compact syntax). The included definitions cover patterns for
common elements from base NETCONF and
event notifications .This appendix demonstrates both steps of the
YANG-to-DSDL mapping applied to the "canonical" DHCP
tutorial data model. The input (single) YANG module is
shown in and the output schemas in
the following two subsections.The conceptual tree schema was obtained by the "rng" plugin of
the pyang
tool and the validating DSDL schemas by XSLT stylesheets that are
also part of pyang distribution. RELAX NG schemas are shown in
both XML and compact syntax. The latter was obtained from the
former by using the Trang
toolDue to the limit of 72 characters per line, few long strings
required manual editing, in particular the regular expression
patterns for IP addresses etc. in the RELAX NG schemas. In the
compact syntax we broke the patterns to appropriate segments and
joined them with the concatenation operator "~". In the XML
syntax, though, the long patterns had to be replaced by the
placeholder string "... regex pattern ...". Also, line breaks were
added to several documentation strings and Schematron
messages. Other than that, the results of the automatic
translations were not changed.This appendix contains DSDL schemas that were obtained from the
conceptual tree schema in by XSL
transformations. These schemas can be directly used for validating
a reply to unfiltered <get> with the contents corresponding
to the DHCP data model.The RELAX NG schema (again shown in both XML and compact
syntax) includes the schema independent library from .Implemented ordering rules for list children - keys must go
first and appear in the same order as in the input YANG
module.The 'case' statement is now mapped to either
<rng:group> (inside RPCs) or <rng:interleave>
(otherwise).A nma:default annotation coming from a datatype which the mapping
expands is attached to the <rng:element> pattern where
the expansion occurs. Added an example.Documentation statements ('description', 'reference',
'status') MAY be ignored.Single-valued numeric or length range parts are mapped to
<rng:value> pattern or "length" facet.Example for "string" datatype was added. now uses NVDL for defining
NETMOD-specific annotations.Added CODE BEGINS/ENDS markers.Separated normative and informative references.Added URL for XPath extensions namespace.Added (Terminology and Notation).Added (Security
Considerations).Added (Acknowledgements).Removed compact syntax schema from .Editorial changes: symbolic citation labels.Changed @nma:default-case to @nma:implicit.Changed nma:leafref annotation from element to attribute.Added skeleton rule to .Reworked , added skeleton
element maps,corrected the example.Added on 'feature' and
'deviation'.New integrating discussion
of both optional/mandatory (was in -02) and implicit nodes
(new).Reflected that key argument and schema node identifiers are
no more XPath (should be in yang-07).Element patterns for implicit containers now must have
@nma:implicit attribute.Removed "float32" and "float64" types and added mapping of
"decimal64" with example.Removed mapping of 'require-instance' for "leafref" type.Updated RELAX NG schema for NETMOD-specific annotations.Updated the DHCP example.Moved "NETCONF Content
Validation" after .New text about mapping defaults to DSRL, especially in
and .Finished the DHCP example by adding the DSRL schema to
.New @nma:presence annotation was added - it is needed for
proper handling of default content. "Constraints on Mandatory
Choice" was added because these constraints require a
combination of RELAX NG and Schematron.Fixed the schema for NETMOD-specific annotations by adding
explicit prefix to all defined elements and
attributes. Previously, the attributes had no namespace.Handling of 'feature', 'if-feature' and 'deviation'
added.Handling of nma:instance-identifier via XSLT extension
function.Attributes @nma:min-elements and @nma:max-elements are
attached to <rng:element> (list entry) and not to
<rng:zeroOrMore> or <rng:oneOrMore>.Keys and all node identifiers in 'key' and 'unique'
statements are prefixed.Fixed the mapping of 'rpc' and 'notification'.Removed previous sec. 7.5 "RPC Signatures and
Notifications" - the same information is now contained in
and .Added initial "_" to mangled names of groupings.Mandated the use of @xmlns:xxx as the only method for
declaring the target namespace.Added section "Handling of XML Namespaces" to explain the
previous item.Completed DHCP example in .Almost all text about the second mapping step is new.