<?xml version="1.0" encoding="utf-8"?>
<!-- Copyright (c) 2006 by BEA, BMC, CA, Cisco, Dell, EMC, HP, IBM, Intel, Microsoft, and Sun.  All rights reserved. -->
<!-- Permission to copy, display, and distribute this Service Modeling Language Interop Workshop (SML-IF) XML Document, testing dereferencing a node set of reference elements and returning a node set of their targets, in any medium without fee or royalty is hereby granted, provided that you include the following on ALL copies of the SML-IF XML Document, or portions thereof, that you make:
 
1. A link or URL to the SML-IF XML Document at this location: 
http://schemas.serviceml.org/smlif/deref/2006/10/Multiple.xml

2. The copyright notice as shown in the SML-IF XML Document.

BEA, BMC, CA, Cisco, Dell, EMC, HP, IBM, Intel, Microsoft, and Sun (collectively, the “Authors᾿) each agree to grant you a royalty-free license, under reasonable, non-discriminatory terms and conditions to their respective patents that they deem necessary to implement the Service Modeling Language Interop Workshop XML Document testing dereferencing a node set of reference elements and returning a node set of their targets.

THE SML-IF XML DOCUMENT IS PROVIDED "AS IS," AND THE AUTHORS MAKE NO REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, NON-INFRINGEMENT, OR TITLE; THAT THE CONTENTS OF THE SML-IF XML DOCUMENT ARE SUITABLE FOR ANY PURPOSE; NOR THAT THE IMPLEMENTATION OF SUCH CONTENTS WILL NOT INFRINGE ANY THIRD PARTY PATENTS, COPYRIGHTS, TRADEMARKS OR OTHER RIGHTS.
THE AUTHORS WILL NOT BE LIABLE FOR ANY DIRECT, INDIRECT, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF OR RELATING TO ANY USE OR DISTRIBUTION OF THE SML-IF XML DOCUMENT.

The name and trademarks of the Authors may NOT be used in any manner, including advertising or publicity pertaining to the SML-IF XML Document or its contents without specific, written prior permission. Title to copyright in the SML-IF XML Document will at all times remain with the Authors. -->
<model xmlns="http://www.w3.org/2008/09/sml-if" schemaComplete="true">
  <identity>
    <name>MultipleDeref</name>
    <baseURI>
		http://interop.serviceml.org
	</baseURI>
    <description>
      Verify that deref() can accept a node set of reference elements, 
      i.e., elements for which sml:ref=᾿true᾿, and return a node set that 
      is union of the element nodes targeted by references in the node set 
      such that the reference targets exactly one element in the model. 
      The returned node set must not contain any nodes for references 
      that do not target an element in the model.
    </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>
              <sch:schema xmlns:sch="http://purl.oclc.org/dsdl/schematron">
                <sch:ns prefix="smlfn" uri="http://www.w3.org/2008/09/sml-function"/>
                <sch:ns prefix="tns" uri="urn:university"/>
                <sch:pattern id="countTest">
                  <sch:rule context=".">
                    <sch:assert test="count(smlfn:deref(tns:EnrolledStudents/tns:EnrolledStudent))=4"/>
                  </sch:rule>
                </sch:pattern>
              </sch:schema>
            </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>
  <instances>
    <document>
      <docinfo>
        <aliases>
          <alias>Student1</alias>
        </aliases>
      </docinfo>
      <data>
        <Student xmlns="urn:university"
                 SSN="123-22-4444">
          <ID>1000</ID>
          <Name>John</Name>
        </Student>
      </data>
    </document>
    <document>
      <docinfo> 
      <aliases>
        <alias>Student2</alias>
      </aliases>
      </docinfo>
      <data>
        <Student xmlns="urn:university" 
                 SSN="333-22-4444">
          <ID>1001</ID>
          <Name>John</Name>
        </Student>
      </data>
    </document>
    <document>
      <docinfo>
        <aliases>
          <alias>Student3</alias>
        </aliases>
      </docinfo>
      <data>
        <Student xmlns="urn:university">
          <ID>1002</ID>
          <Name>John</Name>
        </Student>
      </data>
    </document>
    <document>
      <docinfo>
        <aliases>
          <alias>Student4</alias>
        </aliases>
      </docinfo>
      <data>
        <Student xmlns="urn:university"
                 SSN="111-22-3333">
          <ID>1004</ID>
          <Name>Ray</Name>
        </Student>
      </data>
    </document>
    <document>
      <data>
        <University xmlns="urn:university"
         xmlns:sml="http://www.w3.org/2008/09/sml">
          <Name>MIT</Name>
          <EnrolledStudents>
            <EnrolledStudent sml:ref="true">
              <sml:uri>Student1</sml:uri>
            </EnrolledStudent>
            <EnrolledStudent sml:ref="true">
              <sml:uri>Student2</sml:uri>
            </EnrolledStudent>
            <!-- This reference does not point to
                 any document in the model -->
            <EnrolledStudent sml:ref="true">
              <sml:uri>MissingStudent</sml:uri>
            </EnrolledStudent>
            <EnrolledStudent sml:ref="true">
              <sml:uri>Student3</sml:uri>
            </EnrolledStudent>
            <EnrolledStudent sml:ref="true">
              <sml:uri>Student4</sml:uri>
            </EnrolledStudent>
          </EnrolledStudents>
        </University>
      </data>
    </document>
  </instances>
</model>