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

Re: A schema defines a state space ... instances are samplesta

• From: Frank Manola <fmanola@acm.org>
• To: "Costello, Roger L." <costello@mitre.org>
• Date: Sun, 21 Aug 2016 11:53:29 -0400

Does the definition of "state space" in [1] differ in any significant way from the definition of "schema"?  If so, I'd disagee.

Sent from my iPad

> On Aug 21, 2016, at 9:20 AM, Costello, Roger L. <costello@mitre.org> wrote:
> 
> 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
> 
> _______________________________________________________________________
> 
> XML-DEV is a publicly archived, unmoderated list hosted by OASIS
> to support XML implementation and development. To minimize
> spam in the archives, you must subscribe before posting.
> 
> [Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
> Or unsubscribe: xml-dev-unsubscribe@lists.xml.org
> subscribe: xml-dev-subscribe@lists.xml.org
> List archive: http://lists.xml.org/archives/xml-dev/
> List Guidelines: http://www.oasis-open.org/maillists/guidelines.php

• References:
  • A schema defines a state space ... instances are sample states ... doyou agree with this terminology?
    • From: "Costello, Roger L." <costello@mitre.org>