Osterweil说对于Process Software，单单Modelling是不够的，要Coding要精确。

问题在于Process是个高度并发的东西，而像编程语言这种东西确实线性的，并发则是语义外的（其实对于人类的语言也是如此，所以我们总是说“……，同时……”。当然七只桶语言是例外，呵呵）。

所以Osterweil的那个JIL就成了个图形化的语言——如果还算是语言的话。

结论是我们需要一种天生描述并发的语言来描述Process Software，如果没有这种东西就造一个。