[kepler-dev] support for multiple new types in Kepler

Edward A Lee eal at eecs.berkeley.edu
Mon May 10 07:33:16 PDT 2004


I think this is a great idea...

On the semantic types, I would suggest checking out the new statically
checked unit system infrastructure in 4.0... I believe it could be easily
adapted to handle semantic types...

Edward

At 02:40 AM 5/10/2004 -0700, Bertram Ludaescher wrote:

>Since we just chatted about some of this I wanted to through out the
>question again as to what people think how we might extend Ptolemy's
>type system to support (a) XML Schema (-like) types as they are used
>in web services and other apps, and (b) semantic types (in the SEEK
>sense).
>
>It seems that Ptolemy II already has an XML token type. However I
>think the (somewhat unnecessarily complex) XML Schema types are not
>supported, in the sense that there are no XML Schema port types (as
>far as I know), so no static type checking when linking XML ports is
>done.
>
>Maybe Relax NG could also be a (simpler and apparently
>better/extensible etc) alternative to XML Schema, should we decide to
>support static XML types in Kepler. The type extension mechanism could
>(wild speculation ahead) possible be also (mis-)used for our semantic
>typing extensions...
>
>Bertram
>a
>PS http://www.relaxng.org/
>_______________________________________________
>kepler-dev mailing list
>kepler-dev at ecoinformatics.org
>http://www.ecoinformatics.org/mailman/listinfo/kepler-dev

------------
Edward A. Lee, Professor
518 Cory Hall, UC Berkeley, Berkeley, CA 94720
phone: 510-642-0455, fax: 510-642-2739
eal at eecs.Berkeley.EDU, http://ptolemy.eecs.berkeley.edu/~eal




More information about the Kepler-dev mailing list