Formalising the Proximate Semantics of XML Languages with UML, OWL and GRDDL

Henry S. Thompson
ICCS/HCRC
School of Informatics
University of Edinburgh
 
Markup Technology Ltd.
 
17 May 2007
 
See the full paper from the proceedings for more detail, illustrations and links to all the stylesheets mentioned below.

1. Acknowledgements

2. Defining XML languages

3. Drawing abstract data models

4. Using OWL to represent data models

5. Converting from micro-UML to OWL

6. Checking data models

7. GRDDL as abstract data binding

8. XSLT design pattern for abstract data binding

9. Conclusions: Towards executable specifications?

10. Conclusions: Document type design issues