形式化表示UML顺序图的结构操作语义

• 作者: 陈寿文
• 来源期刊: 云南民族大学学报（自然科学版）
• 学科: 工学
• 关键词: 形式化表示 UML顺序图 结构操作语义
• 年，卷（期）: 2013,（4）
• 所属期刊栏目: 信息与计算机科学
• 页码范围: 299-301
• 页数: 3页
• 分类号: TP311
• 字数: 2442字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-8513.2013.04.016

摘要

采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则,并采用该方法描述了身份验证过程对应的操作顺序.这为基于UML顺序图的测试用例的自动生成奠定了基础,也为UML顺序图的模型转换和模型验证提供了必要的前提条件.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈寿文	滁州学院数学科学学院	18	62	4.0	7.0