需要工具从UML2.0序列图中获取线性时序逻辑规范
需要工具从UML2.0序列图中获取线性时序逻辑规范
提问于 2010-05-18 19:54:49
我的工作是检查软件的模型一致性。为此，我需要为UML2.0序列图编写线性时序逻辑。如果任何机构有任何其他工具，请尽快回复。我将非常感谢你。我发现charmy工具也有同样的插件。谁有charmy工具(CHecking ARchitectural模型consistencY)的源代码？在他们的网站上是不可用的。
提前谢谢。
回答 2
Stack Overflow用户
发布于 2010-05-19 03:43:44
序列图模型对我来说是不可用的。
我的意思是，你可以有一个序列图，但底层模型真的很混乱。序列图是唯一一个模型不能真正重用的UML图。很抱歉发表这篇文章，但我认为序列图应该保持图形，因为元模型在UML规范中还没有得到很好的开发，现在更改它已经太晚了！
Stack Overflow用户
发布于 2010-05-07 15:43:02
我不确定我是否理解这个问题。根据the wikipedia article的说法，序列图没有任何循环，因此相应的LTL公式不会包含任何方块或方框等，它只是一个原子事件序列，不是吗？
你能提供一个序列图的例子和相应的LTL公式吗？
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/2856946
复制相关文章
相似问题
腾讯云开发者
