Schema acmeConstraints.xsd


schema location:  G:\www\AcmeWeb\pub\xAcme\acmeConstraints.xsd
targetNamespace:  http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
 
Elements  Complex types  Simple types 
designAnalysis  ActualParameter  PredefinedType 
BooleanExpression  StandardSets 
DesignAnalysisCall 
DesignAnalysisDeclaration 
DesignAnalysisDefinition 
DesignRule 
DesignRuleExpression 
FormalParameter 
PrimitiveExpression 
QuantifiedExpression 
Quantifier 
QuantifierAccess 
SetConstructor 
SetExpression 
SetFunction 
SetReference 
UnaryExpression 


schema location:  http://www.ics.uci.edu/pub/arch/xarch/schemas/instance.xsd
targetNamespace:  http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
 
Elements  Complex types  Simple types 
archInstance  ArchInstance  Identifier 
xArch  ComponentInstance 
ConnectorInstance 
Description 
Direction 
Group 
InterfaceInstance 
InterfaceInstanceMapping 
LinkInstance 
Point 
SubArchitecture 
XMLLink 


schema location:  http://www.ics.uci.edu/pub/arch/xarch/schemas/xlink.xsd
targetNamespace:  http://www.w3.org/1999/xlink
 


element designAnalysis
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type DesignAnalysisDeclaration
children formalParameter returnType definition
attributes
Name  Type  Use  Default  Fixed  
id  archinstance:Identifier  required      
source 
<xsd:element name="designAnalysis" type="DesignAnalysisDeclaration"/>

complexType ActualParameter
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children literalValue designAnalysisCall reference
used by
element DesignAnalysisCall/parameter
source 
<xsd:complexType name="ActualParameter">
  <xsd:choice>
    <xsd:element name="literalValue" type="acmeProperties:PropertyValue"/>
    <xsd:element name="designAnalysisCall" type="DesignAnalysisCall"/>
    <xsd:element name="reference" type="archinstance:XMLLink"/>
  </xsd:choice>
</xsd:complexType>

element ActualParameter/literalValue
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type acmeProperties:PropertyValue
source 
<xsd:element name="literalValue" type="acmeProperties:PropertyValue"/>

element ActualParameter/designAnalysisCall
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type DesignAnalysisCall
children reference parameter
attributes
Name  Type  Use  Default  Fixed  
predefined  xsd:string  optional      
source 
<xsd:element name="designAnalysisCall" type="DesignAnalysisCall"/>

element ActualParameter/reference
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type archinstance:XMLLink
attributes
Name  Type  Use  Default  Fixed  
xlink:type  xsd:string        
xlink:href  xsd:anyURI        
source 
<xsd:element name="reference" type="archinstance:XMLLink"/>

complexType BooleanExpression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children primitiveExpression
used by
elements DesignRuleExpression/booleanExpression SetConstructor/expression
source 
<xsd:complexType name="BooleanExpression">
  <xsd:sequence>
    <xsd:element name="primitiveExpression" type="PrimitiveExpression" maxOccurs="unbounded"/>
  </xsd:sequence>
</xsd:complexType>

element BooleanExpression/primitiveExpression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type PrimitiveExpression
children expression literalValue designAnalysisCall reference quantifierAccess unaryExpression
attributes
Name  Type  Use  Default  Fixed  
connector  xsd:string  optional      
source 
<xsd:element name="primitiveExpression" type="PrimitiveExpression" maxOccurs="unbounded"/>

complexType DesignAnalysisCall
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children reference parameter
used by
elements PrimitiveExpression/designAnalysisCall ActualParameter/designAnalysisCall
attributes
Name  Type  Use  Default  Fixed  
predefined  xsd:string  optional      
source 
<xsd:complexType name="DesignAnalysisCall">
  <xsd:sequence>
    <xsd:element name="reference" type="archinstance:XMLLink" minOccurs="0"/>
    <xsd:element name="parameter" type="ActualParameter" minOccurs="0" maxOccurs="unbounded"/>
  </xsd:sequence>
  <xsd:attribute name="predefined" use="optional">
    <xsd:simpleType>
      <xsd:restriction base="xsd:string">
        <xsd:enumeration value="declaresType"/>
        <xsd:enumeration value="satisfiesType"/>
        <xsd:enumeration value="typesDeclared"/>
        <xsd:enumeration value="declatedSubtype"/>
        <xsd:enumeration value="superTypes"/>
        <xsd:enumeration value="attached"/>
        <xsd:enumeration value="connected"/>
        <xsd:enumeration value="reachable"/>
        <xsd:enumeration value="parent"/>
        <xsd:enumeration value="isSubset"/>
        <xsd:enumeration value="contains"/>
        <xsd:enumeration value="size"/>
        <xsd:enumeration value="sum"/>
        <xsd:enumeration value="product"/>
      </xsd:restriction>
    </xsd:simpleType>
  </xsd:attribute>
</xsd:complexType>

element DesignAnalysisCall/reference
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type archinstance:XMLLink
attributes
Name  Type  Use  Default  Fixed  
xlink:type  xsd:string        
xlink:href  xsd:anyURI        
source 
<xsd:element name="reference" type="archinstance:XMLLink" minOccurs="0"/>

element DesignAnalysisCall/parameter
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type ActualParameter
children literalValue designAnalysisCall reference
source 
<xsd:element name="parameter" type="ActualParameter" minOccurs="0" maxOccurs="unbounded"/>

complexType DesignAnalysisDeclaration
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children formalParameter returnType definition
used by
element designAnalysis
attributes
Name  Type  Use  Default  Fixed  
id  archinstance:Identifier  required      
source 
<xsd:complexType name="DesignAnalysisDeclaration">
  <xsd:sequence>
    <xsd:element name="formalParameter" type="FormalParameter" minOccurs="0" maxOccurs="unbounded"/>
    <xsd:element name="returnType" type="acmeProperties:PropertyType"/>
    <xsd:element name="definition" type="DesignAnalysisDefinition"/>
  </xsd:sequence>
  <xsd:attribute name="id" type="archinstance:Identifier" use="required"/>
</xsd:complexType>

element DesignAnalysisDeclaration/formalParameter
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type FormalParameter
children type
attributes
Name  Type  Use  Default  Fixed  
id  archinstance:Identifier        
predefinedType  PredefinedType  optional      
source 
<xsd:element name="formalParameter" type="FormalParameter" minOccurs="0" maxOccurs="unbounded"/>

element DesignAnalysisDeclaration/returnType
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type acmeProperties:PropertyType
source 
<xsd:element name="returnType" type="acmeProperties:PropertyType"/>

element DesignAnalysisDeclaration/definition
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type DesignAnalysisDefinition
children externalReference expression
source 
<xsd:element name="definition" type="DesignAnalysisDefinition"/>

complexType DesignAnalysisDefinition
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children externalReference expression
used by
element DesignAnalysisDeclaration/definition
source 
<xsd:complexType name="DesignAnalysisDefinition">
  <xsd:choice>
    <xsd:element name="externalReference" type="xsd:string"/>
    <xsd:element name="expression" type="DesignRuleExpression"/>
  </xsd:choice>
</xsd:complexType>

element DesignAnalysisDefinition/externalReference
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type xsd:string
source 
<xsd:element name="externalReference" type="xsd:string"/>

element DesignAnalysisDefinition/expression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type DesignRuleExpression
children booleanExpression quantifiedExpression
source 
<xsd:element name="expression" type="DesignRuleExpression"/>

complexType DesignRule
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type extension of constraints:Constraint
children expression
attributes
Name  Type  Use  Default  Fixed  
type  xsd:string  required      
source 
<xsd:complexType name="DesignRule">
  <xsd:complexContent>
    <xsd:extension base="constraints:Constraint">
      <xsd:sequence>
        <xsd:element name="expression" type="DesignRuleExpression"/>
      </xsd:sequence>
      <xsd:attribute name="type" use="required">
        <xsd:simpleType>
          <xsd:restriction base="xsd:string">
            <xsd:enumeration value="invariant"/>
            <xsd:enumeration value="heuristic"/>
          </xsd:restriction>
        </xsd:simpleType>
      </xsd:attribute>
    </xsd:extension>
  </xsd:complexContent>
</xsd:complexType>

element DesignRule/expression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type DesignRuleExpression
children booleanExpression quantifiedExpression
source 
<xsd:element name="expression" type="DesignRuleExpression"/>

complexType DesignRuleExpression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children booleanExpression quantifiedExpression
used by
elements DesignAnalysisDefinition/expression DesignRule/expression QuantifiedExpression/expression PrimitiveExpression/expression
source 
<xsd:complexType name="DesignRuleExpression">
  <xsd:choice>
    <xsd:element name="booleanExpression" type="BooleanExpression"/>
    <xsd:element name="quantifiedExpression" type="QuantifiedExpression"/>
  </xsd:choice>
</xsd:complexType>

element DesignRuleExpression/booleanExpression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type BooleanExpression
children primitiveExpression
source 
<xsd:element name="booleanExpression" type="BooleanExpression"/>

element DesignRuleExpression/quantifiedExpression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type QuantifiedExpression
children quantifier setExpression expression
attributes
Name  Type  Use  Default  Fixed  
type  xsd:string  required      
source 
<xsd:element name="quantifiedExpression" type="QuantifiedExpression"/>

complexType FormalParameter
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children type
used by
element DesignAnalysisDeclaration/formalParameter
attributes
Name  Type  Use  Default  Fixed  
id  archinstance:Identifier        
predefinedType  PredefinedType  optional      
source 
<xsd:complexType name="FormalParameter">
  <xsd:sequence>
    <xsd:element name="type" type="acmeProperties:PropertyType" minOccurs="0"/>
  </xsd:sequence>
  <xsd:attribute name="id" type="archinstance:Identifier"/>
  <xsd:attribute name="predefinedType" type="PredefinedType" use="optional"/>
</xsd:complexType>

element FormalParameter/type
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type acmeProperties:PropertyType
source 
<xsd:element name="type" type="acmeProperties:PropertyType" minOccurs="0"/>

complexType PrimitiveExpression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children expression literalValue designAnalysisCall reference quantifierAccess unaryExpression
used by
elements BooleanExpression/primitiveExpression UnaryExpression/primitiveExpression
attributes
Name  Type  Use  Default  Fixed  
connector  xsd:string  optional      
source 
<xsd:complexType name="PrimitiveExpression">
  <xsd:choice>
    <xsd:element name="expression" type="DesignRuleExpression"/>
    <xsd:element name="literalValue" type="acmeProperties:PropertyValue"/>
    <xsd:element name="designAnalysisCall" type="DesignAnalysisCall"/>
    <xsd:element name="reference" type="archinstance:XMLLink"/>
    <xsd:element name="quantifierAccess" type="QuantifierAccess"/>
    <xsd:element name="unaryExpression" type="UnaryExpression"/>
  </xsd:choice>
  <xsd:attribute name="connector" use="optional">
    <xsd:simpleType>
      <xsd:restriction base="xsd:string">
        <xsd:enumeration value="and"/>
        <xsd:enumeration value="or"/>
        <xsd:enumeration value="iff"/>
        <xsd:enumeration value="implies"/>
        <xsd:enumeration value="eq"/>
        <xsd:enumeration value="neq"/>
        <xsd:enumeration value="lt"/>
        <xsd:enumeration value="lte"/>
        <xsd:enumeration value="gt"/>
        <xsd:enumeration value="gte"/>
        <xsd:enumeration value="add"/>
        <xsd:enumeration value="subtract"/>
        <xsd:enumeration value="times"/>
        <xsd:enumeration value="divide"/>
        <xsd:enumeration value="rem"/>
      </xsd:restriction>
    </xsd:simpleType>
  </xsd:attribute>
</xsd:complexType>

element PrimitiveExpression/expression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type DesignRuleExpression
children booleanExpression quantifiedExpression
source 
<xsd:element name="expression" type="DesignRuleExpression"/>

element PrimitiveExpression/literalValue
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type acmeProperties:PropertyValue
source 
<xsd:element name="literalValue" type="acmeProperties:PropertyValue"/>

element PrimitiveExpression/designAnalysisCall
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type DesignAnalysisCall
children reference parameter
attributes
Name  Type  Use  Default  Fixed  
predefined  xsd:string  optional      
source 
<xsd:element name="designAnalysisCall" type="DesignAnalysisCall"/>

element PrimitiveExpression/reference
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type archinstance:XMLLink
attributes
Name  Type  Use  Default  Fixed  
xlink:type  xsd:string        
xlink:href  xsd:anyURI        
source 
<xsd:element name="reference" type="archinstance:XMLLink"/>

element PrimitiveExpression/quantifierAccess
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type QuantifierAccess
children quantifier
attributes
Name  Type  Use  Default  Fixed  
access  xsd:string  required      
source 
<xsd:element name="quantifierAccess" type="QuantifierAccess"/>

element PrimitiveExpression/unaryExpression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type UnaryExpression
children primitiveExpression
attributes
Name  Type  Use  Default  Fixed  
operator  xsd:string  required      
source 
<xsd:element name="unaryExpression" type="UnaryExpression"/>

complexType QuantifiedExpression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children quantifier setExpression expression
used by
element DesignRuleExpression/quantifiedExpression
attributes
Name  Type  Use  Default  Fixed  
type  xsd:string  required      
source 
<xsd:complexType name="QuantifiedExpression">
  <xsd:sequence>
    <xsd:element name="quantifier" type="Quantifier"/>
    <xsd:element name="setExpression" type="SetExpression"/>
    <xsd:element name="expression" type="DesignRuleExpression"/>
  </xsd:sequence>
  <xsd:attribute name="type" use="required">
    <xsd:simpleType>
      <xsd:restriction base="xsd:string">
        <xsd:enumeration value="forall"/>
        <xsd:enumeration value="exists"/>
      </xsd:restriction>
    </xsd:simpleType>
  </xsd:attribute>
</xsd:complexType>

element QuantifiedExpression/quantifier
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type Quantifier
children typeref type predefinedType
attributes
Name  Type  Use  Default  Fixed  
id  archinstance:Identifier        
name  xsd:string        
source 
<xsd:element name="quantifier" type="Quantifier"/>

element QuantifiedExpression/setExpression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type SetExpression
children setReference setFunction literalSet setConstructor
source 
<xsd:element name="setExpression" type="SetExpression"/>

element QuantifiedExpression/expression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type DesignRuleExpression
children booleanExpression quantifiedExpression
source 
<xsd:element name="expression" type="DesignRuleExpression"/>

complexType Quantifier
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children typeref type predefinedType
used by
elements QuantifiedExpression/quantifier SetConstructor/quantifier
attributes
Name  Type  Use  Default  Fixed  
id  archinstance:Identifier        
name  xsd:string        
source 
<xsd:complexType name="Quantifier">
  <xsd:choice>
    <xsd:element name="typeref" type="archinstance:XMLLink"/>
    <xsd:element name="type" type="properties:PropertyType"/>
    <xsd:element name="predefinedType" type="PredefinedType"/>
  </xsd:choice>
  <xsd:attribute name="id" type="archinstance:Identifier"/>
  <xsd:attribute name="name" type="xsd:string"/>
</xsd:complexType>

element Quantifier/typeref
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type archinstance:XMLLink
attributes
Name  Type  Use  Default  Fixed  
xlink:type  xsd:string        
xlink:href  xsd:anyURI        
source 
<xsd:element name="typeref" type="archinstance:XMLLink"/>

element Quantifier/type
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type properties:PropertyType
source 
<xsd:element name="type" type="properties:PropertyType"/>

element Quantifier/predefinedType
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type PredefinedType
facets
enumeration Component
enumeration Connector
enumeration Interface
source 
<xsd:element name="predefinedType" type="PredefinedType"/>

complexType QuantifierAccess
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children quantifier
used by
element PrimitiveExpression/quantifierAccess
attributes
Name  Type  Use  Default  Fixed  
access  xsd:string  required      
source 
<xsd:complexType name="QuantifierAccess">
  <xsd:sequence>
    <xsd:element name="quantifier" type="archinstance:XMLLink"/>
  </xsd:sequence>
  <xsd:attribute name="access" type="xsd:string" use="required"/>
</xsd:complexType>

element QuantifierAccess/quantifier
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type archinstance:XMLLink
attributes
Name  Type  Use  Default  Fixed  
xlink:type  xsd:string        
xlink:href  xsd:anyURI        
source 
<xsd:element name="quantifier" type="archinstance:XMLLink"/>

complexType SetConstructor
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children quantifier setExpression expression
used by
element SetExpression/setConstructor
attributes
Name  Type  Use  Default  Fixed  
type  xsd:string  required      
source 
<xsd:complexType name="SetConstructor">
  <xsd:sequence>
    <xsd:element name="quantifier" type="Quantifier"/>
    <xsd:element name="setExpression" type="SetExpression"/>
    <xsd:element name="expression" type="BooleanExpression"/>
  </xsd:sequence>
  <xsd:attribute name="type" use="required">
    <xsd:simpleType>
      <xsd:restriction base="xsd:string">
        <xsd:enumeration value="select"/>
        <xsd:enumeration value="collect"/>
      </xsd:restriction>
    </xsd:simpleType>
  </xsd:attribute>
</xsd:complexType>

element SetConstructor/quantifier
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type Quantifier
children typeref type predefinedType
attributes
Name  Type  Use  Default  Fixed  
id  archinstance:Identifier        
name  xsd:string        
source 
<xsd:element name="quantifier" type="Quantifier"/>

element SetConstructor/setExpression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type SetExpression
children setReference setFunction literalSet setConstructor
source 
<xsd:element name="setExpression" type="SetExpression"/>

element SetConstructor/expression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type BooleanExpression
children primitiveExpression
source 
<xsd:element name="expression" type="BooleanExpression"/>

complexType SetExpression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children setReference setFunction literalSet setConstructor
used by
elements QuantifiedExpression/setExpression SetFunction/setExpression SetConstructor/setExpression
source 
<xsd:complexType name="SetExpression">
  <xsd:choice>
    <xsd:element name="setReference" type="SetReference"/>
    <xsd:element name="setFunction" type="SetFunction"/>
    <xsd:element name="literalSet" type="acmeProperties:PropertySetValue"/>
    <xsd:element name="setConstructor" type="SetConstructor"/>
  </xsd:choice>
</xsd:complexType>

element SetExpression/setReference
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type SetReference
children element
attributes
Name  Type  Use  Default  Fixed  
set  StandardSets  optional      
source 
<xsd:element name="setReference" type="SetReference"/>

element SetExpression/setFunction
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type SetFunction
children setExpression
attributes
Name  Type  Use  Default  Fixed  
function  xsd:string  required      
source 
<xsd:element name="setFunction" type="SetFunction"/>

element SetExpression/literalSet
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type acmeProperties:PropertySetValue
source 
<xsd:element name="literalSet" type="acmeProperties:PropertySetValue"/>

element SetExpression/setConstructor
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type SetConstructor
children quantifier setExpression expression
attributes
Name  Type  Use  Default  Fixed  
type  xsd:string  required      
source 
<xsd:element name="setConstructor" type="SetConstructor"/>

complexType SetFunction
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children setExpression
used by
element SetExpression/setFunction
attributes
Name  Type  Use  Default  Fixed  
function  xsd:string  required      
source 
<xsd:complexType name="SetFunction">
  <xsd:sequence>
    <xsd:element name="setExpression" type="SetExpression" minOccurs="2" maxOccurs="unbounded"/>
  </xsd:sequence>
  <xsd:attribute name="function" use="required">
    <xsd:simpleType>
      <xsd:restriction base="xsd:string">
        <xsd:enumeration value="union"/>
        <xsd:enumeration value="intersection"/>
        <xsd:enumeration value="difference"/>
        <xsd:enumeration value="flatten"/>
      </xsd:restriction>
    </xsd:simpleType>
  </xsd:attribute>
</xsd:complexType>

element SetFunction/setExpression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type SetExpression
children setReference setFunction literalSet setConstructor
source 
<xsd:element name="setExpression" type="SetExpression" minOccurs="2" maxOccurs="unbounded"/>

complexType SetReference
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children element
used by
element SetExpression/setReference
attributes
Name  Type  Use  Default  Fixed  
set  StandardSets  optional      
source 
<xsd:complexType name="SetReference">
  <xsd:sequence>
    <xsd:element name="element" type="archinstance:XMLLink"/>
  </xsd:sequence>
  <xsd:attribute name="set" type="StandardSets" use="optional"/>
</xsd:complexType>

element SetReference/element
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type archinstance:XMLLink
attributes
Name  Type  Use  Default  Fixed  
xlink:type  xsd:string        
xlink:href  xsd:anyURI        
source 
<xsd:element name="element" type="archinstance:XMLLink"/>

complexType UnaryExpression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
children primitiveExpression
used by
element PrimitiveExpression/unaryExpression
attributes
Name  Type  Use  Default  Fixed  
operator  xsd:string  required      
source 
<xsd:complexType name="UnaryExpression">
  <xsd:sequence>
    <xsd:element name="primitiveExpression" type="PrimitiveExpression" minOccurs="0"/>
  </xsd:sequence>
  <xsd:attribute name="operator" use="required">
    <xsd:simpleType>
      <xsd:restriction base="xsd:string">
        <xsd:enumeration value="not"/>
        <xsd:enumeration value="minus"/>
      </xsd:restriction>
    </xsd:simpleType>
  </xsd:attribute>
</xsd:complexType>

element UnaryExpression/primitiveExpression
diagram
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type PrimitiveExpression
children expression literalValue designAnalysisCall reference quantifierAccess unaryExpression
attributes
Name  Type  Use  Default  Fixed  
connector  xsd:string  optional      
source 
<xsd:element name="primitiveExpression" type="PrimitiveExpression" minOccurs="0"/>

simpleType PredefinedType
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type restriction of xsd:string
used by
element Quantifier/predefinedType
attribute FormalParameter/@predefinedType
facets
enumeration Component
enumeration Connector
enumeration Interface
source 
<xsd:simpleType name="PredefinedType">
  <xsd:restriction base="xsd:string">
    <xsd:enumeration value="Component"/>
    <xsd:enumeration value="Connector"/>
    <xsd:enumeration value="Interface"/>
  </xsd:restriction>
</xsd:simpleType>

simpleType StandardSets
namespace http://www.cs.cmu.edu/~acme/pub/xAcme/acmeConstraints.xsd
type restriction of xsd:string
used by
attribute SetReference/@set
facets
enumeration components
enumeration connectors
enumeration interfaces
enumeration representations
enumeration properties
source 
<xsd:simpleType name="StandardSets">
  <xsd:restriction base="xsd:string">
    <xsd:enumeration value="components"/>
    <xsd:enumeration value="connectors"/>
    <xsd:enumeration value="interfaces"/>
    <xsd:enumeration value="representations"/>
    <xsd:enumeration value="properties"/>
  </xsd:restriction>
</xsd:simpleType>

element archinstance:archInstance
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:ArchInstance
children description componentInstance connectorInstance linkInstance group
attributes
Name  Type  Use  Default  Fixed  
id  Identifier        
source 
<xsd:element name="archInstance" type="ArchInstance"/>

element archinstance:xArch
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
source 
<xsd:element name="xArch">
  <xsd:complexType>
    <xsd:sequence>
      <xsd:any namespace="##any" minOccurs="0" maxOccurs="unbounded"/>
    </xsd:sequence>
  </xsd:complexType>
</xsd:element>

complexType archinstance:ArchInstance
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
children description componentInstance connectorInstance linkInstance group
used by
elements archinstance:SubArchitecture/archInstance archinstance:archInstance
attributes
Name  Type  Use  Default  Fixed  
id  Identifier        
source 
<xsd:complexType name="ArchInstance">
  <xsd:sequence>
    <xsd:element name="description" type="Description"/>
    <xsd:element name="componentInstance" type="ComponentInstance" minOccurs="0" maxOccurs="unbounded"/>
    <xsd:element name="connectorInstance" type="ConnectorInstance" minOccurs="0" maxOccurs="unbounded"/>
    <xsd:element name="linkInstance" type="LinkInstance" minOccurs="0" maxOccurs="unbounded"/>
    <xsd:element name="group" type="Group" minOccurs="0" maxOccurs="unbounded"/>
  </xsd:sequence>
  <xsd:attribute name="id" type="Identifier"/>
</xsd:complexType>

element archinstance:ArchInstance/description
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:Description
source 
<xsd:element name="description" type="Description"/>

element archinstance:ArchInstance/componentInstance
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:ComponentInstance
children description interfaceInstance subArchitecture
attributes
Name  Type  Use  Default  Fixed  
id  Identifier        
source 
<xsd:element name="componentInstance" type="ComponentInstance" minOccurs="0" maxOccurs="unbounded"/>

element archinstance:ArchInstance/connectorInstance
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:ConnectorInstance
children description interfaceInstance subArchitecture
attributes
Name  Type  Use  Default  Fixed  
id  Identifier        
source 
<xsd:element name="connectorInstance" type="ConnectorInstance" minOccurs="0" maxOccurs="unbounded"/>

element archinstance:ArchInstance/linkInstance
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:LinkInstance
children description point
attributes
Name  Type  Use  Default  Fixed  
id  Identifier        
source 
<xsd:element name="linkInstance" type="LinkInstance" minOccurs="0" maxOccurs="unbounded"/>

element archinstance:ArchInstance/group
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:Group
children description member
attributes
Name  Type  Use  Default  Fixed  
id  Identifier        
source 
<xsd:element name="group" type="Group" minOccurs="0" maxOccurs="unbounded"/>

complexType archinstance:ComponentInstance
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
children description interfaceInstance subArchitecture
used by
element archinstance:ArchInstance/componentInstance
attributes
Name  Type  Use  Default  Fixed  
id  Identifier        
source 
<xsd:complexType name="ComponentInstance">
  <xsd:sequence>
    <xsd:element name="description" type="Description"/>
    <xsd:element name="interfaceInstance" type="InterfaceInstance" minOccurs="0" maxOccurs="unbounded"/>
    <xsd:element name="subArchitecture" type="SubArchitecture" minOccurs="0"/>
  </xsd:sequence>
  <xsd:attribute name="id" type="Identifier"/>
</xsd:complexType>

element archinstance:ComponentInstance/description
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:Description
source 
<xsd:element name="description" type="Description"/>

element archinstance:ComponentInstance/interfaceInstance
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:InterfaceInstance
children description direction
attributes
Name  Type  Use  Default  Fixed  
id  Identifier        
source 
<xsd:element name="interfaceInstance" type="InterfaceInstance" minOccurs="0" maxOccurs="unbounded"/>

element archinstance:ComponentInstance/subArchitecture
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:SubArchitecture
children archInstance interfaceInstanceMapping
source 
<xsd:element name="subArchitecture" type="SubArchitecture" minOccurs="0"/>

complexType archinstance:ConnectorInstance
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
children description interfaceInstance subArchitecture
used by
element archinstance:ArchInstance/connectorInstance
attributes
Name  Type  Use  Default  Fixed  
id  Identifier        
source 
<xsd:complexType name="ConnectorInstance">
  <xsd:sequence>
    <xsd:element name="description" type="Description"/>
    <xsd:element name="interfaceInstance" type="InterfaceInstance" minOccurs="0" maxOccurs="unbounded"/>
    <xsd:element name="subArchitecture" type="SubArchitecture" minOccurs="0"/>
  </xsd:sequence>
  <xsd:attribute name="id" type="Identifier"/>
</xsd:complexType>

element archinstance:ConnectorInstance/description
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:Description
source 
<xsd:element name="description" type="Description"/>

element archinstance:ConnectorInstance/interfaceInstance
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:InterfaceInstance
children description direction
attributes
Name  Type  Use  Default  Fixed  
id  Identifier        
source 
<xsd:element name="interfaceInstance" type="InterfaceInstance" minOccurs="0" maxOccurs="unbounded"/>

element archinstance:ConnectorInstance/subArchitecture
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:SubArchitecture
children archInstance interfaceInstanceMapping
source 
<xsd:element name="subArchitecture" type="SubArchitecture" minOccurs="0"/>

complexType archinstance:Description
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type extension of xsd:string
used by
elements archinstance:InterfaceInstance/description archinstance:ComponentInstance/description archinstance:ConnectorInstance/description archinstance:LinkInstance/description archinstance:Group/description archinstance:ArchInstance/description
source 
<xsd:complexType name="Description">
  <xsd:simpleContent>
    <xsd:extension base="xsd:string"/>
  </xsd:simpleContent>
</xsd:complexType>

complexType archinstance:Direction
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type restriction of xsd:string
used by
element archinstance:InterfaceInstance/direction
facets
enumeration none
enumeration in
enumeration out
enumeration inout
source 
<xsd:complexType name="Direction">
  <xsd:simpleContent>
    <xsd:restriction base="xsd:string">
      <xsd:enumeration value="none"/>
      <xsd:enumeration value="in"/>
      <xsd:enumeration value="out"/>
      <xsd:enumeration value="inout"/>
    </xsd:restriction>
  </xsd:simpleContent>
</xsd:complexType>

complexType archinstance:Group
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
children description member
used by
element archinstance:ArchInstance/group
attributes
Name  Type  Use  Default  Fixed  
id  Identifier        
source 
<xsd:complexType name="Group">
  <xsd:sequence>
    <xsd:element name="description" type="Description"/>
    <xsd:element name="member" type="XMLLink" minOccurs="0" maxOccurs="unbounded"/>
  </xsd:sequence>
  <xsd:attribute name="id" type="Identifier"/>
</xsd:complexType>

element archinstance:Group/description
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:Description
source 
<xsd:element name="description" type="Description"/>

element archinstance:Group/member
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:XMLLink
attributes
Name  Type  Use  Default  Fixed  
xlink:type  xsd:string        
xlink:href  xsd:anyURI        
source 
<xsd:element name="member" type="XMLLink" minOccurs="0" maxOccurs="unbounded"/>

complexType archinstance:InterfaceInstance
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
children description direction
used by
elements archinstance:ComponentInstance/interfaceInstance archinstance:ConnectorInstance/interfaceInstance
attributes
Name  Type  Use  Default  Fixed  
id  Identifier        
source 
<xsd:complexType name="InterfaceInstance">
  <xsd:sequence>
    <xsd:element name="description" type="Description"/>
    <xsd:element name="direction" type="Direction" minOccurs="0"/>
  </xsd:sequence>
  <xsd:attribute name="id" type="Identifier"/>
</xsd:complexType>

element archinstance:InterfaceInstance/description
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:Description
source 
<xsd:element name="description" type="Description"/>

element archinstance:InterfaceInstance/direction
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:Direction
facets
enumeration none
enumeration in
enumeration out
enumeration inout
source 
<xsd:element name="direction" type="Direction" minOccurs="0"/>

complexType archinstance:InterfaceInstanceMapping
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
children outerInterfaceInstance innerInterfaceInstance
used by
element archinstance:SubArchitecture/interfaceInstanceMapping
source 
<xsd:complexType name="InterfaceInstanceMapping">
  <xsd:sequence>
    <xsd:element name="outerInterfaceInstance" type="XMLLink"/>
    <xsd:element name="innerInterfaceInstance" type="XMLLink"/>
  </xsd:sequence>
</xsd:complexType>

element archinstance:InterfaceInstanceMapping/outerInterfaceInstance
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:XMLLink
attributes
Name  Type  Use  Default  Fixed  
xlink:type  xsd:string        
xlink:href  xsd:anyURI        
source 
<xsd:element name="outerInterfaceInstance" type="XMLLink"/>

element archinstance:InterfaceInstanceMapping/innerInterfaceInstance
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:XMLLink
attributes
Name  Type  Use  Default  Fixed  
xlink:type  xsd:string        
xlink:href  xsd:anyURI        
source 
<xsd:element name="innerInterfaceInstance" type="XMLLink"/>

complexType archinstance:LinkInstance
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
children description point
used by
element archinstance:ArchInstance/linkInstance
attributes
Name  Type  Use  Default  Fixed  
id  Identifier        
source 
<xsd:complexType name="LinkInstance">
  <xsd:sequence>
    <xsd:element name="description" type="Description"/>
    <xsd:element name="point" type="Point" minOccurs="2" maxOccurs="2"/>
  </xsd:sequence>
  <xsd:attribute name="id" type="Identifier"/>
</xsd:complexType>

element archinstance:LinkInstance/description
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:Description
source 
<xsd:element name="description" type="Description"/>

element archinstance:LinkInstance/point
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:Point
children anchorOnInterface
source 
<xsd:element name="point" type="Point" minOccurs="2" maxOccurs="2"/>

complexType archinstance:Point
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
children anchorOnInterface
used by
element archinstance:LinkInstance/point
source 
<xsd:complexType name="Point">
  <xsd:sequence>
    <xsd:element name="anchorOnInterface" type="XMLLink"/>
  </xsd:sequence>
</xsd:complexType>

element archinstance:Point/anchorOnInterface
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:XMLLink
attributes
Name  Type  Use  Default  Fixed  
xlink:type  xsd:string        
xlink:href  xsd:anyURI        
source 
<xsd:element name="anchorOnInterface" type="XMLLink"/>

complexType archinstance:SubArchitecture
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
children archInstance interfaceInstanceMapping
used by
elements archinstance:ComponentInstance/subArchitecture archinstance:ConnectorInstance/subArchitecture
source 
<xsd:complexType name="SubArchitecture">
  <xsd:sequence>
    <xsd:element name="archInstance" type="ArchInstance"/>
    <xsd:element name="interfaceInstanceMapping" type="InterfaceInstanceMapping" minOccurs="0" maxOccurs="unbounded"/>
  </xsd:sequence>
</xsd:complexType>

element archinstance:SubArchitecture/archInstance
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:ArchInstance
children description componentInstance connectorInstance linkInstance group
attributes
Name  Type  Use  Default  Fixed  
id  Identifier        
source 
<xsd:element name="archInstance" type="ArchInstance"/>

element archinstance:SubArchitecture/interfaceInstanceMapping
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type archinstance:InterfaceInstanceMapping
children outerInterfaceInstance innerInterfaceInstance
source 
<xsd:element name="interfaceInstanceMapping" type="InterfaceInstanceMapping" minOccurs="0" maxOccurs="unbounded"/>

complexType archinstance:XMLLink
diagram
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
used by
elements archinstance:Point/anchorOnInterface SetReference/element archinstance:InterfaceInstanceMapping/innerInterfaceInstance archinstance:Group/member archinstance:InterfaceInstanceMapping/outerInterfaceInstance QuantifierAccess/quantifier PrimitiveExpression/reference DesignAnalysisCall/reference ActualParameter/reference Quantifier/typeref
attributes
Name  Type  Use  Default  Fixed  
xlink:type  xsd:string        
xlink:href  xsd:anyURI        
source 
<xsd:complexType name="XMLLink">
  <xsd:attribute ref="xlink:type"/>
  <xsd:attribute ref="xlink:href"/>
</xsd:complexType>

simpleType archinstance:Identifier
namespace http://www.ics.uci.edu/pub/arch/xArch/instance.xsd
type restriction of xsd:ID
used by
attributes DesignAnalysisDeclaration/@id FormalParameter/@id Quantifier/@id archinstance:InterfaceInstance/@id archinstance:ComponentInstance/@id archinstance:ConnectorInstance/@id archinstance:LinkInstance/@id archinstance:Group/@id archinstance:ArchInstance/@id
facets
minLength 1
source 
<xsd:simpleType name="Identifier">
  <xsd:restriction base="xsd:ID">
    <xsd:minLength value="1"/>
  </xsd:restriction>
</xsd:simpleType>


XML Schema documentation generated with XML Spy Schema Editor www.xmlspy.com