[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: building an object model of a XML schema
- From: Paul Cody Johnston <email@example.com>
- To: Jeff Lowery <firstname.lastname@example.org>
- Date: Sat, 14 Jul 2001 20:47:07 -0700
* Jeff Lowery (email@example.com) wrote:
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
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
(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.
| Paul Johnston | firstname.lastname@example.org | http://inxar.org |