需求工程是软件工程初期的重要工作,其目的是得到对需求的准确清晰一致的描述以及相应的求解限制。随着需求工程的发展,基于场景的需求获取逐步得到了软件工程界的重视,出现了基于场景的需求获取方法及工具。本文主要针对需求工程中场景合成的有关问题进行了探讨,在国内外专家学者对需求获取、用户场景及其合成研究的基础上进行进一步研究分析,确定本文的研究重点是:在需求工程中如何利用用户提交的场景进行行为模型合成;对已有的场景处理方案进行分析,引入了改进后的支持状态标签(State Label)的消息序列图(MSC);研究行为模型合成算法,将MSC规约转化为有限状态过程(FSP)的形式描述;根据算法设计,初步实现行为模型合成工具。本文研究意义在于:需求工程的发展,使人们认识到,只有最终用户直接参与到软件开发过程并发挥主导作用,才能真正解决问题空间与求解空间的一致性问题,消除计算机领域和应用领域之间的鸿沟,满足并自动适应系统需求的不断变更。改善需求工程的开发质量和效率,需要探索一条有效的解决途径,缩小理论与应用之间的距离,使开发出来的系统和模型切实满足应用领域的需要。基于场景的行为模型合成,强调用户的参与,有助于系统开发人员和用户相互达成一致,并能对用户提供的场景及场景之间的联系进行有效的分析和检测,从而提高需求工程的质量和效率。