我正在检查软件的模型一致性。为此，我需要为 UML 2.0 序列图编写线性时序逻辑。如果任何机构有任何其他相同的工具，请尽快回复。我会很感激你的。我发现迷人的工具有相同的插件。有没有人有魅力工具的源代码（检查建筑模型一致性）。它在他们的网站上不可用。
提前致谢。
问问题
349 次
2 回答
2
序列图模型对我来说是不可用的。
我的意思是你可以有一个序列图，但底层模型真的很乱。序列图是唯一一个模型不能真正重用的 UML 图。很抱歉这篇文章，但我认为序列图应该保持图形化，因为元模型在 UML 规范中没有得到很好的开发，现在改变它为时已晚！
于 2010-05-18T19:43:43.797 回答
0
我不确定我是否理解这个问题。根据维基百科文章，序列图没有任何循环，因此相应的 LTL 公式不会包含任何菱形或框等，它只是一系列原子事件，不是吗？
您能否提供一个示例序列图和相应的 LTL 公式？
于 2010-05-07T07:43:02.420 回答