云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=统一建模语言(UML "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

UML状态机模型元素的RSL形式化定义被引量：4: 《计算机科学》2013年第5期177-183,205,共8页郭艳燕刘惊雷; 国家自然科学基金(61170224);山东省自然科学基金(ZR2011FL018);山东高等学校科研计划项目(J10LG27)资助; UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一...; 关键词：统一建模语言(UML ) 状态机形式化方法有穷自动机 RAISE规约语言(RSL)

全选清除导出

共1页<1>