UML 2.0顺序图的XYZ/E时序逻辑语义研究

• 作者: 张广泉 黄正宝
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 时序逻辑 形式化语义 UML 2.0 顺序图 XYZ/E
• 年，卷（期）: 2006,（8）
• 所属期刊栏目: 软件工程
• 页码范围: 249-251
• 页数: 3页
• 分类号: TP3
• 字数: 3713字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2006.08.067

摘要

UML 2.0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为,但由于UML2.0顺序图的语义不够精确,使得它的描述结果不利于进一步的分析和验证.基于此,本文在定义UML 2.0顺序图的语法和语法约束的基础上,给出了UML 2.0顺序图的XYZ/E时序逻辑语义,为使用UML 2.0顺序图与XYZ/E相结合的方式来描述软件体系结构的动态交互行为奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0
5	黄正宝	苏州大学计算机科学与技术学院	4	70	4.0	4.0