[kepler-dev] Using Kepler for Inductive Process Modeling?

[Rich Morin]

I am working with a research system that implements Pat Langley's
Inductive Process Modeling techniques.  By way of background, it:

  *  allows modelers to specify abstract collections of models,
     using definitions of constraints, entities, and processes

  *  defines entities in terms of attributes and processes in
     terms of algebraic and differential equations

  *  constrains process use in instances (eg, ALWAYS-TOGETHER,
     ATMOST-ONE, EXACTLY-ONE, FORBIDDEN, NECESSARY)

  *  generates and evaluates specific model instances, using
     randomized subsets of the possible entities and processes

  *  allows inspection of the best-scoring model instances

  *  provides assistance in modifying specifications
     (eg, adding constraints, extending or simplifying models)

I would like to assess the fit between these capabilities and
Kepler.  If Kepler already supports any of these (or there is
an obvious way to add them), I'd love to get caveats, pointers,
and suggestions.  And, if some issue looks like a show-stopper,
I'd really like to hear about it...

-r


Specific questions

Assume that some program (possibly set up as a Kepler plugin)
has generated some Ptolemy model descriptions (eg, MoML and
associated files):

  http://ptolemy.eecs.berkeley.edu/publications/papers/00/moml/moml_erl_memo.pdf

We now want to evaluate the models (eg, make sure they converge,
fit their parameters to training data, solve sets of equations)
and present the "best of breed" to the modeler for inspection.

Q:  Is there an API for evaluating a single model?

Q:  Is there an API for evaluating a set of models?

Q:  Can Kepler auto-layout the diagram for the model graph?

Q:  If not, are there any examples of using (say) GraphViz to
    generate layout metadata (eg, node positions and sizes)?

Q:  Is there an API for adding models to Kepler's inventory,
    taking advantage of Kepler's notion of provenance, etc?

Q:  Is there an authoritative archive of the material on GSRC
    that was stored on "http://www.gigascale.org/semantics"?
    This URL is referenced in

      MoML - A Modeling Markup Language in XML - Version 0.4
      http://ptolemy.eecs.berkeley.edu/publications/papers/00/moml

 -- 
http://www.cfcl.com/rdm            Rich Morin
http://www.cfcl.com/rdm/resume     rdm at cfcl.com
http://www.cfcl.com/rdm/weblog     +1 650-873-7841

Software system design, development, and documentation