4.2 Mapping from the RIF-FLD Speech Syntax on XML Sentence structure

4.2 Mapping from the RIF-FLD Speech Syntax on XML Sentence structure

Note that if D requires the directive Dialect(D) as part of its syntax then this implies that any D-admissible document must have this directive. ?

A circular-stumbling away from an enthusiastic admissible document from inside the a beneficial dialect, D, is an excellent semantics-preserving mapping so you’re able to a document in almost any vocabulary L followed by an effective semantics-preserving mapping about L-file to an admissible D-document. Whenever you are semantically similar, the initial and the round-set-off D-data files doesn’t have to be the same.

cuatro.1 XML into the RIF-FLD Code

RIF-FLD uses [XML1.0] for the XML syntax. This new XML serialization to own RIF-FLD was alternating or completely striped [ANF01]. A completely striped serialization viewpoints XML files once the things and you can splits all the XML tags into the classification descriptors, named sorts of of labels, and possessions descriptors, titled role tags [TRT03]. We follow the community of employing capitalized labels to own type tags and you may lowercase names having character tags.

The all-uppercase classes in the EBNF of the presentation syntax, such as Algorithm, become XML Schema groups in Appendix XML Schema for FLD. They are not visible in instance markup. The other classes as well as non-terminals and symbols (such as Can be obtained or =) become XML elements with optional attributes, as shown below.

Getting convenience of source, the first algorithms come over the top

The RIF serialization framework for the syntax of Section EBNF Grammar for the Presentation Syntax of RIF-FLD uses the following XML tags. While there is a RIF-FLD element tag for the Import directive and an attribute for the Dialect directive, there are none for the Foot and Prefix directives: they are handled as discussed in Section Mapping from the RIF-FLD Presentation Syntax to the XML Syntax.Read More