Contents

• 1. Introduction
• 2. Foundations and State-of-the-Art
  • 2.1 XML Query Languages
    • 2.1.1 Overview of proposals
    • 2.1.2 Requirements
  • 2.2 XML Metadata Interchange (XMI)
  
  
• 3. Type Information Component for OCL
  • 3.1 Analysis
    • 3.1.1 Interface
    • 3.1.2 Example
    • 3.1.3 Dissolving Associations
    • 3.1.4 Attribute Ambiguities
    • 3.1.5 Operation Matching Ambiguities
  • 3.2 Design
    • 3.2.1 Type Information Component
    • 3.2.2 XMI Parser
  • 3.3 Implementation
    • 3.3.1 Requirements
    • 3.3.2 Operations with Side Effects
  • 3.4 Tests
    • 3.4.1 Tests Using the Royloy Example Model
    • 3.4.2 Stress Test for the Type Information Component.
  
  
• 4. Resulting Requirements
  • 4.1 Order of Instance Nodes
  • 4.2 Transitive Closure
  • 4.3 Summary
  
  
• 5. Evaluation of XSLT
  • 5.1 Adapting XSLT to Java
  • 5.2 Order of Instance Nodes
    • 5.2.1 Parameter Polymorphism.
  • 5.3 Transitive Closure
    • 5.3.1 Algorithm
    • 5.3.2 Implementation
    • 5.3.3 Test
  
  
• 6. Summary
• A. Selected XSLT Scripts
  • A.1 navigateParameterized.xsl
  • A.2 navigateParameterized.xsl.result
  • A.3 conformsTo.xsl
  • A.4 conformsTo.xsl.result
  
  
• List of Figures
• Bibliography