Because refinement/coarsening may run for a long time, it would help if users
could submit a log for processing, and receive the final result asynchronously,
at some later time, via email.
As a first step, the final result could be the exported final Synoptic model.
And the email would contain an html link to the model.
A more involved extension of this idea is to re-create all the necessary
web-app state for the asynchronously generated model. The user would be sent a
link, clicking on which would bring them to the Synoptic web app interface that
is populated with details of the run -- the invariants tab would contain the
mined invariants, the model graphic would show the final model, and so on.
Original issue reported on code.google.com by bestchai on 17 Dec 2011 at 3:37
Original issue reported on code.google.com by
bestchai
on 17 Dec 2011 at 3:37