Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ahn, U., George, C.: C++ Translator for RAISE Specification Language. Technical Report 220, UNU/IIST (2000)
Brownell, D.: SAX2. O’Reilly, Sebastopol (2002)
Clark, J., DeRose, S. (eds.): XML Path Language (XPath), W3C Recommendation (1999), http://www.w3.org/TR/xpath
Clark, J. (ed.): XSL Transformations (XSLT), W3C Recommendation (1999), http://www.w3.org/TR/xslt
Hors, A.L., et al. (eds.): Document Object Model (DOM) Level 2 Core Specification, W3C Recommendation (2000), http://www.w3.org/TR/DOM-Level-2-Core
Thompson, H.S., et al. (eds.): XML Scheme Part 1 (Structures), W3C Recommendation (2001), http://www.w3.org/TR/xmlschema-1/
Bray, T., et al. (eds.): Extensible Markup Language (XML) 1.0, W3C Recommendation (2000), http://www.w3.org/TR/REC-xml
The Apache Software Foundation. Xalan Java 2.3.1., http://xml.apache.org/xalan-j
The Apache Software Foundation. Xerces Java Parser 2.0.0., http://xml.apache.org/xerces2-j
The RAISE Language Group. The RAISE Specification Language. Prentice Hall (1992)
Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. ACM SIGPLAN Notices 35(9), 11–22 (2000)
Hosoya, H., Pierce, B.C.: XDuce: A Typed XML Processing Language. In: Int’l Workshop on the Web and Databases (WebDB), Dallas, TX (2000)
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)
Murata, M., Lee, D., Mani, M.: Taxonomy of XML Schema Languages using Formal Language Theory. In: Extreme Markup Languages, Montreal, Canada (2001)
Visa International. General XML Invoice (2000), http://international.visa.com
Wadler, P.: A Formal Model of Pattern Matching in XSL (1999), citeseer.nj.nec.com
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Janowski, T. (2003). X2Rel: An XML Relation Language with Formal Semantics. In: Aichernig, B.K., Maibaum, T. (eds) Formal Methods at the Crossroads. From Panacea to Foundational Support. Lecture Notes in Computer Science, vol 2757. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40007-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-40007-3_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20527-2
Online ISBN: 978-3-540-40007-3
eBook Packages: Springer Book Archive