<?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>ValidCyclesWithAcyclicReference1</name>
    <baseURI>
		http://interop.serviceml.org
	</baseURI>
    <description>Let R1 and R2 be two reference types with sml:acyclic=᾿true᾿. Then a model is valid if it has inter-document cycles using instances of both R1 and R2</description>	
  </identity>
  <definitions>
    <document>
      <data>
        <xs:schema elementFormDefault="qualified" targetNamespace="urn:university" xmlns:sml="http://www.w3.org/2008/09/sml" xmlns:tns="urn:university" xmlns:xs="http://www.w3.org/2001/XMLSchema">

          <xs:complexType name="OptionalCourseRefType" sml:acyclic="true">
          	<xs:sequence>
				<xs:any maxOccurs="unbounded" minOccurs="0" namespace="##any" processContents="lax"/>
			</xs:sequence>         
          	<xs:anyAttribute namespace="##any" processContents="lax"/>
          </xs:complexType>

          <xs:complexType name="RequiredCourseRefType" sml:acyclic="true">
          	<xs:sequence>
				<xs:any maxOccurs="unbounded" minOccurs="0" namespace="##any" processContents="lax"/>
			</xs:sequence>         
          	<xs:anyAttribute namespace="##any" processContents="lax"/>
          </xs:complexType>

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

          <xs:complexType name="CourseType">
            <xs:sequence>
              <xs:element name="Name" type="xs:string"/>
              <xs:element maxOccurs="unbounded" minOccurs="0" name="OptionalPreRequisite" type="tns:OptionalCourseRefType"/>
              <xs:element maxOccurs="unbounded" minOccurs="0" name="RequiredPreRequisite" type="tns:RequiredCourseRefType"/>
            </xs:sequence>
          </xs:complexType>
        </xs:schema>
      </data>
    </document>
  </definitions>
  <instances>
    <document>
      <docinfo>
        <aliases>
          <alias>Course1</alias>
        </aliases>
      </docinfo>
      <data>
        <Course xmlns="urn:university" xmlns:sml="http://www.w3.org/2008/09/sml">
          <Name>Course1</Name>
          <RequiredPreRequisite sml:ref="true">
            <sml:uri>Course2</sml:uri>
          </RequiredPreRequisite>
        </Course>
      </data>
    </document>
    <document>
      <docinfo>
        <aliases>
          <alias>Course2</alias>
        </aliases>
      </docinfo>
      <data> 
        <Course xmlns="urn:university" xmlns:sml="http://www.w3.org/2008/09/sml">
          <Name>Course2</Name>
          <OptionalPreRequisite sml:ref="true">
            <sml:uri>Course3</sml:uri>
          </OptionalPreRequisite>
        </Course>
      </data>
    </document>
    <document>
      <docinfo>
        <aliases>
          <alias>Course3</alias>
        </aliases>
      </docinfo>
      <data>
        <Course xmlns="urn:university" xmlns:sml="http://www.w3.org/2008/09/sml">
          <Name>Course3</Name>
          <RequiredPreRequisite sml:ref="true">
            <sml:uri>Course1</sml:uri>
          </RequiredPreRequisite>
        </Course>
      </data>
    </document>
  </instances>
</model>