模型转换的研究在软件建模和软件开发过程中发挥着重要的作用。本文对UML行为模型之间的模型转换问题进行了研究,主要工作包括:(1)对基于Scenario的顺序图到状态图的自动转换问题进行了研究,扩展了状态变量和状态向量的概念,提出了利用附加语义信息的顺序图自动生成对象状态图模型的方法;(2)研究产生状态图中未预期状态转换路径导致隐含scenarios问题,利用在状态图生成过程中形成的合理的未预期状态转换路径,生成已知scenario模型中未提供的scenario描述;(3)研究了顺序图与状态图的一致性问题,将两者一致性相关的元素转换成LTS的文本描述形式,利用LTSA分析工具对转换结果进行分析,从存在性和顺序性的角度检测顺序图与状态图的一致性问题。(4)研究了顺序图到活动图的转换问题,定义了消息动作关系和消息的相继顺序关系,给出了从顺序图到活动图的转换规则,得到描述顺序图并发控制流的活动图。