go - 对使用 CSP 实现的并发程序进行建模

Question

是否有公认的用于通信顺序过程的图形建模语言？

我正在学习如何使用 Go 通过 CSP 实现并发程序。在编写代码之前，我想探索各种模式/设计并为其建模。

======== 编辑 ========

开始阅读这篇 http://www.usingcsp.com/cspbook.pdf

Answer 1

有点题外话，但对于我的论文，我使用了一个名为 TERRA/LUNA 的工具框架它旨在用于嵌入式控制系统的软件开发，但在我的研究所大量用于各种软件开发。我认为还没有“公认的图形建模语言”但是TERRA 是一个图形化的 CSP 和软件架构编辑器，所以它可能有助于检查他们如何以图形方式实现 CSP。简而言之，您拥有读取器、写入器和端口，以便使用连接 CSP 进程的 CSP channel ，您可以将它们全部与其他进程相关联，例如“并行”或“顺序”。典型的构造可能如下所示:

还有material记录了框架的开发并解释了选择实现的动机。