一种基于时序逻辑的UML 2.0形式化语义

摘要：

本文对一种基于时序逻辑的UML 2.0形式化语义进行了研究。文章围绕时序逻辑语言XYZ/E、UML 2.0顺序图的XYZ/E时序逻辑语义等进行了论述。

关键词： 建模语言 时序逻辑 逻辑语言

作者: 黄正宝 张广泉

作者单位: 苏州大学计算机科学与技术学院,苏州,215006

会议类型: 国内会议

会议名称: 2006年全国理论计算机科学学术年会

会议地点: 长春

会议语种:中文

页码: 218-221

在线出版日期: 2006-08-09（万方平台首次上网日期，不代表论文的发表时间）