Schema syncchart_03.xsd


schema location:  F:\Charly\Recherche\Doc\XML\syncchart6\syncchart_03.xsd
 
Elements  Complex types  Simple types 
fdcl  abortBeamType  macrostateID 
kdcl  initBeamType  stateID 
ldcl  ntBeamType  stdID 
macrostate  runType  stgID 
pdcl  sigDeclType  tEGeom 
rdcl  suspBeamType 
state  sustainType 
STG  tAbortion 
syncchart  tBody 
tCdcl 
tDecl 
tIdcl 
tInitials 
tLdcl 
tLGeom 
tMGeom 
tOdcl 
tRtdcl 
tSdcl 
tSGeom 
tSignal 
tTdcl 
tVdcl 
tZGeom 
withInitDeclType 
withoutInitDeclType 


element fdcl
diagram
attributes
Name  Type  Use  Default  Fixed  Annotation
id  stdID  required      
param  xsd:string        
return  stdID  required      
source 
<xsd:element name="fdcl">
  <xsd:complexType>
    <xsd:attribute name="id" type="stdID" use="required"/>
    <xsd:attribute name="param" type="xsd:string"/>
    <xsd:attribute name="return" type="stdID" use="required"/>
    <!-- function name [1]-->
    <!-- param list [1]-->
    <!-- return type [1]-->
  </xsd:complexType>
</xsd:element>

element kdcl
diagram
attributes
Name  Type  Use  Default  Fixed  Annotation
id  stdID  required      
ref  xsd:string        
param  xsd:string        
source 
<xsd:element name="kdcl">
  <xsd:complexType>
    <xsd:attribute name="id" type="stdID" use="required"/>
    <xsd:attribute name="ref" type="xsd:string"/>
    <xsd:attribute name="param" type="xsd:string"/>
    <!-- task name [1]-->
    <!-- ref list [1]-->
    <!-- param list [1]-->
  </xsd:complexType>
</xsd:element>

element ldcl
diagram
children signal
source 
<xsd:element name="ldcl">
  <xsd:complexType>
    <xsd:sequence>
      <xsd:element name="signal" type="sigDeclType" maxOccurs="unbounded"/>
      <!-- signals[1,*] -->
    </xsd:sequence>
  </xsd:complexType>
</xsd:element>

element ldcl/signal
diagram
type sigDeclType
attributes
Name  Type  Use  Default  Fixed  Annotation
name  stdID  required      
type  stdID        
init  xsd:string        
source 
<xsd:element name="signal" type="sigDeclType" maxOccurs="unbounded"/>

element macrostate
diagram
children mGeom zGeom decl ldcl STG
used by
element syncchart
attributes
Name  Type  Use  Default  Fixed  Annotation
id  macrostateID  required      
name  stdID  required      
andDeg  xsd:integer    1    
source 
<xsd:element name="macrostate">
  <xsd:complexType>
    <xsd:sequence>
      <xsd:element name="mGeom" type="tMGeom"/>
      <xsd:element name="zGeom" type="tZGeom" maxOccurs="unbounded"/>
      <xsd:element name="decl" type="tDecl"/>
      <xsd:element name="ldcl" type="tLdcl" minOccurs="0"/>
      <xsd:element ref="STG" maxOccurs="unbounded"/>
      <!-- macro geometry [1,1]-->
      <!-- zone geometry [1,*]-->
      <!-- declarations [1,1]-->
      <!-- ldcl [0,1] -->
      <!-- STG [1,*]-->
    </xsd:sequence>
    <xsd:attribute name="id" type="macrostateID" use="required"/>
    <xsd:attribute name="name" type="stdID" use="required"/>
    <xsd:attribute name="andDeg" type="xsd:integer" default="1"/>
    <!-- id [1]-->
    <!-- user name [?] ("") -->
    <!-- nb of STG [?] (1) -->
  </xsd:complexType>
</xsd:element>

element macrostate/mGeom
diagram
type tMGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
x  xsd:nonNegativeInteger  required      
y  xsd:nonNegativeInteger  required      
hw  xsd:nonNegativeInteger  required      
hh  xsd:nonNegativeInteger  required      
source 
<xsd:element name="mGeom" type="tMGeom"/>

element macrostate/zGeom
diagram
type tZGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
ext    required      
coords    required      
source 
<xsd:element name="zGeom" type="tZGeom" maxOccurs="unbounded"/>

element macrostate/decl
diagram
type tDecl
children idcl odcl sdcl tdcl cdcl fdcl pdcl kdcl rtdcl rdcl
source 
<xsd:element name="decl" type="tDecl"/>

element macrostate/ldcl
diagram
type tLdcl
children signal
source 
<xsd:element name="ldcl" type="tLdcl" minOccurs="0"/>

element pdcl
diagram
attributes
Name  Type  Use  Default  Fixed  Annotation
id  stdID  required      
ref  xsd:string        
param  xsd:string        
source 
<xsd:element name="pdcl">
  <xsd:complexType>
    <xsd:attribute name="id" type="stdID" use="required"/>
    <xsd:attribute name="ref" type="xsd:string"/>
    <xsd:attribute name="param" type="xsd:string"/>
    <!-- proc name [1]-->
    <!-- ref list [1]-->
    <!-- param list [1]-->
  </xsd:complexType>
</xsd:element>

element rdcl
diagram
attributes
Name  Type  Use  Default  Fixed  Annotation
expr  xsd:string  required      
source 
<xsd:element name="rdcl">
  <xsd:complexType>
    <xsd:attribute name="expr" type="xsd:string" use="required"/>
    <!-- relation expression[1]-->
  </xsd:complexType>
</xsd:element>

element state
diagram
children sGeom mGeom suspBeam abortion body
used by
element STG
attributes
Name  Type  Use  Default  Fixed  Annotation
id  stateID  required      
name  stdID        
outDeg  xsd:integer    0    
final  xsd:boolean    false    
source 
<xsd:element name="state">
  <xsd:complexType>
    <xsd:sequence>
      <xsd:choice>
        <xsd:element name="sGeom" type="tSGeom"/>
        <xsd:element name="mGeom" type="tMGeom"/>
      </xsd:choice>
      <xsd:element name="suspBeam" type="suspBeamType" minOccurs="0"/>
      <xsd:element name="abortion" type="tAbortion" minOccurs="0"/>
      <xsd:element name="body" type="tBody" minOccurs="0"/>
      <!-- either macrostate or state geometry -->
      <!-- optional suspension -->
      <!-- optional abortion -->
      <!-- optional state body [?]-->
    </xsd:sequence>
    <xsd:attribute name="id" type="stateID" use="required"/>
    <xsd:attribute name="name" type="stdID"/>
    <xsd:attribute name="outDeg" type="xsd:integer" default="0"/>
    <xsd:attribute name="final" type="xsd:boolean" default="false"/>
    <!-- id [1]-->
    <!-- id [0,1]-->
    <!-- outDeg [?] (0) -->
    <!-- final [?] (false)-->
  </xsd:complexType>
</xsd:element>

element state/sGeom
diagram
type tSGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
x  xsd:nonNegativeInteger  required      
y  xsd:nonNegativeInteger  required      
r  xsd:nonNegativeInteger  required      
source 
<xsd:element name="sGeom" type="tSGeom"/>

element state/mGeom
diagram
type tMGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
x  xsd:nonNegativeInteger  required      
y  xsd:nonNegativeInteger  required      
hw  xsd:nonNegativeInteger  required      
hh  xsd:nonNegativeInteger  required      
source 
<xsd:element name="mGeom" type="tMGeom"/>

element state/suspBeam
diagram
type suspBeamType
children eGeom lGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
imm  xsd:boolean    false    
factor  xsd:string    1    
trigger  xsd:string    tick    
guard  xsd:string        
source 
<xsd:element name="suspBeam" type="suspBeamType" minOccurs="0"/>

element state/abortion
diagram
type tAbortion
children saBeam waBeam ntBeam
source 
<xsd:element name="abortion" type="tAbortion" minOccurs="0"/>

element state/body
diagram
type tBody
children sustain run
source 
<xsd:element name="body" type="tBody" minOccurs="0"/>

element STG
diagram
children vdcl initials state
used by
element macrostate
attributes
Name  Type  Use  Default  Fixed  Annotation
id  stgID  required      
orDeg  xsd:integer    1    
source 
<xsd:element name="STG">
  <xsd:complexType>
    <xsd:sequence>
      <xsd:element name="vdcl" type="tVdcl" minOccurs="0"/>
      <xsd:element name="initials" type="tInitials"/>
      <xsd:element ref="state" maxOccurs="unbounded"/>
      <!-- vdcl [0,1] -->
      <!-- initials [1,1]-->
      <!-- state [1,*]-->
    </xsd:sequence>
    <xsd:attribute name="id" type="stgID" use="required"/>
    <xsd:attribute name="orDeg" type="xsd:integer" default="1"/>
    <!-- id [1]-->
    <!-- nb of state [?] (1) -->
  </xsd:complexType>
</xsd:element>

element STG/vdcl
diagram
type tVdcl
children var
source 
<xsd:element name="vdcl" type="tVdcl" minOccurs="0"/>

element STG/initials
diagram
type tInitials
children initBeam
source 
<xsd:element name="initials" type="tInitials"/>

element syncchart
diagram
children inputs outputs sensors returns tdcl fdcl pdcl kdcl rdcl macrostate
attributes
Name  Type  Use  Default  Fixed  Annotation
root  stdID  required      
source 
<xsd:element name="syncchart">
  <xsd:complexType>
    <xsd:sequence>
      <xsd:choice minOccurs="0" maxOccurs="unbounded">
        <xsd:element name="inputs" type="tSignal"/>
        <xsd:element name="outputs" type="tSignal"/>
        <xsd:element name="sensors" type="tSignal"/>
        <xsd:element name="returns" type="tSignal"/>
        <xsd:element name="tdcl" type="tTdcl"/>
        <xsd:element name="fdcl"/>
        <xsd:element name="pdcl"/>
        <xsd:element name="kdcl"/>
        <xsd:element name="rdcl"/>
      </xsd:choice>
      <xsd:element ref="macrostate" maxOccurs="unbounded"/>
      <!-- inputs [0..1] -->
      <!-- outputs [0..1] -->
      <!-- sensors [0..1] -->
      <!-- returns [0..1] -->
      <!-- macrostate [1,...]-->
    </xsd:sequence>
    <xsd:attribute name="root" type="stdID" use="required"/>
  </xsd:complexType>
</xsd:element>

element syncchart/inputs
diagram
type tSignal
children signal
source 
<xsd:element name="inputs" type="tSignal"/>

element syncchart/outputs
diagram
type tSignal
children signal
source 
<xsd:element name="outputs" type="tSignal"/>

element syncchart/sensors
diagram
type tSignal
children signal
source 
<xsd:element name="sensors" type="tSignal"/>

element syncchart/returns
diagram
type tSignal
children signal
source 
<xsd:element name="returns" type="tSignal"/>

element syncchart/tdcl
diagram
type tTdcl
attributes
Name  Type  Use  Default  Fixed  Annotation
id  stdID  required      
source 
<xsd:element name="tdcl" type="tTdcl"/>

element syncchart/fdcl
diagram
source 
<xsd:element name="fdcl"/>

element syncchart/pdcl
diagram
source 
<xsd:element name="pdcl"/>

element syncchart/kdcl
diagram
source 
<xsd:element name="kdcl"/>

element syncchart/rdcl
diagram
source 
<xsd:element name="rdcl"/>

complexType abortBeamType
diagram
children eGeom lGeom
used by
elements tAbortion/saBeam tAbortion/waBeam
attributes
Name  Type  Use  Default  Fixed  Annotation
imm  xsd:boolean    false    
factor  xsd:string    1    
trigger  xsd:string    tick    
guard  xsd:string        
effect  xsd:string        
to  stateID  required      
source 
<xsd:complexType name="abortBeamType">
  <xsd:sequence>
    <xsd:element name="eGeom" type="tEGeom"/>
    <xsd:element name="lGeom" type="tLGeom"/>
  </xsd:sequence>
  <xsd:attribute name="imm" type="xsd:boolean" default="false"/>
  <xsd:attribute name="factor" type="xsd:string" default="1"/>
  <xsd:attribute name="trigger" type="xsd:string" default="tick"/>
  <xsd:attribute name="guard" type="xsd:string"/>
  <xsd:attribute name="effect" type="xsd:string"/>
  <xsd:attribute name="to" type="stateID" use="required"/>
  <!-- imm [?] -->
  <!-- factor [?] -->
  <!-- trigger [?] -->
  <!-- guard [?] -->
  <!-- effect [?] -->
  <!-- to [1] -->
</xsd:complexType>

element abortBeamType/eGeom
diagram
type tEGeom
source 
<xsd:element name="eGeom" type="tEGeom"/>

element abortBeamType/lGeom
diagram
type tLGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
x  xsd:nonNegativeInteger  required      
y  xsd:nonNegativeInteger  required      
source 
<xsd:element name="lGeom" type="tLGeom"/>

complexType initBeamType
diagram
children eGeom lGeom
used by
element tInitials/initBeam
attributes
Name  Type  Use  Default  Fixed  Annotation
trigger  xsd:string    tick    
guard  xsd:string        
effect  xsd:string        
to  stateID  required      
source 
<xsd:complexType name="initBeamType">
  <xsd:sequence>
    <xsd:element name="eGeom" type="tEGeom"/>
    <xsd:element name="lGeom" type="tLGeom" minOccurs="0"/>
  </xsd:sequence>
  <xsd:attribute name="trigger" type="xsd:string" default="tick"/>
  <xsd:attribute name="guard" type="xsd:string"/>
  <xsd:attribute name="effect" type="xsd:string"/>
  <xsd:attribute name="to" type="stateID" use="required"/>
  <!-- trigger [?] -->
  <!-- guard [?] -->
  <!-- effect [?] -->
  <!-- to [1] -->
</xsd:complexType>

element initBeamType/eGeom
diagram
type tEGeom
source 
<xsd:element name="eGeom" type="tEGeom"/>

element initBeamType/lGeom
diagram
type tLGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
x  xsd:nonNegativeInteger  required      
y  xsd:nonNegativeInteger  required      
source 
<xsd:element name="lGeom" type="tLGeom" minOccurs="0"/>

complexType ntBeamType
diagram
children eGeom lGeom
used by
element tAbortion/ntBeam
attributes
Name  Type  Use  Default  Fixed  Annotation
effect  xsd:string        
to  stateID  required      
source 
<xsd:complexType name="ntBeamType">
  <xsd:sequence>
    <xsd:element name="eGeom" type="tEGeom"/>
    <xsd:element name="lGeom" type="tLGeom" minOccurs="0"/>
  </xsd:sequence>
  <xsd:attribute name="effect" type="xsd:string"/>
  <xsd:attribute name="to" type="stateID" use="required"/>
  <!-- effect [?] -->
  <!-- to [1] -->
</xsd:complexType>

element ntBeamType/eGeom
diagram
type tEGeom
source 
<xsd:element name="eGeom" type="tEGeom"/>

element ntBeamType/lGeom
diagram
type tLGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
x  xsd:nonNegativeInteger  required      
y  xsd:nonNegativeInteger  required      
source 
<xsd:element name="lGeom" type="tLGeom" minOccurs="0"/>

complexType runType
diagram
used by
element tBody/run
attributes
Name  Type  Use  Default  Fixed  Annotation
ref  macrostateID  required      
name  stdID        
renaming  xsd:string        
source 
<xsd:complexType name="runType">
  <xsd:attribute name="ref" type="macrostateID" use="required"/>
  <xsd:attribute name="name" type="stdID"/>
  <xsd:attribute name="renaming" type="xsd:string"/>
</xsd:complexType>

complexType sigDeclType
diagram
used by
elements tRtdcl/return ldcl/signal tSignal/signal tIdcl/signal tOdcl/signal tLdcl/signal
attributes
Name  Type  Use  Default  Fixed  Annotation
name  stdID  required      
type  stdID        
init  xsd:string        
source 
<xsd:complexType name="sigDeclType">
  <xsd:attribute name="name" type="stdID" use="required"/>
  <xsd:attribute name="type" type="stdID"/>
  <xsd:attribute name="init" type="xsd:string"/>
  <!-- signal name [1]-->
  <!-- signal type [?]-->
  <!-- signal init [?]-->
</xsd:complexType>

complexType suspBeamType
diagram
children eGeom lGeom
used by
element state/suspBeam
attributes
Name  Type  Use  Default  Fixed  Annotation
imm  xsd:boolean    false    
factor  xsd:string    1    
trigger  xsd:string    tick    
guard  xsd:string        
source 
<xsd:complexType name="suspBeamType">
  <xsd:sequence>
    <xsd:element name="eGeom" type="tEGeom"/>
    <xsd:element name="lGeom" type="tLGeom"/>
  </xsd:sequence>
  <xsd:attribute name="imm" type="xsd:boolean" default="false"/>
  <xsd:attribute name="factor" type="xsd:string" default="1"/>
  <xsd:attribute name="trigger" type="xsd:string" default="tick"/>
  <xsd:attribute name="guard" type="xsd:string"/>
  <!-- imm [?] -->
  <!-- factor [?] -->
  <!-- trigger [?] -->
  <!-- guard [?] -->
</xsd:complexType>

element suspBeamType/eGeom
diagram
type tEGeom
source 
<xsd:element name="eGeom" type="tEGeom"/>

element suspBeamType/lGeom
diagram
type tLGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
x  xsd:nonNegativeInteger  required      
y  xsd:nonNegativeInteger  required      
source 
<xsd:element name="lGeom" type="tLGeom"/>

complexType sustainType
diagram
used by
element tBody/sustain
attributes
Name  Type  Use  Default  Fixed  Annotation
cond  xsd:string        
signal  stdID  required      
value  xsd:string        
source 
<xsd:complexType name="sustainType">
  <xsd:attribute name="cond" type="xsd:string"/>
  <xsd:attribute name="signal" type="stdID" use="required"/>
  <xsd:attribute name="value" type="xsd:string"/>
  <!-- cond [?] -->
  <!-- signal [1] -->
  <!-- value [?] -->
</xsd:complexType>

complexType tAbortion
diagram
children saBeam waBeam ntBeam
used by
element state/abortion
source 
<xsd:complexType name="tAbortion">
  <xsd:sequence>
    <xsd:element name="saBeam" type="abortBeamType" minOccurs="0" maxOccurs="unbounded"/>
    <xsd:element name="waBeam" type="abortBeamType" minOccurs="0" maxOccurs="unbounded"/>
    <xsd:element name="ntBeam" type="ntBeamType" minOccurs="0"/>
    <!-- strong abortBeam [0,*] -->
    <!-- weak abortBeam [0,*] -->
    <!-- normal termination [0,1]-->
  </xsd:sequence>
</xsd:complexType>

element tAbortion/saBeam
diagram
type abortBeamType
children eGeom lGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
imm  xsd:boolean    false    
factor  xsd:string    1    
trigger  xsd:string    tick    
guard  xsd:string        
effect  xsd:string        
to  stateID  required      
source 
<xsd:element name="saBeam" type="abortBeamType" minOccurs="0" maxOccurs="unbounded"/>

element tAbortion/waBeam
diagram
type abortBeamType
children eGeom lGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
imm  xsd:boolean    false    
factor  xsd:string    1    
trigger  xsd:string    tick    
guard  xsd:string        
effect  xsd:string        
to  stateID  required      
source 
<xsd:element name="waBeam" type="abortBeamType" minOccurs="0" maxOccurs="unbounded"/>

element tAbortion/ntBeam
diagram
type ntBeamType
children eGeom lGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
effect  xsd:string        
to  stateID  required      
source 
<xsd:element name="ntBeam" type="ntBeamType" minOccurs="0"/>

complexType tBody
diagram
children sustain run
used by
element state/body
source 
<xsd:complexType name="tBody">
  <xsd:sequence>
    <xsd:choice>
      <xsd:element name="sustain" type="sustainType"/>
      <xsd:element name="run" type="runType"/>
      <!-- sustain signal -->
      <!-- run -->
    </xsd:choice>
  </xsd:sequence>
</xsd:complexType>

element tBody/sustain
diagram
type sustainType
attributes
Name  Type  Use  Default  Fixed  Annotation
cond  xsd:string        
signal  stdID  required      
value  xsd:string        
source 
<xsd:element name="sustain" type="sustainType"/>

element tBody/run
diagram
type runType
attributes
Name  Type  Use  Default  Fixed  Annotation
ref  macrostateID  required      
name  stdID        
renaming  xsd:string        
source 
<xsd:element name="run" type="runType"/>

complexType tCdcl
diagram
children const
used by
element tDecl/cdcl
source 
<xsd:complexType name="tCdcl" mixed="false">
  <xsd:sequence>
    <xsd:element name="const" type="withInitDeclType" maxOccurs="unbounded"/>
    <!-- consts[1,*] -->
  </xsd:sequence>
</xsd:complexType>

element tCdcl/const
diagram
type withInitDeclType
attributes
Name  Type  Use  Default  Fixed  Annotation
name  stdID  required      
type  stdID  required      
init  xsd:string        
source 
<xsd:element name="const" type="withInitDeclType" maxOccurs="unbounded"/>

complexType tDecl
diagram
children idcl odcl sdcl tdcl cdcl fdcl pdcl kdcl rtdcl rdcl
used by
element macrostate/decl
source 
<xsd:complexType name="tDecl">
  <xsd:sequence>
    <xsd:choice maxOccurs="unbounded">
      <xsd:element name="idcl" type="tIdcl"/>
      <xsd:element name="odcl" type="tOdcl"/>
      <xsd:element name="sdcl" type="tSdcl"/>
      <xsd:element name="tdcl"/>
      <xsd:element name="cdcl" type="tCdcl"/>
      <xsd:element name="fdcl"/>
      <xsd:element name="pdcl"/>
      <xsd:element name="kdcl"/>
      <xsd:element name="rtdcl" type="tRtdcl"/>
      <xsd:element name="rdcl"/>
    </xsd:choice>
  </xsd:sequence>
</xsd:complexType>

element tDecl/idcl
diagram
type tIdcl
children signal
source 
<xsd:element name="idcl" type="tIdcl"/>

element tDecl/odcl
diagram
type tOdcl
children signal
source 
<xsd:element name="odcl" type="tOdcl"/>

element tDecl/sdcl
diagram
type tSdcl
children sensor
source 
<xsd:element name="sdcl" type="tSdcl"/>

element tDecl/tdcl
diagram
source 
<xsd:element name="tdcl"/>

element tDecl/cdcl
diagram
type tCdcl
children const
source 
<xsd:element name="cdcl" type="tCdcl"/>

element tDecl/fdcl
diagram
source 
<xsd:element name="fdcl"/>

element tDecl/pdcl
diagram
source 
<xsd:element name="pdcl"/>

element tDecl/kdcl
diagram
source 
<xsd:element name="kdcl"/>

element tDecl/rtdcl
diagram
type tRtdcl
children return
source 
<xsd:element name="rtdcl" type="tRtdcl"/>

element tDecl/rdcl
diagram
source 
<xsd:element name="rdcl"/>

complexType tIdcl
diagram
children signal
used by
element tDecl/idcl
source 
<xsd:complexType name="tIdcl">
  <xsd:sequence>
    <xsd:element name="signal" type="sigDeclType" maxOccurs="unbounded"/>
    <!-- signals[1,*] -->
  </xsd:sequence>
</xsd:complexType>

element tIdcl/signal
diagram
type sigDeclType
attributes
Name  Type  Use  Default  Fixed  Annotation
name  stdID  required      
type  stdID        
init  xsd:string        
source 
<xsd:element name="signal" type="sigDeclType" maxOccurs="unbounded"/>

complexType tInitials
diagram
children initBeam
used by
element STG/initials
source 
<xsd:complexType name="tInitials">
  <xsd:sequence>
    <xsd:element name="initBeam" type="initBeamType" maxOccurs="unbounded"/>
  </xsd:sequence>
</xsd:complexType>

element tInitials/initBeam
diagram
type initBeamType
children eGeom lGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
trigger  xsd:string    tick    
guard  xsd:string        
effect  xsd:string        
to  stateID  required      
source 
<xsd:element name="initBeam" type="initBeamType" maxOccurs="unbounded"/>

complexType tLdcl
diagram
children signal
used by
element macrostate/ldcl
source 
<xsd:complexType name="tLdcl">
  <xsd:sequence>
    <xsd:element name="signal" type="sigDeclType" maxOccurs="unbounded"/>
    <!-- signals[1,*] -->
  </xsd:sequence>
</xsd:complexType>

element tLdcl/signal
diagram
type sigDeclType
attributes
Name  Type  Use  Default  Fixed  Annotation
name  stdID  required      
type  stdID        
init  xsd:string        
source 
<xsd:element name="signal" type="sigDeclType" maxOccurs="unbounded"/>

complexType tLGeom
diagram
used by
elements abortBeamType/lGeom ntBeamType/lGeom suspBeamType/lGeom initBeamType/lGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
x  xsd:nonNegativeInteger  required      
y  xsd:nonNegativeInteger  required      
source 
<xsd:complexType name="tLGeom">
  <xsd:attribute name="x" type="xsd:nonNegativeInteger" use="required"/>
  <xsd:attribute name="y" type="xsd:nonNegativeInteger" use="required"/>
</xsd:complexType>

complexType tMGeom
diagram
used by
elements macrostate/mGeom state/mGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
x  xsd:nonNegativeInteger  required      
y  xsd:nonNegativeInteger  required      
hw  xsd:nonNegativeInteger  required      
hh  xsd:nonNegativeInteger  required      
source 
<xsd:complexType name="tMGeom">
  <xsd:attribute name="x" type="xsd:nonNegativeInteger" use="required"/>
  <xsd:attribute name="y" type="xsd:nonNegativeInteger" use="required"/>
  <xsd:attribute name="hw" type="xsd:nonNegativeInteger" use="required"/>
  <xsd:attribute name="hh" type="xsd:nonNegativeInteger" use="required"/>
</xsd:complexType>

complexType tOdcl
diagram
children signal
used by
element tDecl/odcl
source 
<xsd:complexType name="tOdcl">
  <xsd:sequence>
    <xsd:element name="signal" type="sigDeclType" maxOccurs="unbounded"/>
    <!-- signals[1,*] -->
  </xsd:sequence>
</xsd:complexType>

element tOdcl/signal
diagram
type sigDeclType
attributes
Name  Type  Use  Default  Fixed  Annotation
name  stdID  required      
type  stdID        
init  xsd:string        
source 
<xsd:element name="signal" type="sigDeclType" maxOccurs="unbounded"/>

complexType tRtdcl
diagram
children return
used by
element tDecl/rtdcl
source 
<xsd:complexType name="tRtdcl">
  <xsd:sequence>
    <xsd:element name="return" type="sigDeclType" maxOccurs="unbounded"/>
    <!-- signals[1,*] -->
  </xsd:sequence>
</xsd:complexType>

element tRtdcl/return
diagram
type sigDeclType
attributes
Name  Type  Use  Default  Fixed  Annotation
name  stdID  required      
type  stdID        
init  xsd:string        
source 
<xsd:element name="return" type="sigDeclType" maxOccurs="unbounded"/>

complexType tSdcl
diagram
children sensor
used by
element tDecl/sdcl
source 
<xsd:complexType name="tSdcl">
  <xsd:sequence>
    <xsd:element name="sensor" type="withoutInitDeclType" maxOccurs="unbounded"/>
    <!-- signals[1,*] -->
  </xsd:sequence>
</xsd:complexType>

element tSdcl/sensor
diagram
type withoutInitDeclType
attributes
Name  Type  Use  Default  Fixed  Annotation
name  stdID  required      
type  stdID  required      
source 
<xsd:element name="sensor" type="withoutInitDeclType" maxOccurs="unbounded"/>

complexType tSGeom
diagram
used by
element state/sGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
x  xsd:nonNegativeInteger  required      
y  xsd:nonNegativeInteger  required      
r  xsd:nonNegativeInteger  required      
source 
<xsd:complexType name="tSGeom">
  <xsd:attribute name="x" type="xsd:nonNegativeInteger" use="required"/>
  <xsd:attribute name="y" type="xsd:nonNegativeInteger" use="required"/>
  <xsd:attribute name="r" type="xsd:nonNegativeInteger" use="required"/>
</xsd:complexType>

complexType tSignal
diagram
children signal
used by
elements syncchart/inputs syncchart/outputs syncchart/returns syncchart/sensors
source 
<xsd:complexType name="tSignal">
  <xsd:sequence>
    <xsd:element name="signal" type="sigDeclType" maxOccurs="unbounded"/>
    <!-- input [1,*] -->
  </xsd:sequence>
</xsd:complexType>

element tSignal/signal
diagram
type sigDeclType
attributes
Name  Type  Use  Default  Fixed  Annotation
name  stdID  required      
type  stdID        
init  xsd:string        
source 
<xsd:element name="signal" type="sigDeclType" maxOccurs="unbounded"/>

complexType tTdcl
diagram
used by
element syncchart/tdcl
attributes
Name  Type  Use  Default  Fixed  Annotation
id  stdID  required      
source 
<xsd:complexType name="tTdcl">
  <xsd:attribute name="id" type="stdID" use="required"/>
  <!-- type name [1]-->
</xsd:complexType>

complexType tVdcl
diagram
children var
used by
element STG/vdcl
source 
<xsd:complexType name="tVdcl">
  <xsd:sequence>
    <xsd:element name="var" type="withInitDeclType" maxOccurs="unbounded"/>
    <!-- vars[1,*] -->
  </xsd:sequence>
</xsd:complexType>

element tVdcl/var
diagram
type withInitDeclType
attributes
Name  Type  Use  Default  Fixed  Annotation
name  stdID  required      
type  stdID  required      
init  xsd:string        
source 
<xsd:element name="var" type="withInitDeclType" maxOccurs="unbounded"/>

complexType tZGeom
diagram
used by
element macrostate/zGeom
attributes
Name  Type  Use  Default  Fixed  Annotation
ext    required      
coords    required      
source 
<xsd:complexType name="tZGeom">
  <xsd:attribute name="ext" use="required"/>
  <xsd:attribute name="coords" use="required"/>
</xsd:complexType>

complexType withInitDeclType
diagram
used by
elements tCdcl/const tVdcl/var
attributes
Name  Type  Use  Default  Fixed  Annotation
name  stdID  required      
type  stdID  required      
init  xsd:string        
source 
<xsd:complexType name="withInitDeclType">
  <xsd:attribute name="name" type="stdID" use="required"/>
  <xsd:attribute name="type" type="stdID" use="required"/>
  <xsd:attribute name="init" type="xsd:string"/>
  <!-- var/const name [1]-->
  <!-- var/const type [1]-->
  <!-- var/const init [?]-->
</xsd:complexType>

complexType withoutInitDeclType
diagram
used by
element tSdcl/sensor
attributes
Name  Type  Use  Default  Fixed  Annotation
name  stdID  required      
type  stdID  required      
source 
<xsd:complexType name="withoutInitDeclType">
  <xsd:attribute name="name" type="stdID" use="required"/>
  <xsd:attribute name="type" type="stdID" use="required"/>
  <!-- sensor name [1]-->
  <!-- sensor type [1]-->
</xsd:complexType>

simpleType macrostateID
type restriction of xsd:string
used by
attributes macrostate/@id runType/@ref
facets
pattern M(_[0-9]+)+
source 
<xsd:simpleType name="macrostateID">
  <xsd:restriction base="xsd:string">
    <xsd:pattern value="M(_[0-9]+)+"/>
  </xsd:restriction>
</xsd:simpleType>

simpleType stateID
type restriction of xsd:string
used by
attributes state/@id abortBeamType/@to ntBeamType/@to initBeamType/@to
facets
pattern S(_[0-9]+)+([A-Z]+)([0-9]+)
source 
<xsd:simpleType name="stateID">
  <xsd:restriction base="xsd:string">
    <xsd:pattern value="S(_[0-9]+)+([A-Z]+)([0-9]+)"/>
  </xsd:restriction>
</xsd:simpleType>

simpleType stdID
type restriction of xsd:string
used by
attributes fdcl/@id pdcl/@id kdcl/@id tTdcl/@id macrostate/@name state/@name runType/@name sigDeclType/@name withoutInitDeclType/@name withInitDeclType/@name fdcl/@return syncchart/@root sustainType/@signal sigDeclType/@type withoutInitDeclType/@type withInitDeclType/@type
facets
pattern [A-Za-z][A-Za-z_0-9]*
source 
<xsd:simpleType name="stdID">
  <xsd:restriction base="xsd:string">
    <xsd:pattern value="[A-Za-z][A-Za-z_0-9]*"/>
  </xsd:restriction>
</xsd:simpleType>

simpleType stgID
type restriction of xsd:string
used by
attribute STG/@id
facets
pattern [A-Z]+
source 
<xsd:simpleType name="stgID">
  <xsd:restriction base="xsd:string">
    <xsd:pattern value="[A-Z]+"/>
  </xsd:restriction>
</xsd:simpleType>

simpleType tEGeom
type list of xsd:nonNegativeInteger
used by
elements abortBeamType/eGeom ntBeamType/eGeom suspBeamType/eGeom initBeamType/eGeom
source 
<xsd:simpleType name="tEGeom">
  <xsd:list itemType="xsd:nonNegativeInteger"/>
</xsd:simpleType>


XML Schema documentation generated with XMLSPY Schema Editor http://www.altova.com/xmlspy