[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

A schema defines a state space ... instances are sample states ... doyou

• From: "Costello, Roger L." <costello@mitre.org>
• To: "xml-dev@lists.xml.org" <xml-dev@lists.xml.org>
• Date: Sun, 21 Aug 2016 13:20:23 +0000

Hi Folks,

Here is a simple schema:

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
    <xs:element name="color">
        <xs:simpleType>
            <xs:restriction base="xs:string">
                <xs:enumeration value="red" />
                <xs:enumeration value="green" />
                <xs:enumeration value="blue" />
            </xs:restriction>
        </xs:simpleType>
    </xs:element>
</xs:schema>

Here is an instance: <color>red</color>

Here is another instance: <color>green</color>

Terminology:

1. The XML Schema defines a state space.

2. The instances shown are sample states.

Do you agree with this terminology?

I am reading a book [1] on modeling and "state space, sample states" is the terminology that the book uses. It dawned on me that the terminology also applies to the XML realm.

/Roger

[1] Software Abstractions: Logic, Language, and Analysis by Daniel Jackson

• Follow-Ups:
  • Re: A schema defines a state space ... instances are sample states ... do you agree with this terminology?
    • From: Michael Kay <mike@saxonica.com>
  • Re: A schema defines a state space ... instances are samplestates ... do you agree with this terminology?
    • From: Frank Manola <fmanola@acm.org>