distributed-application-automaton.xsd

<?xml version="1.0" encoding="UTF-8"?>
<xs:schema
   xmlns:xs="http://www.w3.org/2001/XMLSchema"
   attributeFormDefault="unqualified"
   elementFormDefault="qualified">

   <xs:import
      namespace     ="http://www.w3.org/XML/1998/namespace"
      schemaLocation="http://www.w3.org/2001/03/xml.xsd" />

   <xs:complexType name="transitionType">
      <xs:attribute type="xs:NCName" name="from"  use="required" />
      <xs:attribute type="xs:NCName" name="event" use="required" />
      <xs:attribute type="xs:NCName" name="futur" use="required" />
   </xs:complexType>

   <xs:complexType name="shortcutType">
      <xs:attribute type="xs:NCName" name="event" use="required" />
      <xs:attribute type="xs:NCName" name="futur" use="required" />
   </xs:complexType>

   <xs:complexType name="stateEnumType">
      <xs:attribute type="xs:ID" name="name" use="required" />
   </xs:complexType>
   
   <xs:complexType name="eventEnumType">
      <xs:attribute type="xs:ID" name="name" use="required" />
   </xs:complexType>
   
   <xs:complexType name="actionType">
      <xs:attribute type="xs:NCName" name="state"  use="required" />
      <xs:attribute type="xs:NCName" name="action" use="required" />
   </xs:complexType>
   
   <xs:complexType name="automatonType">
      <xs:sequence>
         <xs:element type="stateEnumType"  name="state-enum" />
         <xs:element type="eventEnumType"  name="event-enum" />
         <xs:element type="transitionType" name="transition"     minOccurs="2" maxOccurs="unbounded" />
         <xs:element type="shortcutType"   name="shortcut"       minOccurs="2" maxOccurs="unbounded" />
         <xs:sequence minOccurs="0" maxOccurs="unbounded" >
            <xs:choice>
               <xs:element type="actionType" name="on-entry" />
               <xs:element type="actionType" name="on-exit"  />
            </xs:choice>
         </xs:sequence>
      </xs:sequence>
      <xs:attribute type="xs:NCName" name="initial" use="required" />
      <xs:attribute ref="xml:base" use="optional" />
   </xs:complexType>

   <xs:element name="automaton" type="automatonType" />

</xs:schema>