基于消息语义的UML2.0顺序图控制流分析

基于消息语义的UML2.0顺序图控制流分析

王洪媛¹, 王琳², 张家晨¹, 金淳兆¹

1. 吉林大学计算机科学与技术学院, 长春 130012； 2. 吉林大学软件学院, 长春 130012

收稿日期:2006-09-17 修回日期:1900-01-01 出版日期:2007-07-26 发布日期:2007-07-26
通讯作者: 张家晨

Control Flow Analysis of UML2.0 Sequence DiagramBased on Message Semantic

WANG Hongyuan¹, WANG Lin², ZHANG Jiachen¹, JIN Chunzhao¹

1. College of Computer Science and Technology, Jilin University, Changchun 130012, China;2. College of Software, Jilin University, Changchun 130012, China

Received:2006-09-17 Revised:1900-01-01 Online:2007-07-26 Published:2007-07-26
Contact: ZHANG Jiachen

摘要/Abstract

摘要： 基于消息语义提出一种分析UML2.0顺序图控制流的方法, 分析了UML2.0顺序图消息发送和接收动作之间的关系, 并将其映射到相应的消息上, 得到消息的相继顺序关系. 根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则, 并得到基于消息语义的并发控制流图（MSCCFG）, 从而获取顺序图的控制流信息.

关键词: UML2.0顺序图, 活动图, 控制流分析, 并发控制流, 消息, 动作

Abstract: An approach was presented to derive the concurrency control flow of UML 2.0 sequence diagram (SD). Based on the message semantic, the relationship between sent and received actions of SD messages was defined. It was mapped into the corresponding messages to get the successive messages sequence relationship. The consistent mapping rules between SD and activity diagram (AD) were presented based on the successive messages sequence relationship. The AD was referred to as Message Semantic Concurrent Control Flow Graph (MSCCFG), from which the control flow information of SD was got.

Key words: UML2.0 sequence diagram, activity diagram, control flow analysis, concurrent control flow, message, action

中图分类号:

TP311

王洪媛, 王琳, 张家晨, 金淳兆. 基于消息语义的UML2.0顺序图控制流分析[J]. J4, 2007, 45(04): 595-600.

WANG Hongyuan, WANG Lin, ZHANG Jiachen, JIN Chunzhao. Control Flow Analysis of UML2.0 Sequence DiagramBased on Message Semantic[J]. J4, 2007, 45(04): 595-600.

[1]	龙年. 基于轨迹提取算法的视频关联动作跟踪仿真[J]. 吉林大学学报(理学版), 2022, 60(3): 641-646.
[2]	冷新科, 姜辉军. 非刚性人体运动动作图像姿态轮廓提取算法[J]. 吉林大学学报(理学版), 2018, 56(6): 1453-1460.
[3]	宋元章, 徐高潮, 贺金鑫. 一种适用于无线传感器网络的轻量级组播源认证方法[J]. J4, 2010, 48(1): 85-88.
[4]	张红, 刘磊. 基于控制流的Mobile Safe Ambients演算的静态分析策略[J]. J4, 2008, 46(04): 704-710.
[5]	郭德贵, 刘磊, 张晶. C/ATLAS单动作测试语句实现的操作语义描述[J]. J4, 2008, 46(01): 55-61.
[6]	姜云飞, 王立坤. 一种基于静态分析的宏动作提取方法[J]. J4, 2006, 44(06): 11-15.
[7]	王胜军, 郭德贵, 金成植. 面向扩展文法语义分析器的自动生成[J]. J4, 2005, 43(06): 751-756.
[8]	金成柏, 庞广臣, 孙新, 金淳兆. 一种支持业务过程设计的数据库集成自动化模型[J]. J4, 2003, 41(02): 196-200.