X2Rel: An XML Relation Language with Formal Semantics

  • Tomasz Janowski
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2757)


X2Rel is a new language to express binary relations between XML documents. A wide range of relations can be expressed: between different versions of the same document, between an instance and a schema document, between documents before and after a transformation, and others. The syntax of X2Rel is given in XML and its semantics is defined formally. The language relies on the well-established XML technologies of XML Schema and XSL Transformations. The paper presents the ongoing development of the language.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ahn, U., George, C.: C++ Translator for RAISE Specification Language. Technical Report 220, UNU/IIST (2000)Google Scholar
  2. 2.
    Brownell, D.: SAX2. O’Reilly, Sebastopol (2002)Google Scholar
  3. 3.
    Clark, J., DeRose, S. (eds.): XML Path Language (XPath), W3C Recommendation (1999),
  4. 4.
    Clark, J. (ed.): XSL Transformations (XSLT), W3C Recommendation (1999),
  5. 5.
    Hors, A.L., et al. (eds.): Document Object Model (DOM) Level 2 Core Specification, W3C Recommendation (2000),
  6. 6.
    Thompson, H.S., et al. (eds.): XML Scheme Part 1 (Structures), W3C Recommendation (2001),
  7. 7.
    Bray, T., et al. (eds.): Extensible Markup Language (XML) 1.0, W3C Recommendation (2000),
  8. 8.
    The Apache Software Foundation. Xalan Java 2.3.1.,
  9. 9.
    The Apache Software Foundation. Xerces Java Parser 2.0.0.,
  10. 10.
    The RAISE Language Group. The RAISE Specification Language. Prentice Hall (1992)Google Scholar
  11. 11.
    Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. ACM SIGPLAN Notices 35(9), 11–22 (2000)CrossRefGoogle Scholar
  12. 12.
    Hosoya, H., Pierce, B.C.: XDuce: A Typed XML Processing Language. In: Int’l Workshop on the Web and Databases (WebDB), Dallas, TX (2000)Google Scholar
  13. 13.
    Klarlund, N., Moller, A., Schwatzbach, M.I.: DSD: A Schema Language for XML. In: ACM SIGSOFT Workshop on Formal Methods in Software Practice, Portland, OR (2000)Google Scholar
  14. 14.
    Murata, M., Lee, D., Mani, M.: Taxonomy of XML Schema Languages using Formal Language Theory. In: Extreme Markup Languages, Montreal, Canada (2001)Google Scholar
  15. 15.
    Visa International. General XML Invoice (2000),
  16. 16.
    Wadler, P.: A Formal Model of Pattern Matching in XSL (1999),

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Tomasz Janowski
    • 1
  1. 1.The United Nations University International Institute for Software TechnologyMacau

Personalised recommendations