[kepler-dev] [Ptolemy] Re: DDFSingleTokenCommuntator depends on SR

Edward A. Lee eal at eecs.berkeley.edu
Tue Jan 29 14:39:07 PST 2008

SR may not be useful in the near term for scientists, but the long
term potential is considerable.  It's a pretty nice MoC, but it needs
more tutorial information and guidance...

The main attraction of SR in my view is for composition state machine
models, and for being able to do formal verification (e.g.
by model checking) on the model.


At 12:54 PM 1/29/2008, Matthew Jones wrote:
>I think shipping DDF is very much needed for Kepler.
>I'm happy to ship SR with Kepler if it is needed to ship DDF.
>What is the use case for shipping SR for scientific workflows in the absence of DDF depending on it?  I'm sorry I'm not familiar with the SR computational model.  Could someone explain how it might be useful in a scientific analysis by an ecologist or other natural scientist?  Thanks for the tutorial, or a pointer.
>Christopher Brooks wrote:
>>DDFSingleTokenCommutator depends on sr.lib.SingleTokenCommutator.
>>This means that Kepler, which uses DDF, must also ship SR.
>>Personally, I'd like to see Kepler include the SR director.
>>However, this dependency DDF-SR is _really_ wrong, since it
>>means that we can't deploy a DDF only interpreted ptolemy system
>>without including SR.  In general, domains should be standalone.
>>I'm thinking of moving sr.lib.SingleTokenCommutator to
>>actor.lib and then adding some code that would indicate that the
>>actor is not safe for use within SDF.
>>Kepler-dev mailing list
>>Kepler-dev at ecoinformatics.org
>Matthew B. Jones
>Director of Informatics Research and Development
>National Center for Ecological Analysis and Synthesis (NCEAS)
>UC Santa Barbara
>jones at nceas.ucsb.edu                       Ph: 1-907-523-1960
>Ptolemy maillist  -  Ptolemy at chess.eecs.berkeley.edu

Edward A. Lee
Chair of EECS and Robert S. Pepper Distinguished Professor
231 Cory Hall, UC Berkeley, Berkeley, CA 94720-1770
phone: 510-642-0253, fax: 510-642-2845
eal at eecs.Berkeley.EDU, http://www.eecs.berkeley.edu/Faculty/Homepages/lee.html  

More information about the Kepler-dev mailing list