需求分析和体系结构设计是软件生命周期的两个关键活动。需求分析关注如何刻画问题空间，而体系结构则主要关注如何刻画解空间。所以，需求分析和软件体系结构领域的大多数研究工作都相对独立。基于软件体系结构的开发方法将软件开发过程划分为问题定义、需求分析、体系结构设计、详细设计和软件实现五个阶段，保持需求分析和软件体系结构的一致性和可追踪性一直是软件工程领域所追求的目标，因此，需求分析到软件体系结构的映射问题研究将是一个很有价值的课题。如何将需求分析映射为相应的体系结构，以及如何验证一个体系结构是否符合期望的系统需求，是基于软件体系结构的软件开发方法所必须研究和解决的核心问题。本文主要从这个问题出发，首先分析比较了传统的结构化方法和面向对象方法的分析到设计的映射方案，然后在面向对象的映射方案的基础上，提出了一种基于UML和Z的需求分析到软件体系结构的映射方案。UML是一种通用的对象建模语言，可以用来描述软件体系结构，然而，由于复杂系统的建模往往需要进行严格的语义分析，而UML却缺乏精确的语义，这使得对模型难以进行一致性检查和正确性分析。形式化方法恰好能在这方面弥补UML的不足，Z形式化语言精确、简洁和无二义性的特点有利于保证系统的正确性，因此本文结合UML和Z来实现需求模型到体系结构模型的映射。最后，通过一个网上书店系统为例详细阐述了这一映射方案在实际开发中的应用。