基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.
推荐文章
UML类模型的VDM++形式化规约
统一建模语言
类图
维也纳开发方法
基于ASM的元模型形式化语义的研究
模型驱动工程
元模型
简单Petri网
抽象状态机
UML状态机到B形式化规约的转换
UML状态机
形式化方法
B方法
高可信软件工程
UML的形式化描述语义
建模语言
形式化语义
UML
一阶逻辑
一致性检查
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 UML 2.0的形式化语义研究
来源期刊 南京邮电大学学报(自然科学版) 学科 工学
关键词 线性时序逻辑 形式化语义 UML2.0 顺序图 状态图 XYZ/E
年,卷(期) 2007,(3) 所属期刊栏目 学术论文
研究方向 页码范围 39-43
页数 5页 分类号 TP301.2
字数 4436字 语种 中文
DOI 10.3969/j.issn.1673-5439.2007.03.008
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 张广泉 苏州大学计算机科学与技术学院 147 1056 16.0 25.0
3 戎玫 暨南大学深圳旅游学院 48 418 12.0 18.0
6 黄正宝 苏州大学计算机科学与技术学院 4 70 4.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (4)
共引文献  (97)
参考文献  (3)
节点文献
引证文献  (19)
同被引文献  (4)
二级引证文献  (11)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(1)
  • 二级参考文献(0)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(3)
  • 参考文献(1)
  • 二级参考文献(2)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2007(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2008(7)
  • 引证文献(7)
  • 二级引证文献(0)
2009(5)
  • 引证文献(5)
  • 二级引证文献(0)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(3)
  • 引证文献(2)
  • 二级引证文献(1)
2013(3)
  • 引证文献(2)
  • 二级引证文献(1)
2014(2)
  • 引证文献(1)
  • 二级引证文献(1)
2015(4)
  • 引证文献(1)
  • 二级引证文献(3)
2017(1)
  • 引证文献(0)
  • 二级引证文献(1)
2018(3)
  • 引证文献(0)
  • 二级引证文献(3)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
线性时序逻辑
形式化语义
UML2.0
顺序图
状态图
XYZ/E
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
南京邮电大学学报(自然科学版)
双月刊
1673-5439
32-1772/TN
大16开
南京市亚芳新城区文苑路9号
1960
chi
出版文献量(篇)
2234
总下载数(次)
13
总被引数(次)
14649
相关基金
重庆市自然科学基金
英文译名:
官方网址:http://law.ddvip.com/law/2006-09/11584979384040.html
项目类型:重点项目
学科类型:
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导