期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
UML2.0类图的一种形式化描述方法
被引量：
5
1
作者
杨敬中
张广泉
戎玫
《计算机科学》
CSCD
北大核心
2007年第2期277-279,288,共4页
UML类图是根据系统中的类,以及各个类之间的关系来描述系统的静态视图。基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。通过对UML2.0类图元素及其特点的分析,找出类图元素的形式化描述规...
UML类图是根据系统中的类,以及各个类之间的关系来描述系统的静态视图。基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。通过对UML2.0类图元素及其特点的分析,找出类图元素的形式化描述规则,利用转换法实现了对UML2.0类图的XYZ/E形式化描述。
展开更多
关键词
uml2.0类图
形式化描述
XYZ/E
在线阅读
下载PDF
职称材料
题名
UML2.0类图的一种形式化描述方法
被引量：
5
1
作者
杨敬中
张广泉
戎玫
机构
苏州大学计算机科学与技术学院
暨南大学深圳旅游学院
出处
《计算机科学》
CSCD
北大核心
2007年第2期277-279,288,共4页
基金
江苏省高校自然科学研究项目(批准号:05KJB520119)
重庆市自然科学基金项目(编号:CSTC
+1 种基金
2006BB2259)
重庆市教委科学技术研究项目(合同号:040803)
文摘
UML类图是根据系统中的类,以及各个类之间的关系来描述系统的静态视图。基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。通过对UML2.0类图元素及其特点的分析,找出类图元素的形式化描述规则,利用转换法实现了对UML2.0类图的XYZ/E形式化描述。
关键词
uml2.0类图
形式化描述
XYZ/E
Keywords
uml
2. 0 class diagram, Formal description, XYZ/E
分类号
TP311.134 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
UML2.0类图的一种形式化描述方法
杨敬中
张广泉
戎玫
《计算机科学》
CSCD
北大核心
2007
5
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
