uml2．0顺序图的xyz／e时序逻辑语义研究

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