Testing of Semantic Properties in XML Documents

Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche

Abstract

XML is a markup language with a clear hierarchical structure. Validating an XML document against a schema document is an important part in the work flow incorporating XML documents. Most approaches use grammar based schema languages. Grammar based schemas are well suited for the syntax definition of an XML document, but come to their limits when semantic properties are to be defined. This paper presents a rule based, first order schema language, complementary to grammar based schema languages, demonstrating its strength in defining semantic properties for an XML document.

References

  1. Clixml specification. Technical report, Systemwire.com, http://www.clixml.org/spec.html, 2003.
  2. Jon Bosak, Tim Bray, Dan Connolly, Eve Maler, Gavin Nicol, C. Michael SperbergMcQueen, Lauren Wood, and James Clark. Guide to the w3c xml specification (xmlspec) dtd, version 2.1. Technical report, W3C, http://www.w3.org/XML/1998/06/xmlspec-report.
  3. James Clark and Steve DeRose. Xml path language (xpath). Technical report, W3C, http://www.w3.org/TR/xpath, 1999.
  4. Elliotte Rusty Harold and W. Scott Means. XML in a Nutshell. O'Reilly, Sebastopol, 3rd edition, 2004.
  5. Rick Jelliffe. An xml structure validation language using patterns in trees. Technical report, Academia Sinica Computing Centre, http://xml.ascc.net/resource/schematron, 2005.
  6. Dominik Jungo. The role of simulation in a network configuration engineering approach. In ICICT 2004, Multimedia Services and Underlying Network Infrastructure, Cairo, Egypt, 2004. Information Technology Institute.
  7. Dominik Jungo. Open clixml. Technical report, University of Fribourg, http://clixml.sourceforge.net/, 2005.
  8. Dominik Jungo, David Buchmann, and Ulrich Ultes-Nitsche. A unit testing framework for network configurations. In Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2005), Miami, Florida, USA, 2005. INSTICC Press.
  9. Liam Quin et al. Extensible markup language (xml). Technical report, W3C, http://www.w3.org/XML/, 1996-2003.
  10. Martin Roberts. jcam. Technical report, CAM, http://jcam.org.uk/, 2006.
  11. OASIS CAM TC. Oasis content assembly mechanism (cam) tc. Technical report, OASIS, http://www.oasis-open.org/committees/tc home.php?wg abbrev=cam, 2004.
  12. Henry S. Thompson, David Beech, Murray Maloney, and Noah Mendelsohn. Xml schema. Technical report, W3C, http://www.w3.org/TR/xmlschema-1/, 2004.
  13. Ulrich Ultes-Nitsche, Dominik Jungo, and David Buchmann. Verified network configuration. Technical report, University of Fribourg, http://diuf.unifr.ch/tns/projects/verinec/, 2004-2005.
  14. Eric van der Vlist. XML Schema. O'Reilly Media, Inc., 2002.
  15. Eric van der Vlist. RELAX NG. O'Reilly Media, Inc., 2003.
Download


Paper Citation


in Harvard Style

Jungo D., Buchmann D. and Ultes-Nitsche U. (2006). Testing of Semantic Properties in XML Documents . In Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006) ISBN 978-972-8865-49-8, pages 38-46. DOI: 10.5220/0002484500380046


in Bibtex Style

@conference{msvveis06,
author={Dominik Jungo and David Buchmann and Ulrich Ultes-Nitsche},
title={Testing of Semantic Properties in XML Documents},
booktitle={Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)},
year={2006},
pages={38-46},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002484500380046},
isbn={978-972-8865-49-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)
TI - Testing of Semantic Properties in XML Documents
SN - 978-972-8865-49-8
AU - Jungo D.
AU - Buchmann D.
AU - Ultes-Nitsche U.
PY - 2006
SP - 38
EP - 46
DO - 10.5220/0002484500380046