基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
基于消息语义提出一种分析UML2.0顺序图控制流的方法, 分析了UML2.0顺序图消息发送和接收动作之间的关系, 并将其映射到相应的消息上, 得到消息的相继顺序关系. 根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则, 并得到基于消息语义的并发控制流图(MSCCFG), 从而获取顺序图的控制流信息.
推荐文章
UML2.0顺序图的时序描述逻辑语义
UML2.0顺序图
时序描述逻辑
形式化
描述逻辑
UML2.0顺序图的一种有穷自动机模型
UML2.0顺序图
UPPAAL
有穷自动机
时间自动机
应用UML2.0模型的测试用例生成方法
测试用例
命题投影时序逻辑
模型检测
覆盖准则
基于UML2.0的设备管理系统需求建模
需求模型
UML2.0
CASE工具
MIS
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于消息语义的UML2.0顺序图控制流分析
来源期刊 吉林大学学报(理学版) 学科 工学
关键词 UML2.0顺序图 活动图 控制流分析 并发控制流 消息 动作
年,卷(期) 2007,(4) 所属期刊栏目 计算机科学
研究方向 页码范围 595-600
页数 6页 分类号 TP311
字数 4870字 语种 中文
DOI 10.3321/j.issn:1671-5489.2007.04.018
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 张家晨 吉林大学计算机科学与技术学院 22 342 8.0 18.0
2 金淳兆 吉林大学计算机科学与技术学院 9 260 5.0 9.0
3 王琳 吉林大学软件学院 82 275 9.0 14.0
4 王洪媛 吉林大学计算机科学与技术学院 10 31 4.0 5.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (1)
同被引文献  (3)
二级引证文献  (0)
2007(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2016(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
UML2.0顺序图
活动图
控制流分析
并发控制流
消息
动作
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
吉林大学学报(理学版)
双月刊
1671-5489
22-1340/O
大16开
长春市南湖大路5372号
12-19
1955
chi
出版文献量(篇)
4812
总下载数(次)
6
总被引数(次)
24333
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
论文1v1指导