<?xml version="1.0" encoding="utf-8"?>
<!--
/*******************************************************************************
 * Copyright (c) 2008 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>InvalidDuplicateConstraintName1</name>
    <baseURI>
		http://interop.serviceml.org
	</baseURI>
    <description>
    	A model is invalid if two constraint names under the same element have
    	the same name   
    </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"
          xmlns:smlfn=
                "http://www.w3.org/2008/09/sml-function">

          <xs:element name="EnrolledStudent"/>
          <xs:element name="Student" type="tns:StudentType"/>
                      
          <xs:element name="University" type="tns:UniversityType">
            <xs:annotation>
              <xs:appinfo>
                <sml:key name="StudentConstraint">
                  <sml:selector xpath=
                  "smlfn:deref(tns:EnrolledStudents/tns:EnrolledStudent)"/>
                  <sml:field xpath="tns:ID"/>
                </sml:key>
              
				<!-- Error;  name conflict. StudentConstraint name already used on another constraint --> 
				<!-- defined on the same element -->                
                <sml:key name="tns:StudentConstraint">
					<sml:selector xpath="smlfn:deref(tns:EnrolledStudents/tns:EnrolledStudent)"/>
                  	<sml:field xpath="tns:ID"/>
				</sml:key>
                
              </xs:appinfo>
            </xs:annotation>
          </xs:element>          

          <xs:complexType name="StudentType">
            <xs:sequence>
              <xs:element name="ID" type="xs:string"/>
              <xs:element name="Name" type="xs:string"/>
            </xs:sequence>
            <xs:attribute name="SSN" type="xs:string" 
                          use="optional"/>
          </xs:complexType>

          <xs:complexType name="UniversityType">
            <xs:sequence>
              <xs:element name="Name" type="xs:string"/>
              <xs:element name="EnrolledStudents" minOccurs="0">
                <xs:complexType>
                  <xs:sequence>
                    <xs:element ref="tns:EnrolledStudent" 
                                maxOccurs="unbounded"/>
                  </xs:sequence>
                </xs:complexType>
              </xs:element>
            </xs:sequence>
          </xs:complexType>
        </xs:schema>
      </data>
    </document>
  </definitions>
</model>