<!-- edited with XML Spy v3.5 NT (http://www.xmlspy.com) by Bradley Schmerl (Carnegie Mellon University) -->
<xsd:schema targetNamespace="http://www.cs.cmu.edu/~acme/pub/xAcme/families.xsd" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:archinstance="http://www.ics.uci.edu/pub/arch/xArch/instance.xsd" xmlns:properties="http://www.cs.cmu.edu/~acme/pub/xAcme/properties.xsd" xmlns="http://www.cs.cmu.edu/~acme/pub/xAcme/families.xsd" elementFormDefault="qualified" attributeFormDefault="qualified">

<xsd:import namespace="http://www.ics.uci.edu/pub/arch/xArch/instance.xsd"
              schemaLocation="http://www.ics.uci.edu/pub/arch/xarch/schemas/instance.xsd"/>

<xsd:import namespace="http://www.cs.cmu.edu/~acme/pub/xAcme/properties.xsd"/>

  <xsd:annotation>
    <xsd:documentation>
      xArch Families Extension Schema 1.0
        Description: Models Acme families

        The type system modeled by this extension serves a
 	significantly different purpose than the type systems typically
	provided by programming languages, and as modeled in the structure
	extension provided by UCI. Programming language type systems
	are generally designed to provide statically-checkable guarantees of
	run-time program behavior (e.g. to insure that a function will not
	accidentally attempt to add a floating point value to an array of
	strings). This type system, on the other hand, provides a form
	of checkable redundancy that assures the design constraints for a
	given type of design vocabulary are satisfied where that vocabulary is
	used. The type system provides a mechanism for ensuring that a
	system's fundamental design constraints are not violated as a
	design evolves over time (e.g. through system maintenance, upgrades,
	etc.).
        Dependencies: Uses archinstance, properties

        Change Log:
          2001-2-16: Bradley Schmerl [schmerl@cs.cmu.edu]:
	     	Initial release
          2001-2-28: Bradley Schmerl [schmerl@cs.cmu.edu]:
	 	Rearranged dependencies so that families
		no longer depends on constraints
          2001-3-5: Bradley Schmerl [schmerl@cs.cmu.edu]:
		Redefined the Family type as an extension to
		properties:archInstance, to allow for default
		structure in families.
	  2001-3-28: Bradley Schmerl [schmerl@cs.cmu.edu]:
		Added property, component, connector and interface
		types declarations to TypedDesign
	2001-7-13: Bradley Schmerl [schmerl@cs.cmu.edu]:
		Corrected typos and validated with XML Spy 3.5
    </xsd:documentation>
  </xsd:annotation>
  <!-- 
    TYPE: ComponentType

    A ComponentType defines the "default" structure that must exist
    in a ComponentInstance for this type to be satisfied. The
    supertype references the types that this ComponentType is a subtype
    of. Thus, this ComponentType may be used in a design wherever one of
    its supertypes is required. The structure defines the "default"
    structure that (extends the supertypes and) instances must
    satisfy.
  -->
  <xsd:complexType name="ComponentType">
    <xsd:sequence>
      <xsd:element name="supertype" type="archinstance:XMLLink" minOccurs="0" maxOccurs="unbounded"/>
      <xsd:element name="structure" type="archinstance:ComponentInstance" minOccurs="0"/>
    </xsd:sequence>
    <xsd:attribute name="id" type="archinstance:Identifier"/>
  </xsd:complexType>
  <!-- 
    TYPE: ConnectorType

    A ConnectorType defines the "default" structure that must exist
    in a ConnectorInstance for this type to be satisfied. The
    supertype references the types that this ConnectorType is a subtype
    of. Thus, this ConnectorType may be used in a design wherever one of
    its supertypes is required. The structure defines the "default"
    structure that (extends the supertypes and) instances must
    satisfy.
  -->
  <xsd:complexType name="ConnectorType">
    <xsd:sequence>
      <xsd:element name="supertypes" type="archinstance:XMLLink" minOccurs="0" maxOccurs="unbounded"/>
      <xsd:element name="structure" type="archinstance:ConnectorInstance" minOccurs="0"/>
    </xsd:sequence>
    <xsd:attribute name="id" type="archinstance:Identifier"/>
  </xsd:complexType>
  <!-- 
    TYPE: InterfaceType

    A InterfaceType defines the "default" structure that must exist
    in a InterfaceInstance for this type to be satisfied. The
    supertype references the types that this InterfaceType is a subtype
    of. Thus, this InterfaceType may be used in a design wherever one of
    its supertypes is required. The structure defines the "default"
    structure that (extends the supertypes and) instances must
    satisfy.
  -->
  <xsd:complexType name="InterfaceType">
    <xsd:sequence>
      <xsd:element name="superType" type="archinstance:XMLLink" minOccurs="0" maxOccurs="unbounded"/>
      <xsd:element name="structure" type="archinstance:InterfaceInstance" minOccurs="0"/>
    </xsd:sequence>
    <xsd:attribute name="id" type="archinstance:Identifier"/>
  </xsd:complexType>
  <!-- 
    TYPE: Family
 
    A Family is a collection of types that defines an architectural
    style. The elements of a Family define a vocabulary that can be used
    in designs. The "superType" elements define the families that this
    family is a subtype of. The family is defined as an extension to an 
    archInstance, but adds a reference to supertypes as well as component, 
    connector, property and interface types.
  -->
  <xsd:complexType name="Family">
    <xsd:complexContent>
      <xsd:extension base="properties:ArchInstance">
        <xsd:sequence>
          <xsd:element name="superType" type="archinstance:XMLLink" minOccurs="0" maxOccurs="unbounded"/>
          <xsd:element name="propertyType" type="properties:PropertyType" minOccurs="0" maxOccurs="unbounded"/>
          <xsd:element name="interfaceType" type="InterfaceType" minOccurs="0" maxOccurs="unbounded"/>
          <xsd:element name="componentType" type="ComponentType" minOccurs="0" maxOccurs="unbounded"/>
          <xsd:element name="connectorType" type="ConnectorType" minOccurs="0" maxOccurs="unbounded"/>
        </xsd:sequence>
      </xsd:extension>
    </xsd:complexContent>
  </xsd:complexType>
  <!-- 
    TYPE: TypedConnectorInstance

    This is an extension to the ConnectorInstance type that allows it
    to refer to supertypes and also to indicate the type to be used to 
    instantiate an initial minimal structure. "type" indicates
    type(s) that this instance must statisfy. "instanceOf" indicates
    the type to be used to instantiate minimal structure.
  -->
  <xsd:complexType name="TypedConnectorInstance">
    <xsd:complexContent>
      <xsd:extension base="properties:ConnectorInstance">
        <xsd:sequence>
          <xsd:element name="type" type="archinstance:XMLLink" minOccurs="0" maxOccurs="unbounded"/>
          <xsd:element name="instanceOf" type="archinstance:XMLLink" minOccurs="0"/>
        </xsd:sequence>
      </xsd:extension>
    </xsd:complexContent>
  </xsd:complexType>
  <!-- 
    TYPE: TypedInterfaceInstance

    This is an extension to the InterfaceInstance type that allows it
    to refer to supertypes and also to indicate the type to be used to 
    instantiate an initial minimal structure. "type" indicates
    type(s) that this instance must statisfy. "instanceOf" indicates
    the type to be used to instantiate minimal structure.
  -->
  <xsd:complexType name="TypedInterfaceInstance">
    <xsd:complexContent>
      <xsd:extension base="properties:InterfaceInstance">
        <xsd:sequence>
          <xsd:element name="type" type="archinstance:XMLLink" minOccurs="0" maxOccurs="unbounded"/>
          <xsd:element name="instanceOf" type="archinstance:XMLLink" minOccurs="0"/>
        </xsd:sequence>
      </xsd:extension>
    </xsd:complexContent>
  </xsd:complexType>
  <!-- 
    TYPE: TypedComponentInstance

    This is an extension to the ComponentInstance type that allows it
    to refer to supertypes and also to indicate the type to be used to 
    instantiate an initial minimal structure. "type" indicates
    type(s) that this instance must statisfy. "instanceOf" indicates
    the type to be used to instantiate minimal structure.
  -->
  <xsd:complexType name="TypedComponentInstance">
    <xsd:complexContent>
      <xsd:extension base="properties:ComponentInstance">
        <xsd:sequence>
          <xsd:element name="type" type="archinstance:XMLLink" minOccurs="0" maxOccurs="unbounded"/>
          <xsd:element name="instanceOf" type="archinstance:XMLLink" minOccurs="0"/>
        </xsd:sequence>
      </xsd:extension>
    </xsd:complexContent>
  </xsd:complexType>
  <!-- 
    TYPE: TypedDesign

    A typed design is a set of family definitions and an associated
    instance definition. 
  -->
  <xsd:complexType name="TypedDesign">
    <xsd:sequence>
      <xsd:element name="propertyType" type="properties:PropertyType" minOccurs="0" maxOccurs="unbounded"/>
      <xsd:element name="componentType" type="ComponentType" minOccurs="0" maxOccurs="unbounded"/>
      <xsd:element name="connectorType" type="ConnectorType" minOccurs="0" maxOccurs="unbounded"/>
      <xsd:element name="interfaceType" type="InterfaceType" minOccurs="0" maxOccurs="unbounded"/>
      <xsd:element name="family" type="Family" minOccurs="0" maxOccurs="unbounded"/>
      <xsd:element name="archInstance" type="properties:ArchInstance" minOccurs="0"/>
    </xsd:sequence>
  </xsd:complexType>
  <!--
    TYPE: TypedArchInstance

    A typed archInstance extends ArchInstance to refer to supertypes that
    represent families that this instance satisfies
  -->
  <xsd:complexType name="TypedArchInstance">
    <xsd:complexContent>
      <xsd:extension base="properties:ArchInstance">
        <xsd:sequence>
          <xsd:element name="type" type="archinstance:XMLLink" minOccurs="0" maxOccurs="unbounded"/>
        </xsd:sequence>
      </xsd:extension>
    </xsd:complexContent>
  </xsd:complexType>
  <!-- 
    ELEMENT: typedArch

    This is the root element for typed architectures. It may
    include family definitions as well as typed instances.
  -->
  <xsd:element name="typedArch" type="TypedDesign"/>
</xsd:schema>