<xsd:schema targetNamespace="http://www.cs.cmu.edu/afs/cs/project/able/www/AcmeWeb/pub/xAcme/properties.xsd" xmlns:archinstance="http://www.ics.uci.edu/pub/arch/xArch/instance.xsd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns="http://www.cs.cmu.edu/afs/cs/project/able/www/AcmeWeb/pub/xAcme/properties.xsd" elementFormDefault="qualified" attributeFormDefault="qualified">
  <xsd:import namespace="http://www.ics.uci.edu/pub/arch/xArch/instance.xsd" schemaLocation="http://www.isr.uci.edu/architecture/xarch/schemas/instance.xsd"/>
  <xsd:annotation>
    <xsd:documentation>
      xArch Properties Extension XML Schema 1.0

      Description:

      The Properties Extension allows design elements to be annotated
      with attribute consisting of name, type and value. In each these
      cases, the values are uninterpreted string. It will be left to tools
      to interpret the values. The detailedProperty extensions gives the XML
      for the abstract syntax of Acme-style properties with structured
      values and types.

      Dependencies: archinstance

      Change Log:
	2001-1-21: Bradley Schmerl [schmerl@cs.cmu.edu]:
		Initial development
	2001-7-13: Bradley Schmerl [schmerl@cs.cmu.edu]:
		Typo corrections and validation with XML Spy 3.5
    </xsd:documentation>
  </xsd:annotation>
  <!--
    TYPE: Property

    This type describes a property. A property is a tuple of
    (attribute, value, type), and will be assigned to all the 
    major elements of an architectural description. The intent of 
    properties is to capture semantic and tool information about an 
    architecture.
  -->
  <xsd:complexType name="Property">
    <xsd:sequence>
      <xsd:element name="value" type="PropertyValue" minOccurs="0"/>
      <xsd:element name="type" type="PropertyType" minOccurs="0"/>
      <xsd:element name="metaProperty" type="Property" minOccurs="0" maxOccurs="unbounded"/>
    </xsd:sequence>
    <xsd:attribute name="id" type="archinstance:Identifier"/>
  </xsd:complexType>
  <!-- TYPE:
    PropertyValue

    PropertyValue has an attribute that is a string that specifies the
    value of a property. This type can be extended to include more 
    structured representations of properties.
  -->
  <xsd:complexType name="PropertyValue">
    <xsd:attribute name="description" type="xsd:string"/>
  </xsd:complexType>
  <!-- TYPE:
    PropertyType

    PropertyType has an attribute that is a string that specifies the
    type of a property. This type can be extended to include more
    structured representations of property types.
  -->
  <xsd:complexType name="PropertyType">
    <xsd:attribute name="description" type="xsd:string"/>
  </xsd:complexType>
  <!-- 
    TYPE: ComponentInstance

    ComponentInstance is an extension of the ComponentInstance in
    archinstance that adds properties and multiple subarchitectures.
  -->
  <xsd:complexType name="ComponentInstance">
    <xsd:complexContent>
      <xsd:extension base="archinstance:ComponentInstance">
        <xsd:sequence>
          <xsd:element name="subArchitecture" type="archinstance:SubArchitecture" minOccurs="0" maxOccurs="unbounded"/>
          <xsd:element name="property" type="Property" minOccurs="0" maxOccurs="unbounded"/>
        </xsd:sequence>
      </xsd:extension>
    </xsd:complexContent>
  </xsd:complexType>
  <!-- 
    TYPE: ConnectorInstance

    ConnectorInstance is an extension of the ConnectorInstance in
    archinstance that adds properties and multiple subarchitectures.
  -->
  <xsd:complexType name="ConnectorInstance">
    <xsd:complexContent>
      <xsd:extension base="archinstance:ConnectorInstance">
        <xsd:sequence>
          <xsd:element name="subArchitecture" type="archinstance:SubArchitecture" minOccurs="0" maxOccurs="unbounded"/>
          <xsd:element name="property" type="Property" minOccurs="0" maxOccurs="unbounded"/>
        </xsd:sequence>
      </xsd:extension>
    </xsd:complexContent>
  </xsd:complexType>
  <!--
    TYPE: InterfaceInstance

    InterfaceInstance extends archinstance:InterfaceInstance to add
    properties.
  -->
  <xsd:complexType name="InterfaceInstance">
    <xsd:complexContent>
      <xsd:extension base="archinstance:InterfaceInstance">
        <xsd:sequence>
          <xsd:element name="property" type="Property" minOccurs="0" maxOccurs="unbounded"/>
        </xsd:sequence>
      </xsd:extension>
    </xsd:complexContent>
  </xsd:complexType>
  <!--
    TYPE: Group

    Group extends archinstance:Group to add properties.
  -->
  <xsd:complexType name="Group">
    <xsd:complexContent>
      <xsd:extension base="archinstance:Group">
        <xsd:sequence>
          <xsd:element name="property" type="Property" minOccurs="0" maxOccurs="unbounded"/>
        </xsd:sequence>
      </xsd:extension>
    </xsd:complexContent>
  </xsd:complexType>
  <!--
    TYPE: ArchInstance

    ArchInstance extends archinstance:archinstance to add
    properties.
  -->
  <xsd:complexType name="ArchInstance">
    <xsd:complexContent>
      <xsd:extension base="archinstance:ArchInstance">
        <xsd:sequence>
          <xsd:element name="property" type="Property" minOccurs="0" maxOccurs="unbounded"/>
        </xsd:sequence>
      </xsd:extension>
    </xsd:complexContent>
  </xsd:complexType>
</xsd:schema>