基于时序逻辑的UML2.0通信图语义研究

作者：张姝; 戎玫; 张广泉

来源：计算机工程与设计, 2008, (21): 5601-5604.

• UML2.0
• 通信图
• 时序逻辑
• 形式化语法
• 形式化语义
• XYZ/E UML2.0
• communication diagrams
• temporal logic
• formal syntax
• formal semantics
• XYZ/E

UML2.0通信图可以表示对象之间的交互,很适合用于对系统的交互行为建模,但由于UML缺乏精确语义,使得难以对其所表示的系统行为进行分析和验证。XYZ/E是可执行线性时序逻辑语言,既可描述系统的静态语义和动态语义。在定义UML2.0通信图的形式化语法的基础上,给出了通信图的XYZ/E时序逻辑语义,为进一步的系统分析和验证提供了形式化基础。

• 单位
  苏州大学; 暨南大学深圳旅游学院; 云南师范大学