扩展状态机的直接语义
签字人：凯文·拉诺,克拉克
摘要
在本文中，我们提出了UML2状态机的语义概要，它们直接基于状态机模型的结构，而不需要对这些模型进行扁平化或其他转换。该方法解决了为状态机确定的许多语义问题，并为语义分析和证明状态机之间的行为兼容性提供了基础。
引用为：
凯文·拉诺,克拉克,“扩展状态机的直接语义”，对象技术杂志，第6卷第9期（2007年10月）第35-51页，doi:10.5381/jot.2007.6.9.a2.
PDF格式|HTML格式|内政部|BiBTeX公司||发布到CiteULike|在LinkedIn上共享
