Erlang系统建模工具

Question

对于OO系统建模，一个常见的工具是类图。在Erlang中，重点是流程而不是类。您使用哪些工具来对Erlang系统和流程之间的交互进行建模？

Answer 1

我一直在“尝试”将bigraphs作为一个模型工具来销售。二元图被定义为：

• 一种称为链接图的超图。它有一个顶点进程，并作为超边在这些进程之间进行通信。在超图中，一条边可以在任意数量的进程之间移动，而不仅仅是两个。实际上，该图映射了程序中的通信通道或通信路由。“谁在和谁说话”。示例：

​

• 具有相同顶点的树，称为位置图。这形成了进程所在的主管层次结构。换句话说，它映射了每个流程的职责。它在树中越靠下，它的波动性就越大。接近根的进程通常是那些与状态处于同一位置并且必须受到保护的进程。示例：

​

我真的希望这将为您提供一种可视化和处理Erlang程序的方法。如果有什么不清楚的地方，请随时督促我。

Answer 2

Sequence diagrams可以是可视化流程和消息流以及它们之间的控制的好工具。我似乎记得它们实际上在UML之前就已经存在了。

Answer 3

用于有限状态机建模的

• SDL (动态口令)-尽管代码也同样易于阅读。进程和/或应用程序之间消息序列的
• 管理程序树
• MSCs的二维图