UML(统一建模语言)是一种适用于软件系统开发的图形化语言,它功能强大且易于表达。为了方便对正在进行开发的软件系统进行建模和分析,UML定义了多种描述系统的图来满足不同需求。其中,顺序图被广泛用于对象间以时间为顺序进行交互。然而,顺序图作为半形式化模型,无法对系统进行精准的分析与验证。顺序图的形式化描述及其形式语义是一个热点问题,特别是关于推理顺序图的分解和组合方面的研究还不够完善。目前,关于顺序图的形式语义的工作难以处理UML2.0复杂的组合片段,本文提出了基于事件的形式化语义,有效的解决了顺序图中的组合片段的形式化问题;讨论了基于移动性的通信建模问题,并提出了统一移动性与通信的统一建模方法;基于事件的形式语义,本文给出了新的顺序图分解与组合方法。本文的分解与组合方法是将全局顺序图分解成全局子顺序图,全局子顺序图可以组合成更大的全局子顺序图或全局顺序图,不需要考虑消息的同步通信、异步通信和广播通信等机制,只要使用类似“并”的组合操作即可。本文先形式化定义了顺序图,然后将顺序图转换成依赖结构,接着讨论了统一移动性和通信建模方法,最后基于依赖结构提出了顺序图的分解与组合理论。本文用一个案例来说明上述结论的可行性。