我正在检查软件的模型一致性.要做到这一点,我需要为UML 2.0序列图编写线性时态逻辑.如果有任何机构有相同的其他工具请尽快回复.我将非常感激你.

我发现charmy工具有相同的插件.有没有人有charmy工具的源代码(CHecking ARchitectural Model consistencY).它们的网站上没有.

提前致谢.

最佳答案 序列图模型对我来说无法使用.

我的意思是你可以有一个序列图,但底层模型真的很乱.
序列图是唯一一个模型不可重用的UML图.
对于这篇文章很抱歉,但我认为序列图应该保持图形化,因为元模型在UML规范中没有得到很好的开发,现在改变它已经太晚了！