DSD: A schema language for XML

Authors:
Nils Klarlund;Anders Møller;Michael I. Schwartzbach
Affiliations:
AT&T Labs-Research;BRICS, University of Aarhus;BRICS, University of Aarhus
Venue:
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Year:
2000

Citing 2
Cited 11

The Unicode standard, version 2.0

The Unicode standard, version 2.0
An Introduction to the Synchronized Multimedia Integration Language

IEEE MultiMedia

The DSD Schema Language

Automated Software Engineering
Subsumption for XML types

ICDT '01 Proceedings of the 8th International Conference on Database Theory
Mapping Referential Integrity Constraints from Relational Databases to XML

WAIM '01 Proceedings of the Second International Conference on Advances in Web-Age Information Management
XDuce: A statically typed XML processing language

ACM Transactions on Internet Technology (TOIT)
Regular expression pattern matching for XML

Journal of Functional Programming
Automating XML documents transformations: a conceptual modelling based approach

APCCM '04 Proceedings of the first Asian-Pacific conference on Conceptual modelling - Volume 31
Schemapath, a minimal extension to xml schema for conditional constraints

Proceedings of the 13th international conference on World Wide Web
Binary queries for document trees

Nordic Journal of Computing
Taxonomy of XML schema languages using formal language theory

ACM Transactions on Internet Technology (TOIT)
Fill the Gap in the Legal Knowledge Modelling

RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
How to accelerate the process of designing domain ontologies based on XML schemas

International Journal of Metadata, Semantics and Ontologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the application of formal methods such as specification of abstract syntax tree sets and tree transformations.A notation for defining a set of XML trees is called a schema language. Such trees correspond to a specific user domain, such as XHTML, the class of XML documents that make sense as HTML.A useful schema notation must: identify most of the syntactic requirements that the documents in the user domain follow; allow efficient parsing; be readable to the user; allow limited tree transformations corresponding to the insertion of defaults; be modular and extensible to support evolving classes of XML documents.parIn the present paper, we introduce the DSD (Document Structure Description) notation as our bid on how to meet the requirements above.