anonymous wrote : How is the correctness of the API verified?
That's what I'm now doing on the PVM. I don't think that is possible without
actually building all the different patterns/features. Without enough coverage of the
patterns implemented, you cannot know whether the runtime datastructure is rich and simple
enough to handle all the cases. That describes the work I have been doing in PVM.
This iterative incremental approach cannot start from zero. The first iteration of the
PVM API will definitely have to cover jPDL 3 concepts and feature capabilities. They
might not all have to be implemented in full, but for sure, the runtime data structure
must be able to handle all forms of process concurrency that we have in mind, sub process
execution, timers and asynchronous continuations. All of those have a big impact on the
API and you can't build a stable subset if you don't have proof on how you're
going to deal with those features later on.
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4164661#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...