Process Programming

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

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

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

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