More Web Proxy on the site http://driver.im/

Article

Dual syntax for XML languages

Authors:

Claus Brabrand,

Anders Møller,

Michael I. SchwartzbachAuthors Info & Claims

DBPL'05: Proceedings of the 10th international conference on Database Programming Languages

Pages 27 - 41

https://doi.org/10.1007/11601524_2

Published: 28 August 2005 Publication History

Abstract

XML is successful as a machine processable data interchange format, but it is often too verbose for human use. For this reason, many XML languages permit an alternative more legible non-XML syntax. XSLT stylesheets are often used to convert from the XML syntax to the alternative syntax; however, such transformations are not reversible since no general tool exists to automatically parse the alternative syntax back into XML.

We present XSugar, which makes it possible to manage dual syntax for XML languages. An XSugar specification is built around a context-free grammar that unifies the two syntaxes of a language. Given such a specification, the XSugar tool can translate from alternative syntax to XML and vice versa. Moreover, the tool statically checks that the transformations are reversible and that all XML documents generated from the alternative syntax are valid according to a given XML schema.

References

[1]

Sergei Abramov and Robert Glück. Principles of inverse computation and the universal resolving algorithm. In The essence of computation: complexity, analysis, transformation, pages 269-295. Springer-Verlag, 2002.

[2]

Nitesh Ambastha and Tahir Hashmi. Xqueeze, 2005. http://xqueeze.source-forge.net/.

[3]

John Boyer. Canonical XML Version 1.0, March 2001. W3C Recommendation. http://www.w3.org/TR/xml-c14n.

[4]

Claus Brabrand and Anders Møller. Analyzing ambiguity of context-free grammars, 2005. In preparation.

[5]

Claus Brabrand, Anders Møller, and Michael I. Schwartzbach. Static validation of dynamically generated HTML. In Proc. ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE '01, pages 221-231, June 2001.

[6]

Aske Simon Christensen, Anders Møller, and Michael I. Schwartzbach. Extending Java for high-level Web service construction. ACM Transactions on Programming Languages and Systems, 25(6):814-875, November 2003.

[7]

James Clark. RELAX NG compact syntax, November 2002. OASIS. http://relaxng.org/compact.html.

[8]

James Clark and Makoto Murata. RELAX NG specification, December 2001. OASIS. http://www.oasis-open.org/committees/relax-ng/.

[9]

Clear Methods, Inc. ConciseXML, 2005. http://www.concisexml.org/.

[10]

Kathleen Fisher et al. PADS: Processing Arbitrary Data Streams, 2005. http://www.padsproj.org/.

[11]

Vidar Bronken Gundersen and Zeger W. Hendrikse. BibTeXML, 2005. http://bibtexml.sourceforge.net/.

[12]

Christian Kirkegaard, Anders Møller, and Michael I. Schwartzbach. Static analysis of XML transformations in Java. IEEE Transactions on Software Engineering, 30(3):181-192, March 2004.

[13]

Sean McGrath. XML processing with Python. Prentice Hall, 2000.

[14]

Anders Møller. Document Structure Description 2.0, December 2002. BRICS, Department of Computer Science, University of Aarhus, Notes Series NS-02-7. Available from http://www.brics.dk/DSD/.

[15]

Shin-Cheng Mu, Zhenjiang Hu, and Masato Takeichi. Bidirectionalising HaXML, 2005.

[16]

Daniel Parker. Presenting XML, 2005. http://presentingxml.sourceforge.net/.

[17]

Unidex Inc. XFlat, 2005. http://www.unidex.com/xflat.htm.

Cited By

Tan GMorrisett G(2018)Bidirectional Grammars for Machine-Code Decoding and EncodingJournal of Automated Reasoning10.1007/s10817-017-9429-160:3(257-277)Online publication date: 1-Mar-2018
https://dl.acm.org/doi/10.1007/s10817-017-9429-1
Kuraj IKuncak VJackson D(2015)Programming with enumerable sets of structuresACM SIGPLAN Notices10.1145/2858965.281432350:10(37-56)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2858965.2814323
Kuraj IKuncak VJackson DAldrich JEugster P(2015)Programming with enumerable sets of structuresProceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications10.1145/2814270.2814323(37-56)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2814270.2814323
Show More Cited By

Dual syntax for XML languages
1. Applied computing
  1. Document management and text processing
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

Dual syntax for XML languages

XML is successful as a machine processable data interchange format, but it is often too verbose for human use. For this reason, many XML languages permit an alternative more legible non-XML syntax. XSLT stylesheets are often used to convert from the XML ...
XML: Visual QuickStart Guide
XML Syntax Conscious Compression
DCC '06: Proceedings of the Data Compression Conference

XML is the standard format of content representation and sharing on theWeb. XML is a highly verbose language, especially regarding the duplication of meta-data in the form of elements and attributes. As XML content is becoming more widespread so is the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

DBPL'05: Proceedings of the 10th international conference on Database Programming Languages

August 2005

295 pages

ISBN:3540309519

Editors:
Gavin Bierman
Microsoft Research Cambridge
,
Christoph Koch
Saarland University, Saarbrücken, Germany

Sponsors

Microsoft Research: Microsoft Research

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 28 August 2005

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Tan GMorrisett G(2018)Bidirectional Grammars for Machine-Code Decoding and EncodingJournal of Automated Reasoning10.1007/s10817-017-9429-160:3(257-277)Online publication date: 1-Mar-2018
https://dl.acm.org/doi/10.1007/s10817-017-9429-1
Kuraj IKuncak VJackson D(2015)Programming with enumerable sets of structuresACM SIGPLAN Notices10.1145/2858965.281432350:10(37-56)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2858965.2814323
Kuraj IKuncak VJackson DAldrich JEugster P(2015)Programming with enumerable sets of structuresProceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications10.1145/2814270.2814323(37-56)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2814270.2814323
Pierce BLenzerini MBenedikt M(2012)Linguistic foundations for bidirectional transformationsProceedings of the 31st ACM SIGMOD-SIGACT-SIGAI symposium on Principles of Database Systems10.1145/2213556.2213568(61-64)Online publication date: 21-May-2012
https://dl.acm.org/doi/10.1145/2213556.2213568
Fisher KMandelbaum YWalker D(2010)The next 700 data description languagesJournal of the ACM10.1145/1667053.166705957:2(1-51)Online publication date: 8-Feb-2010
https://dl.acm.org/doi/10.1145/1667053.1667059
Foster JPilkiewicz APierce BHook JThiemann P(2008)Quotient lensesProceedings of the 13th ACM SIGPLAN international conference on Functional programming10.1145/1411204.1411257(383-396)Online publication date: 20-Sep-2008
https://dl.acm.org/doi/10.1145/1411204.1411257
Foster JPilkiewicz APierce B(2008)Quotient lensesACM SIGPLAN Notices10.1145/1411203.141125743:9(383-396)Online publication date: 20-Sep-2008
https://dl.acm.org/doi/10.1145/1411203.1411257
Pierce B(2007)Adventures in bidirectional programmingProceedings of the 27th international conference on Foundations of software technology and theoretical computer science10.5555/1781794.1781798(21-22)Online publication date: 12-Dec-2007
https://dl.acm.org/doi/10.5555/1781794.1781798
Brabrand CGiegerich RMøller A(2007)Analyzing ambiguity of context-free grammarsProceedings of the 12th international conference on Implementation and application of automata10.5555/1775283.1775306(214-225)Online publication date: 16-Jul-2007
https://dl.acm.org/doi/10.5555/1775283.1775306
Ennals RGay D(2007)Multi-language synchronizationProceedings of the 16th European Symposium on Programming10.5555/1762174.1762217(475-489)Online publication date: 24-Mar-2007
https://dl.acm.org/doi/10.5555/1762174.1762217
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents