gpt4 book ai didi

uml - 想要从 UML 2.0 序列图中获取线性时序逻辑规范的工具

转载 作者:行者123 更新时间:2023-12-01 04:18:12 26 4
gpt4 key购买 nike

我正在检查软件的模型一致性。为此,我需要为 UML 2.0 序列图编写线性时间逻辑。如果任何机构有任何其他相同的工具,请尽快回复。我会很感激你的。
我发现迷人的工具有相同的插件。有没有人有迷人工具的​​源代码(检查架构模型一致性)。它在他们的网站上不可用。

提前致谢。

最佳答案

序列图模型对我来说是不可用的。

我的意思是你可以有一个序列图,但底层模型真的很困惑。
序列图是唯一一个模型不能真正重用的 UML 图。
抱歉这篇文章,但我认为序列图应该保持图形化,因为元模型在 UML 规范中没有得到很好的开发,现在改变它为时已晚!!

关于uml - 想要从 UML 2.0 序列图中获取线性时序逻辑规范的工具,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/2856946/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com