期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
UMLStatecharts的模型检验方法 被引量：40
1
作者 董威 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2003年第4期750-756,共7页
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁... 统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Bchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统. 展开更多
关键词 umlstatecharts 模型检验方法 软件开发 统一建模语言
在线阅读 下载PDF
基于UML Statechart的人机交互界面建模
2
作者 刘舒婷 刘立辉 《电子世界》 2014年第22期154-155,共2页
本文以图书租借系统为例讨论了采用传统的面向过程的系统建模方式存在的不足，提出采用UML Statechart的建模方法对图书租借系统的人机交互界面建立模型。并通过Poseidon for UML CE8．0软件工具构建了图书租借系统人机交互界面的状态... 本文以图书租借系统为例讨论了采用传统的面向过程的系统建模方式存在的不足，提出采用UML Statechart的建模方法对图书租借系统的人机交互界面建立模型。并通过Poseidon for UML CE8．0软件工具构建了图书租借系统人机交互界面的状态模型，促进面向对象建模理论的应用。 展开更多
关键词 umlstatechart 人机交互界面 图书租借系统
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部