<?xml version="1.0" encoding="utf-8"?>
<!-- 
/*******************************************************************************
 * Copyright (c) 2007 IBM Corporation.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *     IBM Corporation - initial API and implementation
 *******************************************************************************/
 
 -->
<model xmlns="http://www.w3.org/2008/09/sml-if" schemaComplete="true">
  <identity>
    <name>InvalidSchemeDerefUsed</name>
    <baseURI>
		http://interop.serviceml.org
	</baseURI>
    <description>
		A model is invalid if an smlxpath1 scheme contains a deref() 
    	in the evaluator.           
    </description>
  </identity>
  <definitions>
    <document>
      <data> 
      <xs:schema targetNamespace="urn:university"
                elementFormDefault="qualified"
                xmlns:tns="urn:university"
                xmlns:xs="http://www.w3.org/2001/XMLSchema"
                xmlns:sml="http://www.w3.org/2008/09/sml">

        <xs:element name="EnrolledCourse"/>
        <xs:element name="Student" type="tns:StudentType"/>
        <xs:element name="Course"/>
        <xs:element name="Courses">
          <xs:complexType>
            <xs:sequence>
              <xs:element name="Course" type="tns:CourseType" 
                          minOccurs="0" maxOccurs="unbounded"/>
            </xs:sequence>
          </xs:complexType>
        </xs:element>
        
        <xs:complexType name="CourseType">
          <xs:sequence>
            <xs:element name="Name" type="xs:string"/>
          </xs:sequence>
        </xs:complexType>

        <xs:complexType name="StudentType">
          <xs:sequence>
            <xs:element name="ID" type="xs:string"/>
            <xs:element name="EnrolledCourses" minOccurs="0">
              <xs:complexType>
                <xs:sequence>
                  <xs:element ref="tns:EnrolledCourse" 
                              maxOccurs="unbounded"/>
                </xs:sequence>
              </xs:complexType>
            </xs:element>
          </xs:sequence>
        </xs:complexType>
      </xs:schema>
      </data>
    </document>
  </definitions>
  <instances>
    <document>
      <data> 
        <Student xmlns="urn:university"
                 xmlns:sml="http://www.w3.org/2008/09/sml">
          <ID>1001</ID>
          <EnrolledCourses>
            <EnrolledCourse sml:ref="true" xmlns:u="urn:university">
            <!-- errror; deref should not be used in an smlxpath1 expression -->
              <sml:uri>
                Universities/Harvard/Courses.xml#smlxpath1(deref(/u:Courses/u:Course))
              </sml:uri>
              
            </EnrolledCourse>
          </EnrolledCourses>
        </Student>
      </data>
    </document>
    <document>
      <docinfo>
        <aliases>
          <alias>Universities/Harvard/Courses.xml</alias>
        </aliases>
      </docinfo>
      <data>
        <Courses  xmlns="urn:university"
                  xmlns:sml="http://www.w3.org/2008/09/sml">
          <Course>          
            <Name>Physics101</Name>
          </Course>
        </Courses>
      </data>
    </document>
  </instances>
</model>