skip to main content
10.1145/1284420.1284474acmconferencesArticle/Chapter ViewAbstractPublication PagesdocengConference Proceedingsconference-collections
Article

Combination of transformation and schema languages described by a complete formal semantics

Published: 28 August 2007 Publication History

Abstract

XML and its associated languages, namely DTD, XML Schema and XSLT, have tremendous importance for lots of applications even if their semantics is often hard to understand and incomplete. In this paper, we concentrate on transformation languages and propose a new one in XML syntax and focusing on strong specifications. Since our language is completely defined by formal semantics, conceptual drawbacks have been avoided and complexity has been reduced. Thus, static type checking could easily be provided. Finally, we combine our transformation language with our own schema language in order to perform static typing.

References

[1]
Benzaken, V. et al. "CDuce: An XML Centric General-Purpose Language", ACM Int. Conf. on Func. Prog, 2003.
[2]
Bray, T. et al. "Extensible Markup Language (XML) 1.0", 2004. http://www.w3.org/TR/REC-xml
[3]
Bray, T. et al. "Namespaces in XML", 1999. http://www.w3.org/TR/REC-xmlnames
[4]
Clark, J., Murata, M. "RelaxNG Specification", 2001. http://www.relaxng.org/spec-20011203.html
[5]
Clark, J., "XSL Transformation Version 1.0", 1999. http://www.w3.org/TR/xslt
[6]
Fallside, D.C., Walmsley, P. "XML Schema Part 0: Primer", 2004. http://www.w3.org/TR/xmlschema-0
[7]
Gapeyev, V. et al. "The Xtatic experience", in Workshop on Prog. Language Technologies for XML (PLAN-X), 2005.
[8]
Hopcroft, J.E., Ullman, J.D. "Introduction To Automata Theory, Languages, And Computation", Addison-Wesley Longman Publishing Co., 1979.
[9]
Hosoya, H. et al. "Regular expression types for XML". In proc. of the Int. Conf. on Funct Prog (ICFP), 11--22, 2000.
[10]
Hosoya, H., Pierce, B.C. "XDuce: A statically typed XML processing language", ACM Trans. on Internet Tech., 2003.
[11]
Kay, M. "XSL Transformation Version 2.0", 2007. http://www.w3.org/TR/xslt20
[12]
Kirkegaard, C., Moeller, A. "Type Checking with XML Schema in XACT", Plan-X, 2006.
[13]
Krishnamurthi, S. et al. "Transformation-by-example for XML", Symp. on the Practical Aspects of Declarative Languages, 2000.
[14]
Meijer, E., Shields, M. "XMLambda: A functional programming language for constructing and manipulating XML documents", 2000. http://www.cse.ogi.edu/~mbs
[15]
Meyer, B. "Introduction to the Theory of Programming Languages", Prentice Hall, 1990.
[16]
Murata, M. et al. "Taxonomy of XML schema languages using formal language theory". ACM Trans. Internet Tech. 5, 4, 1--45, 2005.
[17]
Pugin, C., Ingold, R. "YML: une version épurée de XML pour faciliter une spécification rigoureuse des modèles de documents et des transformations" In proc. of CIDE 9, 59--76, 2006.
[18]
Pugin, C. "Implémentation d'un parseur validant pour YML/DML". Master Thesis, University of Fribourg, 2005.
[19]
Tennent, R. D. "The Denotational Semantics of Programming Languages", Comm. of the ACM, vol. 19, n.8, 437--453, 1976.
[20]
Tozawa, A. "Towards static type checking for XSLT". In proc. of ACM Symposium on Document Engineering, 2001.
[21]
Wadler, P. "A formal semantics of patterns in XSLT", Revised version in Markup Languages, MIT Press, 2001.
[22]
DGL Project Homepage, http://diuf.unifr.ch/diva/dgl

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
DocEng '07: Proceedings of the 2007 ACM symposium on Document engineering
August 2007
236 pages
ISBN:9781595937766
DOI:10.1145/1284420
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 August 2007

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. XML
  2. integration
  3. schema
  4. static type checking
  5. transformation

Qualifiers

  • Article

Conference

DocEng07
Sponsor:
DocEng07: ACM Symposium on Document Engineering
August 28 - 31, 2007
Manitoba, Winnipeg, Canada

Acceptance Rates

Overall Acceptance Rate 194 of 564 submissions, 34%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 14 Feb 2025

Other Metrics

Citations

Cited By

View all

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media