2024年8月20日
星期二
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
包晓露
作品数:
1
被引量:6
H指数:1
供职机构:
北京航空航天大学计算机学院
更多>>
发文基金:
国家自然科学基金
国家高技术研究发展计划
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
龙翔
北京航空航天大学计算机学院
李虎
北京航空航天大学计算机学院
李晓丽
北京航空航天大学计算机学院
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
自动化与计算...
主题
1篇
形式化
1篇
形式化定义
1篇
顺序图
1篇
特性分析
1篇
统一建模
1篇
统一建模语言
1篇
建模语言
1篇
UM
机构
1篇
北京航空航天...
作者
1篇
李晓丽
1篇
李虎
1篇
龙翔
1篇
包晓露
传媒
1篇
北京航空航天...
年份
1篇
2010
共
1
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
UM L顺序图的形式化定义与特性分析
被引量:6
2010年
以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.
李晓丽
龙翔
包晓露
李虎
关键词:
统一建模语言
顺序图
形式化
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张