用于建模Erlang系统的工具

Question

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

Answer 1

我一直在“尝试”将bigraphs作为模型工具出售。 bigraph被定义为：

• 超图称为链接图。它有一个顶点过程和这些之间的超边界通信。在超图中，边缘可以在任意数量的进程之间进行，而不仅仅是两个进程。实际上，该图表映射了程序中的通信信道或通信路由。 “谁在与谁交谈”。示例：

• 具有相同顶点的树，称为 location 图。这形成了流程所在的主管层次结构。换句话说，它映射了每个流程的责任。树中越往下，它就越不稳定。根目录附近的进程通常是与状态并且必须受到保护的进程。示例：

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

Answer 2

Sequence diagrams可以是一个很好的工具，用于可视化流程以及消息流和它们之间的控制。我似乎记得它们确实存在于UML之前。

Answer 3

• 用于FSM建模的SDL（OTP） - 尽管代码也很容易阅读。
• 主管树的双图
• 进程和/或应用程序之间的消息序列的MSC

Answer 4

就在最近发现了这一点，尽管它是在2011年Erlang mailing list上提到的。

基础建模概念（FMC）： http://fmc-modeling.org/

它旨在模拟软件系统，并且似乎处于完全正确的抽象层次。整个表示法仅包含在three different diagram types中。看看这个美丽的符号（petri-net图表类型）：

它们还提供了一个很好的演示，将FMC与UML here进行比较。