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

摘要：

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

关键词：时序逻辑、形式化语义、UML 2.0、顺序图、XYZ/E

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60073020;国家重点实验室基金SYSKF0303;江苏省高校自然科学基金05KJB520119;重庆市科技计划040803

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

页数：共3页

页码：249-251