UML 2.0的形式化语义研究

• 作者: 张广泉 戎玫 黄正宝
• 来源期刊: 南京邮电大学学报（自然科学版）
• 学科: 工学
• 关键词: 线性时序逻辑 形式化语义 UML2.0 顺序图 状态图 XYZ/E
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 学术论文
• 页码范围: 39-43
• 页数: 5页
• 分类号: TP301.2
• 字数: 4436字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5439.2007.03.008

摘要

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0
3	戎玫	暨南大学深圳旅游学院	48	418	12.0	18.0
6	黄正宝	苏州大学计算机科学与技术学院	4	70	4.0	4.0