Would you like to explain why this would be beneficial?
I guess that you already know useful applications for the mentioned design pattern. http://en.wikipedia.org/wiki/Pipeline_%28software%29#Multiprocessed_pipelines Each phase can eventually be processed in parallel.
How do you think about "processing": model checking or something else?
I think about it in the general way of data processing where each implementation detail can be checked again for potential optimisations.
Would you like to use these tools to answer the question?
I use such search engines, of course.
Would you like to explain what you mean by "collaborate"?
Petri nets can also be a software design tool. http://www.pnml.org/tools.php
Would you like to suggest how such collaboration might benefit Coccinelle?
Petri nets can be displayed by standardised diagrams which support constructive discussions for update candidates. I imagine that a few components would benefit from another clarification in the description of places and corresponding transitions.
Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
