20 search results - page 1 / 4 » The Design Space of Type Checkers for XML Transformation Lan... |
ICDT
2005
ACM
13 years 10 months ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
WWW
2006
ACM
14 years 5 months ago
2006
ACM
We present a paradigm for uniting the diverse strands of XML-based Web technologies by allowing them to be incorporated within a single document. This overcomes the distinction be...
DOCENG
2004
ACM
13 years 10 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
FASE
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
BXML
2003
13 years 6 months ago
2003
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...