想要从 UML 2.0 序列图中获取线性时序逻辑规范的工具
我正在研究软件的模型一致性。为此，我需要为 UML 2.0 序列图编写线性时序逻辑。如果任何机构有任何其他工具，请尽快回复。我将非常感激你。 我发现魅力工具有相同的插件。有人有魅力工具的源代码吗（检查架构模型一致性）。他们的网站上没有提供该信息。
提前致谢。
i am working on checking model consistency of software. to do this i need to write linear temporal logic for UML 2.0 sequence diagram. if any body have any other tool for the same please response as soon as possible. I will be very obliged to you.
i have found charmy tool have plugin for the same. Does anybody have source code for charmy tool(CHecking ARchitectural Model consistencY). It is not available on their website.
Thanks in advance.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
序列图模型对我来说无法使用。
我的意思是你可以有一个序列图，但底层模型真的很混乱。
序列图是唯一一个不能真正重用模型的 UML 图。
对这篇文章感到抱歉，但我认为序列图应该保持图形化，因为元模型在 UML 规范中还没有得到很好的开发，现在改变它已经太晚了！
The sequence diagram model is for me unusable.
I mean that you can have a sequence diagram but the underlying model is really messy.
The sequence diagram is the only UML diagram which model is not really reusable.
Sorry for this post but I think that sequence diagram should remain graphical because the metamodel has not been well developped in the UML specification and it is too late to change it !!
我不确定我是否理解这个问题。根据维基百科文章，序列图没有任何循环，因此相应的LTL公式不会包含任何钻石或盒子等，它只是一系列原子事件，不是吗？
您能否提供一个示例序列图和相应的LTL公式？
I'm not sure I understand the problem. According to the wikipedia article, a sequence diagram does not have any loops, so the corresponding LTL formula would not contain any diamonds or boxes etc, it would just be a sequence of atomic events, no?
Could you please provide an example sequence diagram and corresponding LTL formula?