并发系统的有限状态机

我设计了一种新的算法来使用流分析技术来检测并发系统中的不可达性故障。我需要找到一些大型并发系统（可能有数百个状态）的有限状态机，例如网络协议来做实验。但是，我无法在网络上找到它。任何人都可以给我一些线索吗？并发系统的有限状态机

我需要状态机之间的转换应该同步。

在此先感谢。

来源

2010-11-01 user486011

TCP状态：

http://en.wikipedia.org/wiki/File:Tcp_state_diagram_fixed.svg

这不是很大，但好一个。

来源

2010-11-01 13:33:12 Andrey

任何非平凡的Erlang程序。 Erlang程序通常由数百个（潜在并发）进程交换消息组成。

来源

2010-11-01 13:46:31 liori

感谢您的回复。我不熟悉Erlang。你能给我一些例子，以及如何将程序转换为FSM。 – user486011 2010-11-04 02:52:06

我想你可能会在Erlang中看到一个很好的例子：电影视频：http://video.google.com/videoplay?docid=-5830318882717959520#和他们的历史文章：http://www.labouseur.com /courses/erlang/history-of-erlang-armstrong.pdf。然而，这是一件困难的事情 - Erlang FSM通常非常复杂，需要对其进行理解。 – liori 2010-11-04 11:42:48

我听说SIP状态机与Reliable Provisional Responses和ICE一起使用变得非常大。但是从这些标准重构状态图将耗费大量时间（世界各地的SIP开发人员会对这样的图表感到满意，如果它是正确和完整的）。

Q.931（ISDN UNI协议）有很好的SDL状态图。尽管只有25个州。

来源

2010-11-01 14:04:54 bew

感谢您的回答。我看了Q.931的SDL状态图，但我不知道SDL图和FSM的关系。此外，还有相当多的图表（在pdf中），我有点困惑，因为没有提供转换名称，它们是如何同步的。你能给我一些提示吗？再次感谢。 – user486011 2010-11-04 02:48:00

Q.931中的图A.1给出了符号的简短概述。图形顶部的圆角矩形表示某个事件发生之前的状态，“标志”符号表示事件（在ITU中称为“原始”），底部的圆角矩形表示某个事件发生后的状态。 – bew 2010-11-04 08:24:39

并发系统的有限状态机

回答

相关问题