RAISE规约语言(RSL) 相关硕士博士期刊学术论文

UML状态机作为UML动态描述机制的重要组成部分，在描述系统及模型的动态行为时扮演着重要的角色，但已有的UML动态语义缺乏准确的形式......