Re: building an object model of a XML schema

[Paul Cody Johnston <pcj@inxar.org>]

* Jeff Lowery (jlowery@scenicsoft.com) wrote:

(snip)

Jeff,

Can you elaborate on what you're thinking?  I'm trying to parse though
the ideas in this tread to come to clarity of the issues...

Your first email said:

 "Well, darn it, I want a data model (just data, thank you) that I can
 express as a physical model through some tranformation, and as a set
 of objects through another transformation. For the general class of
 data models, I would expect the problem to be hard. For hierarchical
 data models only, I think the problem is much easier, but not
 simple."

Here I am interpreting "physical model" == "a textual (or binary)
syntax"; "general class of data models" == "data which can exist as a
graph rather than just a tree", and "heirarchical data models" ==
"data in the form of a tree only".

As I understand it, this discussion is specifically talking about type
systems, and the mappings between them.

It sounds like you want a "theory" or "abstract model" that
generalizes the type systems of programming languages AND the type
system expressed by XML Schemas.  You want this from a practical
standpoint in order to be able to author some description of "what
validity means to me and my application" and be able to automatically
generate an XML Schema and an object model (a type system for a
programming language).  Is this correct?

If so, you are essentially proposing a new schema language that would
be compared to the W3C XML Schema, RELAX, and TREX, to name a few.

This is true because there is no such thing as a meaningful "abstract
model" without a formal description of that model.  And when you write
a formal description, you've essentially written a language that has a
syntax; i.e. any formal description is essentially a syntax.

Perhaps you could:

(1) Explain the real-world application that led your mind to post
    about this in the first place.  Certainly this stuff boils down to
    need.

(2) Provide an example of what the abstract type model would look
    like, based on the application in (1).

AFAIK, the state of the art in type systems is occurring in the
functional language camp.  If a true general type system exists, those
theories are a good start.  However, it gets pretty technical over
there, you need a strong mathematical background to penetrate their
ways of expressing ideas.

Respectfully,

Paul

+---------------+---------------+------------------+
| Paul Johnston | pcj@inxar.org | http://inxar.org |
+---------------+---------------+------------------+