我正在检查软件的模型一致性。为此，我需要为 UML 2.0 序列图编写线性时间逻辑。如果任何机构有任何其他相同的工具，请尽快回复。我会很感激你的。
我发现迷人的工具有相同的插件。有没有人有迷人工具的源代码(检查架构模型一致性)。它在他们的网站上不可用。
提前致谢。
最佳答案
序列图模型对我来说是不可用的。
我的意思是你可以有一个序列图，但底层模型真的很困惑。
序列图是唯一一个模型不能真正重用的 UML 图。
抱歉这篇文章，但我认为序列图应该保持图形化，因为元模型在 UML 规范中没有得到很好的开发，现在改变它为时已晚!!
关于uml - 想要从 UML 2.0 序列图中获取线性时序逻辑规范的工具，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/2856946/