该文讨论的分布式多视点需求工程采用多视点技术将系统需求划分为多个视点需求,降低需求分析的难度;采用形式描述技术或非形式描述技术对视点进行建模和描述,处理视点间的相容与综合;采用分布式技术构建分布式环境,支持大型软件系统的分布式需求工程.相比传统需求工程,分布式多视点需求工程允许多个部分规格同时存在;而且,由于视点规格主要是独立地进行求精,整个软件系统的需求工程能够以一种更加灵活的方式进行,从而大大提高需求工程的效率.目前分布式多视点需求工程形式化研究还处在初期阶段,在通用框架模型、形式描述技术、多视点模型、环境实现等方面还存在许多不足,制约了分布式多视点需求工程的应用.该文主要进行分布式多视点需求工程应用研究,目标是建立一个基于Z语言的分布式多视点需求工程原型系统,为分布式多视点需求工程理论提供一个应用实例.该文研究来自于作者参与的宋强博士的分布式多视点需求工程模型研究[宋01]项目.分布式多视点需求工程模型研究提供了很好的理论基础,提出两种通用框架模型:基于实现关系的通用框架模型和基于求精关系的通用框架模型,并讨论它们之间的关系;研究了分布式多视点需求工程模型中的形式描述技术.该文在此基础上,提出了一个基于Z语言的分布式多视点需求工程原型系统,初步实现了环境设计并进行应用举例.该主要创新之处在于研制了一个分布式多视点需求工程原型环境,在扩充了基于实现关系的分布式多视点需求工程框架模型,使之具有处理多种模型语言的能力的基础上,使用状态转换系统作为研究Z语言语义模型的工具,井最终选用LOTOS语言的一个精简于集——过程描述语言(PDL)作为形式化描述语言,构建了一个相对完整的应用环境.