UML顺序图的结构化操作语义研究

• 作者: 于洪敏 陈致明 黄陇
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: UML 顺序图 结构化操作语义
• 年，卷（期）: 2005,（2）
• 所属期刊栏目: 软件技术
• 页码范围: 359-361
• 页数: 3页
• 分类号: TP311
• 字数: 3028字
• 语种: 中文

摘要

UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用例生成.为此,依据UML1.5规范,采用BNF定义顺序图的形式化语法,提出了活动点的概念;在此基础上,讨论并给出了单个对象执行消息动作的结构化操作语义以及顺序图模型的整体结构化操作语义,为模型检验和基于顺序图的测试用例生成提供了前提.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄陇		3	40	2.0	3.0
2	于洪敏		2	38	2.0	2.0
3	陈致明		2	38	2.0	2.0