SCXML 状态图和 UML 状态图有什么区别?
我知道用户以不同的方式定义它们(XML 与 UML Tool 相比),但是两者之间的语义有什么区别?
或者 SCXML 中的状态图与 UML 中的类似状态图含义相同吗?
I know that the user defines them in different ways (XML compared to UML Tool), but what is the difference in semantics between the two?
Or does a statechart in SCXML mean the same thing as a comparable statechart in UML?
如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱,如果其他用户或者作者回复了您的评论,将不能在第一时间通知您!
发布评论
评论(1)
UML 和 SCXML 都没有提供严格的元模型来精确定义它们的语义。因此,当他们使用“国家”或“过渡”等术语时,不可能说它们的含义是否相同。
SCXML 声明它基于 Harel 的原始工作,并指出它已在 UML 2.0 中实现。然而,它并不声称在语义上与之兼容。
如果您从形式角度对语义兼容性感兴趣,我建议您做很少的假设。然而,我认为就非正式讨论的核心概念而言,将这两个规范视为相当相当是相当安全的。
Neither UML nor SCXML provide a rigorous metamodel that defines their semantics with precision; therefore, it is impossible to say whether they mean the same when they employ terms such as "state" or "transition".
SCXML states that it is based on Harel's original work, and notes that it has been implemented in UML 2.0. However, it does not claim to be semantically compatible with it.
If you are interested in semantic compatibility from a formal viewpoint, I suggest you assume very little. However, I think it is pretty safe to treat both specs as fairly equivalent regarding the core concepts for informal discussion.