Declarative extensions of XML languages

The move towards a semantic web will produce an increasing number of presentations whose creation is based upon semantic queries. Intelligent presentation generation engines have already begun to appear, as have models and platforms for adaptive presentations. However, in many cases these models are constrained by the lack of expressiveness in current generation presentation and animation languages. Moreover, authors of dynamic, adaptive web content must often use considerable amounts of script or code, thus breaking the declarative description possible in the original presentation language. Furthermore, the scripting/coding approach does not lend itself to authoring by non-programmers. In this paper we describe a set of XML language extensions that bring tools from the functional programming world to web authors, extending the power of declarative modeling for the web. The extensions are described in the context of SMIL Animation and SVG, but could be applied to many XML-based languages.

Fundamenta Informaticae, 2016

We discuss three well-known languages for querying and manipulating XML documents: XQuery, XPath and XSLT. They are considered to be the standard languages for processing XML documents. However, specifying their complete semantics in a formal way seems almost impossible. Indeed, an attempt by the W3C XML Query Working Group to do so for XQuery was ultimately abandoned. We introduce three sublanguages, called MiXPath, MiXQuery and MiXSLT, and describe their syntax and formal semantics. The syntax and semantics of these languages are chosen such that they are consistent with the ones given in the related W3C recommendations. As such this provides a practical foundation for research and teaching of XML languages. For this purpose the sublanguages are chosen such that they contain the most crucial features, constructs and expressions of each of these three languages.

The Extensible Markup Language (XML) is a subset of SGML that is completely described in this document. Its goal is to enable generic SGML to be served, received, and processed on the Web in the way that is now possible with HTML. XML has been designed for ease of implementation and for interoperability with both SGML and HTML.

2000

2007

We propose a new conceptual model for XML data called XSEM as a combination of several approaches in the area of the conceptual modeling for XML. The model divides the conceptual modeling process of XML data to two levels. On the first level, a designer designs an overall non-hierarchical conceptual schema of a domain. On the second level, he or she derives different hierarchical representations of parts of the overall conceptual schema using transformation operators. These hierarchical representations describe how ...

Proceedings of the 4th …, 2002

We discuss the design of a quasi-statically typed language for XML in which data may be associated with different structures and different algebras in different scopes, whilst preserving identity. In declarative scopes, data are trees and may be queried with the full flexibility associated with XML query algebras. In procedural scopes, data have more conventional structures, such as records and sets, and can be manipulated with the constructs normally found in mainstream languages.

Foundations of Java for ABAP Programmers

The Extensible Markup Language (XML) is a subset of SGML that is completely described in this document. Its goal is to enable generic SGML to be served, received, and processed on the Web in the way that is now possible with HTML. XML has been designed for ease of implementation and for interoperability with both SGML and HTML. Status of this Document This section describes the status of this document at the time of its publication. Other documents may supersede this document. A list of current W3C publications and the latest revision of this technical report can be found in the W3C technical reports index at http://www.w3.org/TR/. This document specifies a syntax created by subsetting an existing, widely used international text processing standard (Standard Generalized Markup Language, ISO 8879:1986(E) as amended and corrected) for use on the World Wide Web. It is a product of the XML Core Working Group as part of the XML Activity. On 29 September 2006 this document was edited in place to remove a number of spurious and potentially misleading spaces.

XML Prague 2009, 2009

This paper provides a formal specification in Z of a conceptual model for an XML document called Graph-Document Type Definition (G-DTD). This model has been used for describing XML documents at the schema level and also assists the user to arrange the content of XML documents. More importantly G-DTD can be used as a tool to simplify the XML document design in a simple and precise way. The specification presented here provides a formal account of the state and operation of this model and a sound basis for instantiations of the model to be built.

2008

This paper outlines an approach to XML-based software development. According to this method, applications are described using domain specific, XML based, markup languages. With these languages we structure a set of XML documents that are subsequently processed to yield the executable application. The approach also makes an explicit distinction between contents documents and documents describing other application aspects (e.g. interaction, presentation and process). Using a software process model based on markup languages and documents we obtain some benefits such as an important code reuse and a significant maintenance improvement. This paper describes our experiences applying this approach in the hypermedia domain and in the development of an application framework for supporting a broader range of information-based applications.