Testing of semantic properties in XML documents

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006

Volumn , Issue , 2006, Pages 38-46

  Jungo, Dominik ^a   Buchmann, David ^a   Ultes Nitsche, Ulrich ^a  

^a UNIVERSITY OF FRIBOURG   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

FIRST ORDER; HIERARCHICAL STRUCTURES; RULE BASED; SCHEMA LANGUAGE; SEMANTIC PROPERTIES; SYNTAX DEFINITION; WORK-FLOWS;

HYPERTEXT SYSTEMS; INFORMATION SYSTEMS; SEMANTICS;

XML;

EID: 84880283513     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

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 Sperberg-McQueen, 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/tchome.php?wgabbrev=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.