我正在尝试为我开发的软件绘制一个状态机，就像通常在软件开发中一样，我有几个不同的防护装置用于不同的过渡，所有这些过渡都属于相同的状态。
现在我想知道是否可以显示所有循环过渡和守卫？或者我只需要绘制一个循环过渡？
答案 0 :(得分：2)
是的，确实如此。图表粒度（细节数量）取决于其目标。如果您想要绘制系统的大图，那么不要显示所有细节，但如果您想将图表用作完整的规范工件，则必须绘制所有内容。状态机中的冗余可能是建模不良的标志，因此您可以使用更完整的图表来改进建模，从而最大限度地减少循环过渡。有很多程序可以帮助您生成状态机图表：http://www.gnu.org/software/autogen/autofsm.html和更多https://www.google.com/search?q=finite+state+machine+generator