需求工程是设计和编写工业软件的关键步骤。以人工为主的需求建模方式非常耗时且容易出错,现有的需求建模方法大多需要人工来完成,或者根据完整的形式化或半形式化需求规范文本进行建模,仍然需要项目工程师事先花费大量的时间和精力,将系统需求完全理解并编辑成规范化的需求文本。因此需要一种自动化的方式可以在极短的时间内建立精确的需求模型。为了实现快速、准确的需求建模,且适用于智能制造领域的功能性与非功能性需求,本文设计了一种面向智能制造领域的通用需求模型描述语言。由于现有的UML需求建模语言需要专业人员人工进行建模,无法通过程序自动生成,且没有灵活的扩展性。针对这些问题,本文提出了一种基于面向对象的结构设计的新需求模型描述语言框架,具有流程描述、约束条件描述和很强扩展性。本方法提出的需求描述语言模型框架与UML语言相互转换的映射规则和算法,可以让项目工程师能在新的系统中沿用原先UML模型,为模型的扩展提供便利,方便将提出的需求描述语言与UML语言相融合。针对智能制造领域的需求多样性和需求变更频繁等问题,本文设计了一套算法用于将文本类需求和制造设计图纸需求的需求内容提取与融合,可以自动地将两种形式的原始需求转化为系统的需求模型。项目工程师可以方便地输入原始需求文本和图纸文档,并且很快地得到经算法融合的需求模型。面向智能制造的自动化需求建模的关键是如何确保由多种形式的原始需求材料构建出的模型的完整性、可行性与准确性。因此,本文提出了一种软件需求建模方法与需求模型完整性、可行性和准确性的自动化检查方法,根据提出的需求描述语言预定义设备的模板模型,在需求融合的过程中充实模板模型,通过模型填充完整度判断需求的完整性,通过知识库对模型进行可行性与准确性检查。为了确保模型的运行没有问题,还提出了需求模型到Event-B形式化模型的映射与转换方法,用于模型的状态死锁检测和不变式冲突检测。综上所述,本文提出并实现了智能制造领域需求的信息提取与融合、需求模型描述语言的定义与转换规则与映射方法、将融合的需求信息进行模型的构建和需求模型的验证与形式化验证方法。